{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":32,"n_cols":5,"rows_kept":32,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[18,2,18,3],[19,2,19,3],[23,2,23,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910484714203321"]
[null,null,"Titolo",null,"Computational Methods in Systems Biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / / edited by Olivier Roux, Jérémie Bourdon"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015"]
[null,null,"ISBN",null,"3-319-23401-3"]
[null,null,"Edizione",null,"[1st ed. 2015.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIX, 288 p. 81 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Bioinformatics, , 2366-6331 ; ; 9308"]
[null,null,"Disciplina",null,"570.285"]
[null,null,"Soggetti",null,"Bioinformatics"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Computational and Systems Biology"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer Modelling"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"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 Network -- 1 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 "]
[{"$nulls":4},"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 Levels -- 2.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 Reaction."]
[{"$nulls":4},"5.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 -- References -- Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation -- 1 Introduction -- 2 Chemical Reaction Networks -- 3 Linear Noise Approximation -- 3.1 Probabilistic Analysis of CRNs -- 4 Stochastic Evolution Logic (SEL) -- 4.1 LNA-based Approximate Model Checking for CRNs -- 5 Experimental Results -- 6 Concluding Remarks -- References -- Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks -- 1 Introduction -- 2 Stochastic Modeling of Biochemical Reaction Networks -- 3 Moment-Based Parameter Inference -- 4 Adaptive Approach for Parameter Inference -- 5 Case Studies -- 6 Discussion -- References -- Inferring Executable Models from Formalized Experimental Evidence -- 1 Introduction -- 2 About Pathway Logic and Datums -- 2.1 Pathway Logic -- 2.2 Datums: Formal Representation of Experimental Results -- 3 Inferring Rules from Datums: An Example -- 4 A Logical Specification for Datums -- 4.1 Assertions and Inference Rules for Datums -- 4.2 Mapping Datums to Assertions -- 5 Signaling Model of Hras Activation by Egf -- 6 Related Work and Conclusion -- References -- Symbolic Dynamics of Biochemical Pathways as Finite States Machines -- 1 Introduction -- 2 Monomolecular Networks with Totally Separated Constants."]
[{"$nulls":4},"3 Tropical Equilibrations of Nonlinear Networks with Polynomial Rate Functions -- 4 Learning a Finite State Machine from a Nonlinear Biochemical Network -- 5 Conclusion -- References -- Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides -- 1 Introduction -- 2 Materials and Methods -- 2.1 Dataset and Descriptors -- 2.2 Autoencoders (AEs) -- 2.3 Stacked Autoencoder (SAE) -- 2.4 Processing Workflow -- 3 Experimental Setup -- 3.1 Experimental Configurations -- 3.2 Validation and Supervised Training -- 4 Results and Discussion -- 5 Conclusions -- References -- Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics -- 1 Introduction -- 2 Preliminary Example -- 3 Reaction Networks -- 4 Contextual Equilibrium-Equivalence -- 5 Simplification Axioms -- 6 Simplification of the Tet-On Reaction Network -- 7 Conclusion -- References -- Automating the Development of Metabolic Network Models -- 1 Introduction -- 1.1 Adam, a Robot Scientist -- 1.2 Huginn -- 1.3 Metabolic Networks as "]
[{"$nulls":4},"Biological Mechanisms -- 2 Methods -- 2.1 Discovery of Mechanisms -- 2.2 Abductive Logic Programming -- 2.3 Representing Models Using Logic -- 2.4 Experiment Types and Predictions -- 2.5 Automating Crucial Tasks -- 3 Results and Conclusions -- 4 Related Work -- References -- Qualitative Reasoning for Reaction Networks with Partial Kinetic Information -- 1 Introduction -- 2 Reaction Networks -- 3 Modeling Language -- 4 Example: Regulation of Metabolism of B. subtilis -- 5 Similarity by Difference Abstraction -- 6 Abstract Interpretation to Difference Constraints -- 7 Qualitative Reasoning with Difference Constraints -- 8 Conclusion -- References -- Boolean Network Identification from Multiplex Time Series Data -- 1 Introduction -- 2 Boolean Network Identification."]
[{"$nulls":4},"2.1 Admissible Boolean Networks and Multiplex Time Series Data -- 2.2 Over-Approximation of Boolean Network Verification -- 2.3 Optimization with Respect to Time Series Data -- 2.4 Implementation -- 3 Evaluation -- 3.1 Case Study -- 3.2 Benchmarks -- 3.3 Comparison with Inferences Using Pseudo Steady-States -- 4 Conclusion -- References -- BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models -- 1 Introduction -- 2 Methods -- 3 Results -- 3.1 Personalized Prostate Cancer Treatment -- 3.2 Human Starvation -- 3.3 Cell Cycle -- 4 Conclusions and Future Work -- References -- Derivation of Qualitative Dynamical Models from Biochemical Networks -- 1 Introduction -- 2 Case Study -- 3 Trace Semantics -- 4 Derivation of a Coarse-Grained Qualitative Semantics -- 5 Refinements -- 5.1 Mass Invariants -- 5.2 Watching Interval Boundaries -- 5.3 Scales Separation -- 6 Conclusion -- References -- Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis -- 1 Introduction -- 2 Experimental Observations and Their Specification in Temporal Logic -- 2.1 Experimental Data -- 2.2 Temporal Logic Specification -- 3 Mathematical Models and Their Coupling -- 3.1 Model of the Cell Cycle -- 3.2 Models of the Circadian Clock -- 3.3 Coupling from the Cell Cycle to the Circadian Clock by the Inhibition of Transcription During Mitosis -- 4 Computational Results -- 4.1 Comparison to Experimental Data Without Dexamethasone -- 4.2 Comparison to Data with Dexamethasone -- 4.3 Remaining Paradox on Phase Data -- 5 Conclusion -- References -- Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic -- 1 Introduction -- 2 The Jolley PTO Model -- 3 Process Algebra Model Construction -- 3.1 Species -- 3.2 Interactions -- 3.3 Mixture -- 3.4 Validation."]
[{"$nulls":4},"4 Basic Time Series Analysis -- 4.1 Coupled jPTOs -- 4.2 Weaker Coupling -- 4.3 Coupling Out of Phase -- 4.4 Perturbation -- 5 Model-Checking Experiments -- 5.1 Behaviour Under Composition -- 5.2 Complex Dynamics -- 5.3 Perturbation Response -- 5.4 Results -- 6 Conclusions -- A Basic Jolley Model -- B Coupled jPTOs Model -- C Weaker Coupled jPTOs -- D Driving Other Reactions -- E Perturbation -- References -- Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets -- 1 Introduction -- 1.1 Petri Nets to Model Dynamical Biological Systems -- 1.2 Resilience Properties -- 1.3 Modeling of the Mammalian Circadian Clock -- 1.4 Our Contribution -- 1.5 Outline of the Paper -- 2 Logical Characterization of Circadian Clock Model -- 2.1 Circadian Clock Model -- 2.2 Translation of Gene Regulatory Network to Time Petri Net -- 3 Resilience of Biological Oscillatory Systems -- 3.1 Property Specification -- 3.2 Properties with Observers -- 4 Contribution and Future Work -- References -- Parameter Synthesis by Parallel Coloured CTL Model Checking -- 1 Introduction -- 2 Parallel Parameter Synthesis "]
[{"$nulls":4},"Algorithm -- 3 Experimental Evaluation -- 4 Conclusions -- References -- Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking -- 1 Introduction -- 2 Background -- 3 Methods -- 4 EGFR Signalling Pathway Study -- 4.1 Model Building -- 4.2 Results -- 5 Conclusion -- References -- Short Papers -- OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques -- References -- SBMLDock: Docker Driven Systems Biology Tool Development and Usage -- Abstract -- 1 Introduction -- 2 SBMLDock -- 3 Conclusion -- Acknowledgement -- References -- Author Index."]
[null,null,null,"Sommario/riassunto","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."]