This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in Marc...
This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of...
This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech...
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997. The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy...
A survey of recent research in the fields of condensed matter physics and chemistry based on novel NMR and ESR techniques. Applications include quantum computing, metal nanoparticles, low dimensional magnets, fullerenes as atomic cages, superconductors, porous media, and laser assisted studies. The book is dedicated to Professor Robert Blinc, on the occasion of his seventieth birthday, in appreciation of his remarkable scientific accomplishments in the NMR of condensed matter.
A survey of recent research in the fields of condensed matter physics and chemistry based on novel NMR and ESR techniques. Applications include qua...
The 50 revised full papers presented were carefully selected for inclusion in this volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing and specific methods and applications.
The 50 revised full papers presented were carefully selected for inclusion in this volume. The book is divided into sections on design environments an...
Quantum annealing employs quantum fluctuations in frustrated systems or networks to anneal the system down to its ground state, or more generally to its so-called minimum cost state. Often this procedure turns out to be more effective, in multivariable optimization problems, than its classical counterpart utilizing tunable thermal fluctuations. This volume is divided into three parts. Part I is an extensive tutorial introduction familiarizing the reader with the background material necessary to follow the core of the book. Part II gives a comprehensive account of the fundamentals and...
Quantum annealing employs quantum fluctuations in frustrated systems or networks to anneal the system down to its ground state, or more generally t...
This book is based on material taught in general and special theoretical physics courses given by I.B. Khriplovich at the Physics Department of Novosibirsk University, Russia. The book contains the analysis of concrete problems in classical mechanics, classical electrodynamics, quantum mechanics, and relativistic quantum mechanics. To the best of Khriplovich s knowledge, many of the problems and solutions included in this book have never been discussed in print before.
"
This book is based on material taught in general and special theoretical physics courses given by I.B. Khriplovich at the Physics Department of Nov...
In the past decades now a famous class of evolution equations has been discovered and intensively studied, a class including the nowadays celebrated Korteweg-de Vries equation, sine-Gordon equation, nonlinear Schr] odinger equation, etc. The equations from this class are known also as the soliton equations or equations solvable by the so- called Inverse Scattering Tra- form Method. They possess a number of interesting properties, probably the most interesting from the geometric point of view of being that most of them are Liouville integrable Hamiltonian systems. Because of the importance of...
In the past decades now a famous class of evolution equations has been discovered and intensively studied, a class including the nowadays celebrated K...
This carefully arranged book is mainly based on work done by the Intelligent Systems Research Group at BT Laboratories, essentially in cooperation with internationally leading scientists from outside BT. It opens with a detailed introduction surveying the area and putting the work presented in context. Conceptual issues surrounding intelligent agents and multi-agent systems are investigated and the practical and industrial applicability of this exciting new technology is demonstrated. One section is devoted to the rationale, philosophy, and techniques of the emerging area of soft computing....
This carefully arranged book is mainly based on work done by the Intelligent Systems Research Group at BT Laboratories, essentially in cooperation wit...
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem...
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of System...