TY - BOOK AU - Calder,Muffy AU - Gilmore,Stephen ED - SpringerLink (Online service) TI - Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540751403 AV - QA76.9.C65 U1 - 003.3 23 PY - 2007/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Database management KW - Computer simulation KW - Bioinformatics KW - Biology KW - Data processing KW - Computer Science KW - Simulation and Modeling KW - Computer Appl. in Life Sciences KW - Software Engineering KW - Database Management KW - Computation by Abstract Devices N1 - 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 UR - http://dx.doi.org/10.1007/978-3-540-75140-3 ER -