04377nam 22008295 450 991048405320332120251226195731.03-540-75140-810.1007/978-3-540-75140-3(CKB)1000000000490417(SSID)ssj0000316810(PQKBManifestationID)11225848(PQKBTitleCode)TC0000316810(PQKBWorkID)10287309(PQKB)10887469(DE-He213)978-3-540-75140-3(MiAaPQ)EBC3063460(MiAaPQ)EBC6413284(PPN)123165245(BIP)32372653(BIP)14494153(EXLCZ)99100000000049041720100301d2007 u| 0engurnn|008mamaatxtccrComputational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings /edited by Muffy Calder, Stephen Gilmore1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (X, 249 p.) Lecture Notes in Bioinformatics,2366-6331 ;4695Bibliographic Level Mode of Issuance: Monograph3-540-75139-4 Includes bibliographical references and index.Chemical Master Equation and Langevin Regimes for a Gene Transcription Model -- Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models -- Modelling Yeast Pre-rRNA Processing -- On the Analysis of Numerical Data Time Series in Temporal Logic -- Context Sensitivity in Logical Modeling with Time Delays -- Stochastic Simulation of Biological Systems with Dynamical Compartment Structure -- Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores -- A Formal and Integrated Framework to Simulate Evolution of Biological Pathways -- Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks -- An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra -- Expressive Models for Synaptic Plasticity -- Modelization and Simulation of Nano Devices in nano ? Calculus -- Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus -- A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets -- Reconstructing Metabolic Pathways by Bidirectional Chemical Search -- Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks.This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2007, held in Edinburgh, Scotland, September 2007. The 16 revised full papers presented present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes.Lecture Notes in Bioinformatics,2366-6331 ;4695Computer simulationBioinformaticsSoftware engineeringDatabase managementComputer scienceComputer ModellingBioinformaticsComputational and Systems BiologySoftware EngineeringDatabase ManagementTheory of ComputationComputer simulation.Bioinformatics.Software engineering.Database management.Computer science.Computer Modelling.Bioinformatics.Computational and Systems Biology.Software Engineering.Database Management.Theory of Computation.570.285Calder M(Muffy),Gilmore Stephen1962-CMSB 2007MiAaPQMiAaPQMiAaPQBOOK9910484053203321Computational Methods in Systems Biology2907803UNINA