Catalogue


Transactions on computational systems biology VII [electronic resource] /
Corrado Priami ... [et al.] (eds.).
imprint
Berlin ; New York : Springer, c2006.
description
184 p. : ill. ; 24 cm.
ISBN
3540488375 (pbk. : alk. paper), 9783540488378 (pbk. : alk. paper)
format(s)
Book
Subjects
genre index term
More Details
added author
imprint
Berlin ; New York : Springer, c2006.
isbn
3540488375 (pbk. : alk. paper)
9783540488378 (pbk. : alk. paper)
restrictions
Licensed for access by U. of T. users.
catalogue key
8086507
 
Includes bibliographical references and author index.
A Look Inside
Summaries
Main Description
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.
Main Description
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.
Table of Contents
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPAp. 1
Gene regulation in the pi calculus : simulating cooperativity at the lambda switchp. 24
From logical regulatory graphs to standard Petri nets : dynamical roles and functionality of feedback circuitsp. 56
Translating SBML models into the stochastic [Pi]-calculus for stochastic simulationp. 73
Graph theory for rule-based modeling of biochemical networksp. 89
Adapting biochemical Kripke structures for distributed model checkingp. 107
A graphical representation for biological processes in the stochastic pi-calculusp. 123
On differentiation and homeostatic behaviours of Boolean dynamical systemsp. 153
A specification language and a framework for the execution of composite models in systems biologyp. 163
Table of Contents provided by Blackwell. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem