Computational Methods in Systems Biology

International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

  • Editors
  • Muffy Calder
  • Stephen Gilmore
Conference proceedings CMSB 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4695)

Table of contents

  1. Front Matter
    PDF
  2. Chemical Master Equation and Langevin Regimes for a Gene Transcription Model
    Raya Khanin, Desmond J. Higham
    Pages 1-14
  3. Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models
    Werner Sandmann
    Pages 15-31
  4. Modelling Yeast Pre-rRNA Processing
    Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey
    Pages 32-47
  5. On the Analysis of Numerical Data Time Series in Temporal Logic
    François Fages, Aurélien Rizk
    Pages 48-63
  6. Context Sensitivity in Logical Modeling with Time Delays
    Heike Siebert, Alexander Bockmayr
    Pages 64-79
  7. Stochastic Simulation of Biological Systems with Dynamical Compartment Structure
    Cristian Versari, Nadia Busi
    Pages 80-95
  8. Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores
    Martyn R. Brown, Paul Rees, Steve Wilks, Huw D. Summers, Rachel J. Errington, Kerenza L. Njoh et al.
    Pages 96-105
  9. A Formal and Integrated Framework to Simulate Evolution of Biological Pathways
    Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun Soyer
    Pages 106-120
  10. Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks
    Bartek Wilczyński, Jerzy Tiuryn
    Pages 121-135
  11. An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra
    Maria Luisa Guerriero, John K. Heath, Corrado Priami
    Pages 136-151
  12. Expressive Models for Synaptic Plasticity
    Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
    Pages 152-167
  13. Modelization and Simulation of Nano Devices in nanoκ Calculus
    Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
    Pages 168-183
  14. Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
    Andrew Phillips, Luca Cardelli
    Pages 184-199
  15. A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
    David Gilbert, Monika Heiner, Sebastian Lehrack
    Pages 200-216
  16. Reconstructing Metabolic Pathways by Bidirectional Chemical Search
    Liliana Félix, Francesc Rosselló, Gabriel Valiente
    Pages 217-232
  17. Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks
    Aurélien Naldi, Denis Thieffry, Claudine Chaouiya
    Pages 233-247
  18. Back Matter
    PDF

About these proceedings

Keywords

3D modeling Microarray Simulation aggregation biochemical reactions bioinformatics biology biomechanical modeling compositional analysis formal method gene network logic medical imaging modeling petri net

Bibliographic information

  • DOI 10.1007/978-3-540-75140-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75139-7
  • Online ISBN 978-3-540-75140-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349