@inproceedings{ManciniMariMassinietal., author = {Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Salvo, Ivano and Sinisi, Stefano and Tronci, Enrico and Ehrig, Rainald and R{\"o}blitz, Susanna and Leeners, Brigitte}, title = {Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction}, series = {Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Workshop of the Federated Logic Conference 2018 (FLoC 2018), Oxford}, booktitle = {Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Workshop of the Federated Logic Conference 2018 (FLoC 2018), Oxford}, doi = {10.29007/g864}, pages = {1 -- 16}, abstract = {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.}, language = {en} } @misc{EhrigDierkesSchaeferetal., author = {Ehrig, Rainald and Dierkes, Thomas and Sch{\"a}fer, Stefan and R{\"o}blitz, Susanna and Tronci, Enrico and Mancini, Toni and Salvo, Ivano and Alimguzhin, Vadim and Mari, Federico and Melatti, Igor and Massini, Annalisa and Kr{\"u}ger, Tillmann H. C. and Egli, Marcel and Ille, Fabian and Leeners, Brigitte}, title = {An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57103}, abstract = {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.}, language = {en} } @inproceedings{EhrigDierkesSchaeferetal., author = {Ehrig, Rainald and Dierkes, Thomas and Sch{\"a}fer, Stefan and R{\"o}blitz, Susanna and Tronci, Enrico and Mancini, Toni and Salvo, Ivano and Alimguzhin, Vadim and Mari, Federico and Melatti, Igor and Massini, Annalisa and Kr{\"u}ger, Tillmann H. C. and Egli, Marcel and Ille, Fabian and Leeners, Brigitte}, title = {An integrative approach for model driven computation of treatments in reproductive medicine}, series = {BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India}, booktitle = {BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India}, language = {en} } @inproceedings{ManciniSalvoMarietal., author = {Mancini, Toni and Salvo, Ivano and Mari, Federico and Melatti, Igor and Massini, Annalisa and Sinisi, Stefano and Tronci, Enrico and Davi, Francesco and Dierkes, Thomas and Ehrig, Rainald and R{\"o}blitz, Susanna and Leeners, Brigitte and Kr{\"u}ger, Tillmann H. C. and Egli, Marcel and Ille, Fabian}, title = {Patient-Specific Models from Inter-Patient Biological Models and Clinical Records}, series = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)}, booktitle = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)}, pages = {207 -- 214}, language = {en} }