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