Per Year

129 second-cycle theses  /  1995–2023

2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  |  2011  |  2010  |  2009  |  2008  |  2007  |  2006  |  2005  |  2004

2022
Giulia Brugnatti
Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype 
(completed thesis, 15/12/2022)
Luca Nannini
Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt
(completed thesis, 27/05/2022)
Elia Pasqualini
Realizzazione di una blockchain privata per la gestione di una rete di pagamenti
(completed thesis, 18/03/2022)
(3 second-cycle theses / 2022)  [top]  [bottom]
2021
Andrea Giordano
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support
(completed thesis, 16/12/2021)
Ruben Ceroni
Kubernetes su OpenStack: deployment automatizzato su un cluster ARM di un private cloud per l’orchestrazione di container
(completed thesis, 16/12/2021)
Enrico Salvucci
MLOps – Standardizing the Machine Learning Workflow
(completed thesis, 22/07/2021)
Marco Baldassarri
Sviluppo di un progetto di automation testing con approccio BDD e gestione delle CI/CD pipelines
(completed thesis, 22/07/2021)
Giovanni Speciale
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
(completed thesis, 22/07/2021)
Jason Dellaluce
Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study
(completed thesis, 21/07/2021)
Maicol Forti
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
(completed thesis, 28/05/2021)
Michele Donati
Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare
(completed thesis, 26/03/2021)
Shapour Nemati
Engineering Angle-of-Arrival-based Indoor Localization Systems
(completed thesis, 26/03/2021)
Matteo Castiglio
Integrazione tra Programmazione Logica e Reti Neurali:  esperimenti in 2p-Kt
(completed thesis, 04/02/2021)
(10 second-cycle theses / 2021)  [top]  [bottom]
2020
Federico Sabbatini
Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks
(completed thesis, 17/12/2020)
Giuseppe Pisano
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici
(completed thesis, 19/03/2020)
Marco Canducci
End-to-End Goal-Oriented Conversational Agent for Risk Awareness
(completed thesis, 19/03/2020)
(3 second-cycle theses / 2020)  [top]  [bottom]
2019
Filippo Nicolini
Simulazione di Agenti BDI basati su Prolog in Alchemist
(completed thesis, 12/12/2019)
Enrico Siboni
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
(completed thesis, 12/12/2019)
Matteo Minardi
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati
(completed thesis, 12/12/2019)
Luca Pascucci
Synapsis - Middleware per l'integrazione di Game Engine e Sistemi Multi-Agente
(completed thesis, 10/10/2019)
Ashley Caselli
Logic-based coordination: a semantic approach to self-composition of services
(completed thesis, 21/03/2019)
(5 second-cycle theses / 2019)  [top]  [bottom]
2018
Mattia Borrillo
Coordinazione di veicoli autonomi: simulazione di incroci stradali
(completed thesis, 18/10/2018)
Alessandro Contro
Multi-sensing Data Fusion: Target tracking via particle filtering
(completed thesis, 18/10/2018)
Edoardo Antonini
Testing automatico per una implementazione dello standard OpenGL
(completed thesis, 18/10/2018)
Francesco Cozzolino
Implementazione di un sistema per il self-management del diabete di tipo 1
(completed thesis, 19/07/2018)
Alessandro Bagnoli
Game Engines and MAS: Spatial Tuples in Unity3D
(completed thesis, 19/07/2018)
Brando Mordenti
Agenti autonomi e artefatti per la simulazione del traffico in una Smart City
(completed thesis, 22/03/2018)
Patryk Wojtowicz
La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda
(completed thesis, 22/03/2018)
Mattia Cerbara
Game Engines and MAS: Tuplespace-based Interaction in Unity
(completed thesis, 22/03/2018)
Thomas Trapanese
Modelli e piattaforme per la democrazia digitale: analisi e confronto
(completed thesis, 22/03/2018)
Valentina Intrusi
Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach
(completed thesis, 22/03/2018)
Nicola Poli
Game Engines and MAS: BDI & Artifacts in Unity
(completed thesis, 22/03/2018)
Alex Collini
Blockchain: modello generale e tassonomia delle componenti chiave
(completed thesis, 22/03/2018)
(12 second-cycle theses / 2018)  [top]  [bottom]
2017
Andrea Decastri
Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service”
(completed thesis, 15/12/2017)
Alberto Sita
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
(completed thesis, 24/07/2017)
Ilaria Bertoletti
Smart home: reasoning e proattività applicate ad un caso di studio
(completed thesis, 15/06/2017)
Giovanni Ciatto
Third generation neural networks: formalization as timed automata, validation and learning 
(completed thesis, 17/03/2017)
Matteo Delvecchio
Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN
(completed thesis, 16/03/2017)
Matteo Fattori
Aggregazione di dati testuali in MoK: matchmaking basato su ontologie o similarità
(completed thesis, 16/03/2017)
Andrea Muccioli
tuProlog as a Service: intelligenza per scenari IoT
(completed thesis, 13/03/2017)
(7 second-cycle theses / 2017)  [top]  [bottom]
2016
Richiard Casadei
Home Manager come middleware per la coordinazione situata in ambito IoT
(completed thesis, 15/12/2016)
Marco Carlo Cavalazzi
Enterprise Social Networks: The Case of CERN
(completed thesis, 06/10/2016)
Marco Zaccheroni
Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE
(completed thesis, 14/07/2016)
Pietro Antonio Nompleggio
Computazione Embodied e Disembodied: Cloud-based IoT
(completed thesis, 14/07/2016)
Simone Grotti
Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio
(completed thesis, 17/03/2016)
Danilo Candiotti
IoT e progettazione di sistemi di Home Automation: un caso di studio reale basato su framework e standard open
(completed thesis, 17/03/2016)
Francesco Degli Angeli
Self-management di malattie croniche in sistemi di mobile Health: sviluppo di un modello agent-based per casi di diabete
(completed thesis, 17/03/2016)
Vito Colletta
Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java
(completed thesis, 11/02/2016)
(8 second-cycle theses / 2016)  [top]  [bottom]
2015
Lorenzo Forcellini Reffi
TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili
(completed thesis, 10/12/2015)
Roberto D'Elia
Architetture per Smart Health: il caso FitStadium
(completed thesis, 10/12/2015)
Sara Bevilacqua
Home intelligence & social network in the Butlers perspective
(completed thesis, 12/10/2015)
Andrea Bucaletti
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog
(completed thesis, 12/10/2015)
Emanuele Buccelli
Ingegnerizzazione di RBAC-MAS in TuCSoN
(completed thesis, 19/03/2015)
Karin Pasini
Mining LinkedIn Social Media: Tecniche di Data e Text mining applicate a Recommender System per la Ricerca ed Offerta di Lavoro
(completed thesis, 19/03/2015)
Fabio Desimone
Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z
(completed thesis, 17/03/2015)
(7 second-cycle theses / 2015)  [top]  [bottom]
2014
Stefano Montesi
Tecnologie per la mobilità verso un middleware general-purpose
(completed thesis, 15/06/2014)
Paolo Barboni
Riprogettazione ed estensione di un sistema prototipale per la gestione di una casa intelligente
(completed thesis, 18/03/2014)
(2 second-cycle theses / 2014)  [top]  [bottom]
2013
Andrea Pagliarani
New Markov Chain Based Methods For Single And Cross-Domain Sentiment Classification
(completed thesis, 19/12/2013)
Denis Di Paolo
Predictive Text Mining: Metodi di previsione di indici di borsa basati su Twitter
(completed thesis, 19/12/2013)
Michele Pratiffi
Tecniche di text mining per l'autoorganizzazione della conoscenza
(completed thesis, 10/10/2013)
Saverio Cicora
Profiling, re-factoring e ottimizzazione del middleware di coordinazione TuCSoN
(completed thesis, 25/07/2013)
Chiara Casalboni
Esperimenti di stigmergia cognitiva con TuCSoN e Jason
(completed thesis, 15/07/2013)
Michele Bombardi
Coordinazione space-aware per dispositivi mobili in TuCSoN
(completed thesis, 15/07/2013)
Francesco Galassi
Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione
(completed thesis, 25/03/2013)
Enrico Polverelli
Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist
(completed thesis, 21/03/2013)
Matteo Bianchi
Sviluppo di un Framework per la Programmazione di Robot basati su Architettura di Controllo Behaviour-Based
(completed thesis, 21/03/2013)
Enrico Gramellini
Progettazione e Sviluppo di Applicazioni Distribuite su Web: da JavaScript a TypeScript
(completed thesis, 21/03/2013)
Marco Piraccini
Biochemical coordination in TuCSoN
(completed thesis, 21/03/2013)
(11 second-cycle theses / 2013)  [top]  [bottom]
2012
Francesco Fabbri
Engineering Concurrent and Event-Driven Web Apps: From DART isolates to simpAL agents
(completed thesis, 20/12/2012)
Andrea Mordenti
Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and WeBots platforms
(completed thesis, 20/12/2012)
Fabio Gravina
Integrazione di codice tuProlog in linguaggi .NET approcci a confronto
(completed thesis, 19/12/2012)
Andrea Dallatana
BDI Agents for Real Time Strategy games
(completed thesis, 11/10/2012)
Mattia Occhiuto
Molecules of Knowledge: architettura, implementazione ed esempi
(completed thesis, 26/07/2012)
Paolo Contessi
Supporting semantic web technologies in the pervasive service ecosystems middleware
(completed thesis, 26/07/2012)
Francesca Cioffi
Algoritmi Gradient-based per la modellazione e simulazione di sistemi auto-organizzanti
(completed thesis, 26/07/2012)
Andrea Boccacci
Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche
(completed thesis, 28/03/2012)
Alex Carmine Olivieri
Semantic coordination tuple centres for eHealth Systems
(completed thesis, 28/03/2012)
Marco Alberti
Implementazione automatica di protocolli di interazione AUML mediante reti di Petri
(completed thesis, 28/03/2012)
Marco Savoia
Architetture software per coordinazione semantica: efficienza vs. espressività
(completed thesis, 16/02/2012)
(11 second-cycle theses / 2012)  [top]  [bottom]
2011
Stefano Mariani
Molecules of knowledge: a new approach to knowledge production, management and consumption
(completed thesis, 20/12/2011)
Matteo Desanti
Supporto a regole chimico-semantiche per la coordinazione di service pervasive ecosystems
(completed thesis, 12/10/2011)
Michele Morgagni
Modulo di comunicazione in una infrastruttura per pervasive service ecosystems
(completed thesis, 12/10/2011)
Silvia Umiliacchi
Gestione della tail recursion in tuProlog
(completed thesis, 03/10/2011)
Antonio Pedone
Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices
(completed thesis, 21/07/2011)
Matteo Mosca
Coordinazione sociale di robot Mindstorm in ReSpecT
(completed thesis, 23/06/2011)
Alessio Serrangeli
Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti
(completed thesis, 24/03/2011)
Davide Aldrovandi
Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto
(completed thesis, 24/03/2011)
Danilo Pianini
Un Framework di simulazione per ecosistemi di servizi pervasivi
(completed thesis, 23/03/2011)
(9 second-cycle theses / 2011)  [top]  [bottom]
2010
Marco Antonio Primiceri
Progettazione di un framework di sicurezza per smartphone
(completed thesis, 21/12/2010)
Andrea Tosi
Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi
(completed thesis, 21/12/2010)
Lorenzo Ravaglia
Modellazione agent-based delle dinamiche alla base della precoce regionalizzazione dell'embrione di Drosophila Melanogaster
(completed thesis, 21/12/2010)
Simone Romei
Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN
(completed thesis, 14/12/2010)
Fabio Tonti
Algoritmi di ricerca locale stocastica per l'ottimizzazione di parametri in un simulatore  biologico
(completed thesis, 13/10/2010)
Filippo Campana
Modellazione di meccanismi morfogenetici in Repast
(completed thesis, 25/07/2010)
Mattia Manfroni
Towards Boolean network design for robotics applications
(completed thesis, 25/07/2010)
Frens Tedeschini
Analysis and quantification of information in biological networks for protein function prediction
(completed thesis, 24/03/2010)
Marco Sbaraglia
Coordinazione space-based per la piattaforma bioinformatica Cellulat
(completed thesis, 24/03/2010)
Marco Battarra
ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis
(completed thesis, 24/03/2010)
Nicola Donati
Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster
(completed thesis, 24/03/2010)
Antonio Danilo Santoro
Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni
(completed thesis, 18/03/2010)
(12 second-cycle theses / 2010)  [top]  [bottom]
2009
Domenico Magnani
Modelli e tecnologie per la sicurezza in applicazioni orientate ai servizi: analisi e sperimentazioni del framework WS-security
(completed thesis, 31/12/2009)
Stefano Tamagnini
Gli SPIME nell'Internet delle cose come combinazione di agenti e artefatti
(completed thesis, 22/12/2009)
Emanuele Panzavolta
Design e Implementazione di un Modulo Semantico per TuCSoN
(completed thesis, 22/12/2009)
Leo Di Carlo
Progetto di un motore RBAC per un sistema prototipale di gestione di una casa intelligente
(completed thesis, 06/10/2009)
Andrea Del Bene
Scripting in Java 6: esperimenti in tuProlog
(completed thesis, 25/06/2009)
Christian Rimondi
XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards 
(completed thesis, 19/03/2009)
(6 second-cycle theses / 2009)  [top]  [bottom]
2008
Marco Albertin
Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET 
(completed thesis, 21/10/2008)
Lorenzo Cavina
Verso reti auto-organizzanti ispirate alle biochimica: un framework di simulazione
(completed thesis, 15/10/2008)
Francesco Vernocchi
Progettazione di un simulatore per modelli continui di reti genetiche
(completed thesis, 26/03/2008)
Lorenzo Varrasso
Coordination Games in TuCSoN
(completed thesis, 25/03/2008)
(4 second-cycle theses / 2008)  [top]  [bottom]
2007
Robertino Aniello
Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog
(completed thesis, 20/06/2007)
Alberto Mercati
Progetto e realizzazione di una battaglia medioevale mediante tecnologie ad agenti
(completed thesis, 21/03/2007)
Sara Montagna
Modelling and Simulating in Systems Biology: an Approach based on Multi-Agents Systems
(completed thesis, 24/01/2007)
(3 second-cycle theses / 2007)  [top]  [bottom]
2006
Stefano Riffelli
Advanced role-based models for organisation in MAS coordination infrastructures 
(completed thesis, 14/12/2006)
Claudia Fontan
Tecnologie ad agenti per una casa intelligente
(completed thesis, 11/12/2006)
Luca Coccini Gailli
Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans
(completed thesis, 26/10/2006)
Stefano Bromuri
Realizzazione di agenti software per la gestione di una rete di sensori wireless
(completed thesis, 11/10/2006)
Felice Tufo
Analisi e progetto di un sistema di controllo degli accessi ad un edificio
(completed thesis, 26/07/2006)
Emanuele Nanetti
Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog
(completed thesis, 16/02/2006)
(6 second-cycle theses / 2006)  [top]  [bottom]
2005
Emanuela Mattiolo
Ingegnerizzazione di applicazioni con metodologie agent oriented: un caso applicativo
(completed thesis, 20/12/2005)
Alex Benini
Estensione di un motore Prolog per la programmazione a vincoli
(completed thesis, 15/12/2005)
Daniele Albonetti
RBAC in sistemi multiagente: modello e implementazione in TuCSoN
(completed thesis, 15/12/2005)
Fabio Tosi
Analisi di prestazione di un interprete prolog su piattaforma Java
(completed thesis, 13/12/2005)
Nicola Zaghini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale
(completed thesis, 12/10/2005)
Claudio Buda
Localizzazione Indoor in WLAN attraverso Rete Neuronale Evolutiva
(completed thesis, 12/10/2005)
Nicola Zaghini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale
(completed thesis, 12/10/2005)
Rossella Rubino
Istituzioni Computazionali: coordinazione mediante norme
(completed thesis, 15/02/2005)
(8 second-cycle theses / 2005)  [top]  [bottom]
2004
Leonardo Nicoli
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione
(completed thesis, 12/10/2004)
Ambra Molesini
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi
(completed thesis, 12/10/2004)
(2 second-cycle theses / 2004)  [top]  [bottom]

Tags:
Created by Andrea Omicini on 29/10/2021 14:37

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY