03530nam 22007215 450 991076753290332120251226195928.03-540-48839-110.1007/11905455(CKB)1000000000284037(SSID)ssj0000320468(PQKBManifestationID)11231110(PQKBTitleCode)TC0000320468(PQKBWorkID)10249172(PQKB)11026295(DE-He213)978-3-540-48839-2(MiAaPQ)EBC3068672(PPN)123139570(BIP)34164476(BIP)13887581(EXLCZ)99100000000028403720110113d2006 u| 0engurnn#008mamaatxtccrTransactions on Computational Systems Biology VII /edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (VII, 187 p.)Transactions on Computational Systems Biology ;4230Bibliographic Level Mode of Issuance: Monograph3-540-48837-5 Includes bibliographical references and index.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.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.Transactions on Computational Systems Biology ;4230Computer scienceBioinformaticsMachine theoryAlgorithmsTheory of ComputationBioinformaticsFormal Languages and Automata TheoryAlgorithmsComputer science.Bioinformatics.Machine theory.Algorithms.Theory of Computation.Bioinformatics.Formal Languages and Automata Theory.Algorithms.004.0151Priami Corrado1236801MiAaPQMiAaPQMiAaPQBOOK9910767532903321Transactions on computational systems biology VII4202864UNINA