supervisor : Enrico Denti
109
theses
Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (06/07/2019) — Jason Dellaluce Analisi del rischio e studio delle vulnerabilita in un sistema di home intelligence su piattaforma ad agenti: il caso Home Manager (15/10/2018) — Caterina Caravaggio Modularizzazione dell’interprete tuProlog su piattaforma Java 9 (15/10/2018) — Maria Russo Estensione di un plug-in multilinguaggio su piattaforma Eclipse: supporto a progetti ibridi Java-Prolog (03/10/2018) — Riccardo Vasumini Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente (03/10/2018) — Luca Antognetti Smart Environment su piattaforma Home Manager: sensori e micro-intelligenza (03/10/2018) — Alessandro Calvio tuProlog.NET: analisi di sostenibilità del processo di sviluppo (03/10/2018) — Matteo Castiglio Micro-Intelligence for the IoT: Logic-Based Models and Technologies (20/04/2018) — Roberta Calegari Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager (06/10/2017) — Nicola Fava Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (24/07/2017) — Federico Stella Smart home: reasoning e proattività applicate ad un caso di studio (15/06/2017) — Ilaria Bertoletti tuProlog as a Service: intelligenza per scenari IoT (13/03/2017) — Andrea Muccioli Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry (06/10/2016) — Luca Scalzotto Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home (06/10/2016) — Erika Gardini Scheduling di elettrodomestici nel prototipo di Home Manager (06/10/2016) — Federico Gava Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI (14/07/2016) — Alessio Mora HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY (14/07/2016) — Simone Bruzzechesse REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER (14/07/2016) — Armando Mancini 2P as a service for Android (13/07/2016) — Lucrezia Paradisi Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java (13/07/2016) — Federico Baldassarre Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (13/07/2016) — Federico Venturini Smart Home: HomeKit e Nest (17/03/2016) — Ivan Fraioli HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER (17/03/2016) — Jacopo Ameli Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C# (11/02/2016) — Luca Marzaduri Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java (11/02/2016) — Vito Colletta Home intelligence & social network in the Butlers perspective (12/10/2015) — Sara Bevilacqua Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence (12/10/2015) — Matteo Carano Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (12/10/2015) — Andrea Bucaletti Smart home: reasoning e proattività applicate ad un caso di studio (12/10/2015) — Alessandro Celi Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (12/10/2015) — Alberto Sita Butler vision nella home intelligence: un caso di studio (17/03/2015) — Vincenzo Zappavigna Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z (17/03/2015) — Fabio Desimone Geolocalizzazione di servizi in un sistema di home intelligence (17/03/2015) — Daiana Paolini Test di accettazione: strumenti a confronto (11/12/2014) — Marcello Colameo Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche (11/12/2014) — Michele Francesco Di Lella Revisione e attualizzazione del prototipo del sistema HomeManager per la gestione di una casa intelligente (06/10/2014) — Ilaria Bertoletti Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse (18/06/2014) — Matteo Librenti Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti (18/06/2014) — Lorenzo Dalla Casa Programmazione multi-linguaggio in tuProlog.NET: esempi e casi d'uso (18/03/2014) — Marco Donato Torsello Riprogettazione ed estensione di un sistema prototipale per la gestione di una casa intelligente (18/03/2014) — Paolo Barboni Class loading in Android: applicazione a tuProlog (18/03/2014) — Alessio Mercurio Estensione dell'interfaccia grafica in tuProlog per Android (19/12/2013) — Mirco Mastrovito Refactoring e testing dell'interprete tuProlog (13/06/2013) — Emanuele Signorin Traduzione semi-automatica di applicazioni: approcci a confronto (25/03/2013) — Giacomo Dall'Olio Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET (25/03/2013) — Mirko Davoli Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione (25/03/2013) — Francesco Galassi Attualizzazione del supporto al multitasking in tuProlog (13/02/2013) — Eleonora Cau Integrazione di codice tuProlog in linguaggi .NET approcci a confronto (19/12/2012) — Fabio Gravina Estensione della Socket Library per tuProlog (19/12/2012) — Adelina Benedetti Traduzione automatica di applicazioni Java in .NET: approcci a confronto (19/12/2012) — Andrea Muccioli Porting dell'interprete tuProlog su piattaforma Android: nuova GUI (15/03/2012) — Gianluca Privitera Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java (16/12/2011) — Michele Castagna Testing esaustivo di un interprete Prolog su piattaforma Java (14/12/2011) — Fabrizio Sabbioni Soluzioni per il deployment di un plugin Eclipse (14/12/2011) — Lorena Qendro Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET (14/12/2011) — Valerio Pipolo Gestione della tail recursion in tuProlog (03/10/2011) — Silvia Umiliacchi Porting e testing su piattaforma Android di un interprete Prolog (20/07/2011) — Andrea Pasquini Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto (24/03/2011) — Davide Aldrovandi Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti (24/03/2011) — Alessio Serrangeli Adeguamento del plug-in per l'interprete tuProlog su piattaforma Eclipse (21/03/2011) — Orfeo Ciano Porting e processo di mantenimento di applicazioni Java su piattaforma .NET (15/12/2010) — Alessandro Montanari Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN (14/12/2010) — Simone Romei Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni (18/03/2010) — Antonio Danilo Santoro Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog (14/01/2010) — Sara Sabioni Progetto e sviluppo di una libreria tuProlog per il Web Semantico (07/10/2009) — Martina Paianini Progetto di un motore RBAC per un sistema prototipale di gestione di una casa intelligente (06/10/2009) — Leo Di Carlo Analisi di prestazione del motore tuProlog su piattaforma Java (19/03/2009) — Michele Damian Estensione delle funzionalità di agenti software per l'invio e la ricezione di SMS su piattaforma TuCSoN (31/12/2008) — Alessandro Grazi Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET (21/10/2008) — Marco Albertin Progetto e sviluppo di una nuova GUI per l'interprete tuProlog (25/07/2008) — Juri Castellani Studio di fattibilità per il deployment del plug-in tuProlog su piattaforma Eclipse (25/07/2008) — Paolo Barboni Design di una interfaccia grafica per query multiple su motori inferenziali (18/01/2008) — Marco Casadio Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Java Micro Edition (J2ME) (17/12/2007) — Enrico Angelini Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Microsoft .NET (10/10/2007) — Mattia Generali Progetto e sviluppo di una libreria tuProlog per il linguaggio SQL (09/10/2007) — Matteo Iuliani Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog (20/06/2007) — Robertino Aniello Progetto e realizzazione di una battaglia medioevale mediante tecnologie ad agenti (21/03/2007) — Alberto Mercati Implementazione del plug-in per l'interprete tuProlog su piattaforma NetBeans: sviluppo di un nuovo prototipo (15/03/2007) — Riccardo Malara Tecnologie ad agenti per una casa intelligente (11/12/2006) — Claudia Fontan Progetto e realizzazione di un agente per l'esplorazione dei servizi di rete (11/12/2006) — Roberto Magale Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans (26/10/2006) — Luca Coccini Gailli Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete (10/10/2006) — Michele Dinardo Sviluppo di un sistema multi-agente per la gestione di una stazione ferroviaria (27/07/2006) — Ambra Palladini Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente (26/07/2006) — Stefano Bonetti Analisi e progetto di un sistema di controllo degli accessi ad un edificio (26/07/2006) — Felice Tufo Strumenti di interazione avanzati mediante spazi di lavoro virtuali: un ambiente su piattaforma TuCSoN (27/03/2006) — Alessandro Lazzarotto Sviluppo di un sistema multi-agente per la gestione di un calendario (27/03/2006) — Cinzia La Morgia Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (16/02/2006) — Emanuele Nanetti Ingegnerizzazione di applicazioni con metodologie agent oriented: un caso applicativo (20/12/2005) — Emanuela Mattiolo Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse (15/12/2005) — Daniele Sabatini Analisi di prestazione di un interprete prolog su piattaforma Java (13/12/2005) — Fabio Tosi Progetto e sviluppo di un plug-in per l'interprete tuProlog in ambiente Eclipse (14/03/2005) — Stefano Rizzi Istituzioni Computazionali: coordinazione mediante norme (15/02/2005) — Rossella Rubino Sviluppo di un sistema di installazione per servizi operanti su piattaforma TuCSoN (31/12/2004) — Gerardo Verna Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla (14/12/2004) — Amedeo Simeone Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione (12/10/2004) — Leonardo Nicoli Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi (12/10/2004) — Ambra Molesini Progetto e realizzazione di un sistema prototipale per la fruizione integrata di servizi per la comunicazione su piattaforma TuCSoN (15/07/2004) — Roberta Calegari Integrazione di servizi di messaggistica intelligenti basati su una infrastruttura di coordinazione (31/12/2003) — Giuseppe Tomaiuoli Sviluppo di un prototipo per l'interazione con basi di dati mediante un'infrastruttura di coordinazione (31/12/2003) — Luca Tonini Studio di fattibilità per l'integrazione del supporto vocale in un'infrastruttura di coordinazione (31/12/2003) — Fabio Poli Coordinazione di sistemi multi-agente basati su piattaforma LEGO MINDSTORMS (18/12/2003) — Simone Pellegrini Studio di fattibilità per l'integrazione dell'accesso a Web Services tramite un'infrastruttura di coordinazione (15/12/2003) — Giacomo Tartari Migrazione di tuProlog su piattaforma Java2 Micro Edition (J2ME) (22/09/2003) — Michele Pace Sviluppo prototipale di un sistema intelligente di download di file basato su un'infrastruttura di coordinazione (19/03/2003) — Valerio Siri Sviluppo prototipale di un sistema intelligente di upload di file basato su un'infrastruttura di coordinazione (19/03/2003) — Massimo Raffaelli Sviluppo prototipale di un sistema di posta elettronica intelligente basato su un'infrastruttura di coordinazione (15/12/2002) — Rossella Rubino Studio di fattibilità per la migrazione di un'applicazione dalla piattaforma java alla piattaforma .NET: un caso applicativo (05/12/2002) — Antonio Poggiali Estensione di un interprete prolog per la gestione delle eccezioni — Matteo Iuliani