LEADER 03879nam 22006735 450 001 996465980103316 005 20200703080513.0 010 $a3-319-67471-4 024 7 $a10.1007/978-3-319-67471-1 035 $a(CKB)4100000000458260 035 $a(DE-He213)978-3-319-67471-1 035 $a(MiAaPQ)EBC6302137 035 $a(MiAaPQ)EBC5577446 035 $a(Au-PeEL)EBL5577446 035 $a(OCoLC)1004511406 035 $a(PPN)204533694 035 $a(EXLCZ)994100000000458260 100 $a20170831d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational Methods in Systems Biology$b[electronic resource] $e15th International Conference, CMSB 2017, Darmstadt, Germany, September 27?29, 2017, Proceedings /$fedited by Jérôme Feret, Heinz Koeppl 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIII, 332 p. 108 illus.) 225 1 $aLecture Notes in Bioinformatics ;$v10545 311 $a3-319-67470-6 320 $aIncludes bibliographical references and index. 327 $aFormalisms for modeling  biological processes -- Models and their biological applications -- Frameworks for model verication, validation, analysis, and simulation of biological systems -- High-performance computational systems biology and parallel implementations -- Model inference from experimental data.-Model integration from biological databases -- Multi-scale modeling and analysis methods -- Computational approaches for synthetic biology. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41  regular paper submissions. Topics of interest include formalisms for modeling  biological processes; models and their biological applications; frameworks for model verication, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology. 410 0$aLecture Notes in Bioinformatics ;$v10545 606 $aBioinformatics 606 $aComputer simulation 606 $aComputer logic 606 $aNumerical analysis 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 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 615 0$aBioinformatics. 615 0$aComputer simulation. 615 0$aComputer logic. 615 0$aNumerical analysis. 615 14$aComputational Biology/Bioinformatics. 615 24$aSimulation and Modeling. 615 24$aLogics and Meanings of Programs. 615 24$aNumeric Computing. 676 $a570.285 702 $aFeret$b Jérôme$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKoeppl$b Heinz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465980103316 996 $aComputational Methods in Systems Biology$92555043 997 $aUNISA