Per Status

Per Status

154 theses  /  supervisor  /  Andrea Omicini

completed
Giovanni Ciatto
On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge
Third-cycle Thesis, 16/06/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
Cristiano Aprigliano
Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain
First-cycle Thesis, 22/07/2021
Giovanni Speciale
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
Second-cycle Thesis, 22/07/2021
Marco Pastore
Spatial Tuples nel mondo reale: il caso di Unity e Google Maps
First-cycle Thesis, 28/05/2021
Maicol Forti
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
Second-cycle Thesis, 28/05/2021
Shapour Nemati
Engineering Angle-of-Arrival-based Indoor Localization Systems
Second-cycle Thesis, 26/03/2021
Michele Donati
Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare
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
Mariano Caldara
Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma
First-cycle Thesis, 12/12/2019
Filippo Nicolini
Simulazione di Agenti BDI basati su Prolog in Alchemist
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
Matteo Minardi
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati
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
Matteo Saccomanni
Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza
First-cycle Thesis, 21/03/2019
Ashley Caselli
Logic-based coordination: a semantic approach to self-composition of services
Second-cycle Thesis, 21/03/2019
Andrea Cardiota
Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata
First-cycle Thesis, 21/03/2019
Alessandro Contro
Multi-sensing Data Fusion: Target tracking via particle filtering
Second-cycle Thesis, 18/10/2018
Mattia Borrillo
Coordinazione di veicoli autonomi: simulazione di incroci stradali
Second-cycle Thesis, 18/10/2018
Lorenzo Rizzato
Coordination as a Web Service: una moderna implementazione del modello Linda
First-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
Luca Martello
Web of Things: RESTful API con Node.js
First-cycle Thesis, 22/03/2018
Mattia Cerbara
Game Engines and MAS: Tuplespace-based Interaction in Unity
Second-cycle Thesis, 22/03/2018
Thomas Trapanese
Modelli e piattaforme per la democrazia digitale: analisi e confronto
Second-cycle Thesis, 22/03/2018
Alex Collini
Blockchain: modello generale e tassonomia delle componenti chiave
Second-cycle Thesis, 22/03/2018
Patryk Wojtowicz
La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda
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
Valentina Intrusi
Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach
Second-cycle Thesis, 22/03/2018
Nicola Poli
Game Engines and MAS: BDI & Artifacts in Unity
Second-cycle Thesis, 22/03/2018
Alessandro Corbi
Bio-inspired Networking: analisi della letteratura applicata al modello MoK
First-cycle Thesis, 15/12/2017
Nicola Atti
La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente
First-cycle Thesis, 15/12/2017
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
Oksana Komarnytska
Bitcoin: limiti e soluzioni tecniche della scalabilità
First-cycle Thesis, 15/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 Vignudelli
Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS
First-cycle Thesis, 16/03/2017
Simone Lai
Microservizi per il progetto di sistemi distribuiti
First-cycle Thesis, 09/02/2017
Andrea Dintino
Strumenti per middleware di coordinazione: il caso di TuCSoN
First-cycle Thesis, 15/12/2016
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
Emmanuele Ghigi
Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza
First-cycle Thesis, 06/10/2016
Pietro Antonio Nompleggio
Computazione Embodied e Disembodied: Cloud-based IoT
Second-cycle Thesis, 14/07/2016
Marco Zaccheroni
Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE
Second-cycle Thesis, 14/07/2016
Michele Donati
Simulazione agent-based di un sistema di m-Health per il self-management del diabete di tipo 1
First-cycle Thesis, 16/06/2016
Stefano Mariani
Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK
Third-cycle Thesis, 13/05/2016
Matteo Cacchi
Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit
First-cycle Thesis, 17/03/2016
Francesco Serafini
Coordination nel Cloud: elasticità in ReSpecT
First-cycle Thesis, 17/03/2016
Roberto Giuliani
Tecnologie e framework per la programmazione multi-agente
First-cycle Thesis, 17/03/2016
Matteo Pasolini
Internet dei veicoli, un nuovo paradigma per una mobilità intelligente e autonoma
First-cycle Thesis, 17/03/2016
Svetlozar Nikolov Orlovski
Bluetooth per TuCSoN mobile: panorama tecnologico ed esperimenti
First-cycle 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
Second-cycle Thesis, 17/03/2016
Roberto D'Elia
Architetture per Smart Health: il caso FitStadium
Second-cycle Thesis, 10/12/2015
Attilio Pometto
Coordinazione situata per la domotica: Butlers in TuCSoN
First-cycle Thesis, 10/12/2015
Lorenzo Forcellini Reffi
TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili
Second-cycle Thesis, 10/12/2015
Alessandro Mazzoli
Studio, analisi e progettazione di un prototipo di Infrastructure as Code
First-cycle Thesis, 10/12/2015
Riccardo Mencucci
Esperimenti di Design Pattern di Ispirazione Biologica
First-cycle Thesis, 10/10/2015
Silvia Vandi
Smart home: stato dell’arte della tecnologia
First-cycle Thesis, 19/03/2015
Andrea Rinaldi
Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi
First-cycle Thesis, 19/03/2015
Patryk Wojtowicz
Darknet e Deep Web: il lato oscuro del Web per la privacy e la protezione dei dati
First-cycle Thesis, 19/03/2015
Marco Fiorini
Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN
First-cycle Thesis, 19/03/2015
Emanuele Buccelli
Ingegnerizzazione di RBAC-MAS in TuCSoN
Second-cycle Thesis, 19/03/2015
Jessica Marcantoni
Sviluppo storico ed economico del Cloud Computing: Cloud Foundry come esempio di Platform as a Service
First-cycle Thesis, 19/03/2015
Fabio Ricca Rosellini
TuCSoN on Cloud: Revisione dell’architettura
First-cycle Thesis, 15/03/2015
Raffaele Mazza
Il tempo nei sistemi coordinati: esperimenti in TuCSoN
First-cycle Thesis, 09/10/2014
Filippo Alberto Brandolini
Sicurezza, protezione e integrità nei sistemi cloud: modelli, metodi e tecnologie
First-cycle Thesis, 09/10/2014
Pier Francesco Costa
Bitcoin: aspetti tecnici, economici e politici di una crittovaluta
First-cycle Thesis, 17/07/2014
Stefano Montesi
Tecnologie per la mobilità verso un middleware general-purpose
Second-cycle Thesis, 15/06/2014
Enrico Gualandi
Progetto di integrazione di strumenti per l'asset management in funzione di privacy e sicurezza
First-cycle Thesis, 27/03/2014
Federico Foschini
Agents, Nodes & Resources: Universal Naming System for a Coordination Middleware
First-cycle Thesis, 19/12/2013
Luca Guerra
Coordinazione embodied vs. disembodied: TuCSoN on Cloud
First-cycle Thesis, 10/10/2013
Michele Pratiffi
Tecniche di text mining per l'autoorganizzazione della conoscenza
Second-cycle Thesis, 10/10/2013
Steven Maraldi
Coordinazione situata: integrazione di Arduino in un middleware basato su tuple 
First-cycle Thesis, 25/07/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
Marco Piraccini
Biochemical coordination in TuCSoN
Second-cycle Thesis, 21/03/2013
Roberto D'Elia
Framework mobile per lo sviluppo di sistemi coordinati
First-cycle Thesis, 21/03/2013
Andrea Ridolfi
TuCSoN on Android
First-cycle Thesis, 21/03/2013
Richiard Casadei
Coordination as a Service (CaaS) in the Cloud
First-cycle Thesis, 21/03/2013
Nicola Dellarocca
Coordination as a service in JADE
First-cycle Thesis, 07/02/2013
Marco Zaccheroni
Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki
First-cycle Thesis, 20/12/2012
Roberto Togni
Negoziazione dinamica e rilascio di ACC in TuCSoN
First-cycle Thesis, 20/12/2012
Noemi Ciampelli
Artefatti e sistemi coordinati: esperimenti in ReSpecT
First-cycle Thesis, 20/12/2012
Francesca Collina
Aspetti di sicurezza nel Cloud Computing
First-cycle Thesis, 20/12/2012
Pietro Antonio Nompleggio
Da Java a Objective-C: porting e dispositivi portatili
First-cycle Thesis, 20/12/2012
Andrea Buscarini
Configurazione di un portale XWiki per la visualizzazione su dispositivi mobili: il caso di APICe
First-cycle Thesis, 20/12/2012
Andrea Dallatana
BDI Agents for Real Time Strategy games
Second-cycle Thesis, 11/10/2012
Marco Renio
XWiki Mobile: architetture collaborative per device mobili
First-cycle Thesis, 26/07/2012
Riccardo Timoncini
Streaming audio e video nei sistemi Peer-To-Peer TV: il caso Sopcast P2PTV
First-cycle Thesis, 26/07/2012
Mattia Occhiuto
Molecules of Knowledge: architettura, implementazione ed esempi
Second-cycle Thesis, 26/07/2012
Simone Norcini
Interoperabilità tra frammenti EHR e coordinamento semantico
First-cycle Thesis, 21/06/2012
Alan Foligatti
Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA
First-cycle Thesis, 28/03/2012
Alex Carmine Olivieri
Semantic coordination tuple centres for eHealth Systems
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
Cornel Moisuc
Tecnologie per la collaborazione sociale tra robot Mindstorm: Lejos & ReSpecT
First-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 Savoia
Architetture software per coordinazione semantica: efficienza vs. espressività
Second-cycle Thesis, 16/02/2012
Stefano Montesi
Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo
First-cycle Thesis, 20/12/2011
Stefano Mariani
Molecules of knowledge: a new approach to knowledge production, management and consumption
Second-cycle Thesis, 20/12/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
Elena Nardini
Semantic Coordination Through Programmable Tuple Spaces
Third-cycle Thesis, 28/04/2011
Simone Dozza
HTML 5: Stato dell'arte e prospettive
First-cycle Thesis, 23/03/2011
Marco Alessi
Sviluppo di un framework concettuale e tecnologico per l'integrazione di LEGO Mindstorm e ReSpecT
First-cycle Thesis, 23/03/2011
Marco Antonio Primiceri
Progettazione di un framework di sicurezza per smartphone
Second-cycle Thesis, 21/12/2010
Matteo Pozzi
Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D
First-cycle Thesis, 21/12/2010
Andrea Mordenti
Artefatti di coordinazione per agenti in Smart Environment 
First-cycle Thesis, 22/07/2010
Chiara Casalboni
Organizzazione della conoscenza sul Web tramite SKOS
First-cycle Thesis, 22/07/2010
Enrico Zamagni
Topologia nel modello di coordinazione TuCSoN
First-cycle Thesis, 22/07/2010
Migle Laukyte
Law and Science through the Lens of Patent Law and Software Agents
Third-cycle Thesis, 14/07/2010
Marco Sbaraglia
Coordinazione space-based per la piattaforma bioinformatica Cellulat
Second-cycle Thesis, 24/03/2010
Marco Battarra
ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis
Second-cycle Thesis, 24/03/2010
Michele Pratiffi
Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano
First-cycle Thesis, 24/03/2010
Frens Tedeschini
Analysis and quantification of information in biological networks for protein function prediction
Second-cycle Thesis, 24/03/2010
Luca Staccoli
Graph&SODA: A Graphical Tool for SODA
First-cycle Thesis, 24/03/2010
Stefano Mariani
Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT
First-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
Gheorghe Gabriel Pinzaru
Sistemi di workflow dichiarativo
First-cycle Thesis, 22/07/2009
Matteo Amaducci
Esperienze in robotica con lego Mindstorm e ReSpecT
First-cycle Thesis, 25/06/2009
Maicol Urbinati
Tecnologie di coordinazione per la situatedness in ambito robotico
First-cycle Thesis, 25/06/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
Luca Semprini
Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti
First-cycle Thesis, 11/02/2009
Andrea Tosi
Trasduttori e middleware: da JDDAC alla coordinazione
First-cycle Thesis, 17/12/2008
Tommaso Pirini
Autoorganizzazione di eco-servizi in TuCSoN
First-cycle Thesis, 15/12/2008
Andrea Novaga
Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT 
First-cycle Thesis, 15/10/2008
Danilo Pianini
Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive
First-cycle Thesis, 15/10/2008
Sascia Virruso
Coordinazione field-based e stigmergica con ReSpecT Mobile Code
First-cycle Thesis, 15/10/2008
Marco Alberti
Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche
First-cycle Thesis, 15/10/2008
Giovanni Bezicheri
Analisi e sviluppo di un sistema per l'automatizzazione delle procedure operative di gestione di una clinica veterinaria per piccoli animali
First-cycle Thesis, 26/03/2008
Lorenzo Varrasso
Coordination Games in TuCSoN
Second-cycle Thesis, 25/03/2008
Lorenzo Ravaglia
MASON come piattaforma Java-based per la simulazione di modelli multi-agente
First-cycle Thesis, 25/07/2007
Giorgio Amadei
P4P: infrastrutture space-based per il p2p
First-cycle Thesis, 21/03/2007
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
Paolo Angelini
Simulazione ad agenti: Repast vs. TuCSoN
First-cycle Thesis, 11/10/2006
Marco Fabbri
Lifestreams in TuCSoN: toward the integration of knowledge and development management
First-cycle Thesis, 21/03/2006
Fabio Baldini
Strategie di backup e recovery di un database Oracle 9i
First-cycle Thesis, 18/03/2006
Michele Mei
Programmazione a canale
First-cycle Thesis, 09/02/2006
Alex Benini
Estensione di un motore Prolog per la programmazione a vincoli
Second-cycle Thesis, 15/12/2005
Stefano Benedettini
Routing adattativo dinamico: un approccio basato su agenti e stigmergia
First-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
Mattia Bargellini
Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti
First-cycle Thesis, 18/12/2003
Alex Benini
Progettazione e sviluppo di una architettura di supporto per esperimenti di cognitive robotics basati su tuProlog e kit LEGO Mindstorms
First-cycle Thesis, 12/07/2003
(153 thesis supervisors / completed theses)  [top]  [bottom]
available
Symbolic Knowledge Extraction Algorithms Analysis
Available Thesis
(1 thesis supervisor / available theses)  [top]  [bottom]

Avatar

home  •  activity  •  courses  •  events  •  internships  •  projects  •  publications  •  talks  •  theses

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