Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings /

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contribu...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Fisher, Jasmin (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Édition:1st ed. 2008.
Collection:Lecture Notes in Bioinformatics, 5054
Sujets:
Computer simulation.
Bioinformatics.
Software engineering.
Database management.
Computer science.
Computer Modelling.
Computational and Systems Biology.
Software Engineering.
Database Management.
Theory of Computation.
Accès en ligne:Texto Completo
Table des matières:
  • Contributed Papers
  • Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
  • Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
  • Computational Probability for Systems Biology
  • Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
  • Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
  • Approximating Continuous Systems by Timed Automata
  • From Reaction Models to Influence Graphs and Back: A Theorem
  • Rule-Based Modelling, Symmetries, Refinements
  • One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.

Documents similaires