Amazon cover image
Image from Amazon.com

Transactions on computational systems biology VII / Corrado Priami [and others] (eds.).

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 4230. | Lecture notes in computer science. Journal subline. | Lecture notes in computer science. Lecture notes in bioinformatics.Publication details: Berlin : Springer, ©2006.Description: 1 online resource (184 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540488392
  • 3540488391
  • 3540488375
  • 9783540488378
Subject(s): Genre/Form: Additional physical formats: Print version:: Transactions on computational systems biology VII.; Online version:: Transactions on computational systems biology VII.DDC classification:
  • 570.285 22
LOC classification:
  • QH324.2 .T732 v.7eb
NLM classification:
  • 2010 K-589
  • QU 26.5
Other classification:
  • Q811. 4-532
Online resources:
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.
In: Springer e-booksSummary: The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully-refereed and carefully selected set of papers from the two workshops BioConcur 2004 held in London, UK in August 2004 and BioConcur 2005 held in San Francisco, CA, USA in August 2005. The 8 papers selected for this special issue are devoted to various aspects of computational methods, algorithms and techniques in bioinformatics such as modeling of signalling pathways, gene regulation in pi-calculus, relations between regulator graphs and Petri nets, translation of SBML models to stochastic pi-calculus, use of graph theory to model biological networks, distributed model checking with biochemical Kripke structures, graphical notation for stochastic pi-calculus, as well as differentiation and homeostatic behavior of boolean dynamic systems.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully-refereed and carefully selected set of papers from the two workshops BioConcur 2004 held in London, UK in August 2004 and BioConcur 2005 held in San Francisco, CA, USA in August 2005. The 8 papers selected for this special issue are devoted to various aspects of computational methods, algorithms and techniques in bioinformatics such as modeling of signalling pathways, gene regulation in pi-calculus, relations between regulator graphs and Petri nets, translation of SBML models to stochastic pi-calculus, use of graph theory to model biological networks, distributed model checking with biochemical Kripke structures, graphical notation for stochastic pi-calculus, as well as differentiation and homeostatic behavior of boolean dynamic systems.

University staff and students only. Requires University Computer Account login off-campus.

Powered by Koha