Complete populations of virtual patients for in silico clinical trials
Motivation Model-based approaches to safety and efficacy assessment of pharmacological
drugs, treatment strategies or medical devices (In Silico Clinical Trial, ISCT) aim to decrease …
drugs, treatment strategies or medical devices (In Silico Clinical Trial, ISCT) aim to decrease …
Monte carlo based statistical model checking of cyber-physical systems: A review
The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs)(eg,
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …
SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems
Motivation SBML is the most widespread language for the definition of biochemical models.
Although dozens of SBML simulators are available, there is a general lack of support to the …
Although dozens of SBML simulators are available, there is a general lack of support to the …
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
Abstract In Silico Clinical Trials (ISCT), ie clinical experimental campaigns carried out by
means of computer simulations, hold the promise to decrease time and cost for the safety …
means of computer simulations, hold the promise to decrease time and cost for the safety …
Reconciling interoperability with efficient verification and validation within open source simulation environments
Abstract A Cyber–Physical System (CPS) comprises physical as well as software
subsystems. Simulation-based approaches are typically used to support design and …
subsystems. Simulation-based approaches are typically used to support design and …
[HTML][HTML] Mathematical modelling of follicular growth and ovarian stimulation
S Fischer-Holzhausen, S Röblitz - Current Opinion in Endocrine and …, 2022 - Elsevier
The aim of ovarian stimulation in fertility treatment is to increase the number of large follicles
and hence the number of eggs that can be retrieved for in vitro fertilisation (IVF). However …
and hence the number of eggs that can be retrieved for in vitro fertilisation (IVF). However …
A machine learning based model accurately predicts cellular response to electric fields in multiple cell types
Many cell types migrate in response to naturally generated electric fields. Furthermore, it has
been suggested that the external application of an electric field may be used to intervene in …
been suggested that the external application of an electric field may be used to intervene in …
An efficient algorithm for network vulnerability analysis under malicious attacks
Given a communication network, we address the problem of computing a lower bound to the
transmission rate between two network nodes notwithstanding the presence of an intelligent …
transmission rate between two network nodes notwithstanding the presence of an intelligent …
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay
Nodes in Mission Critical Wireless Networks Page 1 Fundamenta Informaticae 174 (2020) …
Nodes in Mission Critical Wireless Networks Page 1 Fundamenta Informaticae 174 (2020) …
Mathematical modeling and simulation provides evidence for new strategies of ovarian stimulation
New approaches to ovarian stimulation protocols, such as luteal start, random start or
double stimulation, allow for flexibility in ovarian stimulation at different phases of the …
double stimulation, allow for flexibility in ovarian stimulation at different phases of the …