Product Description: Modeling Chemical Systems using Cellular Automata provides a practical introduction to an exciting modeling paradigm for complex systems. The book first discusses the nature of scientific inquiry using models and simulations, and then describes the nature of cellular automata models...read more

Describes robots, the kinds of jobs they do, how to program them, and how to make one from cardboard, lightbulbs, and wires.

Product Description: The study of nonlinear dynamical systems has advanced tremendously in the last 20 years, making a big impact on science and technology. This book provides all the techniques and methods used in nonlinear dynamics. The concepts and underlying mathematics are discussed in detail...read more

This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decomposed and simulated by simpler ones. This treatment is based on fundamental ideas from modern algebra. Motivation for many of the newer results is provided by way of applications so this account should be accessible and valuable for those studying applied algebra or theoretical computer science at advanced undergraduate or beginning postgraduate level, as well as for those undertaking research in those areas.

Product Description: This book not only discusses cellular automata (CA) as accouterment for simulation, but also the actual building of devices within cellular automata. CA are widely used tools for simulation in physics, ecology, mathematics, and other fields...read more

Presents a collection of papers from the 5th International Conference on Cellular Automata for Research and Industry. (view table of contents)

(view table of contents)

Product Description: This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 – August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002)...read more

(view table of contents)

(view table of contents)

Product Description: This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col­ lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph...read more (view table of contents, read Amazon.com's description)

Product Description: Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X => Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y...read more (view table of contents, read Amazon.com's description)

(view table of contents)

Product Description: This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th - 12th of December, 2000 at the University of Durham, Durham, UK...read more (view table of contents, read Amazon.com's description)

Describes the development of various types of robots, the challenges inherent in making them more and more complex, and uses of robots now and in the future.

(view table of contents)

(view table of contents)