LEADER 05082nam 22006495 450 001 9910349307803321 005 20200630204250.0 010 $a3-030-28042-X 024 7 $a10.1007/978-3-030-28042-0 035 $a(CKB)4100000008878250 035 $a(DE-He213)978-3-030-28042-0 035 $a(MiAaPQ)EBC5922552 035 $a(PPN)248601431 035 $a(EXLCZ)994100000008878250 100 $a20190801d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHybrid Systems Biology $e6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers /$fedited by Milan ?e?ka, Nicola Paoletti 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XVI, 181 p. 67 illus., 39 illus. in color.) 225 1 $aLecture Notes in Bioinformatics ;$v11705 300 $aIncludes index. 311 $a3-030-28041-1 327 $aA multimodular system to study the impact of a focal lesion in neuronal cell cultures -- Reachability analysis and hybrid systems biology - In Memoriam Oded Maler -- Reaction networks, oscillatory motifs and parameter estimation in biochemical systems -- Fixed-point computation of equilibria in biochemical regulatory networks -- Rejection-based simulation of stochastic spreading processes on complex networks -- Controlling noisy expression through auto regulation of burst frequency and protein stability -- Extracting landscape features from single particle trajectories -- A hybrid HMM approach for the dynamics of DNA methylation -- Using a hybrid approach to model central carbon metabolism across the cell cycle -- Data-informed parameter synthesis for population Markov chains-. rPrism - A software for reactive weighted state transition models -- Hybrid modeling of metabolic-regulatory networks. 330 $aThis book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019. The 8 full papers presented in this book together with 1 short paper and 3 invited papers were carefully reviewed and selected from 13 submissions. They cover topics such as: modeling and analysis of metabolic, signaling, and genetic regulatory networks in living cells; models of tissues, organs, physiological models; models and methods coping with incomplete, uncertain and heterogeneous information including learning for biological systems, parametric synthesis and inference; stochastic and hybrid models in biology; hierarchical systems for multi-scale, multi-domain analysis; abstraction, approximation, discretization, and model reduction techniques; modeling, analysis and design for synthetic biology, cyber-biological systems and biomedical studies (e.g. therapies, teleoperation); game-theoretical frameworks and population models in biology (e.g. mixed-effects and Bayesian modeling); biological applications of quantitative and formal analysis techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis); efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models; modeling languages and logics for biological systems with related analysis and simulation tools; and control architectures of biological systems including biology-in-the-loop systems and bio-robotics. . 410 0$aLecture Notes in Bioinformatics ;$v11705 606 $aBioinformatics 606 $aNumerical analysis 606 $aMathematical statistics 606 $aComputer science?Mathematics 606 $aComputational Biology/Bioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/I23050 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 615 0$aBioinformatics. 615 0$aNumerical analysis. 615 0$aMathematical statistics. 615 0$aComputer science?Mathematics. 615 14$aComputational Biology/Bioinformatics. 615 24$aNumeric Computing. 615 24$aProbability and Statistics in Computer Science. 615 24$aMath Applications in Computer Science. 676 $a572.8 676 $a005.1015113 702 $a?e?ka$b Milan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPaoletti$b Nicola$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349307803321 996 $aHybrid Systems Biology$92518780 997 $aUNINA