Sfoglia per Autore
LF+ in Coq for fast-and-loose reasoning
2019-01-01 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
Λ-symsym: An interactive tool for playing with involutions and types
2021-01-01 Honsell, F.; Lenisa, M.; Scagnetto, I.
Oceanus: A context-aware low-cost navigation aid for yacht racing
2021-01-01 Scagnetto, I.; Brajnik, G.; Gus, P.; Trevisan, F.
An integrated low-cost system for object detection in underwater environments
2022-01-01 Foresti, G. L.; Scagnetto, I.
An Integrated Monitoring System for Aerial Drones and Underwater ROVs
2023-01-01 Cecchinato, N.; Toma, A.; Scagnetto, I.; Drioli, C.; Foresti, G. L.
Acquisition and integration of differential pressure measurements on sails for boat performances improvement
2023-01-01 Affanni, A.; Casarsa, L.; Scagnetto, I.; Trevisan, F.
Real-Time GAN-Based Model for Underwater Image Enhancement
2023-01-01 Avola, D.; Cannistraci, I.; Cascio, M.; Cinque, L.; Diko, A.; Distante, D.; Foresti, G. L.; Mecca, A.; Scagnetto, I.
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization
2023-01-01 Cecchinato, N.; Scagnetto, I.; Toma, A.; Drioli, C.; Foresti, G. L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| LF+ in Coq for fast-and-loose reasoning | 1-gen-2019 | Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I | |
| Λ-symsym: An interactive tool for playing with involutions and types | 1-gen-2021 | Honsell, F.; Lenisa, M.; Scagnetto, I. | |
| Oceanus: A context-aware low-cost navigation aid for yacht racing | 1-gen-2021 | Scagnetto, I.; Brajnik, G.; Gus, P.; Trevisan, F. | |
| An integrated low-cost system for object detection in underwater environments | 1-gen-2022 | Foresti, G. L.; Scagnetto, I. | |
| An Integrated Monitoring System for Aerial Drones and Underwater ROVs | 1-gen-2023 | Cecchinato, N.; Toma, A.; Scagnetto, I.; Drioli, C.; Foresti, G. L. | |
| Acquisition and integration of differential pressure measurements on sails for boat performances improvement | 1-gen-2023 | Affanni, A.; Casarsa, L.; Scagnetto, I.; Trevisan, F. | |
| Real-Time GAN-Based Model for Underwater Image Enhancement | 1-gen-2023 | Avola, D.; Cannistraci, I.; Cascio, M.; Cinque, L.; Diko, A.; Distante, D.; Foresti, G. L.; Mecca, A.; Scagnetto, I. | |
| A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization | 1-gen-2023 | Cecchinato, N.; Scagnetto, I.; Toma, A.; Drioli, C.; Foresti, G. L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile