LEADER 04377nam 22008295 450 001 9910484053203321 005 20251226195731.0 010 $a3-540-75140-8 024 7 $a10.1007/978-3-540-75140-3 035 $a(CKB)1000000000490417 035 $a(SSID)ssj0000316810 035 $a(PQKBManifestationID)11225848 035 $a(PQKBTitleCode)TC0000316810 035 $a(PQKBWorkID)10287309 035 $a(PQKB)10887469 035 $a(DE-He213)978-3-540-75140-3 035 $a(MiAaPQ)EBC3063460 035 $a(MiAaPQ)EBC6413284 035 $a(PPN)123165245 035 $a(BIP)32372653 035 $a(BIP)14494153 035 $a(EXLCZ)991000000000490417 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Methods in Systems Biology $eInternational Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings /$fedited by Muffy Calder, Stephen Gilmore 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 249 p.) 225 1 $aLecture Notes in Bioinformatics,$x2366-6331 ;$v4695 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-75139-4 320 $aIncludes bibliographical references and index. 327 $aChemical 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. 330 $aThis 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. 410 0$aLecture Notes in Bioinformatics,$x2366-6331 ;$v4695 606 $aComputer simulation 606 $aBioinformatics 606 $aSoftware engineering 606 $aDatabase management 606 $aComputer science 606 $aComputer Modelling 606 $aBioinformatics 606 $aComputational and Systems Biology 606 $aSoftware Engineering 606 $aDatabase Management 606 $aTheory of Computation 615 0$aComputer simulation. 615 0$aBioinformatics. 615 0$aSoftware engineering. 615 0$aDatabase management. 615 0$aComputer science. 615 14$aComputer Modelling. 615 24$aBioinformatics. 615 24$aComputational and Systems Biology. 615 24$aSoftware Engineering. 615 24$aDatabase Management. 615 24$aTheory of Computation. 676 $a570.285 702 $aCalder$b M$g(Muffy), 702 $aGilmore$b Stephen$f1962- 712 12$aCMSB 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484053203321 996 $aComputational Methods in Systems Biology$92907803 997 $aUNINA