VERIFICA AUTOMATICA | Ricerc@Sapienza

VERIFICA AUTOMATICA

cun id:

2400

In Silico Clinical Trials of Biomedical Devices through Model Checking Driven Simulation: an Application to Artificial Pancreas for Patients with Type I Diabetes Mellitus

Submitted by Anonimo (not verified) on Tue, 19/04/2022 - 07:41

Computing Complete Cohorts of Virtual Phenotypes for In Silico Clinical Trials and Model-Based Precision Medicine

Submitted by Anonimo (not verified) on Tue, 19/04/2022 - 07:40

Logics and Model Checking for Graph Equivalences in Computational Biology

Submitted by Anonimo (not verified) on Mon, 11/04/2022 - 12:48

BeGood: Designing Behavioral Rules for Good Outcomes in Multi-Agent Systems

Submitted by Anonimo (not verified) on Mon, 11/04/2022 - 12:48

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma