Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
Open accessAbstract
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.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
Prior computational tools could only be applied to the downregulation phase before follicular stimulation because the feedback mechanisms from the ovaries to the pituitary were not implemented in the modified model.
“However, the tools could only be applied to the downregulation phase before follicular stimulation, because the feedback mechanisms from the ovaries to the pituitary were not implemented in the modified model.”
From Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation (2021) · cites this paper as [40]
Cites
Big data analytics in healthcare: promise and potential
Raghupathi, W., & Raghupathi, V. (2014) · Health Information Science and Systems · doi:10.1186/2047-2501-2-3 · Cited by 3,034 · see citing works
Sontag, E. D. (1998) · Texts in applied mathematics · doi:10.1007/978-1-4612-0577-7 · Cited by 1,227 · see citing works
Modelling Mixed Discrete-Continuous Domains for Planning
Fox, M., & Long, D. (2006) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2044 · Cited by 233 · see citing works
Fogliata, A., Belosi, F., Clivio, A., Navarria, P., Nicolini, G., Scorsetti, M., Vanetti, E., & Cozzi, L. (2014) · Radiotherapy and Oncology · doi:10.1016/j.radonc.2014.11.009 · Cited by 190 · see citing works
UPMurphi: A Tool for Universal Planning on PDDL+ Problems
Penna, G. D., Magazzeni, D., Mercorio, F., & Intrigila, B. (2009) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v19i1.13352 · Cited by 104 · see citing works
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach
Vallati, M., Magazzeni, D., Schutter, B. D., Chrpa, L., & McCluskey, T. L. (2016) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v30i1.10399 · Cited by 85 · see citing works
A Mathematical Model to Evaluate Control Strategies for Mechanical Circulatory Support
Cox, L. G. E., Loerakker, S., Rutten, M. C. M., de Mol, B. A. J. M., & van de Vosse, F. N. (2009) · Artificial Organs · doi:10.1111/j.1525-1594.2009.00755.x · Cited by 83 · see citing works
Classical planning with simulators: results on the Atari video games
Lipovetzky, N., Ramírez, M., & Geffner, H. (2015) · Cited by 63 · see citing works
Generative Planning for Hybrid Systems based on Flow Tubes
Li, H. X., & Williams, B. C. (2009) · Cited by 62 · see citing works
SMT-Based Nonlinear PDDL+ Planning
Bryce, D., Gao, S., Musliner, D. J., & Goldman, R. P. (2015) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v29i1.9646 · Cited by 56 · see citing works
A mathematical model of the human menstrual cycle for the administration of GnRH analogues
Röblitz, S., Stötzel, C., Deuflhard, P., Jones, H. M., Azulay, D.-O., van der Graaf, P. H., & Martin, S. W. (2013) · Journal of Theoretical Biology · doi:10.1016/j.jtbi.2012.11.020 · Cited by 54 · cited 5× · see citing works
“Research in Virtual Physiological Human (VPH) provides mechanistic quantitative models of the human physiology at levels of scale ranging from body compartments (see, e.g. , [8,36]), organs (see, e.g. , [7]) down to cells (see, e.g. , [2]) or even molecules (see, e.g. , [37]).”
BackgroundMethodInfluentialSelf-citationLeeners, B., Kruger, T. H., Geraedts, K., Tronci, E., Mancini, T., Ille, F., Egli, M., Röblitz, S., Saleh, L., Spanaus, K., et al. (2017) · Frontiers in Behavioral Neuroscience · doi:10.3389/fnbeh.2017.00120 · Cited by 54 · see citing works
Self-citationSystem Level Formal Verification via Model Checking Driven Simulation
Mancini, T., Mari, F., Massini, A., Melatti, I., Merli, F., & Tronci, E. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-39799-8_21 · Cited by 48 · see citing works
Self-citationAdvanced Extrapolation Methods for Large Scale Differential Algebraic Problems
Ehrig, R. M., Nowak, U., Oeverdieck, L., & Deuflhard, P. (1999) · Lecture notes in computational science and engineering · doi:10.1007/978-3-642-60155-2_20 · Cited by 47 · see citing works
Self-citationMolecular docking and QSAR studies of aromatase inhibitor androstenedione derivatives
Roy, P. P., & Roy, K. (2010) · Journal of Pharmacy and Pharmacology · doi:10.1111/j.2042-7158.2010.01154.x · Cited by 42 · see citing works
Bächler, M., Menshykau, D., Geyter, C. D., & Iber, D. (2013) · Molecular Human Reproduction · doi:10.1093/molehr/gat078 · Cited by 38 · see citing works
Hengartner, M. P., Krüger, T. H. C., Geraedts, K., Tronci, E., Mancini, T., Ille, F., Egli, M., Röblitz, S., Ehrig, R. M., Saleh, L., et al. (2017) · Journal of Psychosomatic Research · doi:10.1016/j.jpsychores.2017.05.018 · Cited by 33 · see citing works
Self-citationSystem Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation
Mancini, T., Mari, F., Massini, A., Melatti, I., & Tronci, E. (2014) · Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) · doi:10.1109/pdp.2014.32 · Cited by 30 · see citing works
Self-citationAnytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation
Mancini, T., Mari, F., Massini, A., Melatti, I., & Tronci, E. (2014) · Euromicro Conference on Digital System Design (DSD) · doi:10.1109/dsd.2014.91 · Cited by 29 · see citing works
Self-citationDemand-aware price policy synthesis and verification services for Smart Grids
Mancini, T., Mari, F., Melatti, I., Salvo, I., Tronci, E., Gruber, J. K., Hayes, B. P., Prodanović, M., & Elmegaard, L. (2014) · IEEE International Conference on Smart Grid Communications (SmartGridComm) · doi:10.1109/smartgridcomm.2014.7007745 · Cited by 28 · see citing works
Self-citationComputing Biological Model Parameters by Parallel Statistical Model Checking
Mancini, T., Tronci, E., Salvo, I., Mari, F., Massini, A., & Melatti, I. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-16480-9_52 · Cited by 27 · see citing works
Self-citationSyLVaaS: System Level Formal Verification as a Service
Mancini, T., Mari, F., Massini, A., Melatti, I., & Tronci, E. (2015) · Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) · doi:10.1109/pdp.2015.119 · Cited by 27 · see citing works
Self-citationPhysiomodel - an integrative physiology in Modelica
Matejak, M., & Kofránek, J. (2015) · doi:10.1109/embc.2015.7318646 · Cited by 26 · see citing works
Model-based synthesis of control software from system-level formal specifications
Mari, F., Melatti, I., Salvo, I., & Tronci, E. (2014) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/2559934 · Cited by 25 · see citing works
Self-citationPDDL+ Planning with Events and Linear Processes
Coles, A., & Coles, A. (2014) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v24i1.13647 · Cited by 25 · see citing works
Individualized Dosing Algorithms and Therapeutic Monitoring for Antiepileptic Drugs
van Dijkman, S. C., Wicha, S. G., Danhof, M., & Pasqua, O. E. D. (2017) · Clinical Pharmacology & Therapeutics · doi:10.1002/cpt.777 · Cited by 25 · see citing works
Patient-specific models from inter-patient biological models and clinical records
Tronci, E., Mancini, T., Salvo, I., Sinisi, S., Mari, F., Melatti, I., Massini, A., Davì, F., Dierkes, T., Ehrig, R. M., et al. (2014) · Formal Methods in Computer-Aided Design · doi:10.1109/fmcad.2014.6987615 · Cited by 24 · see citing works
Self-citationPlanning as Model Checking in Hybrid Domains
Bogomolov, S., Magazzeni, D., Podelski, A., & Wehrle, M. (2014) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v28i1.9037 · Cited by 23 · see citing works
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
Mancini, T., Mari, F., Massini, A., Melatti, I., & Tronci, E. (2016) · Microprocessors and Microsystems · doi:10.1016/j.micpro.2015.10.010 · Cited by 22 · see citing works
Self-citationUser Flexibility Aware Price Policy Synthesis for Smart Grids
Mancini, T., Mari, F., Melatti, I., Salvo, I., Tronci, E., Gruber, J. K., Hayes, B. P., Prodanović, M., & Elmegaard, L. (2015) · Euromicro Conference on Digital System Design (DSD) · doi:10.1109/dsd.2015.35 · Cited by 18 · see citing works
Self-citationOn minimising the maximum expected verification time
Mancini, T., Mari, F., Massini, A., Melatti, I., Salvo, I., & Tronci, E. (2017) · Information Processing Letters · doi:10.1016/j.ipl.2017.02.001 · Cited by 17 · see citing works
Self-citationLinearizing Discrete-Time Hybrid Systems
Alimguzhin, V., Mari, F., Melatti, I., Salvo, I., & Tronci, E. (2017) · IEEE Transactions on Automatic Control · doi:10.1109/tac.2017.2694559 · Cited by 17 · see citing works
Self-citationPDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior
Bogomolov, S., Magazzeni, D., Minopoli, S., & Wehrle, M. (2015) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v25i1.13717 · Cited by 13 · see citing works
Real--Time UAV Maneuvering via Automated Planning in Simulations
Ramírez, M., Papasimeon, M., Behnke, L., Lipovetzky, N., Miller, T., & Pearce, A. R. (2017) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2017/778 · Cited by 12 · see citing works
Residential demand management using individualised demand aware price policies
Hayes, B. P., Melatti, I., Mancini, T., Prodanović, M., & Tronci, E. (2017) · IEEE Power Engineering Society General Meeting · doi:10.1109/pesgm.2017.8274252 · Cited by 11 · see citing works
Self-citationHumMod: a modeling environment for the simulation of integrative human physiology
Clemmer, J. S., Pruett, W. A., & Hester, R. L. (2023) · Elsevier eBooks · doi:10.1016/b978-0-12-823913-1.00010-5 · Cited by 9 · see citing works
Planning for Autonomous Planetary Vehicles
Penna, G. D., Intrigila, B., Magazzeni, D., & Mercorio, F. (2010) · International Conference on Networking and Services · doi:10.1109/icas.2010.26 · Cited by 7 · see citing works
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems
Penna, G. D., Intrigila, B., Magazzeni, D., Melatti, I., & Tronci, E. (2013) · European Journal of Control · doi:10.1016/j.ejcon.2013.02.001 · Cited by 5 · see citing works
Self-citation
Flagged first, then by citations
Cited by
Sorted by citations
Complete populations of virtual patients forin silicoclinical trials
Sinisi, S., Alimguzhin, V., Mancini, T., Tronci, E., & Leeners, B. (2020) · Bioinformatics · doi:10.1093/bioinformatics/btaa1026 · Cited by 46 · see citing works
Self-citationSBML2Modelica: integrating biochemical models within open-standard simulation ecosystems
Maggioli, F., Mancini, T., & Tronci, E. (2019) · Bioinformatics · doi:10.1093/bioinformatics/btz860 · Cited by 19 · see citing works
Self-citationMonte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
Pappagallo, A., Massini, A., & Tronci, E. (2020) · Information · doi:10.3390/info11120588 · Cited by 18 · see citing works
Self-citationSinisi, S., Alimguzhin, V., Mancini, T., & Tronci, E. (2021) · Simulation Modelling Practice and Theory · doi:10.1016/j.simpat.2021.102277 · Cited by 17 · see citing works
Self-citationSargent, B., Jafari, M., Marquez, G., Mehta, A. S., Sun, Y., Yang, H., Zhu, K., Isseroff, R. R., Zhao, M., & Gomez, M. M. (2022) · Scientific Reports · doi:10.1038/s41598-022-13925-4 · Cited by 16 · see citing works
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation
Fischer, S., Ehrig, R., Schäfer, S., Tronci, E., Mancini, T., Egli, M., Ille, F., Krüger, T. H. C., Leeners, B., & Röblitz, S. (2021) · Frontiers in Endocrinology · doi:10.3389/fendo.2021.613048 · Cited by 13 · see citing works
Self-citationMathematical modelling of follicular growth and ovarian stimulation
Fischer-Holzhausen, S., & Röblitz, S. (2022) · Current Opinion in Endocrine and Metabolic Research · doi:10.1016/j.coemr.2022.100385 · Cited by 5 · see citing works
Self-citationMari, F., Massini, A., Melatti, I., & Tronci, E. (2021) · Applied Artificial Intelligence · doi:10.1080/08839514.2020.1843833 · Cited by 4 · see citing works
Self-citationAn Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks
Mancini, T., Mari, F., Melatti, I., Salvo, I., & Tronci, E. (2018) · Lecture notes in computer science · doi:10.1007/978-3-030-01851-1_29 · Cited by 4 · see citing works
Self-citationChen, Q. M., Finzi, A., Mancini, T., Melatti, I., & Tronci, E. (2020) · IRIS Research product catalog (Sapienza University of Rome) · Cited by 3 · see citing works
Self-citationEffective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking
Pappagallo, A. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-08421-8_45 · Cited by 2 · see citing works
Colli, L. F. M., Cabral, L. M., de Matos, G. C., Rodrigues, C. R., & de Sousa, V. P. (2022) · Journal of Applied Pharmaceutical Science · doi:10.7324/japs.2023.87792 · Cited by 2 · see citing works
Calabrese, A., Mancini, T., Massini, A., Sinisi, S., & Tronci, E. (2019) · Cited by 1 · see citing works
Self-citationA Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI
Esposito, M., & Picchiami, L. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-08421-8_44 · Cited by 1 · see citing works
Predictive Modeling of Galvanotaxis Dynamics at the Single-cell Level with Machine LearningPreprint
Sargent, B., Jafari, M., Marquez, G., Mehta, A. S., Sun, Y., Yang, H., Zhu, K., Isseroff, R. R., Zhao, M., & Gomez, M. M. (2022) · Research Square · doi:10.21203/rs.3.rs-1328656/v1 · Cited by 1 · see citing works
On the Validation of Multi-Level Personalised Health Condition Model
Taimoor, N., & Rehman, S. (2022) · Euromicro Conference on Digital System Design (DSD) · doi:10.1109/dsd57027.2022.00086
- Authors
- Mancini, T., Mari, F., Massini, A., Melatti, I., Salvo, I., Sinisi, S., Tronci, E., Ehrig, R., Röblitz, S., & Leeners, B.
- Affiliations
- Sapienza University of Rome (IT)
- Zuse Institute Berlin (DE)
- University Hospital Zurich (CH)
- ORCID
- Venue
- EasyChair Preprints
- Publisher
- EasyChair
- Published
- 2018-08-09
- ISSN
- 2516-2314 (ISSN-L)
- OpenAlex
- W2885434610
- Cited by
- 17
- References
- 38
- Citations by year
- 2022: 7 · 2021: 3 · 2020: 3 · 2019: 3 · 2018: 1
- Type
- posted content
- Language
- en
- Open access
- diamond
- doi.org
- Locations
- EasyChair preprint (publishedVersion)
- Zurich Open Repository and Archive (University of Zurich) (acceptedVersion, other-oa)
- IRIS Research product catalog (Sapienza University of Rome) (submittedVersion)
- Zurich Open Repository and Archive (University of Zurich) (submittedVersion, other-oa)
- Zurich Open Repository and Archive (University of Zurich)
- Topics
- Physical Sciences › Mathematics › Statistics and Probability › Statistical Methods in Clinical Trials
- Social Sciences › Decision Sciences › Management Science and Operations Research › Simulation Techniques and Applications
- Health Sciences › Medicine › Health Informatics › Artificial Intelligence in Healthcare and Education
- Keywords
- in silico clinical trials, precision medicine, assisted reproduction, gene downregulation, intelligent search, personalized treatment
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
