<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>6996</id>
    <completedYear/>
    <publishedYear>2018</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>1</pageFirst>
    <pageLast>16</pageLast>
    <pageNumber>16</pageNumber>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2018-08-10</completedDate>
    <publishedDate>2018-08-10</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction</title>
    <abstract language="eng">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.&#13;
&#13;
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.</abstract>
    <parentTitle language="eng">Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Workshop of the Federated Logic Conference 2018 (FLoC 2018), Oxford</parentTitle>
    <identifier type="doi">10.29007/g864</identifier>
    <enrichment key="PeerReviewed">yes</enrichment>
    <author>Toni Mancini</author>
    <submitter>Rainald Ehrig</submitter>
    <author>Federico Mari</author>
    <author>Annalisa Massini</author>
    <author>Igor Melatti</author>
    <author>Ivano Salvo</author>
    <author>Stefano Sinisi</author>
    <author>Enrico Tronci</author>
    <author>Rainald Ehrig</author>
    <author>Susanna Röblitz</author>
    <author>Brigitte Leeners</author>
    <collection role="institutes" number="num">Numerical Mathematics</collection>
    <collection role="institutes" number="compsys">Computational Systems Biology</collection>
    <collection role="persons" number="ehrig">Ehrig, Rainald</collection>
    <collection role="persons" number="susanna.roeblitz">Röblitz, Susanna</collection>
    <collection role="projects" number="PAEON">PAEON</collection>
  </doc>
  <doc>
    <id>5584</id>
    <completedYear/>
    <publishedYear>2016</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">An integrative approach for model driven computation of treatments in reproductive medicine</title>
    <parentTitle language="eng">BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India</parentTitle>
    <enrichment key="PeerReviewed">yes</enrichment>
    <enrichment key="PreprintUrn">urn:nbn:de:0297-zib-57103</enrichment>
    <author>Rainald Ehrig</author>
    <submitter>Mascha Berg</submitter>
    <author>Thomas Dierkes</author>
    <author>Stefan Schäfer</author>
    <author>Susanna Röblitz</author>
    <author>Enrico Tronci</author>
    <author>Toni Mancini</author>
    <author>Ivano Salvo</author>
    <author>Vadim Alimguzhin</author>
    <author>Federico Mari</author>
    <author>Igor Melatti</author>
    <author>Annalisa Massini</author>
    <author>Tillmann H. C. Krüger</author>
    <author>Marcel Egli</author>
    <author>Fabian Ille</author>
    <author>Brigitte Leeners</author>
    <collection role="institutes" number="num">Numerical Mathematics</collection>
    <collection role="institutes" number="compsys">Computational Systems Biology</collection>
    <collection role="persons" number="ehrig">Ehrig, Rainald</collection>
    <collection role="persons" number="susanna.roeblitz">Röblitz, Susanna</collection>
    <collection role="projects" number="PAEON">PAEON</collection>
  </doc>
  <doc>
    <id>5163</id>
    <completedYear/>
    <publishedYear>2014</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>207</pageFirst>
    <pageLast>214</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Patient-Specific Models from Inter-Patient Biological Models and Clinical Records</title>
    <parentTitle language="eng">Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)</parentTitle>
    <enrichment key="PeerReviewed">yes</enrichment>
    <author>Toni Mancini</author>
    <submitter> Stötzel</submitter>
    <author>Ivano Salvo</author>
    <author>Federico Mari</author>
    <author>Igor Melatti</author>
    <author>Annalisa Massini</author>
    <author>Stefano Sinisi</author>
    <author>Enrico Tronci</author>
    <author>Francesco Davi</author>
    <author>Thomas Dierkes</author>
    <author>Rainald Ehrig</author>
    <author>Susanna Röblitz</author>
    <author>Brigitte Leeners</author>
    <author>Tillmann H. C. Krüger</author>
    <author>Marcel Egli</author>
    <author>Fabian Ille</author>
    <collection role="institutes" number="num">Numerical Mathematics</collection>
    <collection role="institutes" number="compsys">Computational Systems Biology</collection>
    <collection role="persons" number="ehrig">Ehrig, Rainald</collection>
    <collection role="persons" number="susanna.roeblitz">Röblitz, Susanna</collection>
    <collection role="projects" number="PAEON">PAEON</collection>
  </doc>
  <doc>
    <id>5710</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2016-01-20</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine</title>
    <abstract language="eng">We present an overview of the current status of the European collaborative&#13;
project PAEON. The challenge of PAEON is to provide specialists in reproduc-&#13;
tive medicine with a computerised model of the menstrual cycle under normal&#13;
and various pathological conditions, which will allow them to get further in-&#13;
sight in fertility dynamics. This model also enables the simulation of treatment&#13;
protocols, which were used within in vitro fertilization. By the definition of&#13;
virtual patients through biologically admissible parametrizations our approach&#13;
allows not only the evaluation of a given treatment strategy in silico, but also&#13;
the design and optimization of such protocols. Once a protocol is formalized&#13;
in the virtual hospital, the success can be controlled by a treatment execution&#13;
monitor, which works then as a clinical decision support system. All these tools&#13;
will be combined in a virtual hospital environment, enabling the access to the&#13;
PAEON services through the web.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-57103</identifier>
    <enrichment key="SourceTitle">Appeared in: 15th International Symposium on Mathematical and Computational Biology, Rorkee, India</enrichment>
    <author>Rainald Ehrig</author>
    <submitter>Mascha Berg</submitter>
    <author>Thomas Dierkes</author>
    <author>Stefan Schäfer</author>
    <author>Susanna Röblitz</author>
    <author>Enrico Tronci</author>
    <author>Toni Mancini</author>
    <author>Ivano Salvo</author>
    <author>Vadim Alimguzhin</author>
    <author>Federico Mari</author>
    <author>Igor Melatti</author>
    <author>Annalisa Massini</author>
    <author>Tillmann H. C. Krüger</author>
    <author>Marcel Egli</author>
    <author>Fabian Ille</author>
    <author>Brigitte Leeners</author>
    <series>
      <title>ZIB-Report</title>
      <number>16-04</number>
    </series>
    <collection role="institutes" number="num">Numerical Mathematics</collection>
    <collection role="institutes" number="compsys">Computational Systems Biology</collection>
    <collection role="persons" number="ehrig">Ehrig, Rainald</collection>
    <collection role="persons" number="susanna.roeblitz">Röblitz, Susanna</collection>
    <collection role="projects" number="PAEON">PAEON</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/5710/Ehrig_et_al.pdf</file>
  </doc>
</export-example>
