TY - CHAP A1 - Mancini, Toni A1 - Mari, Federico A1 - Massini, Annalisa A1 - Melatti, Igor A1 - Salvo, Ivano A1 - Sinisi, Stefano A1 - Tronci, Enrico A1 - Ehrig, Rainald A1 - Röblitz, Susanna A1 - Leeners, Brigitte T1 - Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction T2 - Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Workshop of the Federated Logic Conference 2018 (FLoC 2018), Oxford N2 - In Silico Clinical Trials (ISCT), i.e., clinical experimental campaigns carried out by means of computer simulations, hold the promise to decrease time and cost for the safety and efficacy assessment of pharmacological treatments, reduce the need for animal and human testing, and enable precision medicine. In this paper we present a case study aiming at quantifying, by means of a multi-arm ISCT supervised by intelligent search, the potential impact of precision medicine approaches on a real pharmacological treatment, namely the downregulation phase of a complex clinical protocol for assisted reproduction. Y1 - 2018 U6 - https://doi.org/10.29007/g864 SP - 1 EP - 16 ER - TY - GEN A1 - Ehrig, Rainald A1 - Dierkes, Thomas A1 - Schäfer, Stefan A1 - Röblitz, Susanna A1 - Tronci, Enrico A1 - Mancini, Toni A1 - Salvo, Ivano A1 - Alimguzhin, Vadim A1 - Mari, Federico A1 - Melatti, Igor A1 - Massini, Annalisa A1 - Krüger, Tillmann H. C. A1 - Egli, Marcel A1 - Ille, Fabian A1 - Leeners, Brigitte T1 - An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine N2 - We present an overview of the current status of the European collaborative project PAEON. The challenge of PAEON is to provide specialists in reproduc- tive medicine with a computerised model of the menstrual cycle under normal and various pathological conditions, which will allow them to get further in- sight in fertility dynamics. This model also enables the simulation of treatment protocols, which were used within in vitro fertilization. By the definition of virtual patients through biologically admissible parametrizations our approach allows not only the evaluation of a given treatment strategy in silico, but also the design and optimization of such protocols. Once a protocol is formalized in the virtual hospital, the success can be controlled by a treatment execution monitor, which works then as a clinical decision support system. All these tools will be combined in a virtual hospital environment, enabling the access to the PAEON services through the web. T3 - ZIB-Report - 16-04 Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-57103 SN - 1438-0064 ER - TY - CHAP A1 - Ehrig, Rainald A1 - Dierkes, Thomas A1 - Schäfer, Stefan A1 - Röblitz, Susanna A1 - Tronci, Enrico A1 - Mancini, Toni A1 - Salvo, Ivano A1 - Alimguzhin, Vadim A1 - Mari, Federico A1 - Melatti, Igor A1 - Massini, Annalisa A1 - Krüger, Tillmann H. C. A1 - Egli, Marcel A1 - Ille, Fabian A1 - Leeners, Brigitte T1 - An integrative approach for model driven computation of treatments in reproductive medicine T2 - BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India Y1 - 2016 ER - TY - CHAP A1 - Mancini, Toni A1 - Salvo, Ivano A1 - Mari, Federico A1 - Melatti, Igor A1 - Massini, Annalisa A1 - Sinisi, Stefano A1 - Tronci, Enrico A1 - Davi, Francesco A1 - Dierkes, Thomas A1 - Ehrig, Rainald A1 - Röblitz, Susanna A1 - Leeners, Brigitte A1 - Krüger, Tillmann H. C. A1 - Egli, Marcel A1 - Ille, Fabian T1 - Patient-Specific Models from Inter-Patient Biological Models and Clinical Records T2 - Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014) Y1 - 2014 SP - 207 EP - 214 ER -