completed |
Giuseppe Boezio Extending the 2P-Kt ecosystem: CLP and Labelled LP Second-cycle Thesis, 03/02/2023 |
Giovanni Speciale Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP Second-cycle Thesis, 22/07/2021 |
Jason Dellaluce Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study Second-cycle Thesis, 21/07/2021 |
Maicol Forti Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations Second-cycle Thesis, 28/05/2021 |
Matteo Castiglio Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt Second-cycle Thesis, 04/02/2021 |
Ilaria Crivellari Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin First-cycle Thesis, 22/07/2020 |
Andrea Dipietro Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt First-cycle Thesis, 22/07/2020 |
Riccardo Varotto Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML First-cycle Thesis, 22/07/2020 |
XWiki.GiuseppePisano3 AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici Second-cycle Thesis, 19/03/2020 |
Jason Dellaluce Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI First-cycle Thesis, 06/07/2019 |
Luca Antognetti Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente First-cycle Thesis, 03/10/2018 |
Alessandro Calvio Smart Environment su piattaforma Home Manager: sensori e micro-intelligenza First-cycle Thesis, 03/10/2018 |
Roberta Calegari Micro-Intelligence for the IoT: Logic-Based Models and Technologies Third-cycle Thesis, 20/04/2018 |
Nicola Fava Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager First-cycle Thesis, 06/10/2017 |
Federico Stella Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse First-cycle Thesis, 24/07/2017 |
Alberto Sita Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog Second-cycle Thesis, 24/07/2017 |
Ilaria Bertoletti Smart home: reasoning e proattività applicate ad un caso di studio Second-cycle Thesis, 15/06/2017 |
Andrea Muccioli tuProlog as a Service: intelligenza per scenari IoT Second-cycle Thesis, 13/03/2017 |
Luca Scalzotto Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry First-cycle Thesis, 06/10/2016 |
Erika Gardini Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home First-cycle Thesis, 06/10/2016 |
Federico Gava Scheduling di elettrodomestici nel prototipo di Home Manager First-cycle Thesis, 06/10/2016 |
Armando Mancini REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER First-cycle Thesis, 14/07/2016 |
Alessio Mora Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI First-cycle Thesis, 14/07/2016 |
Simone Bruzzechesse HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY First-cycle Thesis, 14/07/2016 |
Federico Baldassarre Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java First-cycle Thesis, 13/07/2016 |
Lucrezia Paradisi 2P as a service for Android First-cycle Thesis, 13/07/2016 |
Federico Venturini Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing First-cycle Thesis, 13/07/2016 |
Ivan Fraioli Smart Home: HomeKit e Nest First-cycle Thesis, 17/03/2016 |
Jacopo Ameli HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER First-cycle Thesis, 17/03/2016 |
Vito Colletta Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java Second-cycle Thesis, 11/02/2016 |
Luca Marzaduri Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C# First-cycle Thesis, 11/02/2016 |
Andrea Bucaletti Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog Second-cycle Thesis, 12/10/2015 |
Alessandro Celi Smart home: reasoning e proattività applicate ad un caso di studio First-cycle Thesis, 12/10/2015 |
Alberto Sita Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java First-cycle Thesis, 12/10/2015 |
Sara Bevilacqua Home intelligence & social network in the Butlers perspective Second-cycle Thesis, 12/10/2015 |
Matteo Carano Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence First-cycle Thesis, 12/10/2015 |
Daiana Paolini Geolocalizzazione di servizi in un sistema di home intelligence First-cycle Thesis, 17/03/2015 |
Vincenzo Zappavigna Butler vision nella home intelligence: un caso di studio First-cycle Thesis, 17/03/2015 |
Marcello Colameo Test di accettazione: strumenti a confronto First-cycle Thesis, 11/12/2014 |
Michele Francesco Di Lella Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche First-cycle Thesis, 11/12/2014 |
Lorenzo Dalla Casa Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti First-cycle Thesis, 18/06/2014 |
(41 theses / completed theses) [top] [bottom] |