Transactions on Computational Systems Biology VII [[electronic resource] /] / edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (VII, 187 p.)
• Disciplina: 004.0151
• Soggetto topico: Computers; Bioinformatics; Mathematical logic; Algorithms; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity
• Persona (resp. second.): IngolfsdottirAnna; MishraBud; NielsonHanne Riis
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Transactions on Computational Systems Biology VII
• ISBN: 3-540-48839-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466157503316
• Lo trovi qui: Univ. di Salerno
• Serie: Transactions on Computational Systems Biology, . 1861-2075 ; ; 4230