SCAGNETTO, Ivan
SCAGNETTO, Ivan
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
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.
A Conditional Logical Framework
2008-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
A context-aware retrieval system for mobile applications
2014-01-01 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; I., Zanello
A distributed infrastructure for publishing VO services: An implementation
2016-01-01 Cepparo, Francesco; Scagnetto, Ivan; Molinaro, Marco; Smareglia, Riccardo
A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area
2024-01-01 Gubiani, D.; Sgrazzutti, G.; Basso, M.; Viero, E.; Tavaris, D.; Foresti, G. L.; Scagnetto, I.
A Framework for Typed HOAS and Semantics
2003-01-01 Miculan, Marino; Scagnetto, Ivan
A weak HOAS approach to the POPLmark Challenge
2013-01-01 Ciaffaglione, Alberto; Scagnetto, Ivan
Acquisition and integration of differential pressure measurements on sails for boat performances improvement
2023-01-01 Affanni, A.; Casarsa, L.; Scagnetto, I.; Trevisan, F.
AI on the move: exploiting AI techniques for context inference on mobile devices
2008-01-01 Bulfoni, Adolfo; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, Luca
AI Techniques in a Context-Aware Ubiquitous Environment
2010-01-01 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Lomuscio, Raffaella; Mischis, Danny; Mizzaro, Stefano; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
2002-01-01 Scagnetto, Ivan; Miculan, Marino
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
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.
An Open Logical Framework
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
Consistency of the Theory of Contexts
2006-01-01 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Content-based similarity of Twitter users
2015-01-01 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan
Context Aware Browser
2009-01-01 Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Exploiting news to categorize tweets: Quantifying the impact of different news collections
2016-01-01 Pavan, Marco; Mizzaro, Stefano; Bernardon, Matteo; Scagnetto, Ivan
Finding Important Locations: A Feature-based Approach
2015-01-01 Pavan, Marco; Mizzaro, Stefano; Scagnetto, Ivan; Beggiato, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| A Conditional Logical Framework | 1-gen-2008 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan | |
| A context-aware retrieval system for mobile applications | 1-gen-2014 | Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; I., Zanello | |
| A distributed infrastructure for publishing VO services: An implementation | 1-gen-2016 | Cepparo, Francesco; Scagnetto, Ivan; Molinaro, Marco; Smareglia, Riccardo | |
| A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area | 1-gen-2024 | Gubiani, D.; Sgrazzutti, G.; Basso, M.; Viero, E.; Tavaris, D.; Foresti, G. L.; Scagnetto, I. | |
| A Framework for Typed HOAS and Semantics | 1-gen-2003 | Miculan, Marino; Scagnetto, Ivan | |
| A weak HOAS approach to the POPLmark Challenge | 1-gen-2013 | Ciaffaglione, Alberto; Scagnetto, Ivan | |
| Acquisition and integration of differential pressure measurements on sails for boat performances improvement | 1-gen-2023 | Affanni, A.; Casarsa, L.; Scagnetto, I.; Trevisan, F. | |
| AI on the move: exploiting AI techniques for context inference on mobile devices | 1-gen-2008 | Bulfoni, Adolfo; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, Luca | |
| AI Techniques in a Context-Aware Ubiquitous Environment | 1-gen-2010 | Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Lomuscio, Raffaella; Mischis, Danny; Mizzaro, Stefano; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca | |
| Ambient Calculus and its Logic in the Calculus of Inductive Constructions | 1-gen-2002 | Scagnetto, Ivan; Miculan, Marino | |
| An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS | 1-gen-2001 | Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
| 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. | |
| An Open Logical Framework | 1-gen-2016 | Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan | |
| Consistency of the Theory of Contexts | 1-gen-2006 | Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
| Content-based similarity of Twitter users | 1-gen-2015 | Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan | |
| Context Aware Browser | 1-gen-2009 | Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca | |
| Exploiting news to categorize tweets: Quantifying the impact of different news collections | 1-gen-2016 | Pavan, Marco; Mizzaro, Stefano; Bernardon, Matteo; Scagnetto, Ivan | |
| Finding Important Locations: A Feature-based Approach | 1-gen-2015 | Pavan, Marco; Mizzaro, Stefano; Scagnetto, Ivan; Beggiato, Andrea |