Per Year & Cycle

Theses  /  2017

• La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (completed, 15/12/2017) — Nicola Atti
• Bio-inspired Networking: analisi della letteratura applicata al modello MoK (1st cycle, 15/12/2017) — Alessandro Corbi
• Sviluppo di un sistema di video streaming in ambito eyewear e wearable computing (1st cycle, 15/12/2017) — Davide Giacomini
• Sviluppo di Web App basate sul modello SPA: il progetto TraumaTracker come caso di studio (1st cycle, 15/12/2017) — Giacomo Venturini
• Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager (1st cycle, 06/10/2017) — Nicola Fava
• Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (1st cycle, 24/07/2017) — Federico Stella
• Bitcoin: limiti e soluzioni tecniche della scalabilità (1st cycle, 15/07/2017) — Oksana Komarnytska
• Sviluppo di un sistema di e-health per il tracciamento dei parametri vitali nella gestione dei traumi (1st cycle, 16/03/2017) — Gianluca Spadazzi
• Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS (1st cycle, 16/03/2017) — Andrea Vignudelli
• Microservizi per il progetto di sistemi distribuiti (1st cycle, 09/02/2017) — Simone Lai

• Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service” (2nd cycle, 15/12/2017) — Andrea Decastri
• Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (2nd cycle, 24/07/2017) — Alberto Sita
• Smart home: reasoning e proattività applicate ad un caso di studio (2nd cycle, 15/06/2017) — Ilaria Bertoletti
• Third generation neural networks: formalization as timed automata, validation and learning  (2nd cycle, 17/03/2017) — Giovanni Ciatto
• Aggregazione di dati testuali in MoK: matchmaking basato su ontologie o similarità (2nd cycle, 16/03/2017) — Matteo Fattori
• Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN (2nd cycle, 16/03/2017) — Matteo Delvecchio
• tuProlog as a Service: intelligenza per scenari IoT (2nd cycle, 13/03/2017) — Andrea Muccioli

• Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge (3rd cycle, 15/12/2017) — Valeri Katerinchuk
• Simplicial Complexes and Graph Rewriting for Modelling RNA Folding (3rd cycle, 25/07/2017) — Adane Letta Mamuye
• A topological classifier for detecting the emergence of anomalous synchronization in brain activities (3rd cycle, 25/07/2017) — Marco Piangerelli
• A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (3rd cycle, 03/07/2017) — Francesco Luca De Angelis