


default search action
Automated Reasoning for Systems Biology and Medicine 2019
- Pietro Liò, Paolo Zuliani:
Automated Reasoning for Systems Biology and Medicine. Computational Biology 30, Springer 2019, ISBN 978-3-030-17296-1
Model Checking
- Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. 3-35 - Sara-Jane Dunn, Boyan Yordanov:
Automated Reasoning for the Synthesis and Analysis of Biological Programs. 37-62 - Bing Liu
, Benjamin M. Gyori, P. S. Thiagarajan:
Statistical Model Checking-Based Analysis of Biological Networks. 63-92 - Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza
, David M. Maahs
, Sriram Sankaranarayanan:
Models, Devices, Properties, and Verification of Artificial Pancreas Systems. 93-131 - Matthew A. Clarke
, Steven Woodhouse, Nir Piterman
, Benjamin A. Hall
, Jasmin Fisher
:
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. 133-153
Formal Methods and Logic
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza
, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. 157-189 - Misbah Razzaq
, Lokmane Chebouba
, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon:
Logic and Linear Programs to Understand Cancer Response. 191-213 - Cinzia Bernardeschi
, Andrea Domenici
, Paolo Masci:
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. 215-242 - Juliana Küster Filipe Bowles
, Marco B. Caminati
:
Balancing Prescriptions with Constraint Solvers. 243-267 - Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber, Ovidiu Radulescu
:
Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine. 269-295
Stochastic Modelling and Analysis
- Ludovica Luisa Vissat, Jane Hillston, Anna Williams:
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. 299-326 - Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers:
Approximation Techniques for Stochastic Analysis of Biological Systems. 327-348 - Amr Ismail, Mostafa Herajy, Monika Heiner
:
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. 349-367 - Alena Simalatsar, Monia Guidi
, Pierre Roduit, Thierry Buclin:
Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol. 369-397
Machine Learning and Artificial Intelligence
- Maria Pires Pacheco, Tamara Bintener, Thomas Sauter:
Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data. 401-424 - Fusun Yaman, Aaron Adler, Jacob Beal:
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering. 425-452 - Dragan Bosnacki, Natal A. W. van Riel
, Mitko Veta:
Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis. 453-469

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.