7 results
Type-based analysis of logarithmic amortised complexity
- Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 6 / June 2022
- Published online by Cambridge University Press:
- 19 October 2021, pp. 794-826
-
- Article
-
- You have access Access
- Open access
- Export citation
-
We introduce a novel amortised resource analysis couched in a type-and-effect system. Our analysis is formulated in terms of the physicist’s method of amortised analysis and is potentialbased. The type system makes use of logarithmic potential functions and is the first such system to exhibit logarithmic amortised complexity. With our approach, we target the automated analysis of self-adjusting data structures, like splay trees, which so far have only manually been analysed in the literature. In particular, we have implemented a semi-automated prototype, which successfully analyses the zig-zig case of splaying, once the type annotations are fixed.
Contributors
-
- By Mitchell Aboulafia, Frederick Adams, Marilyn McCord Adams, Robert M. Adams, Laird Addis, James W. Allard, David Allison, William P. Alston, Karl Ameriks, C. Anthony Anderson, David Leech Anderson, Lanier Anderson, Roger Ariew, David Armstrong, Denis G. Arnold, E. J. Ashworth, Margaret Atherton, Robin Attfield, Bruce Aune, Edward Wilson Averill, Jody Azzouni, Kent Bach, Andrew Bailey, Lynne Rudder Baker, Thomas R. Baldwin, Jon Barwise, George Bealer, William Bechtel, Lawrence C. Becker, Mark A. Bedau, Ernst Behler, José A. Benardete, Ermanno Bencivenga, Jan Berg, Michael Bergmann, Robert L. Bernasconi, Sven Bernecker, Bernard Berofsky, Rod Bertolet, Charles J. Beyer, Christian Beyer, Joseph Bien, Joseph Bien, Peg Birmingham, Ivan Boh, James Bohman, Daniel Bonevac, Laurence BonJour, William J. Bouwsma, Raymond D. Bradley, Myles Brand, Richard B. Brandt, Michael E. Bratman, Stephen E. Braude, Daniel Breazeale, Angela Breitenbach, Jason Bridges, David O. Brink, Gordon G. Brittan, Justin Broackes, Dan W. Brock, Aaron Bronfman, Jeffrey E. Brower, Bartosz Brozek, Anthony Brueckner, Jeffrey Bub, Lara Buchak, Otavio Bueno, Ann E. Bumpus, Robert W. Burch, John Burgess, Arthur W. Burks, Panayot Butchvarov, Robert E. Butts, Marina Bykova, Patrick Byrne, David Carr, Noël Carroll, Edward S. Casey, Victor Caston, Victor Caston, Albert Casullo, Robert L. Causey, Alan K. L. Chan, Ruth Chang, Deen K. Chatterjee, Andrew Chignell, Roderick M. Chisholm, Kelly J. Clark, E. J. Coffman, Robin Collins, Brian P. Copenhaver, John Corcoran, John Cottingham, Roger Crisp, Frederick J. Crosson, Antonio S. Cua, Phillip D. Cummins, Martin Curd, Adam Cureton, Andrew Cutrofello, Stephen Darwall, Paul Sheldon Davies, Wayne A. Davis, Timothy Joseph Day, Claudio de Almeida, Mario De Caro, Mario De Caro, John Deigh, C. F. Delaney, Daniel C. Dennett, Michael R. DePaul, Michael Detlefsen, Daniel Trent Devereux, Philip E. Devine, John M. Dillon, Martin C. Dillon, Robert DiSalle, Mary Domski, Alan Donagan, Paul Draper, Fred Dretske, Mircea Dumitru, Wilhelm Dupré, Gerald Dworkin, John Earman, Ellery Eells, Catherine Z. Elgin, Berent Enç, Ronald P. Endicott, Edward Erwin, John Etchemendy, C. Stephen Evans, Susan L. Feagin, Solomon Feferman, Richard Feldman, Arthur Fine, Maurice A. Finocchiaro, William FitzPatrick, Richard E. Flathman, Gvozden Flego, Richard Foley, Graeme Forbes, Rainer Forst, Malcolm R. Forster, Daniel Fouke, Patrick Francken, Samuel Freeman, Elizabeth Fricker, Miranda Fricker, Michael Friedman, Michael Fuerstein, Richard A. Fumerton, Alan Gabbey, Pieranna Garavaso, Daniel Garber, Jorge L. A. Garcia, Robert K. Garcia, Don Garrett, Philip Gasper, Gerald Gaus, Berys Gaut, Bernard Gert, Roger F. Gibson, Cody Gilmore, Carl Ginet, Alan H. Goldman, Alvin I. Goldman, Alfonso Gömez-Lobo, Lenn E. Goodman, Robert M. Gordon, Stefan Gosepath, Jorge J. E. Gracia, Daniel W. Graham, George A. Graham, Peter J. Graham, Richard E. Grandy, I. Grattan-Guinness, John Greco, Philip T. Grier, Nicholas Griffin, Nicholas Griffin, David A. Griffiths, Paul J. Griffiths, Stephen R. Grimm, Charles L. Griswold, Charles B. Guignon, Pete A. Y. Gunter, Dimitri Gutas, Gary Gutting, Paul Guyer, Kwame Gyekye, Oscar A. Haac, Raul Hakli, Raul Hakli, Michael Hallett, Edward C. Halper, Jean Hampton, R. James Hankinson, K. R. Hanley, Russell Hardin, Robert M. Harnish, William Harper, David Harrah, Kevin Hart, Ali Hasan, William Hasker, John Haugeland, Roger Hausheer, William Heald, Peter Heath, Richard Heck, John F. Heil, Vincent F. Hendricks, Stephen Hetherington, Francis Heylighen, Kathleen Marie Higgins, Risto Hilpinen, Harold T. Hodes, Joshua Hoffman, Alan Holland, Robert L. Holmes, Richard Holton, Brad W. Hooker, Terence E. Horgan, Tamara Horowitz, Paul Horwich, Vittorio Hösle, Paul Hoβfeld, Daniel Howard-Snyder, Frances Howard-Snyder, Anne Hudson, Deal W. Hudson, Carl A. Huffman, David L. Hull, Patricia Huntington, Thomas Hurka, Paul Hurley, Rosalind Hursthouse, Guillermo Hurtado, Ronald E. Hustwit, Sarah Hutton, Jonathan Jenkins Ichikawa, Harry A. Ide, David Ingram, Philip J. Ivanhoe, Alfred L. Ivry, Frank Jackson, Dale Jacquette, Joseph Jedwab, Richard Jeffrey, David Alan Johnson, Edward Johnson, Mark D. Jordan, Richard Joyce, Hwa Yol Jung, Robert Hillary Kane, Tomis Kapitan, Jacquelyn Ann K. Kegley, James A. Keller, Ralph Kennedy, Sergei Khoruzhii, Jaegwon Kim, Yersu Kim, Nathan L. King, Patricia Kitcher, Peter D. Klein, E. D. Klemke, Virginia Klenk, George L. Kline, Christian Klotz, Simo Knuuttila, Joseph J. Kockelmans, Konstantin Kolenda, Sebastian Tomasz Kołodziejczyk, Isaac Kramnick, Richard Kraut, Fred Kroon, Manfred Kuehn, Steven T. Kuhn, Henry E. Kyburg, John Lachs, Jennifer Lackey, Stephen E. Lahey, Andrea Lavazza, Thomas H. Leahey, Joo Heung Lee, Keith Lehrer, Dorothy Leland, Noah M. Lemos, Ernest LePore, Sarah-Jane Leslie, Isaac Levi, Andrew Levine, Alan E. Lewis, Daniel E. Little, Shu-hsien Liu, Shu-hsien Liu, Alan K. L. Chan, Brian Loar, Lawrence B. Lombard, John Longeway, Dominic McIver Lopes, Michael J. Loux, E. J. Lowe, Steven Luper, Eugene C. Luschei, William G. Lycan, David Lyons, David Macarthur, Danielle Macbeth, Scott MacDonald, Jacob L. Mackey, Louis H. Mackey, Penelope Mackie, Edward H. Madden, Penelope Maddy, G. B. Madison, Bernd Magnus, Pekka Mäkelä, Rudolf A. Makkreel, David Manley, William E. Mann (W.E.M.), Vladimir Marchenkov, Peter Markie, Jean-Pierre Marquis, Ausonio Marras, Mike W. Martin, A. P. Martinich, William L. McBride, David McCabe, Storrs McCall, Hugh J. McCann, Robert N. McCauley, John J. McDermott, Sarah McGrath, Ralph McInerny, Daniel J. McKaughan, Thomas McKay, Michael McKinsey, Brian P. McLaughlin, Ernan McMullin, Anthonie Meijers, Jack W. Meiland, William Jason Melanson, Alfred R. Mele, Joseph R. Mendola, Christopher Menzel, Michael J. Meyer, Christian B. Miller, David W. Miller, Peter Millican, Robert N. Minor, Phillip Mitsis, James A. Montmarquet, Michael S. Moore, Tim Moore, Benjamin Morison, Donald R. Morrison, Stephen J. Morse, Paul K. Moser, Alexander P. D. Mourelatos, Ian Mueller, James Bernard Murphy, Mark C. Murphy, Steven Nadler, Jan Narveson, Alan Nelson, Jerome Neu, Samuel Newlands, Kai Nielsen, Ilkka Niiniluoto, Carlos G. Noreña, Calvin G. Normore, David Fate Norton, Nikolaj Nottelmann, Donald Nute, David S. Oderberg, Steve Odin, Michael O’Rourke, Willard G. Oxtoby, Heinz Paetzold, George S. Pappas, Anthony J. Parel, Lydia Patton, R. P. Peerenboom, Francis Jeffry Pelletier, Adriaan T. Peperzak, Derk Pereboom, Jaroslav Peregrin, Glen Pettigrove, Philip Pettit, Edmund L. Pincoffs, Andrew Pinsent, Robert B. Pippin, Alvin Plantinga, Louis P. Pojman, Richard H. Popkin, John F. Post, Carl J. Posy, William J. Prior, Richard Purtill, Michael Quante, Philip L. Quinn, Philip L. Quinn, Elizabeth S. Radcliffe, Diana Raffman, Gerard Raulet, Stephen L. Read, Andrews Reath, Andrew Reisner, Nicholas Rescher, Henry S. Richardson, Robert C. Richardson, Thomas Ricketts, Wayne D. Riggs, Mark Roberts, Robert C. Roberts, Luke Robinson, Alexander Rosenberg, Gary Rosenkranz, Bernice Glatzer Rosenthal, Adina L. Roskies, William L. Rowe, T. M. Rudavsky, Michael Ruse, Bruce Russell, Lilly-Marlene Russow, Dan Ryder, R. M. Sainsbury, Joseph Salerno, Nathan Salmon, Wesley C. Salmon, Constantine Sandis, David H. Sanford, Marco Santambrogio, David Sapire, Ruth A. Saunders, Geoffrey Sayre-McCord, Charles Sayward, James P. Scanlan, Richard Schacht, Tamar Schapiro, Frederick F. Schmitt, Jerome B. Schneewind, Calvin O. Schrag, Alan D. Schrift, George F. Schumm, Jean-Loup Seban, David N. Sedley, Kenneth Seeskin, Krister Segerberg, Charlene Haddock Seigfried, Dennis M. Senchuk, James F. Sennett, William Lad Sessions, Stewart Shapiro, Tommie Shelby, Donald W. Sherburne, Christopher Shields, Roger A. Shiner, Sydney Shoemaker, Robert K. Shope, Kwong-loi Shun, Wilfried Sieg, A. John Simmons, Robert L. Simon, Marcus G. Singer, Georgette Sinkler, Walter Sinnott-Armstrong, Matti T. Sintonen, Lawrence Sklar, Brian Skyrms, Robert C. Sleigh, Michael Anthony Slote, Hans Sluga, Barry Smith, Michael Smith, Robin Smith, Robert Sokolowski, Robert C. Solomon, Marta Soniewicka, Philip Soper, Ernest Sosa, Nicholas Southwood, Paul Vincent Spade, T. L. S. Sprigge, Eric O. Springsted, George J. Stack, Rebecca Stangl, Jason Stanley, Florian Steinberger, Sören Stenlund, Christopher Stephens, James P. Sterba, Josef Stern, Matthias Steup, M. A. Stewart, Leopold Stubenberg, Edith Dudley Sulla, Frederick Suppe, Jere Paul Surber, David George Sussman, Sigrún Svavarsdóttir, Zeno G. Swijtink, Richard Swinburne, Charles C. Taliaferro, Robert B. Talisse, John Tasioulas, Paul Teller, Larry S. Temkin, Mark Textor, H. S. Thayer, Peter Thielke, Alan Thomas, Amie L. Thomasson, Katherine Thomson-Jones, Joshua C. Thurow, Vzalerie Tiberius, Terrence N. Tice, Paul Tidman, Mark C. Timmons, William Tolhurst, James E. Tomberlin, Rosemarie Tong, Lawrence Torcello, Kelly Trogdon, J. D. Trout, Robert E. Tully, Raimo Tuomela, John Turri, Martin M. Tweedale, Thomas Uebel, Jennifer Uleman, James Van Cleve, Harry van der Linden, Peter van Inwagen, Bryan W. Van Norden, René van Woudenberg, Donald Phillip Verene, Samantha Vice, Thomas Vinci, Donald Wayne Viney, Barbara Von Eckardt, Peter B. M. Vranas, Steven J. Wagner, William J. Wainwright, Paul E. Walker, Robert E. Wall, Craig Walton, Douglas Walton, Eric Watkins, Richard A. Watson, Michael V. Wedin, Rudolph H. Weingartner, Paul Weirich, Paul J. Weithman, Carl Wellman, Howard Wettstein, Samuel C. Wheeler, Stephen A. White, Jennifer Whiting, Edward R. Wierenga, Michael Williams, Fred Wilson, W. Kent Wilson, Kenneth P. Winkler, John F. Wippel, Jan Woleński, Allan B. Wolter, Nicholas P. Wolterstorff, Rega Wood, W. Jay Wood, Paul Woodruff, Alison Wylie, Gideon Yaffe, Takashi Yagisawa, Yutaka Yamamoto, Keith E. Yandell, Xiaomei Yang, Dean Zimmerman, Günter Zoller, Catherine Zuckert, Michael Zuckert, Jack A. Zupko (J.A.Z.)
- Edited by Robert Audi, University of Notre Dame, Indiana
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
12 - Alpine Bryophytes as Indicators for Climate Change: a Case Study from the Austrian Alps
-
- By Daniela Hohenwallner, Federal Environment Agency Austria, Austria, Harald Gustav Zechmeister, University of Vienna, Austria, Dietmar Moser, Federal Environment Agency Austria, Austria, Harald Pauli, University of Vienna, Austria, Michael Gottfried, University of Vienna, Austria, Karl Reiter, University of Vienna, Austria, Georg Grabherr, University of Vienna, Austria
- Edited by Zoltán Tuba, Nancy G. Slack, Sage Colleges, New York, Lloyd R. Stark, University of Nevada, Las Vegas
-
- Book:
- Bryophyte Ecology and Climate Change
- Published online:
- 05 October 2012
- Print publication:
- 06 January 2011, pp 237-250
-
- Chapter
- Export citation
-
Summary
Introduction
The climate of Europe has changed in the past century. An increase in mean annual air temperature of +0.90°C could be observed between 1901 and 2005 (Jones & Moberg 2003). For the period 1977–2000, trends are even higher for Europe's mountain regions (Böhm et al. 2001). Beniston (2005) showed that for the alpine region minimum temperatures have increased up to 2 °C during the twentieth century, whereas the snow cover period has been reduced (IPCC 2007). The alpine and nival (uppermost altitudinal zone of the Alps above the closed alpine grassland) zones (e.g., Grabherr 1997) of high mountain ecosystems are considered to be particularly sensitive to warming (Diaz & Bradley 1997; Haeberli & Beniston 1998) as these ecosystems are determined by low temperature conditions. This life zone offers ideal conditions to study climate change effects because (1) direct human impact is very low, (2) its ecological systems are comparatively simple, at least in the upper elevation levels, and (3) its systems are dominated by abiotic, climate-related ecological factors. The importance of biotic factors such as competition decreases with altitude (Körner 1994; Callaway et al. 2002). Since high mountain plants have proven to respond sensitively to climate change (Grabherr et al. 1994, 2001), great efforts were made to establish the large-scale monitoring network GLORIA (Global Observation Research Initiative in Alpine environments) (Pauli et al. 2003).
The Indiana University Telephone-Based Assessment of Neuropsychological Status: A new method for large scale neuropsychological assessment
- FREDERICK W. UNVERZAGT, PATRICK O. MONAHAN, LYNDSI R. MOSER, QIANQIAN ZHAO, JANET S. CARPENTER, GEORGE W. SLEDGE, VICTORIA L. CHAMPION
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 13 / Issue 5 / September 2007
- Published online by Cambridge University Press:
- 14 August 2007, pp. 799-806
-
- Article
- Export citation
-
Sensitive measures of neuropsychological function were adapted to a telephone administration format for use in a large survey of quality of life in breast cancer survivors (BCS). Healthy controls (HC) and BCS were recruited from the community and administered the same neuropsychological test battery on two occasions separated by 1 week. Subjects were randomly assigned to conditions, stratified by diagnosis: In-person at Time-1 and In-person at Time-2 (P-P); Telephone at Time-1 and Telephone at Time-2 (T-T); T-P; and P-T. Four cognitive (Rey Auditory Verbal Learning Test, Controlled Oral Word Association, Digit Span, Symbol Digit) and two self-report measures (Squire Memory Self-Report Scale, Center for Epidemiological Studies Depression Scale) were used. The 106 subjects were randomized (54 HC and 52 BCS). Test–retest reliabilities (intraclass correlations) did not differ significantly by condition across the cognitive or self-report measures and ranged from moderate to near perfect (r's .43–.93; p's < .05). Mean scores at Time-1, practice effects (Time-1 to Time-2), and standard errors of measurement were comparable between In-person and Telephone administration formats. Results suggest that memory, attention, information processing speed, verbal fluency, and self-report of mood and memory can be measured reliably and precisely over the telephone. (JINS, 2007, 13, 799–806.)
Two-point similarity in temporally evolving plane wakes
- D. EWING, W. K. GEORGE, M. M. ROGERS, R. D. MOSER
-
- Journal:
- Journal of Fluid Mechanics / Volume 577 / 25 April 2007
- Published online by Cambridge University Press:
- 19 April 2007, pp. 287-307
-
- Article
- Export citation
-
The governing equations for the two-point correlations of the turbulent fluctuating velocity in the temporally evolving wake were analysed to determine whether they could have equilibrium similarity solutions. It was found that these equations could have such solutions for a finite-Reynolds-number wake, where the two-point velocity correlations could be written as a product of a time-dependent scale and a function dependent only on similarity variables. It is therefore possible to collapse the two-point measures of all the scales of motions in the temporally evolving wake using a single set of similarity variables. As in an earlier single-point analysis, it was found that the governing equations for the equilibrium similarity solutions could not be reduced to a form that was independent of a growth-rate dependent parameter. Thus, there is not a single ‘universal’ solution that describes the state of the large-scale structures, so that the large-scale structures in the far field may depend on how the flow is generated.
The predictions of the similarity analysis were compared to the data from two direct numerical simulations of the temporally evolving wakes examined previously. It was found that the two-point velocity spectra of these temporally evolving wakes collapsed reasonably well over the entire range of scales when they were scaled in the manner deduced from the equilibrium similarity analysis. Thus, actual flows do seem to evolve in a manner consistent with the equilibrium similarity solutions.
Andreas Weiermann. Complexity bounds for some finite forms of Kruskal's Theorem. Journal of Symbolic Computation, vol. 18 (1994), pp. 463–448. - Andreas Weiermann. Termination proofs for term rewriting systems with lexicographic path ordering imply multiply recursive derivation lengths. Theoretical Computer Science, vol. 139 (1995), pp. 355–362. - Andreas Weiermann. Bounding derivation lengths with functions from the slow growing hierarchy. Archive of Mathematical Logic, vol. 37 (1998), pp. 427–441.
- Georg Moser
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 588-590
- Print publication:
- December 2004
-
- Article
- Export citation
Kinetics of iron-promoted silicon nitridation
- William R. Moser, Dean S. Briere, Richard Correia, George A. Rossetti, Jr.
-
- Journal:
- Journal of Materials Research / Volume 1 / Issue 6 / December 1986
- Published online by Cambridge University Press:
- 29 June 2016, pp. 797-802
- Print publication:
- December 1986
-
- Article
- Export citation
-
Using a material synthesis technique to optimize the coverage of metals on the surface of silicon, the iron-promoted nitridation of high-purity silicon was studied. The kinetic results indicated that conversions to silicon nitride were directly dependent upon the surface loading by iron up to the point of excess coverage where the rates dropped sharply. A further modification of the iron-promoted system by alkali and alkaline earth metals sharply increased the degree of conversion. The results suggested that the chief effect of the metal promotion was to reduce nitridation induction times and to disrupt the oxided silicon surface. Reaction rates were enhanced by the iron promoter to the extent that the silicon surface was covered and deoxidized by iron.