ALIMGUZHIN, VADIM

ALIMGUZHIN, VADIM  

DIPARTIMENTO DI NEUROSCIENZE, SALUTE MENTALE E ORGANI DI SENSO  

Mostra prodotti
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
A glimpse of SmartHG project test-bed and communication infrastructure 2015 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 2020 Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B.
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Automatic control software synthesis for quantized discrete time hybrid systems 2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Complete populations of virtual patients for in silico clinical trials 2021 Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B
Complete populations of virtual patients for in silico clinical trials 2021 Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B
In silico clinical trials through AI and statistical model checking 2020 Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.
Linearising discrete time hybrid systems 2017 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On model based synthesis of embedded control software 2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On-the-Fly Control Software Synthesis 2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 2020 Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico; Mari, Federico; Leeners, Brigitte
Reconciling interoperability with efficient Verification and Validation within open source simulation environments 2021 Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico