CNR Institutional Research Information System

BELLI, DIMITRI

BELLI, DIMITRI  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
A Byzantine-Resilient Aggregation Scheme for Federated Learning via Matrix Autoregression on Client Updates 1-gen-2023 Gabriele Tolomei; Edoardo Gabrielli; Dimitri Belli; Vittorio Miori
A case study in formal analysis of system requirements 1-gen-2023 Belli, D; Mazzanti, F
Connectivity standards alliance matter: state of the art and opportunities 1-gen-2023 Belli, D; Barsocchi, P; Palumbo, F
Sviluppo di applicazioni interattive per insegnare la chimica nelle scuole secondarie di I grado 1-gen-2023 Belli, Dimitri; Domenici, Valentina; Lischi, Guglielmo; Milazzo, Paolo; Pardini, Giovanni
The 4SECURail case study on rigorous standard interface specifications 1-gen-2023 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Quadrini, L; Trentini, D; Vaghi, C
ChAALenge - D6.1: Analisi delle peculiarità di salute della popolazione anziana e definizione requisiti tecnici 1-gen-2022 Miori, V; Belli, D; Bacco, M F; Baronti, P; Barsocchi, P; Crivello, A; Furfari, F; Girolami, M; La Rosa, D; Mavilia, F; Palumbo, F; Pillitteri, L; Potortì, F; Russo, D
ChAALenge - D6.2: Progettazione architettura e definizione delle modalità di integrazione delle macrofunzionalità nel framework (intermedio) 1-gen-2022 Bacco F. M.; Baronti P.; Barsocchi P.; Crivello A.; Furfari F.; Girolami M.; La Rosa D.; Mavilia F.; Miori V.; Palumbo F.; Pillitteri L.; Potortì F.; Russo D.; Belli D.
ChAALenge D5.2 - Documento di definizione degli algoritmi di Machine Learning e Deep Learning 1-gen-2022 Miori, V; Belli, D; Bacco, Fm; Baronti, P; Barsocchi, P; Crivello, A; Furfari, F; Girolami, M; La Rosa, D; Mavilia, F; Palumbo, F; Pillitteri, L; Potortì, F; Russo, D
ChAALenge: an ambient assisted living project to promote an active and health ageing 1-gen-2022 Barsocchi P.; Belli D.; Gabrielli E.; La Rosa D.; Miori V.; Palumbo F.; Russo D.; Tolomei G.
Formal modeling and initial analysis of the 4SECURail case study 1-gen-2022 Mazzanti F.; Belli D.
Multivariate time series dataset generator 1-gen-2022 Belli, D; Miori, V
The 4SECURail approach to formalizing standard interfaces between signalling systems components 1-gen-2022 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Pistilli, G; Quadrini, L; Trentini, D; Vaghi, C
The 4SECURail formal methods demonstrator 1-gen-2022 Mazzanti F.; Belli D.
4SECURail - Formal development demonstrator prototype, final release 1-gen-2021 Mazzanti, F; Belli, D
4SECURail - Revised requirements of the 4SECURail case study 1-gen-2021 Mazzanti F.; Belli D.
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 1-gen-2021 Mazzanti F.; Belli D.
Formal models of the SAI/CSL system of the 4SECURail case study 1-gen-2021 Mazzanti, F; Belli, D
How mobility and sociality reshape the context: a decade of experience in mobile crowdsensing 1-gen-2021 Girolami M.; Belli D.; Chessa S.; Foschini L.
The UMC2LNT and UMC2PROB model transformation tools 1-gen-2021 Mazzanti, F; Belli, D
Impact of evolutionary community detection algorithms for edge selection strategies 1-gen-2020 Barsocchi, P; Belli, D; Chessa, S; Foschini, L; Girolami, M