Risultati ricerca pubblicazioni

In silico clinical trials through AI and statistical model checking

pubblicato su: Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 - 2020

Alimguzhin V., Mancini T., Massini A., Sinisi S., Tronci E.

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins

pubblicato su: FUNDAMENTA INFORMATICAE - 2020

SINISI STEFANO, ALIMGUZHIN VADIM, MANCINI Toni, TRONCI Enrico, MARI FEDERICO, Leeners Brigitte

SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems

pubblicato su: BIOINFORMATICS - 2019

Maggioli F, Mancini T, Tronci E