The book collects results about realization spaces of polytopes. It gives a presentation of the author's "Universality Theorem for 4-polytopes." It is a comprehensive survey of the important results that have been obtained in that direction. The approaches chosen are direct and very geometric in nature. The book is addressed to researchers and to graduate students. The former will find a comprehensive source for the above mentioned results. The latter will find a readable introduction to the field. The reader is assumed to be familiar with basic concepts of linear algebra.

The aim of cyclic cohomology theories is the approximation of K-theory by cohomology theories defined by natural chain complexes. The basic example is the approximation of topological K-theory by de Rham cohomology via the classical Chern character. A cyclic cohomology theory for operator algebras is developed in the book, based on Connes' work on noncommutative geometry. Asymptotic cyclic cohomology faithfully reflects the basic properties and features of operator K-theory. It thus becomes a natural target for a Chern character. The central result of the book is a general...

This tutorial survey brings together two lines of research and development, the interaction of which promises to have significant practical impact on the area of spatial information processing in the near future: geographic information systems (GIS) and geometric computation or, more particularly, geometric algorithms and spatial data structures. In nine uniformly structured chapters, the authors present a survey ranging from the history and basic characteristics to current issues of precision and robustness of geometric computing.

This volume contains the papers presented at the 5th International Conference on Discovery Science (DS 2002) held at the M]ovenpick Hotel, Lub ] eck, G- many, November 24-26, 2002. The conference was supported by CorpoBase, DFKI GmbH, and JessenLenz. The conference was collocated with the 13th International Conference on - gorithmic Learning Theory (ALT 2002). Both conferences were held in parallel and shared ?ve invited talks as well as all social events. The combination of ALT 2002 and DS 2002 allowed for a comprehensive treatment of recent de- lopments in computational learning theory and...

AlegendsaysthatJackEdmondsshouted"Eureka-youshrink "whenhefound a good characterization for matching (and the matching algorithm) in 1963, the daybeforehistalkatasummerworkshopatRANDCorporationwithcelebrities like George Dantzig, Ralph Gomory, and Alan Ho?man in the audience. During Aussois 2001, Jack con?rmed: "'Eureka - you shrink ' is really true, except that instead of 'Eureka' it maybe was some less digni?ed word." Aussois 2001 was the ?fth in an annual series of workshops on combinatorial optimization that are alternately organized by Thomas Liebling, Denis Naddef,...

This book constitutes the refereed proceedings of the Second International Conference on Pervasive Computing, PERVASIVE 2004, held in Vienna, Austria in April 2004. from a total of 278 submissions. The papers are organized in topical sections on activity recognition, context computing, near body interfaces, software, sensors, security, architectures and systems, algorithms, and new interfaces.

This book constitutes the refereed proceedings of the 7th International Conference on the Unified Modeling Language, UML 2004, held in Lisbon, Portugal, in October 2004.The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions. The papers are organized in topical sections on metamodeling, aspects, profiles and extensions, OCL, model transformation, verification and model consistency, security, and methodology.

These are the refereed proceedings of the Second International Workshop on Grid Computing, GRID 2001, held in Denver USA, in November 2001. The 16 revised full papers presented were reviewed and selected for inclusion in the book. The papers are organized in topical sections on object middleware, resource discovery and management, scheduling, grid architecture and policies, and performance and practice.