Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

Description

This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2007, held in Edinburgh, Scotland, September 20-21, 2007. The 16 revised full papers presented were carefully reviewed and selected. The papers present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes. Front Matter....Pages - Chemical Master Equation and Langevin Regimes for a Gene Transcription Model....Pages 1-14 Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models....Pages 15-31 Modelling Yeast Pre-rRNA Processing....Pages 32-47 On the Analysis of Numerical Data Time Series in Temporal Logic....Pages 48-63 Context Sensitivity in Logical Modeling with Time Delays....Pages 64-79 Stochastic Simulation of Biological Systems with Dynamical Compartment Structure....Pages 80-95 Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores....Pages 96-105 A Formal and Integrated Framework to Simulate Evolution of Biological Pathways....Pages 106-120 Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks....Pages 121-135 An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra....Pages 136-151 Expressive Models for Synaptic Plasticity....Pages 152-167 Modelization and Simulation of Nano Devices in nano κ Calculus....Pages 168-183 Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus....Pages 184-199 A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets....Pages 200-216 Reconstructing Metabolic Pathways by Bidirectional Chemical Search....Pages 217-232 Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks....Pages 233-247 Back Matter....Pages -