Transactions on Computational Systems Biology VII

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ingolfsdottir, Anna (Editor ), Mishra, Bud (Editor ), Nielson, Hanne Riis (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Transactions on Computational Systems Biology ; 4230
Temas:
Computer science.
Bioinformatics.
Machine theory.
Algorithms.
Theory of Computation.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA
  • Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch
  • From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits
  • Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation
  • Graph Theory for Rule-Based Modeling of Biochemical Networks
  • Adapting Biochemical Kripke Structures for Distributed Model Checking
  • A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
  • On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems
  • A Specification Language and a Framework for the Execution of Composite Models in Systems Biology
  • A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.

Ejemplares similares