Computational methods in systems biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. (2015)

• Record Type: Book
• Other Titles: CMSB 2015
• Further Information: Note: Olivier Roux, Jérémie Bourdon (eds.).
• Editors: Roux, Olivier; Bourdon, Jérémie
• Other Names: CMSB (Conference), 13th
• 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
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xix, 288 pages), illustrations
• Subjects: 570.285; Computer science; Computational biology -- Congresses; Systems biology -- Congresses; Computational biology; Systems biology; Biology - General; Biology; Health & Biological Sciences; Computer Science; Computational Biology/Bioinformatics; Computation by Abstract Devices; Simulation and Modeling; Computer Appl. in Life Sciences; Software Engineering; Symbolic and Algebraic Manipulation; Computers -- Machine Theory; Computers -- Computer Simulation; Science -- Life Sciences -- General; Computers -- Software Development & Engineering -- General; Computers -- Data Processing; User interface design & usability; Computer modelling & simulation; Biology, life sciences; Software Engineering; Maths for computer scientists; Bioinformatics; Computer simulation; Biology -- Data processing; Software engineering; Algebra -- Data processing; Computers -- Computer Science; Life sciences: general issues; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319234014; 3319234013; 3319234005; 9783319234007
• Related ISBNs: 9783319234007
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 11, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.