Transactions on Computational Systems Biology VII

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Ingolfsdottir, Anna (Editor), Mishra, Bud (Editor), Nielson, Hanne Riis (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Transactions on Computational Systems Biology ; 4230
Subjects:
Computer science.
Bioinformatics.
Machine theory.
Algorithms.
Theory of Computation.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items