| Description |
1 online resource (xix, 288 pages) : illustrations |
| Series |
Lecture notes in bioinformatics, 0302-9743 ; 9308 |
|
LNCS sublibrary. SL 8, Bioinformatics |
|
Lecture notes in computer science. Lecture notes in bioinformatics ; 9308.
|
|
LNCS sublibrary. SL 8, Bioinformatics.
|
| Contents |
Intro; Preface; Organization; Invited Talks; Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices; More Thoughts on the Whole Organism Challenge; A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network; Perspectives on Genome Scale Modelling of Metabolism; Contents; Invited Talks; Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices; 1 Heart Model and Personalisation; 2 Applications and Discussion; References |
|
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network1 Thomas' Gene Regulatory Networks with Multiplexes; 2 Hoare Triples for Gene Networks; 3 A Hoare Logic for Gene Networks; 4 Example; References; Regular Papers; SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems; 1 Introduction; 2 Stochastic Hybrid Models; 3 SReach Algorithm; 4 Experiments; 5 Conclusions and Future Work; References; Experimental Design for Inference over the A. thaliana Circadian Clock Network; 1 Introduction; 2 Methods; 2.1 Bayesian Experimental Design |
|
2.2 Frequency-Domain Model of Gene Expression Levels2.3 Experimental Design for Estimating Parameters of a DSS Model; 2.4 A. thaliana Circadian Clock Model; 3 Results; 4 Conclusions; References; Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction; 1 Introduction; 2 Background and Related Work; 3 Quasi-Equilibrium Reduction; 4 Approximation of Rate Expectations; 4.1 Continuity of Rates of the Slow System; 4.2 Exploring Rate Expectation via Pre-simulation Runs; 4.3 Stochastic Simulation via Statistical Abstraction; 5 Experimental Evaluation |
|
5.1 Stiff Enzyme-Substrate Reaction5.2 Viral Infection Model; 6 Conclusions; References; Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics; 1 Introduction; 2 Introduction to Approximate Bayesian Computation; 3 ABC with Multivariate Test Statistics; 3.1 Multivariate Test Statistics; 3.2 Comparison of Test Statistics in ABC SMC for Samples of a Bivariate Normal Random Variable; 4 Simulation Example: Gene Expression; 4.1 Equilibrium and Non-Equilibrium Time-Series; 4.2 Parameter Variability; 4.3 Tree Structure; 5 Discussion and Outlook |
| Summary |
This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks and data such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic programming, and constraints solving ranging from intercellular to multiscale |
| Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed September 11, 2015) |
| Subject |
Computational biology -- Congresses
|
|
Systems biology -- Congresses
|
|
User interface design & usability.
|
|
Computer modelling & simulation.
|
|
Biology, life sciences.
|
|
Software Engineering.
|
|
Maths for computer scientists.
|
|
Life sciences: general issues.
|
|
Computers -- Machine Theory.
|
|
Computers -- Computer Simulation.
|
|
Science -- Life Sciences -- General.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Data Processing.
|
|
Computers -- Computer Science.
|
|
Computational biology
|
|
Systems biology
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Roux, Olivier, editor
|
|
Bourdon, Jérémie, editor
|
| ISBN |
9783319234014 |
|
3319234013 |
|
3319234005 |
|
9783319234007 |
|
