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.
Author(s): Raya Khanin, Desmond J. Higham (auth.), Muffy Calder, Stephen Gilmore (eds.)
Series: Lecture Notes in Computer Science 4695
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 249
Tags: Simulation and Modeling; Bioinformatics; Computer Appl. in Life Sciences; Software Engineering; Database Management; Computation by Abstract Devices
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 -
