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.

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Programming, EP 97, held in Indianapolis, IN, USA, in April 1997.
The 36 revised full papers presented were carefully selected for inclusion in the proceedings. The papers are organized in sections on evolutionary methods for modeling and training, alternative frameworks for the computational study of evolutionary social systems, genetic programming: issues and applications, issues in evolutionary optimization, enhanced evolutionary operators, theory and analysis of evolutionary computations,...

This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.
The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book...

This book constitutes the refereed proceedings of the 6th International Conference on Extending Database Technology, EDBT '98, held in Valencia, Spain, in March 1998. The 32 revised full papers presented together with one invited keynote were selected from a total of 191 submissions. The book is divided in sections on similarity search and indexing, query optimization on the Web, Algorithms for data mining, modelling in OLAP, query processing and storage management, aggregation and summary data, object-oriented and active databases, view maintenance and integrity, databases and the Web,...

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..

Welcome to ECDL 2003 and to these conference proceedings, featuring all the papers presented at the 7th European Conference on Research and Advanced Technology for Digital Libraries. Following Pisa (1997), Heraklion (1998), Paris (1999), Lisbon (2000), Da- stadt (2001) and Rome (2002), ECDL 2003 in Trondheim reaches some of the northernmost shores of the continent. Being the seventh in an annual series of conferences represents, for better and for worse, a considerable tradition in the fast changing world of digit- library-related research and development. It is still a di?cult and slow job...

For the ?fth time in its history, in cooperation with Springer-Verlag, the European C- ference on Object-Oriented Programming (ECOOP) conference series is glad to offer the object-oriented research community the ECOOP 2001 Workshop Reader, a c- pendium of workshop reports, panel transcripts, and poster abstracts pertaining to the ECOOP 2001 conference, held in Budapest from 18 to 22 June, 2001. ECOOP 2001 hosted 19 high-quality workshops covering a large spectrum of - search topics. The workshops attracted 460 participants on the ?rst two days of the conference. Originally 22 workshops were...

The Cryptographers Track (CT-RSA) is a research conference within the RSA conference, the largest, regularly staged computer security event. CT-RSA 2004 was the fourth year of the Cryptographers Track, and it is now an established venue for presenting practical research results related to cryptography and data security. The conference received 77 submissions, and the program committee sel- ted 28 of these for presentation. The program committee worked very hard to evaluate the papers with respect to quality, originality, and relevance to cryp- graphy. Each paper was reviewed by at least three...

We are pleased to present the proceedings of the Second Workshop on Al- rithms in Bioinformatics (WABI 2002), which took place on September 17-21, 2002 in Rome, Italy. The WABI workshop was part of a three-conference me- ing, which, in addition to WABI, included the ESA and APPROX 2002. The three conferences are jointly called ALGO 2002, and were hosted by the F- ulty of Engineering, University of Rome "La Sapienza." Seehttp: //www.dis. uniroma1.it/ algo02 for more details. The Workshop on Algorithms in Bioinformatics covers research in all areas of algorithmic work in bioinformatics and...