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