Per Year
28
1st-cycle theses
/
2014–2024
/
Roberta Calegari
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (1st cycle) — Andrea Dipietro
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (1st cycle) — Riccardo Varotto
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (1st cycle) — Ilaria Crivellari
- Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (1st cycle) — Jason Dellaluce
- Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente (1st cycle) — Luca Antognetti
- Smart Environment su piattaforma Home Manager: sensori e micro-intelligenza (1st cycle) — Alessandro Calvio
- Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager (1st cycle) — Nicola Fava
- Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (1st cycle) — Federico Stella
- Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home (1st cycle) — Erika Gardini
- Scheduling di elettrodomestici nel prototipo di Home Manager (1st cycle) — Federico Gava
- Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry (1st cycle) — Luca Scalzotto
- Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI (1st cycle) — Alessio Mora
- HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY (1st cycle) — Simone Bruzzechesse
- REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER (1st cycle) — Armando Mancini
- 2P as a service for Android (1st cycle) — Lucrezia Paradisi
- Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (1st cycle) — Federico Venturini
- Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java (1st cycle) — Federico Baldassarre
- Smart Home: HomeKit e Nest (1st cycle) — Ivan Fraioli
- HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER (1st cycle) — Jacopo Ameli
- Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C# (1st cycle) — Luca Marzaduri
- Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence (1st cycle) — Matteo Carano
- Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (1st cycle) — Alberto Sita
- Smart home: reasoning e proattività applicate ad un caso di studio (1st cycle) — Alessandro Celi
- Butler vision nella home intelligence: un caso di studio (1st cycle) — Vincenzo Zappavigna
- Geolocalizzazione di servizi in un sistema di home intelligence (1st cycle) — Daiana Paolini
- Test di accettazione: strumenti a confronto (1st cycle) — Marcello Colameo
- Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche (1st cycle) — Michele Francesco Di Lella
- Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti (1st cycle) — Lorenzo Dalla Casa
0000-0003-3794-2942— Products
2P
LPaaS
Arg-tuProlog
— Events
WOA 2021
— Projects
CompuLaw
— Associations
AIxIA
— Courses
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers