Cantitate/Preț
Produs
Total produse
Vezi coșul
Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings de Luca Bortolussi

Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings: Lecture Notes in Computer Science, cartea 11773

Editat de Luca Bortolussi, Guido Sanguinetti
en Limba Engleză Paperback – 17 sep 2019
This 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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 37931 lei

Puncte Express: 569
Preț estimativ în valută:
6706€ • 7995$ • 5816£

Carte tipărită la comandă

Livrare economică 16-30 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030313036
ISBN-10: 3030313034
Pagini: 350
Ilustrații: XI, 388 p. 487 illus., 87 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.56 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Bioinformatics

Locul publicării:Cham, Switzerland

Cuprins

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.