LEADER 04546nam 22007575 450 001 9910483429603321 005 20200707033237.0 010 $a3-540-46167-1 024 7 $a10.1007/11885191 035 $a(CKB)1000000000283774 035 $a(SSID)ssj0000316814 035 $a(PQKBManifestationID)11276954 035 $a(PQKBTitleCode)TC0000316814 035 $a(PQKBWorkID)10276528 035 $a(PQKB)10277276 035 $a(DE-He213)978-3-540-46167-8 035 $a(MiAaPQ)EBC3068539 035 $a(PPN)123138809 035 $a(EXLCZ)991000000000283774 100 $a20100506d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Methods in Systems Biology $eInternational Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings /$fedited by Corrado Priami 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 323 p.) 225 1 $aLecture Notes in Bioinformatics ;$v4210 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-46166-3 320 $aIncludes bibliographical references and index. 327 $aModal Logics for Brane Calculus -- Deciding Behavioural Properties in Brane Calculi -- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods -- A Formal Approach to Molecular Docking -- Feedbacks and Oscillations in the Virtual Cell VICE -- Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins -- Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets -- Regulatory Network Reconstruction Using Stochastic Logical Networks -- Identifying Submodules of Cellular Regulatory Networks -- Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks -- A Computational Model for Eukaryotic Directional Sensing -- Modeling Evolutionary Dynamics of HIV Infection -- Compositional Reachability Analysis of Genetic Networks -- Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks -- Computational Model of a Central Pattern Generator -- Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation -- Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast -- An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis -- A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion -- Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis. 410 0$aLecture Notes in Bioinformatics ;$v4210 606 $aBioinformatics 606 $aComputer simulation 606 $aBioinformatics  606 $aComputational biology  606 $aSoftware engineering 606 $aDatabase management 606 $aComputational Biology/Bioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/I23050 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aBioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/L15001 606 $aComputer Appl. in Life Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/L17004 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aBioinformatics. 615 0$aComputer simulation. 615 0$aBioinformatics . 615 0$aComputational biology . 615 0$aSoftware engineering. 615 0$aDatabase management. 615 14$aComputational Biology/Bioinformatics. 615 24$aSimulation and Modeling. 615 24$aBioinformatics. 615 24$aComputer Appl. in Life Sciences. 615 24$aSoftware Engineering. 615 24$aDatabase Management. 676 $a572.80285 702 $aPriami$b Corrado$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCMSB 2006 906 $aBOOK 912 $a9910483429603321 996 $aComputational Methods in Systems Biology$92907803 997 $aUNINA