This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010)...

This dictionary is one of a series designed for use in schools. It is intended for students of chemistry, but we hope that it will also be helpful to other science students and to anyone interested in science. Facts On File also publishes dictionaries in a variety of disciplines, including biology, physics, mathematics, forensic science,...

The papers in this volume were presented at the 20th Annual International Symposium on Algorithms and Computation, held December 16–18, 2009, in Hawaii, USA. In response to the Call-for-Papers, 279 papers were submitted. Each paper received at least three reviews by either Program Committee members or experts selected by Program...

The so-called “green wave”, triggered by a growing ecological awareness, has resulted in an increased interest in herbal formulations throughout the world, particularly in the last decade. The consumption of medicinal plants has almost doubled in the West during that period. The efficacy of a number of herbal formulations...

This work deals with a well-defined class of probabilistic models. The focus is on polymers. More precisely I should say that the focus is on the equilibrium statistical mechanics of a class of polymers: dynamical and non-equilibrium phenomena are not treated, reflecting the fact that these directions are at the moment...

A major thrust of computer science is the design, analysis, implementation, and scicntific evaluation of algorithms to solve critical problems. In addition, new challenges are being offered to computer scientists in the field of computational science and engineering, which includes challenging problems in computational biology,...

In From Computer to Brain: Foundations of Computational Neuroscience, William Lytton provides a gentle but rigorous introduction to the art of modeling neurons and neural systems. It is an accessible entry to the methods and approaches used to model the brain at many dierent levels, ranging from synapses and dendrites to neurons and...

While books and journals of high quality have proliferated in discrete and compu- tational geometry during recent years, there has been to date no single reference work fully accessible to the nonspecialist as well as to the specialist, covering all the major aspects of both fields. The Handbook of Discrete and Computational Geometry...

Which of these fields are involved in robotics? You may choose from the following: engineering, electronics, psychology, sociology, biology, physics, artificial intelligence, math, art, mechanical design, mechanical construction, computer programming, sound synthesis, vision, ultrasonics, linguistics, microelectronics, process control,...

Most tasks require a person or an automated system to reason--to reach conclusions based on available information. The framework of probabilistic graphical models, presented in this book, provides a general approach for this task. The approach is model-based, allowing interpretable models to be constructed and then manipulated by reasoning...

The present volume is dedicated to aspects of algorithmic work in bioinformat ics and computational biology with an emphasis on string algorithms that play a central role in the analysis of biological sequences. The papers included are a selection of articles corresponding to talks given at one of two meetings spon sored by The Royal...