Computational Methods in Systems Biology: 7th International Conference, CMSB 2008

Cover
Pierpaolo Degano, Roberto Gorrieri
Springer Science & Business Media, 17.08.2009 - 329 Seiten
0 Rezensionen
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and physicists. The goal was to promote the c- vergence of di?erent disciplines aiming at a new understanding and description of biological systems, ?rmly ground in formal models, supported by compu- tionallanguagesandtools,ando?eringnew methodsofanalysis.The conference then moved to Paris in 2004, Edinburgh in 2005, Trento in 2006, Edinburgh in 2007 and Rostock/Warnemunde ̈ in 2008. This year the conference attracted about 45 submissions form 18 countries, mainly from Europe and North America, but also from Asia and Australia. We wish to thank all authors for their interest in CMSB 2009. After careful disc- sions, the Programme Committee eventually selected 18 papers for presentation at the conference. Each of them was accurately refereed by at least three - viewers, who delivered detailed and insightful comments and suggestions. The Conference Chairmen warmly thank all the members of the Programme C- mittee and all their sub-referees for the excellent support they gave, as well as for the friendly and constructive discussions. We also would like to thank the authorsfor havingrevisedtheir papers to addressthe comments andsuggestions by the referees.
 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Inhalt

How to Bridge Molecular Events to Large Scale Protein Interaction Networks
1
The Equivalence between Biology and Computation
18
BlenX4Bio BlenX for Biologists
26
Stochasticity and Robustness for the it Neurospora crassa Circadian Network
52
Quantitative Pathway Logic for Computational Biology
68
A PrizeCollecting Steiner Tree Approach for Transduction Network Inference
83
Formal Analysis of the Genetic Toggle
96
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response
111
Equivalence and Discretisation in BioPEPA
189
Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems
205
A Bayesian Approach to Model Checking Biological Systems
218
Dynamic Compartments in the Imperative πCalculus
235
Probabilistic Approximations of Signaling Pathway Dynamics
251
A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties
266
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
281
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
296

Computing Reachable States for Nonlinear Biological Models
126
Effects of Irinotecan Injections on the Mammalian Cell Cycle
142
Decidability Boundaries for Qualitative Analysis in Biological Languages
158
Approximation of Event Probabilities in Noisy Cellular Processes
173
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
313
Author Index
328
Urheberrecht

Häufige Begriffe und Wortgruppen

Bibliografische Informationen