Automated reasoning for systems biology and medicine /
"This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques to analyse complex models in systems biology and systems medicine. Automated reasoning is a field of computer science devoted to the d...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Book |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
[2019]
|
| Series: | Computational biology ;
v. 30 Computational biology v. 30 |
| Subjects: |
Table of Contents:
- Model Checking
- Model Checking Approach to the Analysis of Biological Systems / Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek
- Automated Reasoning for the Synthesis and Analysis of Biological Programs / Sara-Jane Dunn, Boyan Yordanov
- Statistical Model Checking-Based Analysis of Biological Networks / Bing Liu, Benjamin M. Gyori, P.S. Thiagarajan
- Models, Devices, Properties, and Verification of Artificial Pancreas Systems / Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory Forlenza, David Maahs, Sriram Sankaranarayanan
- Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution / Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher
- Formal Methods and Logic
- Set-Based Analysis for Biological Modeling / Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca
- Logic and Linear Programs to Understand Cancer Response / Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon
- Logic-Based Formalization of System Requirements for Integrated Clinical Environments / Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
- Balancing Prescriptions with Constraint Solvers / Juliana K.F. Bowles, Marco B. Caminati
- Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine / Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber, Ovidiu Radulescu
- Stochastic Modelling and Analysis
- Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions / Ludovica Luisa Vissat, Jane Hillston, Anna Williams
- Approximation Techniques for Stochastic Analysis of Biological Systems / Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
- A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets / Amr Ismail, Mostafa Herajy, Monika Heiner
- Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol / Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin
- Machine Learning and Artificial Intelligence
- Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data / Maria Pires Pacheco, Tamara Bintener, Thomas Sauter
- Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering / Fusun Yaman, Aaron Adler, Jacob Beal
- Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis / Dragan Bošnački, Natal van Riel, Mitko Veta
- Model Checking
- Model Checking Approach to the Analysis of Biological Systems / Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek
- Automated Reasoning for the Synthesis and Analysis of Biological Programs / Sara-Jane Dunn, Boyan Yordanov
- Statistical Model Checking-Based Analysis of Biological Networks / Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan
- Models, Devices, Properties, and Verification of Artificial Pancreas Systems / Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory Forlenza, David Maahs, Sriram Sankaranarayanan
- Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution / Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher
- Formal Methods and Logic
- Set-Based Analysis for Biological Modeling / Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca
- Logic and Linear Programs to Understand Cancer Response / Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon
- Logic-Based Formalization of System Requirements for Integrated Clinical Environments / Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
- Balancing Prescriptions with Constraint Solvers / Juliana K. F. Bowles, Marco B. Caminati
- Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine / Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber, Ovidiu Radulescu
- Stochastic Modelling and Analysis
- Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions / Ludovica Luisa Vissat, Jane Hillston, Anna Williams
- Approximation Techniques for Stochastic Analysis of Biological Systems / Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
- A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets / Amr Ismail, Mostafa Herajy, Monika Heiner
- Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol / Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin
- Machine Learning and Artificial Intelligence
- Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data / Maria Pires Pacheco, Tamara Bintener, Thomas Sauter
- Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering / Fusun Yaman, Aaron Adler, Jacob Beal
- Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis / Dragan Bošnački, Natal van Riel, Mitko Veta