| second-cycle theses |
Giulia Brugnatti
Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype
Second-cycle Thesis, 15/12/2022 |
Luca Nannini
Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt
Second-cycle Thesis, 27/05/2022 |
Elia Pasqualini
Realizzazione di una blockchain privata per la gestione di una rete di pagamenti
Second-cycle Thesis, 18/03/2022 |
Andrea Giordano
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support
Second-cycle Thesis, 16/12/2021 |
Giovanni Speciale
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
Second-cycle Thesis, 22/07/2021 |
Maicol Forti
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
Second-cycle Thesis, 28/05/2021 |
Michele Donati
Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare
Second-cycle Thesis, 26/03/2021 |
Shapour Nemati
Engineering Angle-of-Arrival-based Indoor Localization Systems
Second-cycle Thesis, 26/03/2021 |
Federico Sabbatini
Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks
Second-cycle Thesis, 17/12/2020 |
XWiki.GiuseppePisano3
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici
Second-cycle Thesis, 19/03/2020 |
Marco Canducci
End-to-End Goal-Oriented Conversational Agent for Risk Awareness
Second-cycle Thesis, 19/03/2020 |
Filippo Nicolini
Simulazione di Agenti BDI basati su Prolog in Alchemist
Second-cycle Thesis, 12/12/2019 |
Matteo Minardi
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati
Second-cycle Thesis, 12/12/2019 |
Enrico Siboni
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
Second-cycle Thesis, 12/12/2019 |
Luca Pascucci
Synapsis - Middleware per l'integrazione di Game Engine e Sistemi Multi-Agente
Second-cycle Thesis, 10/10/2019 |
Ashley Caselli
Logic-based coordination: a semantic approach to self-composition of services
Second-cycle Thesis, 21/03/2019 |
Mattia Borrillo
Coordinazione di veicoli autonomi: simulazione di incroci stradali
Second-cycle Thesis, 18/10/2018 |
Alessandro Contro
Multi-sensing Data Fusion: Target tracking via particle filtering
Second-cycle Thesis, 18/10/2018 |
Edoardo Antonini
Testing automatico per una implementazione dello standard OpenGL
Second-cycle Thesis, 18/10/2018 |
Francesco Cozzolino
Implementazione di un sistema per il self-management del diabete di tipo 1
Second-cycle Thesis, 19/07/2018 |
Alessandro Bagnoli
Game Engines and MAS: Spatial Tuples in Unity3D
Second-cycle Thesis, 19/07/2018 |
Patryk Wojtowicz
La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda
Second-cycle Thesis, 22/03/2018 |
Thomas Trapanese
Modelli e piattaforme per la democrazia digitale: analisi e confronto
Second-cycle Thesis, 22/03/2018 |
Mattia Cerbara
Game Engines and MAS: Tuplespace-based Interaction in Unity
Second-cycle Thesis, 22/03/2018 |
Valentina Intrusi
Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach
Second-cycle Thesis, 22/03/2018 |
Alex Collini
Blockchain: modello generale e tassonomia delle componenti chiave
Second-cycle Thesis, 22/03/2018 |
Brando Mordenti
Agenti autonomi e artefatti per la simulazione del traffico in una Smart City
Second-cycle Thesis, 22/03/2018 |
Nicola Poli
Game Engines and MAS: BDI & Artifacts in Unity
Second-cycle Thesis, 22/03/2018 |
Andrea Decastri
Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service”
Second-cycle Thesis, 15/12/2017 |
Alberto Sita
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
Second-cycle Thesis, 24/07/2017 |
Matteo Delvecchio
Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN
Second-cycle Thesis, 16/03/2017 |
Matteo Fattori
Aggregazione di dati testuali in MoK: matchmaking basato su ontologie o similarità
Second-cycle Thesis, 16/03/2017 |
Andrea Muccioli
tuProlog as a Service: intelligenza per scenari IoT
Second-cycle Thesis, 13/03/2017 |
Richiard Casadei
Home Manager come middleware per la coordinazione situata in ambito IoT
Second-cycle Thesis, 15/12/2016 |
Marco Carlo Cavalazzi
Enterprise Social Networks: The Case of CERN
Second-cycle Thesis, 06/10/2016 |
Marco Zaccheroni
Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE
Second-cycle Thesis, 14/07/2016 |
Pietro Antonio Nompleggio
Computazione Embodied e Disembodied: Cloud-based IoT
Second-cycle Thesis, 14/07/2016 |
Francesco Degli Angeli
Self-management di malattie croniche in sistemi di mobile Health: sviluppo di un modello agent-based per casi di diabete
Second-cycle Thesis, 17/03/2016 |
Lorenzo Forcellini Reffi
TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili
Second-cycle Thesis, 10/12/2015 |
Roberto D'Elia
Architetture per Smart Health: il caso FitStadium
Second-cycle Thesis, 10/12/2015 |
Emanuele Buccelli
Ingegnerizzazione di RBAC-MAS in TuCSoN
Second-cycle Thesis, 19/03/2015 |
Stefano Montesi
Tecnologie per la mobilità verso un middleware general-purpose
Second-cycle Thesis, 15/06/2014 |
Michele Pratiffi
Tecniche di text mining per l'autoorganizzazione della conoscenza
Second-cycle Thesis, 10/10/2013 |
Saverio Cicora
Profiling, re-factoring e ottimizzazione del middleware di coordinazione TuCSoN
Second-cycle Thesis, 25/07/2013 |
Chiara Casalboni
Esperimenti di stigmergia cognitiva con TuCSoN e Jason
Second-cycle Thesis, 15/07/2013 |
Michele Bombardi
Coordinazione space-aware per dispositivi mobili in TuCSoN
Second-cycle Thesis, 15/07/2013 |
Francesco Galassi
Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione
Second-cycle Thesis, 25/03/2013 |
Marco Piraccini
Biochemical coordination in TuCSoN
Second-cycle Thesis, 21/03/2013 |
Andrea Dallatana
BDI Agents for Real Time Strategy games
Second-cycle Thesis, 11/10/2012 |
Mattia Occhiuto
Molecules of Knowledge: architettura, implementazione ed esempi
Second-cycle Thesis, 26/07/2012 |
Alex Carmine Olivieri
Semantic coordination tuple centres for eHealth Systems
Second-cycle Thesis, 28/03/2012 |
Andrea Boccacci
Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche
Second-cycle Thesis, 28/03/2012 |
Marco Alberti
Implementazione automatica di protocolli di interazione AUML mediante reti di Petri
Second-cycle Thesis, 28/03/2012 |
Marco Savoia
Architetture software per coordinazione semantica: efficienza vs. espressività
Second-cycle Thesis, 16/02/2012 |
Stefano Mariani
Molecules of knowledge: a new approach to knowledge production, management and consumption
Second-cycle Thesis, 20/12/2011 |
Silvia Umiliacchi
Gestione della tail recursion in tuProlog
Second-cycle Thesis, 03/10/2011 |
Antonio Pedone
Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices
Second-cycle Thesis, 21/07/2011 |
Matteo Mosca
Coordinazione sociale di robot Mindstorm in ReSpecT
Second-cycle Thesis, 23/06/2011 |
Alessio Serrangeli
Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti
Second-cycle Thesis, 24/03/2011 |
Davide Aldrovandi
Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto
Second-cycle Thesis, 24/03/2011 |
Marco Antonio Primiceri
Progettazione di un framework di sicurezza per smartphone
Second-cycle Thesis, 21/12/2010 |
Simone Romei
Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN
Second-cycle Thesis, 14/12/2010 |
Frens Tedeschini
Analysis and quantification of information in biological networks for protein function prediction
Second-cycle Thesis, 24/03/2010 |
Marco Battarra
ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis
Second-cycle Thesis, 24/03/2010 |
Marco Sbaraglia
Coordinazione space-based per la piattaforma bioinformatica Cellulat
Second-cycle Thesis, 24/03/2010 |
Emanuele Panzavolta
Design e Implementazione di un Modulo Semantico per TuCSoN
Second-cycle Thesis, 22/12/2009 |
Stefano Tamagnini
Gli SPIME nell'Internet delle cose come combinazione di agenti e artefatti
Second-cycle Thesis, 22/12/2009 |
Andrea Del Bene
Scripting in Java 6: esperimenti in tuProlog
Second-cycle Thesis, 25/06/2009 |
Christian Rimondi
XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards
Second-cycle Thesis, 19/03/2009 |
Lorenzo Varrasso
Coordination Games in TuCSoN
Second-cycle Thesis, 25/03/2008 |
Sara Montagna
Modelling and Simulating in Systems Biology: an Approach based on Multi-Agents Systems
Second-cycle Thesis, 24/01/2007 |
Stefano Riffelli
Advanced role-based models for organisation in MAS coordination infrastructures
Second-cycle Thesis, 14/12/2006 |
Stefano Bromuri
Realizzazione di agenti software per la gestione di una rete di sensori wireless
Second-cycle Thesis, 11/10/2006 |
Emanuele Nanetti
Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog
Second-cycle Thesis, 16/02/2006 |
Alex Benini
Estensione di un motore Prolog per la programmazione a vincoli
Second-cycle Thesis, 15/12/2005 |
Daniele Albonetti
RBAC in sistemi multiagente: modello e implementazione in TuCSoN
Second-cycle Thesis, 15/12/2005 |
Claudio Buda
Localizzazione Indoor in WLAN attraverso Rete Neuronale Evolutiva
Second-cycle Thesis, 12/10/2005 |
Nicola Zaghini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale
Second-cycle Thesis, 12/10/2005 |
Nicola Zaghini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale
Second-cycle Thesis, 12/10/2005 |
Rossella Rubino
Istituzioni Computazionali: coordinazione mediante norme
Second-cycle Thesis, 15/02/2005 |
Leonardo Nicoli
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione
Second-cycle Thesis, 12/10/2004 |
Ambra Molesini
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi
Second-cycle Thesis, 12/10/2004 |
| (82 second-cycle theses / 1998–2023) [top] [bottom] |
0000-0002-6655-3869