Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, ProceedingsMuffy Calder, Stephen Gilmore Springer Science & Business Media, 05.09.2007 - 249 Seiten This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2007, held in Edinburgh, Scotland, September 2007. The 16 revised full papers presented 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. |
Inhalt
Chemical Master Equation and Langevin Regimes for a Gene Transcription Model | 1 |
Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models | 15 |
Modelling Yeast Prer_RNA Processing | 32 |
On the Analysis of Numerical Data Time Series in Temporal Logic | 48 |
Context Sensitivity in Logical Modeling with Time Delays | 64 |
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure | 80 |
Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores | 96 |
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways | 106 |
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra | 136 |
Expressive Models for Synaptic Plasticity | 152 |
Modelization and Simulation of Nano Devices in nanoκ Calculus | 168 |
Efficient Correct Simulation of Biological Processes in the Stochastic Picalculus | 184 |
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets | 200 |
Reconstructing Metabolic Pathways by Bidirectional Chemical Search | 217 |
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks | 233 |
| 248 | |
Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks | 121 |
Andere Ausgaben - Alle anzeigen
Computational Methods in Systems Biology: International Conference CMSB 2007 ... Muffy Calder,Stephen Gilmore Eingeschränkte Leseprobe - 2007 |
Häufige Begriffe und Wortgruppen
active analysis approach artificial chemistry behaviour beta binder Beta-binders bio-process biochemical biological Boolean Ca2+ calcium calculus cell cycle chemical graphs chemical reactions circuit CMSB compartment complex component computational concentration considered constraints corresponding CoTC CTMC defined Definition delay denotes described dimer discrete domain dynamics edges equation ERKPP experimental data expression level formal gene Gillespie Gillespie algorithm given Heidelberg Importance Sampling initial input interaction kinetic labelling LNBI logical MAPK Markov MEKPP metabolic pathways metabolites method model checking molecular number of molecules obtained output parameter perturbed Petri net phosphorylation pi-calculus pre-rRNA Priami process calculi properties protein qualitative quantum dot RafP reactants reaction rates reconstruction regulatory networks release represent rotaxane Section signal silico simulation algorithm species SPiM Springer STAT3 stochastic model stochastic simulation structure switch conditions synaptic Systems Biology temporal logic transcription transition transition relation values variables vescicles