ALIMGUZHIN, VADIM
ALIMGUZHIN, VADIM
DIPARTIMENTO DI NEUROSCIENZE, SALUTE MENTALE E ORGANI DI SENSO
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
| 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 |