Constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2007, held in Edinburgh, Scotland, September 20-21, 2007. This book includes papers that present a variety of techniques from computer science such as language design, concurrency theory, software engineering, and formal methods.

Chemical Master Equation and Langevin Regimes for a Gene Transcription Model.- Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models.- Modelling Yeast Pre-rRNA Processing.- On the Analysis of Numerical Data Time Series in Temporal Logic.- Context Sensitivity in Logical Modeling with Time Delays.- Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.- Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores.- A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.- Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks.- An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.- Expressive Models for Synaptic Plasticity.- Modelization and Simulation of Nano Devices in nano ? Calculus.- Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus.- A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.- Reconstructing Metabolic Pathways by Bidirectional Chemical Search.- Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com