The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.

"From Fifth Avenue-shaping Rockefeller Center, the first AIA honoree in 1969, to Richard Meier's Darien, Connecticut, Smith House, created in 1965 to 1967 and winner of the year 2000 prize, this book investigates the structures that mark and define our era."--BOOK JACKET.

This volume contains the proceedings of a NATO Advanced study Institute held at Geilo, Norway between 2 - 12 april 1991. This institute was the eleventh in a series held biannually at Geilo on the subject of phase transitions. It was intended to capture the latest ideas on selforgan ized patterns and criticality. The Institute brought together many lecturers, students and active re searchers in the field from a wide range of NATO and non-NATO countries. The main financial support came from the NATO scientific Affairs Divi sion, but additional support was obtained from the Norwegian Research Council for Science and the Humanities (NAVF) and Institutt for energi teknikk. The organizers would like to thank all these contributors for their help in promoting an exciting and rewarding meeting, and in doing so are confident that they echo the appreciation of all the parti cipants. In cooperative, equilibrium systems, physical states are described by spatio-temporal correlation functions. The intimate connection between space and time correlations is especially apparent at the critical point, the second order phase transition, where the spatial range and the decay time of the correlation function both become infinite. The salient features of critical phenomena and the history of the devel opment of this field of science are treated in the first chapter of this book.

In this book the authors examine the relations between work and time and explore the possibilities of developing new and more flexible working patterns.

"This book covers the latest concepts, methodologies, techniques, tools, and perspectives essential to understanding individual time management experiences"--Provided by publisher.

Thanks to Einstein's relativity theories, our notions of space and time underwent profound revisions about a 100 years ago. The resulting interplay between geometry and physics has dominated all of fundamental physics since then. This volume contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century. Contributions here include summaries of radical changes in the notions of space and time that are emerging from quantum field theory in curved space-times (Ford), string theory (T Banks), loop quantum gravity (A Ashtekar), quantum cosmology (M Bojowald), discrete approaches (Dowker, Gambini and Pullin) and twistor theory (R Penrose).