04083nam 22006975 450 991034941280332120251113195735.09783319994291331999429810.1007/978-3-319-99429-1(CKB)4100000005958178(DE-He213)978-3-319-99429-1(MiAaPQ)EBC6281216(PPN)22991635X(EXLCZ)99410000000595817820180823d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /edited by Milan Češka, David Šafránek1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XXIII, 326 p. 88 illus.) Lecture Notes in Bioinformatics,2366-6331 ;110959783319994284 331999428X Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia coli -- Deep Abstractions of Chemical Reaction Networks -- Derivation of A Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models -- Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data -- Characterization of the Experimentally Observed Clustering of VEGF Receptors -- Synthesis for Vesicle Traffic Systems -- Formal Analysis of Network Motifs -- Buffering Gene Expression Noise by microRNA Based Feed Forward Regulation -- Stochastic Rate Parameter Inference Using the Cross-Entropy Method -- Experimental Biological Protocols with Formal Semantics -- Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks -- Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks -- A Trace Query Language for Rule-based Models -- Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data -- Composable Rate-Independent Computation in Continuous Chemical Reaction Networks -- ASSA-PBN 3.0: Analysing Context-sensitive Probabilistic Boolean Networks -- KaSa: A Static Analyzer for Kappa -- On Robustness Computation and Optimization in BIOCHAM-4 -- LNA++: Linear Noise Approximation with First and Second Order Sensitivities -- Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference -- On the Full Control of Boolean Networks -- Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis.Chapters 3, 9 and 10 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Lecture Notes in Bioinformatics,2366-6331 ;11095BioinformaticsArtificial intelligenceSoftware engineeringMachine theoryComputer scienceComputational and Systems BiologyArtificial IntelligenceSoftware EngineeringFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingBioinformatics.Artificial intelligence.Software engineering.Machine theory.Computer science.Computational and Systems Biology.Artificial Intelligence.Software Engineering.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.570.285Češka Milanedthttp://id.loc.gov/vocabulary/relators/edtŠafránek Davidedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349412803321Computational Methods in Systems Biology2907803UNINA