| tesi di laurea |
Cristiano Aprigliano
Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain
Tesi di laurea, 22/07/2021 |
Marco Pastore
Spatial Tuples nel mondo reale: il caso di Unity e Google Maps
Tesi di laurea, 28/05/2021 |
Gloria Semprini
Resilienza di applicazioni e cluster Kubernetes
Tesi di laurea, 26/03/2021 |
Riccardo Varotto
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
Tesi di laurea, 22/07/2020 |
Ilaria Crivellari
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin
Tesi di laurea, 22/07/2020 |
Andrea Dipietro
Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
Tesi di laurea, 22/07/2020 |
Mariano Caldara
Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma
Tesi di laurea, 12/12/2019 |
Jason Dellaluce
Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI
Tesi di laurea, 06/07/2019 |
Andrea Cardiota
Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata
Tesi di laurea, 21/03/2019 |
Matteo Saccomanni
Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza
Tesi di laurea, 21/03/2019 |
Lorenzo Rizzato
Coordination as a Web Service: una moderna implementazione del modello Linda
Tesi di laurea, 18/10/2018 |
Maria Russo
Modularizzazione dell’interprete tuProlog su piattaforma Java 9
Tesi di laurea, 15/10/2018 |
Caterina Caravaggio
Analisi del rischio e studio delle vulnerabilita in un sistema di home intelligence su piattaforma ad agenti: il caso Home Manager
Tesi di laurea, 15/10/2018 |
Matteo Castiglio
tuProlog.NET: analisi di sostenibilità del processo di sviluppo
Tesi di laurea, 03/10/2018 |
Riccardo Vasumini
Estensione di un plug-in multilinguaggio su piattaforma Eclipse: supporto a progetti ibridi Java-Prolog
Tesi di laurea, 03/10/2018 |
Luca Antognetti
Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente
Tesi di laurea, 03/10/2018 |
Alessandro Calvio
Smart Environment su piattaforma Home Manager: sensori e micro-intelligenza
Tesi di laurea, 03/10/2018 |
Luca Martello
Web of Things: RESTful API con Node.js
Tesi di laurea, 22/03/2018 |
Alessandro Corbi
Bio-inspired Networking: analisi della letteratura applicata al modello MoK
Tesi di laurea, 15/12/2017 |
Giacomo Venturini
Sviluppo di Web App basate sul modello SPA: il progetto TraumaTracker come caso di studio
Tesi di laurea, 15/12/2017 |
Nicola Atti
La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente
Tesi di laurea, 15/12/2017 |
Davide Giacomini
Sviluppo di un sistema di video streaming in ambito eyewear e wearable computing
Tesi di laurea, 15/12/2017 |
Nicola Fava
Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager
Tesi di laurea, 06/10/2017 |
Federico Stella
Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse
Tesi di laurea, 24/07/2017 |
Oksana Komarnytska
Bitcoin: limiti e soluzioni tecniche della scalabilità
Tesi di laurea, 15/07/2017 |
Andrea Vignudelli
Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS
Tesi di laurea, 16/03/2017 |
Gianluca Spadazzi
Sviluppo di un sistema di e-health per il tracciamento dei parametri vitali nella gestione dei traumi
Tesi di laurea, 16/03/2017 |
Simone Lai
Microservizi per il progetto di sistemi distribuiti
Tesi di laurea, 09/02/2017 |
Matteo Gabellini
Il progetto TraumaTracker: studio e sviluppo prototipale di un sistema wearable hands-free in ambito healthcare
Tesi di laurea, 15/12/2016 |
Andrea Dintino
Strumenti per middleware di coordinazione: il caso di TuCSoN
Tesi di laurea, 15/12/2016 |
Erika Gardini
Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home
Tesi di laurea, 06/10/2016 |
Franco Pradelli
Sviluppo del simulatore ALCHEMIST per la modellazione di movimento cellulare
Tesi di laurea, 06/10/2016 |
Emmanuele Ghigi
Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza
Tesi di laurea, 06/10/2016 |
Luca Scalzotto
Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry
Tesi di laurea, 06/10/2016 |
Federico Gava
Scheduling di elettrodomestici nel prototipo di Home Manager
Tesi di laurea, 06/10/2016 |
Sacha Muratori
Programmazione ad agenti e pianificazione: AgentSpeak(PL) come caso di studio
Tesi di laurea, 06/10/2016 |
Alessio Mora
Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI
Tesi di laurea, 14/07/2016 |
Simone Bruzzechesse
HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY
Tesi di laurea, 14/07/2016 |
Armando Mancini
REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER
Tesi di laurea, 14/07/2016 |
Gabriele Graffieti
Progettazione e implementazione di una incarnazione biochimica per il simulatore Alchemist
Tesi di laurea, 14/07/2016 |
Federico Venturini
Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing
Tesi di laurea, 13/07/2016 |
Lucrezia Paradisi
2P as a service for Android
Tesi di laurea, 13/07/2016 |
Federico Baldassarre
Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java
Tesi di laurea, 13/07/2016 |
Michele Donati
Simulazione agent-based di un sistema di m-Health per il self-management del diabete di tipo 1
Tesi di laurea, 16/06/2016 |
Giulia Lucchi
Studio e sviluppo di un Framework in ambiente Android per la realizzazione di Interfacce Utente Innovative basate su Smart Glass
Tesi di laurea, 17/03/2016 |
Matteo Pasolini
Internet dei veicoli, un nuovo paradigma per una mobilità intelligente e autonoma
Tesi di laurea, 17/03/2016 |
Davide Pieretti
Sviluppo di un sistema informatico per il controllo remoto di un osservatorio astronomico
Tesi di laurea, 17/03/2016 |
Andrea Nicolini
Context-Aware Computing e Tecnologie Wearable
Tesi di laurea, 17/03/2016 |
Simone Galassi
INSPECTOR-PI: Progettazione e Sviluppo di un Sistema Mobile per il Controllo e il Monitoraggio basato su Tecnologie Embedded e Internet of Things
Tesi di laurea, 17/03/2016 |
Fabio Vasini
Integration of Internet of Things and Cloud computing: A case study on vital signs monitoring
Tesi di laurea, 17/03/2016 |
Enrico Ceccolini
Progettazione e sviluppo multi-platform di applicazioni mobile: un caso di studio in Xamarin
Tesi di laurea, 17/03/2016 |
Francesco Serafini
Coordination nel Cloud: elasticità in ReSpecT
Tesi di laurea, 17/03/2016 |
Ivan Fraioli
Smart Home: HomeKit e Nest
Tesi di laurea, 17/03/2016 |
Svetlozar Nikolov Orlovski
Bluetooth per TuCSoN mobile: panorama tecnologico ed esperimenti
Tesi di laurea, 17/03/2016 |
Alessia Papini
Studio di Augmented World come Paradigma di Progettazione di Sistemi basati su Realtà Aumentata e Pervasive Computing - Verso la Definizione di un Modello
Tesi di laurea, 17/03/2016 |
Jacopo Ameli
HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER
Tesi di laurea, 17/03/2016 |
Giulia Lucchi
Evoluzione delle User Interface: Dalla Metafora del Desktop al Wearable Computing
Tesi di laurea, 17/03/2016 |
Luca Polverelli
Sviluppo di applicazioni mobile cross-platform: Flutter come caso di studio
Tesi di laurea, 17/03/2016 |
Martina Giovanelli
Reactive programming: un caso di studio
Tesi di laurea, 17/03/2016 |
Matteo Cacchi
Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit
Tesi di laurea, 17/03/2016 |
Roberto Giuliani
Tecnologie e framework per la programmazione multi-agente
Tesi di laurea, 17/03/2016 |
Luca Marzaduri
Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C#
Tesi di laurea, 11/02/2016 |
Attilio Pometto
Coordinazione situata per la domotica: Butlers in TuCSoN
Tesi di laurea, 10/12/2015 |
Alessandro Mazzoli
Studio, analisi e progettazione di un prototipo di Infrastructure as Code
Tesi di laurea, 10/12/2015 |
Ludovico De Nittis
Un Distributore Intelligente di Bevande alla Spina con Sistema di Pagamento basato su Bitcoin
Tesi di laurea, 10/12/2015 |
Matteo Carano
Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence
Tesi di laurea, 12/10/2015 |
Alberto Sita
Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java
Tesi di laurea, 12/10/2015 |
Alessandro Celi
Smart home: reasoning e proattività applicate ad un caso di studio
Tesi di laurea, 12/10/2015 |
Riccardo Mencucci
Esperimenti di Design Pattern di Ispirazione Biologica
Tesi di laurea, 10/10/2015 |
Marco Nobile
Piattaforme per Internet of Things: Windows IoT Core come caso di studio
Tesi di laurea, 08/10/2015 |
Silvia Vandi
Smart home: stato dell’arte della tecnologia
Tesi di laurea, 19/03/2015 |
Jessica Marcantoni
Sviluppo storico ed economico del Cloud Computing: Cloud Foundry come esempio di Platform as a Service
Tesi di laurea, 19/03/2015 |
Andrea Rinaldi
Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi
Tesi di laurea, 19/03/2015 |
Patryk Wojtowicz
Darknet e Deep Web: il lato oscuro del Web per la privacy e la protezione dei dati
Tesi di laurea, 19/03/2015 |
Marco Fiorini
Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN
Tesi di laurea, 19/03/2015 |
Marco Lorenzini
Ruolo del Cloud nell'Amministrazione dei Sistemi Informatici Moderni
Tesi di laurea, 19/03/2015 |
Vincenzo Zappavigna
Butler vision nella home intelligence: un caso di studio
Tesi di laurea, 17/03/2015 |
Daiana Paolini
Geolocalizzazione di servizi in un sistema di home intelligence
Tesi di laurea, 17/03/2015 |
Fabio Ricca Rosellini
TuCSoN on Cloud: Revisione dell’architettura
Tesi di laurea, 15/03/2015 |
Michele Francesco Di Lella
Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche
Tesi di laurea, 11/12/2014 |
Fabio Cosenza
Realtà aumentata per dispositivi android: lo stato dell'arte
Tesi di laurea, 11/12/2014 |
Marcello Colameo
Test di accettazione: strumenti a confronto
Tesi di laurea, 11/12/2014 |
Raffaele Mazza
Il tempo nei sistemi coordinati: esperimenti in TuCSoN
Tesi di laurea, 09/10/2014 |
Nicolò Carpignoli
Linguaggi di programmazione ad agenti: Jason come caso di studio
Tesi di laurea, 09/10/2014 |
Filippo Alberto Brandolini
Sicurezza, protezione e integrità nei sistemi cloud: modelli, metodi e tecnologie
Tesi di laurea, 09/10/2014 |
Ilaria Bertoletti
Revisione e attualizzazione del prototipo del sistema HomeManager per la gestione di una casa intelligente
Tesi di laurea, 06/10/2014 |
Pier Francesco Costa
Bitcoin: aspetti tecnici, economici e politici di una crittovaluta
Tesi di laurea, 17/07/2014 |
Alberto Modigliani
Pattern e tecnologie per lo sviluppo di applicazioni cloud: Orleans come caso di studio
Tesi di laurea, 17/07/2014 |
Lorenzo Dalla Casa
Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti
Tesi di laurea, 18/06/2014 |
Matteo Librenti
Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse
Tesi di laurea, 18/06/2014 |
Fabio Gaudenzi
Progettazione e Sviluppo di Applicazioni di Augmented Reality Interattive
Tesi di laurea, 27/04/2014 |
Nikolay Zuluaga
Metodi e Modelli per l'Interoperabilità di Infrastrutture di Virtualizzazione Eterogenee: OpenStack Come Caso di Studio
Tesi di laurea, 27/03/2014 |
Enrico Gualandi
Progetto di integrazione di strumenti per l'asset management in funzione di privacy e sicurezza
Tesi di laurea, 27/03/2014 |
Marco Donato Torsello
Programmazione multi-linguaggio in tuProlog.NET: esempi e casi d'uso
Tesi di laurea, 18/03/2014 |
Alessio Mercurio
Class loading in Android: applicazione a tuProlog
Tesi di laurea, 18/03/2014 |
Mirco Mastrovito
Estensione dell'interfaccia grafica in tuProlog per Android
Tesi di laurea, 19/12/2013 |
Federico Foschini
Agents, Nodes & Resources: Universal Naming System for a Coordination Middleware
Tesi di laurea, 19/12/2013 |
Riccardo Drudi
Programmazione asincrona in JavaScript
Tesi di laurea, 10/10/2013 |
Luca Guerra
Coordinazione embodied vs. disembodied: TuCSoN on Cloud
Tesi di laurea, 10/10/2013 |
Roberto Reda
Ruolo delle architetture ad eventi nello sviluppo della applicazioni moderne
Tesi di laurea, 10/10/2013 |
Steven Maraldi
Coordinazione situata: integrazione di Arduino in un middleware basato su tuple
Tesi di laurea, 25/07/2013 |
Massimo Smiraglio
Modelli e tecnologie per la visualizzazione di programmi in esecuzione
Tesi di laurea, 25/07/2013 |
Emanuele Signorin
Refactoring e testing dell'interprete tuProlog
Tesi di laurea, 13/06/2013 |
Giacomo Dall'Olio
Traduzione semi-automatica di applicazioni: approcci a confronto
Tesi di laurea, 25/03/2013 |
Mirko Davoli
Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET
Tesi di laurea, 25/03/2013 |
Roberto Casadei
Reuse Mechanisms and Concurrency: From Actors to Agent-Oriented Programming
Tesi di laurea, 21/03/2013 |
Andrea Ridolfi
TuCSoN on Android
Tesi di laurea, 21/03/2013 |
Richiard Casadei
Coordination as a Service (CaaS) in the Cloud
Tesi di laurea, 21/03/2013 |
Roberto D'Elia
Framework mobile per lo sviluppo di sistemi coordinati
Tesi di laurea, 21/03/2013 |
Eleonora Cau
Attualizzazione del supporto al multitasking in tuProlog
Tesi di laurea, 13/02/2013 |
Nicola Dellarocca
Coordination as a service in JADE
Tesi di laurea, 07/02/2013 |
Noemi Ciampelli
Artefatti e sistemi coordinati: esperimenti in ReSpecT
Tesi di laurea, 20/12/2012 |
Pietro Antonio Nompleggio
Da Java a Objective-C: porting e dispositivi portatili
Tesi di laurea, 20/12/2012 |
Francesca Collina
Aspetti di sicurezza nel Cloud Computing
Tesi di laurea, 20/12/2012 |
Marco Zaccheroni
Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki
Tesi di laurea, 20/12/2012 |
Andrea Buscarini
Configurazione di un portale XWiki per la visualizzazione su dispositivi mobili: il caso di APICe
Tesi di laurea, 20/12/2012 |
Roberto Togni
Negoziazione dinamica e rilascio di ACC in TuCSoN
Tesi di laurea, 20/12/2012 |
Adelina Benedetti
Estensione della Socket Library per tuProlog
Tesi di laurea, 19/12/2012 |
Andrea Muccioli
Traduzione automatica di applicazioni Java in .NET: approcci a confronto
Tesi di laurea, 19/12/2012 |
Marco Renio
XWiki Mobile: architetture collaborative per device mobili
Tesi di laurea, 26/07/2012 |
Riccardo Timoncini
Streaming audio e video nei sistemi Peer-To-Peer TV: il caso Sopcast P2PTV
Tesi di laurea, 26/07/2012 |
Simone Norcini
Interoperabilità tra frammenti EHR e coordinamento semantico
Tesi di laurea, 21/06/2012 |
Alan Foligatti
Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA
Tesi di laurea, 28/03/2012 |
Cornel Moisuc
Tecnologie per la collaborazione sociale tra robot Mindstorm: Lejos & ReSpecT
Tesi di laurea, 28/03/2012 |
Gianluca Privitera
Porting dell'interprete tuProlog su piattaforma Android: nuova GUI
Tesi di laurea, 15/03/2012 |
Stefano Montesi
Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo
Tesi di laurea, 20/12/2011 |
Michele Castagna
Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java
Tesi di laurea, 16/12/2011 |
Valerio Pipolo
Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET
Tesi di laurea, 14/12/2011 |
Fabrizio Sabbioni
Testing esaustivo di un interprete Prolog su piattaforma Java
Tesi di laurea, 14/12/2011 |
Lorena Qendro
Soluzioni per il deployment di un plugin Eclipse
Tesi di laurea, 14/12/2011 |
Andrea Pasquini
Porting e testing su piattaforma Android di un interprete Prolog
Tesi di laurea, 20/07/2011 |
Simone Dozza
HTML 5: Stato dell'arte e prospettive
Tesi di laurea, 23/03/2011 |
Marco Alessi
Sviluppo di un framework concettuale e tecnologico per l'integrazione di LEGO Mindstorm e ReSpecT
Tesi di laurea, 23/03/2011 |
Orfeo Ciano
Adeguamento del plug-in per l'interprete tuProlog su piattaforma Eclipse
Tesi di laurea, 21/03/2011 |
Matteo Pozzi
Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D
Tesi di laurea, 21/12/2010 |
Davide Ensini
Modellazione di leggi chimiche per la generazione della forma
Tesi di laurea, 21/12/2010 |
Alessandro Montanari
Porting e processo di mantenimento di applicazioni Java su piattaforma .NET
Tesi di laurea, 15/12/2010 |
Andrea Mordenti
Artefatti di coordinazione per agenti in Smart Environment
Tesi di laurea, 22/07/2010 |
Chiara Casalboni
Organizzazione della conoscenza sul Web tramite SKOS
Tesi di laurea, 22/07/2010 |
Enrico Zamagni
Topologia nel modello di coordinazione TuCSoN
Tesi di laurea, 22/07/2010 |
Matteo Barbieri
Hive BDI. Extending BDI Agents with Shared Memory
Tesi di laurea, 25/03/2010 |
Cristiana Casanova
Virtualizzazione di sistemi di elaborazione: la tecnologia Virtual-Box come caso di studio
Tesi di laurea, 24/03/2010 |
Luca Staccoli
Graph&SODA: A Graphical Tool for SODA
Tesi di laurea, 24/03/2010 |
Enrico Polverelli
Infrastrutture di virtualizzazione nei sistemi IT e virtual desktop infrastructure
Tesi di laurea, 24/03/2010 |
Davide Salvaterra
Migrazione a caldo di macchine virtuali in infrastrutture di virtualizzazione
Tesi di laurea, 24/03/2010 |
Michele Pratiffi
Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano
Tesi di laurea, 24/03/2010 |
Sara Sabioni
Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog
Tesi di laurea, 14/01/2010 |
Stefano Mariani
Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT
Tesi di laurea, 22/12/2009 |
Luca Spazzoli
Interfacce grafiche di nuova generazione: stato dell'arte e sperimentazioni di ambienti collaborativi tramite Croquet SDK
Tesi di laurea, 14/10/2009 |
Martina Paianini
Progetto e sviluppo di una libreria tuProlog per il Web Semantico
Tesi di laurea, 07/10/2009 |
Gheorghe Gabriel Pinzaru
Sistemi di workflow dichiarativo
Tesi di laurea, 22/07/2009 |
Matteo Amaducci
Esperienze in robotica con lego Mindstorm e ReSpecT
Tesi di laurea, 25/06/2009 |
Maicol Urbinati
Tecnologie di coordinazione per la situatedness in ambito robotico
Tesi di laurea, 25/06/2009 |
Adele Gori
Sviluppo di Metodi e Strumenti per l'Inferenza di Reti di Regolazione Genetica
Tesi di laurea, 25/03/2009 |
Michael Gattavecchia
Coordinazione stigmergica tra agenti situati mediante tecnologia RFID con tag passivi
Tesi di laurea, 25/03/2009 |
Michele Damian
Analisi di prestazione del motore tuProlog su piattaforma Java
Tesi di laurea, 19/03/2009 |
Luca Semprini
Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti
Tesi di laurea, 11/02/2009 |
Michele Morgagni
Lo Standard WSDM per la Gestione di Risorse a Livello Applicativo: Panoramica e Sperimentazioni
Tesi di laurea, 31/12/2008 |
Jimmy Ciccolini
Virus informatici benevoli: panoramica e sperimentazioni
Tesi di laurea, 31/12/2008 |
Alessandro Grazi
Estensione delle funzionalità di agenti software per l'invio e la ricezione di SMS su piattaforma TuCSoN
Tesi di laurea, 31/12/2008 |
Andrea Tosi
Trasduttori e middleware: da JDDAC alla coordinazione
Tesi di laurea, 17/12/2008 |
Tommaso Pirini
Autoorganizzazione di eco-servizi in TuCSoN
Tesi di laurea, 15/12/2008 |
Sascia Virruso
Coordinazione field-based e stigmergica con ReSpecT Mobile Code
Tesi di laurea, 15/10/2008 |
Luca Domeniconi
Un modello di programmazione ad agenti per lo sviluppo di applicazioni Web complesse
Tesi di laurea, 15/10/2008 |
Andrea Novaga
Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT
Tesi di laurea, 15/10/2008 |
Denis Brighi
Modello preda-predatore basato ad agenti
Tesi di laurea, 15/10/2008 |
Simone Vignodelli
Il framework Java Metro per lo sviluppo di Web Services e Sistemi SOA Interoperabili
Tesi di laurea, 15/10/2008 |
Valerio Monti
DrSimpA: progettazione e sviluppo di ambiente per il collaudo e sviluppo interattivo di applicazioni ad agenti nel framework simpA
Tesi di laurea, 15/10/2008 |
Marco Alberti
Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche
Tesi di laurea, 15/10/2008 |
Danilo Pianini
Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive
Tesi di laurea, 15/10/2008 |
Alberto Castori
Progettazione e sviluppo di uno strumento per il monitoraggio e controllo di applicazioni per il framework ad agenti simpA
Tesi di laurea, 15/10/2008 |
Juri Castellani
Progetto e sviluppo di una nuova GUI per l'interprete tuProlog
Tesi di laurea, 25/07/2008 |
Paolo Barboni
Studio di fattibilità per il deployment del plug-in tuProlog su piattaforma Eclipse
Tesi di laurea, 25/07/2008 |
Mattia Minotti
Un modello di programmazione ad agenti per applicazioni Web 2.0 e 3.0
Tesi di laurea, 24/07/2008 |
Giovanni Bezicheri
Analisi e sviluppo di un sistema per l'automatizzazione delle procedure operative di gestione di una clinica veterinaria per piccoli animali
Tesi di laurea, 26/03/2008 |
Marco Casadio
Design di una interfaccia grafica per query multiple su motori inferenziali
Tesi di laurea, 18/01/2008 |
Enrico Angelini
Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Java Micro Edition (J2ME)
Tesi di laurea, 17/12/2007 |
Mattia Generali
Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Microsoft .NET
Tesi di laurea, 10/10/2007 |
Matteo Iuliani
Progetto e sviluppo di una libreria tuProlog per il linguaggio SQL
Tesi di laurea, 09/10/2007 |
Lorenzo Ravaglia
MASON come piattaforma Java-based per la simulazione di modelli multi-agente
Tesi di laurea, 25/07/2007 |
Alberto Pini
Studio e sperimentazione di modelli di interazione e coordinazione software di robot LEGO Mindstorms
Tesi di laurea, 24/07/2007 |
Giacomo Bartolucci
Il framework Symfony: panoramica e sperimentazioni
Tesi di laurea, 24/07/2007 |
Andrea Caraceni
Supporto per monitoraggio, gestione e diagnosi di applicazioni su piattaforma Java: stato dell'arte
Tesi di laurea, 24/07/2007 |
Giorgio Amadei
P4P: infrastrutture space-based per il p2p
Tesi di laurea, 21/03/2007 |
Riccardo Malara
Implementazione del plug-in per l'interprete tuProlog su piattaforma NetBeans: sviluppo di un nuovo prototipo
Tesi di laurea, 15/03/2007 |
Roberto Magale
Progetto e realizzazione di un agente per l'esplorazione dei servizi di rete
Tesi di laurea, 11/12/2006 |
Paolo Angelini
Simulazione ad agenti: Repast vs. TuCSoN
Tesi di laurea, 11/10/2006 |
Michele Dinardo
Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete
Tesi di laurea, 10/10/2006 |
Ambra Palladini
Sviluppo di un sistema multi-agente per la gestione di una stazione ferroviaria
Tesi di laurea, 27/07/2006 |
Stefano Bonetti
Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente
Tesi di laurea, 26/07/2006 |
Marco Sbaraglia
Sistemi software e middleware per sistemi e tecnologie RFID: stato dell'arte e sperimentazioni
Tesi di laurea, 20/07/2006 |
Alessandro Lazzarotto
Strumenti di interazione avanzati mediante spazi di lavoro virtuali: un ambiente su piattaforma TuCSoN
Tesi di laurea, 27/03/2006 |
Cinzia La Morgia
Sviluppo di un sistema multi-agente per la gestione di un calendario
Tesi di laurea, 27/03/2006 |
Marco Fabbri
Lifestreams in TuCSoN: toward the integration of knowledge and development management
Tesi di laurea, 21/03/2006 |
Fabio Baldini
Strategie di backup e recovery di un database Oracle 9i
Tesi di laurea, 18/03/2006 |
Michele Mei
Programmazione a canale
Tesi di laurea, 09/02/2006 |
Stefano Montini
Integrazione di tecnologie per la distribuzione di contenuti Web in sistemi multi-agente: un approccio basato sull'infrastruttura TuCSoN
Tesi di laurea, 31/12/2005 |
Daniele Sabatini
Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse
Tesi di laurea, 15/12/2005 |
Roberto Costantini
Progetto e sviluppo di un sistema per l'integrazione di Web Services e sistemi multi-agente basati sull'infrastruttura di coordinazione TuCSoN
Tesi di laurea, 15/12/2005 |
Stefano Benedettini
Routing adattativo dinamico: un approccio basato su agenti e stigmergia
Tesi di laurea, 12/10/2005 |
Mattia Piraccini
JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito
Tesi di laurea, 12/10/2005 |
Stefano Rizzi
Progetto e sviluppo di un plug-in per l'interprete tuProlog in ambiente Eclipse
Tesi di laurea, 14/03/2005 |
Gerardo Verna
Sviluppo di un sistema di installazione per servizi operanti su piattaforma TuCSoN
Tesi di laurea, 31/12/2004 |
Amedeo Simeone
Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla
Tesi di laurea, 14/12/2004 |
Roberta Calegari
Progetto e realizzazione di un sistema prototipale per la fruizione integrata di servizi per la comunicazione su piattaforma TuCSoN
Tesi di laurea, 15/07/2004 |
Luca Tonini
Sviluppo di un prototipo per l'interazione con basi di dati mediante un'infrastruttura di coordinazione
Tesi di laurea, 31/12/2003 |
Giuseppe Tomaiuoli
Integrazione di servizi di messaggistica intelligenti basati su una infrastruttura di coordinazione
Tesi di laurea, 31/12/2003 |
Fabio Poli
Studio di fattibilità per l'integrazione del supporto vocale in un'infrastruttura di coordinazione
Tesi di laurea, 31/12/2003 |
Mattia Bargellini
Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti
Tesi di laurea, 18/12/2003 |
Simone Pellegrini
Coordinazione di sistemi multi-agente basati su piattaforma LEGO MINDSTORMS
Tesi di laurea, 18/12/2003 |
Giacomo Tartari
Studio di fattibilità per l'integrazione dell'accesso a Web Services tramite un'infrastruttura di coordinazione
Tesi di laurea, 15/12/2003 |
Michele Pace
Migrazione di tuProlog su piattaforma Java2 Micro Edition (J2ME)
Tesi di laurea, 22/09/2003 |
Alex Benini
Progettazione e sviluppo di una architettura di supporto per esperimenti di cognitive robotics basati su tuProlog e kit LEGO Mindstorms
Tesi di laurea, 12/07/2003 |
Massimo Raffaelli
Sviluppo prototipale di un sistema intelligente di upload di file basato su un'infrastruttura di coordinazione
Tesi di laurea, 19/03/2003 |
Valerio Siri
Sviluppo prototipale di un sistema intelligente di download di file basato su un'infrastruttura di coordinazione
Tesi di laurea, 19/03/2003 |
Rossella Rubino
Sviluppo prototipale di un sistema di posta elettronica intelligente basato su un'infrastruttura di coordinazione
Tesi di laurea, 15/12/2002 |
Antonio Poggiali
Studio di fattibilità per la migrazione di un'applicazione dalla piattaforma java alla piattaforma .NET: un caso applicativo
Tesi di laurea, 05/12/2002 |
| (217 tesi di laurea / 1995–2023) [in cima] [in fondo] |
| tesi di laurea magistrale |
Giuseppe Boezio
Extending the 2P-Kt ecosystem: CLP and Labelled LP
Tesi di laurea magistrale, 03/02/2023 |
Giulia Brugnatti
Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype
Tesi di laurea magistrale, 15/12/2022 |
Luca Nannini
Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt
Tesi di laurea magistrale, 27/05/2022 |
Elia Pasqualini
Realizzazione di una blockchain privata per la gestione di una rete di pagamenti
Tesi di laurea magistrale, 18/03/2022 |
Andrea Giordano
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support
Tesi di laurea magistrale, 16/12/2021 |
Ruben Ceroni
Kubernetes su OpenStack: deployment automatizzato su un cluster ARM di un private cloud per l’orchestrazione di container
Tesi di laurea magistrale, 16/12/2021 |
Enrico Salvucci
MLOps – Standardizing the Machine Learning Workflow
Tesi di laurea magistrale, 22/07/2021 |
Giovanni Speciale
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
Tesi di laurea magistrale, 22/07/2021 |
Marco Baldassarri
Sviluppo di un progetto di automation testing con approccio BDD e gestione delle CI/CD pipelines
Tesi di laurea magistrale, 22/07/2021 |
Jason Dellaluce
Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study
Tesi di laurea magistrale, 21/07/2021 |
Maicol Forti
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
Tesi di laurea magistrale, 28/05/2021 |
Shapour Nemati
Engineering Angle-of-Arrival-based Indoor Localization Systems
Tesi di laurea magistrale, 26/03/2021 |
Michele Donati
Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare
Tesi di laurea magistrale, 26/03/2021 |
Matteo Castiglio
Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt
Tesi di laurea magistrale, 04/02/2021 |
Federico Sabbatini
Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks
Tesi di laurea magistrale, 17/12/2020 |
XWiki.GiuseppePisano3
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici
Tesi di laurea magistrale, 19/03/2020 |
Marco Canducci
End-to-End Goal-Oriented Conversational Agent for Risk Awareness
Tesi di laurea magistrale, 19/03/2020 |
Enrico Siboni
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
Tesi di laurea magistrale, 12/12/2019 |
Matteo Minardi
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati
Tesi di laurea magistrale, 12/12/2019 |
Filippo Nicolini
Simulazione di Agenti BDI basati su Prolog in Alchemist
Tesi di laurea magistrale, 12/12/2019 |
Luca Pascucci
Synapsis - Middleware per l'integrazione di Game Engine e Sistemi Multi-Agente
Tesi di laurea magistrale, 10/10/2019 |
Ashley Caselli
Logic-based coordination: a semantic approach to self-composition of services
Tesi di laurea magistrale, 21/03/2019 |
Mattia Borrillo
Coordinazione di veicoli autonomi: simulazione di incroci stradali
Tesi di laurea magistrale, 18/10/2018 |
Edoardo Antonini
Testing automatico per una implementazione dello standard OpenGL
Tesi di laurea magistrale, 18/10/2018 |
Alessandro Contro
Multi-sensing Data Fusion: Target tracking via particle filtering
Tesi di laurea magistrale, 18/10/2018 |
Alessandro Bagnoli
Game Engines and MAS: Spatial Tuples in Unity3D
Tesi di laurea magistrale, 19/07/2018 |
Francesco Cozzolino
Implementazione di un sistema per il self-management del diabete di tipo 1
Tesi di laurea magistrale, 19/07/2018 |
Alex Collini
Blockchain: modello generale e tassonomia delle componenti chiave
Tesi di laurea magistrale, 22/03/2018 |
Brando Mordenti
Agenti autonomi e artefatti per la simulazione del traffico in una Smart City
Tesi di laurea magistrale, 22/03/2018 |
Nicola Poli
Game Engines and MAS: BDI & Artifacts in Unity
Tesi di laurea magistrale, 22/03/2018 |
Thomas Trapanese
Modelli e piattaforme per la democrazia digitale: analisi e confronto
Tesi di laurea magistrale, 22/03/2018 |
Patryk Wojtowicz
La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda
Tesi di laurea magistrale, 22/03/2018 |
Valentina Intrusi
Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach
Tesi di laurea magistrale, 22/03/2018 |
Mattia Cerbara
Game Engines and MAS: Tuplespace-based Interaction in Unity
Tesi di laurea magistrale, 22/03/2018 |
Andrea Decastri
Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service”
Tesi di laurea magistrale, 15/12/2017 |
Alberto Sita
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
Tesi di laurea magistrale, 24/07/2017 |
Ilaria Bertoletti
Smart home: reasoning e proattività applicate ad un caso di studio
Tesi di laurea magistrale, 15/06/2017 |
Giovanni Ciatto
Third generation neural networks: formalization as timed automata, validation and learning
Tesi di laurea magistrale, 17/03/2017 |
Matteo Fattori
Aggregazione di dati testuali in MoK: matchmaking basato su ontologie o similarità
Tesi di laurea magistrale, 16/03/2017 |
Matteo Delvecchio
Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN
Tesi di laurea magistrale, 16/03/2017 |
Andrea Muccioli
tuProlog as a Service: intelligenza per scenari IoT
Tesi di laurea magistrale, 13/03/2017 |
Richiard Casadei
Home Manager come middleware per la coordinazione situata in ambito IoT
Tesi di laurea magistrale, 15/12/2016 |
Marco Carlo Cavalazzi
Enterprise Social Networks: The Case of CERN
Tesi di laurea magistrale, 06/10/2016 |
Pietro Antonio Nompleggio
Computazione Embodied e Disembodied: Cloud-based IoT
Tesi di laurea magistrale, 14/07/2016 |
Marco Zaccheroni
Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE
Tesi di laurea magistrale, 14/07/2016 |
Simone Grotti
Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio
Tesi di laurea magistrale, 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
Tesi di laurea magistrale, 17/03/2016 |
Danilo Candiotti
IoT e progettazione di sistemi di Home Automation: un caso di studio reale basato su framework e standard open
Tesi di laurea magistrale, 17/03/2016 |
Vito Colletta
Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java
Tesi di laurea magistrale, 11/02/2016 |
Lorenzo Forcellini Reffi
TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili
Tesi di laurea magistrale, 10/12/2015 |
Roberto D'Elia
Architetture per Smart Health: il caso FitStadium
Tesi di laurea magistrale, 10/12/2015 |
Sara Bevilacqua
Home intelligence & social network in the Butlers perspective
Tesi di laurea magistrale, 12/10/2015 |
Andrea Bucaletti
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog
Tesi di laurea magistrale, 12/10/2015 |
Emanuele Buccelli
Ingegnerizzazione di RBAC-MAS in TuCSoN
Tesi di laurea magistrale, 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
Tesi di laurea magistrale, 19/03/2015 |
Fabio Desimone
Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z
Tesi di laurea magistrale, 17/03/2015 |
Stefano Montesi
Tecnologie per la mobilità verso un middleware general-purpose
Tesi di laurea magistrale, 15/06/2014 |
Paolo Barboni
Riprogettazione ed estensione di un sistema prototipale per la gestione di una casa intelligente
Tesi di laurea magistrale, 18/03/2014 |
Denis Di Paolo
Predictive Text Mining: Metodi di previsione di indici di borsa basati su Twitter
Tesi di laurea magistrale, 19/12/2013 |
Andrea Pagliarani
New Markov Chain Based Methods For Single And Cross-Domain Sentiment Classification
Tesi di laurea magistrale, 19/12/2013 |
Michele Pratiffi
Tecniche di text mining per l'autoorganizzazione della conoscenza
Tesi di laurea magistrale, 10/10/2013 |
Saverio Cicora
Profiling, re-factoring e ottimizzazione del middleware di coordinazione TuCSoN
Tesi di laurea magistrale, 25/07/2013 |
Chiara Casalboni
Esperimenti di stigmergia cognitiva con TuCSoN e Jason
Tesi di laurea magistrale, 15/07/2013 |
Michele Bombardi
Coordinazione space-aware per dispositivi mobili in TuCSoN
Tesi di laurea magistrale, 15/07/2013 |
Francesco Galassi
Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione
Tesi di laurea magistrale, 25/03/2013 |
Enrico Gramellini
Progettazione e Sviluppo di Applicazioni Distribuite su Web: da JavaScript a TypeScript
Tesi di laurea magistrale, 21/03/2013 |
Enrico Polverelli
Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist
Tesi di laurea magistrale, 21/03/2013 |
Matteo Bianchi
Sviluppo di un Framework per la Programmazione di Robot basati su Architettura di Controllo Behaviour-Based
Tesi di laurea magistrale, 21/03/2013 |
Marco Piraccini
Biochemical coordination in TuCSoN
Tesi di laurea magistrale, 21/03/2013 |
Andrea Mordenti
Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and WeBots platforms
Tesi di laurea magistrale, 20/12/2012 |
Francesco Fabbri
Engineering Concurrent and Event-Driven Web Apps: From DART isolates to simpAL agents
Tesi di laurea magistrale, 20/12/2012 |
Fabio Gravina
Integrazione di codice tuProlog in linguaggi .NET approcci a confronto
Tesi di laurea magistrale, 19/12/2012 |
Andrea Dallatana
BDI Agents for Real Time Strategy games
Tesi di laurea magistrale, 11/10/2012 |
Mattia Occhiuto
Molecules of Knowledge: architettura, implementazione ed esempi
Tesi di laurea magistrale, 26/07/2012 |
Paolo Contessi
Supporting semantic web technologies in the pervasive service ecosystems middleware
Tesi di laurea magistrale, 26/07/2012 |
Francesca Cioffi
Algoritmi Gradient-based per la modellazione e simulazione di sistemi auto-organizzanti
Tesi di laurea magistrale, 26/07/2012 |
Alex Carmine Olivieri
Semantic coordination tuple centres for eHealth Systems
Tesi di laurea magistrale, 28/03/2012 |
Andrea Boccacci
Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche
Tesi di laurea magistrale, 28/03/2012 |
Marco Alberti
Implementazione automatica di protocolli di interazione AUML mediante reti di Petri
Tesi di laurea magistrale, 28/03/2012 |
Marco Savoia
Architetture software per coordinazione semantica: efficienza vs. espressività
Tesi di laurea magistrale, 16/02/2012 |
Stefano Mariani
Molecules of knowledge: a new approach to knowledge production, management and consumption
Tesi di laurea magistrale, 20/12/2011 |
Matteo Desanti
Supporto a regole chimico-semantiche per la coordinazione di service pervasive ecosystems
Tesi di laurea magistrale, 12/10/2011 |
Michele Morgagni
Modulo di comunicazione in una infrastruttura per pervasive service ecosystems
Tesi di laurea magistrale, 12/10/2011 |
Silvia Umiliacchi
Gestione della tail recursion in tuProlog
Tesi di laurea magistrale, 03/10/2011 |
Antonio Pedone
Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices
Tesi di laurea magistrale, 21/07/2011 |
Matteo Mosca
Coordinazione sociale di robot Mindstorm in ReSpecT
Tesi di laurea magistrale, 23/06/2011 |
Alessio Serrangeli
Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti
Tesi di laurea magistrale, 24/03/2011 |
Davide Aldrovandi
Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto
Tesi di laurea magistrale, 24/03/2011 |
Danilo Pianini
Un Framework di simulazione per ecosistemi di servizi pervasivi
Tesi di laurea magistrale, 23/03/2011 |
Lorenzo Ravaglia
Modellazione agent-based delle dinamiche alla base della precoce regionalizzazione dell'embrione di Drosophila Melanogaster
Tesi di laurea magistrale, 21/12/2010 |
Andrea Tosi
Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi
Tesi di laurea magistrale, 21/12/2010 |
Marco Antonio Primiceri
Progettazione di un framework di sicurezza per smartphone
Tesi di laurea magistrale, 21/12/2010 |
Simone Romei
Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN
Tesi di laurea magistrale, 14/12/2010 |
Fabio Tonti
Algoritmi di ricerca locale stocastica per l'ottimizzazione di parametri in un simulatore biologico
Tesi di laurea magistrale, 13/10/2010 |
Filippo Campana
Modellazione di meccanismi morfogenetici in Repast
Tesi di laurea magistrale, 25/07/2010 |
Mattia Manfroni
Towards Boolean network design for robotics applications
Tesi di laurea magistrale, 25/07/2010 |
Marco Battarra
ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis
Tesi di laurea magistrale, 24/03/2010 |
Frens Tedeschini
Analysis and quantification of information in biological networks for protein function prediction
Tesi di laurea magistrale, 24/03/2010 |
Nicola Donati
Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster
Tesi di laurea magistrale, 24/03/2010 |
Marco Sbaraglia
Coordinazione space-based per la piattaforma bioinformatica Cellulat
Tesi di laurea magistrale, 24/03/2010 |
Antonio Danilo Santoro
Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni
Tesi di laurea magistrale, 18/03/2010 |
Domenico Magnani
Modelli e tecnologie per la sicurezza in applicazioni orientate ai servizi: analisi e sperimentazioni del framework WS-security
Tesi di laurea magistrale, 31/12/2009 |
Emanuele Panzavolta
Design e Implementazione di un Modulo Semantico per TuCSoN
Tesi di laurea magistrale, 22/12/2009 |
Stefano Tamagnini
Gli SPIME nell'Internet delle cose come combinazione di agenti e artefatti
Tesi di laurea magistrale, 22/12/2009 |
Leo Di Carlo
Progetto di un motore RBAC per un sistema prototipale di gestione di una casa intelligente
Tesi di laurea magistrale, 06/10/2009 |
Andrea Del Bene
Scripting in Java 6: esperimenti in tuProlog
Tesi di laurea magistrale, 25/06/2009 |
Christian Rimondi
XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards
Tesi di laurea magistrale, 19/03/2009 |
Marco Albertin
Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET
Tesi di laurea magistrale, 21/10/2008 |
Lorenzo Cavina
Verso reti auto-organizzanti ispirate alle biochimica: un framework di simulazione
Tesi di laurea magistrale, 15/10/2008 |
Francesco Vernocchi
Progettazione di un simulatore per modelli continui di reti genetiche
Tesi di laurea magistrale, 26/03/2008 |
Lorenzo Varrasso
Coordination Games in TuCSoN
Tesi di laurea magistrale, 25/03/2008 |
Robertino Aniello
Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog
Tesi di laurea magistrale, 20/06/2007 |
Alberto Mercati
Progetto e realizzazione di una battaglia medioevale mediante tecnologie ad agenti
Tesi di laurea magistrale, 21/03/2007 |
Sara Montagna
Modelling and Simulating in Systems Biology: an Approach based on Multi-Agents Systems
Tesi di laurea magistrale, 24/01/2007 |
Stefano Riffelli
Advanced role-based models for organisation in MAS coordination infrastructures
Tesi di laurea magistrale, 14/12/2006 |
Claudia Fontan
Tecnologie ad agenti per una casa intelligente
Tesi di laurea magistrale, 11/12/2006 |
Luca Coccini Gailli
Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans
Tesi di laurea magistrale, 26/10/2006 |
Stefano Bromuri
Realizzazione di agenti software per la gestione di una rete di sensori wireless
Tesi di laurea magistrale, 11/10/2006 |
Felice Tufo
Analisi e progetto di un sistema di controllo degli accessi ad un edificio
Tesi di laurea magistrale, 26/07/2006 |
Emanuele Nanetti
Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog
Tesi di laurea magistrale, 16/02/2006 |
Emanuela Mattiolo
Ingegnerizzazione di applicazioni con metodologie agent oriented: un caso applicativo
Tesi di laurea magistrale, 20/12/2005 |
Alex Benini
Estensione di un motore Prolog per la programmazione a vincoli
Tesi di laurea magistrale, 15/12/2005 |
Daniele Albonetti
RBAC in sistemi multiagente: modello e implementazione in TuCSoN
Tesi di laurea magistrale, 15/12/2005 |
Fabio Tosi
Analisi di prestazione di un interprete prolog su piattaforma Java
Tesi di laurea magistrale, 13/12/2005 |
Claudio Buda
Localizzazione Indoor in WLAN attraverso Rete Neuronale Evolutiva
Tesi di laurea magistrale, 12/10/2005 |
Nicola Zaghini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale
Tesi di laurea magistrale, 12/10/2005 |
Nicola Zaghini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale
Tesi di laurea magistrale, 12/10/2005 |
Rossella Rubino
Istituzioni Computazionali: coordinazione mediante norme
Tesi di laurea magistrale, 15/02/2005 |
Leonardo Nicoli
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione
Tesi di laurea magistrale, 12/10/2004 |
Ambra Molesini
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi
Tesi di laurea magistrale, 12/10/2004 |
| (130 tesi di laurea magistrale / 1995–2023) [in cima] [in fondo] |
| tesi di dottorato |
Giovanni Ciatto
On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge
Tesi di dottorato, 16/06/2022 |
Roberto Casadei
Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems
Tesi di dottorato, 02/04/2020 |
Roberta Calegari
Micro-Intelligence for the IoT: Logic-Based Models and Technologies
Tesi di dottorato, 20/04/2018 |
Valeri Katerinchuk
Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge
Tesi di dottorato, 15/12/2017 |
Adane Letta Mamuye
Simplicial Complexes and Graph Rewriting for Modelling RNA Folding
Tesi di dottorato, 25/07/2017 |
Marco Piangerelli
A topological classifier for detecting the emergence of anomalous synchronization in brain activities
Tesi di dottorato, 25/07/2017 |
Francesco Luca De Angelis
A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics
Tesi di dottorato, 03/07/2017 |
Stefano Mariani
Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK
Tesi di dottorato, 13/05/2016 |
Giuseppe Vizzari
Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture
Tesi di dottorato, 15/02/2015 |
Francesco Olivieri
Compliance by Design: Synthesis of Business Processes by Declarative Specifications
Tesi di dottorato, 26/08/2014 |
Andrea Santi
Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development
Tesi di dottorato, 19/04/2013 |
Emilia Garcia
Engineering Regulated Open Multiagent Systems
Tesi di dottorato, 19/04/2013 |
Giuseppe Loseto
Knowledge Representation Methods for Smart Devices in Intelligent Buildings
Tesi di dottorato, 22/03/2013 |
Paolo Pannarale
Sistemi Intelligenti per la Progettazione e Modellazione Automatica di Circuiti Genetici
Tesi di dottorato, 22/03/2013 |
Bin Lu
Supporting Agent-Oriented Models within the Software Life Cycle
Tesi di dottorato, 15/08/2012 |
Elena Nardini
Semantic Coordination Through Programmable Tuple Spaces
Tesi di dottorato, 28/04/2011 |
Sara Montagna
Multi-level models and infrastructures for simulating biological system development
Tesi di dottorato, 28/04/2011 |
Migle Laukyte
Law and Science through the Lens of Patent Law and Software Agents
Tesi di dottorato, 14/07/2010 |
Michele Piunti
Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments
Tesi di dottorato, 30/04/2010 |
Maurizio Cimadamore
Constructs and Applications of Generic Programming in Object-Oriented Languages
Tesi di dottorato, 30/04/2010 |
Matteo Casadei
Self-organising coordination systems
Tesi di dottorato, 08/09/2009 |
Enrico Oliva
Argumentation and artifacts for intelligent multi-agent systems
Tesi di dottorato, 07/04/2008 |
Ambra Molesini
Meta-models, environment and layers: agent-oriented engineering of complex systems
Tesi di dottorato, 07/04/2008 |
Luca Gardelli
Engineering Self-organising Systems with the Multi-Agent Paradigm
Tesi di dottorato, 02/04/2008 |
Alessandro Ricci
Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures
Tesi di dottorato, 15/04/2004 |
Enrico Denti
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
Tesi di dottorato, 20/02/1998 |
Andrea Omicini
Programmazione Logica Orientata agli Oggetti
Tesi di dottorato, 10/11/1995 |
| (27 tesi di dottorato / 1995–2023) [in cima] [in fondo] |