Computational Methods in Systems Biology
Springer International Publishing (Verlag)
978-3-030-31303-6 (ISBN)
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.
Regular 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.
| Erscheinungsdatum | 18.09.2019 |
|---|---|
| Reihe/Serie | Lecture Notes in Bioinformatics | Lecture Notes in Computer Science |
| Zusatzinfo | XI, 388 p. 487 illus., 87 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 611 g |
| Themenwelt | Informatik ► Weitere Themen ► Bioinformatik |
| Naturwissenschaften ► Biologie | |
| Schlagworte | Algorithm analysis and problem complexity • Applications • Artificial Intelligence • Bioinformatics • Boolean algebra • boolean networks • computational systems biology • Computer Science • conference proceedings • Differential Equations • Formal Logic • graph theory • Informatics • Model Checking • Numerical Methods • Parameter Estimation • Probability • Research • Semantics • Software engineering • theorem proving |
| ISBN-10 | 3-030-31303-4 / 3030313034 |
| ISBN-13 | 978-3-030-31303-6 / 9783030313036 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
