Artificial life IX : proceedings of the Ninth International Conference on the Simulation and Synthesis of Artificial LifeCambridge, Mass. : MIT Press, c2004.
Online IEEE Xplore Digital Library
Artificial life X : proceedings of the Tenth International Conference on the Simulation and Synthesis of Living SystemsCambridge, Mass. : MIT Press, c2006.
This work includes proceedings from the Tenth International Conference on Artificial Life, marking two decades of interdisciplinary research in this growing scientific community. "Artificial Life" is an interdisciplinary effort to investigate the fundamental properties of living systems through the simulation and synthesis of life-like processes in artificial media. The field brings a powerful set of tools to the study of how high-level behavior can arise in systems governed by simple rules of interaction. This tenth volume marks two decades of research in this interdisciplinary scientific community, a period marked by vast advances in the life sciences. The field has contributed fundamentally to our understanding of life itself through computer models, and has led to novel solutions to complex real-world problems - from disease prevention to stock market prediction - across high technology and human society. The proceedings of the biennial A-life conference - which has grown over the years from a small workshop in Santa Fe to a major international meeting - reflect the increasing importance of the work to all areas of contemporary science.
Formal methods in systems biology [electronic resource] : first international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedingsBerlin ; New York : Springer-Verlag, c2008.
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.