Linked e-resources
Details
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 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.