LEADER 06341nam 22007455 450 001 9910349282103321 005 20200703075136.0 010 $a3-030-31304-2 024 7 $a10.1007/978-3-030-31304-3 035 $a(CKB)4100000009273575 035 $a(DE-He213)978-3-030-31304-3 035 $a(MiAaPQ)EBC5922566 035 $a(PPN)242823831 035 $a(EXLCZ)994100000009273575 100 $a20190916d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational Methods in Systems Biology $e17th International Conference, CMSB 2019, Trieste, Italy, September 18?20, 2019, Proceedings /$fedited by Luca Bortolussi, Guido Sanguinetti 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 388 p. 487 illus., 87 illus. in color.) 225 1 $aLecture Notes in Bioinformatics ;$v11773 300 $aIncludes index. 311 $a3-030-31303-4 327 $aRegular Papers -- Sequential Reprogramming of Boolean Networks Made Practical -- Sequential Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction Network Design by a Nested Evolution Algorithm -- Designing Distributed Cell Classifier Circuits using a Genetic Algorithm -- Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting -- Cell volume distributions in exponentially growing populations -- Transient Memory in Gene Regulation -- A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors -- Reachability design through Approximate Bayesian Computation -- Fast enumeration of non-isomorphic chemical reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository -- Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints -- Tool Papers -- BRE:IN - A Backend for Reasoning about Interaction Networks with Temporal Logic -- The Kappa simulator made interactive -- Biochemical reaction networks with fuzzy kinetic parameters in Snoopy -- Compartmental Modeling Software: a fast, discrete stochastic framework for biochemical and epidemiological simulation -- Spike - reproducible simulation experiments with configuration file branching -- KAMIStudio: an environment for biocuration of cellular signalling knowledge -- A new version of DAISY to test structural identifiability of biological models -- Extended Abstracts (Posters and Highlight Talks) -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- Bayesian parameter estimation for stochastic reaction networks from steady-state observations -- Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks -- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics -- Barbaric Robustness Monitoring Revisited for STL* in Parasim -- Symmetry breaking for GATA-1/PU.1 model -- Scalable Control of Asynchronous Boolean Networks -- Transcriptional response of SK-N-AS cells to methamidophos (Extended Abstract) -- Separators for polynomial dynamic systems with linear complexity -- Bounding First Passage Times in Chemical Reaction Networks -- Data-informed parameter synthesis for population Markov chains. 330 $aThis book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, 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; and case studies in systems and synthetic biology. 410 0$aLecture Notes in Bioinformatics ;$v11773 606 $aBioinformatics 606 $aArtificial intelligence 606 $aAlgorithms 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aSoftware engineering 606 $aComputational Biology/Bioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/I23050 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 615 0$aBioinformatics. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aSoftware engineering. 615 14$aComputational Biology/Bioinformatics. 615 24$aArtificial Intelligence. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematics of Computing. 615 24$aSoftware Engineering/Programming and Operating Systems. 676 $a572.8 676 $a570.285 702 $aBortolussi$b Luca$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSanguinetti$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349282103321 996 $aComputational Methods in Systems Biology$92907803 997 $aUNINA