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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fisher, Jasmin (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Lecture Notes in Bioinformatics, 5054
Temas:
Computer simulation.
Bioinformatics.
Software engineering.
Database management.
Computer science.
Computer Modelling.
Computational and Systems Biology.
Software Engineering.
Database Management.
Theory of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares