In Silico Clinical Trials of Biomedical Devices through Model Checking Driven Simulation: an Application to Artificial Pancreas for Patients with Type I Diabetes Mellitus Inviato da Anonimo (non verificato) il Mar, 19/04/2022 - 07:41
Computing Complete Cohorts of Virtual Phenotypes for In Silico Clinical Trials and Model-Based Precision Medicine Inviato da Anonimo (non verificato) il Mar, 19/04/2022 - 07:40
Logics and Model Checking for Graph Equivalences in Computational Biology Inviato da Anonimo (non verificato) il Lun, 11/04/2022 - 12:48
BeGood: Designing Behavioral Rules for Good Outcomes in Multi-Agent Systems Inviato da Anonimo (non verificato) il Lun, 11/04/2022 - 12:48