LEADER 03081nam 2200565 450 001 996466115903316 005 20210330114655.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(EXLCZ)991000000000490417 100 $a20210330d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aComputational methods in systems biology $einternational conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007 : proceedings /$fMuffy Calder, Stephen Gilmore (editors) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg ;$aNew York :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (X, 249 p.) 225 1 $aLecture Notes in Bioinformatics ;$v4695 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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. 410 0$aLecture Notes in Bioinformatics ;$v4695 606 $aComputational biology$vCongresses 615 0$aComputational biology 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 $a996466115903316 996 $aComputational Methods in Systems Biology$92555043 997 $aUNISA