Transactions on computational systems biology VII
著者
書誌事項
Transactions on computational systems biology VII
(Lecture notes in computer science, 4230 . Lecture notes in bioinformatics)
Springer, c2006
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Journal subline"--Cover
"Corrado Priami, editor-in-chief"--Cover
Includes bibliographical references and index
内容説明・目次
内容説明
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers from 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 chosen for this special issue are devoted to various aspects of computational methods, algorithms, and techniques in bioinformatics.
目次
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.
「Nielsen BookData」 より