Per Year & Cycle

Theses  /  2017

• Sviluppo di un sistema di video streaming in ambito eyewear e wearable computing (completed, 15/12/2017) — Davide Giacomini
• 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 (completed, 15/12/2017) — Alessandro Corbi
• Sviluppo di Web App basate sul modello SPA: il progetto TraumaTracker come caso di studio (completed, 15/12/2017) — Giacomo Venturini
• Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager (completed, 06/10/2017) — Nicola Fava
• Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (completed, 24/07/2017) — Federico Stella
• Bitcoin: limiti e soluzioni tecniche della scalabilità (completed, 15/07/2017) — Oksana Komarnytska
• Sviluppo di un sistema di e-health per il tracciamento dei parametri vitali nella gestione dei traumi (completed, 16/03/2017) — Gianluca Spadazzi
• Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS (completed, 16/03/2017) — Andrea Vignudelli
• Microservizi per il progetto di sistemi distribuiti (completed, 09/02/2017) — Simone Lai

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

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