Transactions on Computational Systems Biology VII / / edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Transactions on Computational Systems Biology VII / / 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: | Computer science |
| Bioinformatics | |
| Machine theory | |
| Algorithms | |
| Theory of Computation | |
| Formal Languages and Automata Theory | |
| Altri autori: |
PriamiCorrado
|
| 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. |
| Sommario/riassunto: | 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. |
| 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.: | 9910767532903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Transactions on Computational Systems Biology ; ; 4230