Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

540 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Regular Lectures.- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.- Pathway Logic.- Formal Cell Biology in Biocham.- Hierarchical Modeling for Computational Biology.- Simulation Methods in Systems Biology.- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies.- Petri Nets for Systems and Synthetic Biology.- Process Algebras in Systems Biology.- The BlenX Language: A Tutorial.- BISCA Talks.- Cells in Silico: A Holistic Approach.- The Calculus of Looping Sequences.- Hybrid Systems and Biology.- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Wissensbasierte Systeme, Expertensysteme
• ISBN: 9783540688921
• Sprache: Englisch
• Erscheinungsdatum: 20.05.2008
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Pierpaolo Degano, Gianluigi Zavattaro, Marco Bernardo