All Theses
494
theses
Integrating Autonomous Agents and Machine Learning for Dynamic Difficulty Adjustment in Video Games (12/12/2024) — Leo Marzoli
Progettazione e Sviluppo di un Sistema Modulare per la Raccolta, Trasmissione e Archiviazione di Dati Operativi in Ambienti Industriali (12/12/2024) — Michele Laddaga
Profiling and learning based optimization for scalable robotics in the device-cloud continuum (03/10/2024) — Nicola Ferrarese
Actively Ontology Learning from Large Language Models (18/07/2024) — Riccardo Squarcialupi
Integrated Development Environments: Exploring the Impact of the Implementation of Artificial Intelligence on Workflow Efficiency and its Potential for Developer Displacement (17/07/2024) — Bruna Moema Dias Bahmed
Argumentation for Legal Reasoning: Meta-models, Technology and Beyond (04/07/2024) — Giuseppe Pisano
Embedding AI into Constrained Devices: A Multi-Faceted Approach (24/06/2024) — Andrea Agiollo
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
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (22/07/2021) — Giovanni Speciale
Sviluppo di un progetto di automation testing con approccio BDD e gestione delle CI/CD pipelines (22/07/2021) — Marco Baldassarri
Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (22/07/2021) — Cristiano Aprigliano
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
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (28/05/2021) — Maicol Forti
Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (28/05/2021) — Marco Pastore
Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare (26/03/2021) — Michele Donati
Resilienza di applicazioni e cluster Kubernetes (26/03/2021) — Gloria Semprini
Engineering Angle-of-Arrival-based Indoor Localization Systems (26/03/2021) — Shapour Nemati
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
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (22/07/2020) — Riccardo Varotto
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari
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
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (12/12/2019) — Matteo Minardi
Simulazione di Agenti BDI basati su Prolog in Alchemist (12/12/2019) — Filippo Nicolini
Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma (12/12/2019) — Mariano Caldara
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) — Enrico Siboni
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
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 e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (21/03/2019) — Matteo Saccomanni
Blockchain and beyond: proactive logic smart contracts (14/12/2018) — Alfredo Maffi
Testing automatico per una implementazione dello standard OpenGL (18/10/2018) — Edoardo Antonini
Coordinazione di veicoli autonomi: simulazione di incroci stradali (18/10/2018) — Mattia Borrillo
Coordination as a Web Service: una moderna implementazione del modello Linda (18/10/2018) — Lorenzo Rizzato
Multi-sensing Data Fusion: Target tracking via particle filtering (18/10/2018) — Alessandro Contro
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
Implementazione di un sistema per il self-management del diabete di tipo 1 (19/07/2018) — Francesco Cozzolino
Game Engines and MAS: Spatial Tuples in Unity3D (19/07/2018) — Alessandro Bagnoli
Micro-Intelligence for the IoT: Logic-Based Models and Technologies (20/04/2018) — Roberta Calegari
Modelli e piattaforme per la democrazia digitale: analisi e confronto (22/03/2018) — Thomas Trapanese
La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda (22/03/2018) — Patryk Wojtowicz
Game Engines and MAS: Tuplespace-based Interaction in Unity (22/03/2018) — Mattia Cerbara
Blockchain: modello generale e tassonomia delle componenti chiave (22/03/2018) — Alex Collini
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
Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach (22/03/2018) — Valentina Intrusi
Sviluppo di un sistema di video streaming in ambito eyewear e wearable computing (15/12/2017) — Davide Giacomini
Bio-inspired Networking: analisi della letteratura applicata al modello MoK (15/12/2017) — Alessandro Corbi
Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge (15/12/2017) — Valeri Katerinchuk
Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service” (15/12/2017) — Andrea De Castri
Sviluppo di Web App basate sul modello SPA: il progetto TraumaTracker come caso di studio (15/12/2017) — Giacomo Venturini
La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (15/12/2017) — Nicola Atti
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
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
Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN (16/03/2017) — Matteo Delvecchio
tuProlog as a Service: intelligenza per scenari IoT (13/03/2017) — Andrea Muccioli
Labelled tuProlog: Architettura ed Implementazione (13/03/2017) — Tiziano Distefano
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
Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home (06/10/2016) — Erika Gardini
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
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
Enterprise Social Networks: The Case of CERN (06/10/2016) — Marco Carlo Cavalazzi
Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza (06/10/2016) — Emmanuele Ghigi
Computazione Embodied e Disembodied: Cloud-based IoT (14/07/2016) — Pietro Antonio Nompleggio
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
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
Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI (14/07/2016) — Alessio Mora
2P as a service for Android (13/07/2016) — Lucrezia Paradisi
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
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
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
Sviluppo di un sistema informatico per il controllo remoto di un osservatorio astronomico (17/03/2016) — Davide Pieretti
Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio (17/03/2016) — Simone Grotti
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
Context-Aware Computing e Tecnologie Wearable (17/03/2016) — Andrea Nicolini
Integration of Internet of Things and Cloud computing: A case study on vital signs monitoring (17/03/2016) — Fabio Vasini
Internet dei veicoli, un nuovo paradigma per una mobilità intelligente e autonoma (17/03/2016) — Matteo Pasolini
Coordination nel Cloud: elasticità in ReSpecT (17/03/2016) — Francesco Serafini
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
Smart Home: HomeKit e Nest (17/03/2016) — Ivan Fraioli
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
Progettazione e sviluppo multi-platform di applicazioni mobile: un caso di studio in Xamarin (17/03/2016) — Enrico Ceccolini
HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER (17/03/2016) — Jacopo Ameli
Tecnologie e framework per la programmazione multi-agente (17/03/2016) — Roberto Giuliani
Reactive programming: un caso di studio (17/03/2016) — Martina Giovanelli
IoT e progettazione di sistemi di Home Automation: un caso di studio reale basato su framework e standard open (17/03/2016) — Danilo Candiotti
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
Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit (17/03/2016) — Matteo Cacchi
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
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
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
Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (12/10/2015) — Alberto Sita
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (12/10/2015) — Andrea Bucaletti
Home intelligence & social network in the Butlers perspective (12/10/2015) — Sara Bevilacqua
Smart home: reasoning e proattività applicate ad un caso di studio (12/10/2015) — Alessandro Celi
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
Ingegnerizzazione di RBAC-MAS in TuCSoN (19/03/2015) — Emanuele Buccelli
Sviluppo storico ed economico del Cloud Computing: Cloud Foundry come esempio di Platform as a Service (19/03/2015) — Jessica Marcantoni
Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi (19/03/2015) — Andrea Rinaldi
Smart home: stato dell’arte della tecnologia (19/03/2015) — Silvia Vandi
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
Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (19/03/2015) — Marco Fiorini
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
Geolocalizzazione di servizi in un sistema di home intelligence (17/03/2015) — Daiana Paolini
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
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
Linguaggi di programmazione ad agenti: Jason come caso di studio (09/10/2014) — Nicolò Carpignoli
Sicurezza, protezione e integrità nei sistemi cloud: modelli, metodi e tecnologie (09/10/2014) — Filippo Alberto Brandolini
Il tempo nei sistemi coordinati: esperimenti in TuCSoN (09/10/2014) — Raffaele Mazza
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
Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse (18/06/2014) — Matteo Librenti
Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti (18/06/2014) — Lorenzo Dalla Casa
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
Class loading in Android: applicazione a tuProlog (18/03/2014) — Alessio Mercurio
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
Predictive Text Mining: Metodi di previsione di indici di borsa basati su Twitter (19/12/2013) — Denis Di Paolo
Estensione dell'interfaccia grafica in tuProlog per Android (19/12/2013) — Mirco Mastrovito
New Markov Chain Based Methods For Single And Cross-Domain Sentiment Classification (19/12/2013) — Andrea Pagliarani
Agents, Nodes & Resources: Universal Naming System for a Coordination Middleware (19/12/2013) — Federico Foschini
Programmazione asincrona in JavaScript (10/10/2013) — Riccardo Drudi
Ruolo delle architetture ad eventi nello sviluppo della applicazioni moderne (10/10/2013) — Roberto Reda
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
Coordinazione situata: integrazione di Arduino in un middleware basato su tuple (25/07/2013) — Steven Maraldi
Modelli e tecnologie per la visualizzazione di programmi in esecuzione (25/07/2013) — Massimo Smiraglio
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
Traduzione semi-automatica di applicazioni: approcci a confronto (25/03/2013) — Giacomo Dall'Olio
Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET (25/03/2013) — Mirko Davoli
Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione (25/03/2013) — Francesco Galassi
Sistemi Intelligenti per la Progettazione e Modellazione Automatica di Circuiti Genetici (22/03/2013) — Paolo Pannarale
Knowledge Representation Methods for Smart Devices in Intelligent Buildings (22/03/2013) — Giuseppe Loseto
Sviluppo di un Framework per la Programmazione di Robot basati su Architettura di Controllo Behaviour-Based (21/03/2013) — Matteo Bianchi
Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist (21/03/2013) — Enrico Polverelli
TuCSoN on Android (21/03/2013) — Andrea Ridolfi
Biochemical coordination in TuCSoN (21/03/2013) — Marco Piraccini
Framework mobile per lo sviluppo di sistemi coordinati (21/03/2013) — Roberto D'Elia
Progettazione e Sviluppo di Applicazioni Distribuite su Web: da JavaScript a TypeScript (21/03/2013) — Enrico Gramellini
Reuse Mechanisms and Concurrency: From Actors to Agent-Oriented Programming (21/03/2013) — Roberto Casadei
Coordination as a Service (CaaS) in the Cloud (21/03/2013) — Richiard Casadei
Attualizzazione del supporto al multitasking in tuProlog (13/02/2013) — Eleonora Cau
Coordination as a service in JADE (07/02/2013) — Nicola Dellarocca
Configurazione di un portale XWiki per la visualizzazione su dispositivi mobili: il caso di APICe (20/12/2012) — Andrea Buscarini
Negoziazione dinamica e rilascio di ACC in TuCSoN (20/12/2012) — Roberto Togni
Aspetti di sicurezza nel Cloud Computing (20/12/2012) — Francesca Collina
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
Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and WeBots platforms (20/12/2012) — Andrea Mordenti
Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki (20/12/2012) — Marco Zaccheroni
Engineering Concurrent and Event-Driven Web Apps: From DART isolates to simpAL agents (20/12/2012) — Francesco Fabbri
Estensione della Socket Library per tuProlog (19/12/2012) — Adelina Benedetti
Traduzione automatica di applicazioni Java in .NET: approcci a confronto (19/12/2012) — Andrea Muccioli
Integrazione di codice tuProlog in linguaggi .NET approcci a confronto (19/12/2012) — Fabio Gravina
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
Molecules of Knowledge: architettura, implementazione ed esempi (26/07/2012) — Mattia Occhiuto
XWiki Mobile: architetture collaborative per device mobili (26/07/2012) — Marco Renio
Supporting semantic web technologies in the pervasive service ecosystems middleware (26/07/2012) — Paolo Contessi
Streaming audio e video nei sistemi Peer-To-Peer TV: il caso Sopcast P2PTV (26/07/2012) — Riccardo Timoncini
Algoritmi Gradient-based per la modellazione e simulazione di sistemi auto-organizzanti (26/07/2012) — Francesca Cioffi
Interoperabilità tra frammenti EHR e coordinamento semantico (21/06/2012) — Simone Norcini
Semantic coordination tuple centres for eHealth Systems (28/03/2012) — Alex Carmine Olivieri
Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche (28/03/2012) — Andrea Boccacci
Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA (28/03/2012) — Alan Foligatti
Tecnologie per la collaborazione sociale tra robot Mindstorm: Lejos & ReSpecT (28/03/2012) — Cornel Moisuc
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
Molecules of knowledge: a new approach to knowledge production, management and consumption (20/12/2011) — Stefano Mariani
Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo (20/12/2011) — Stefano Montesi
Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java (16/12/2011) — Michele Castagna
Testing esaustivo di un interprete Prolog su piattaforma Java (14/12/2011) — Fabrizio Sabbioni
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
Modulo di comunicazione in una infrastruttura per pervasive service ecosystems (12/10/2011) — Michele Morgagni
Supporto a regole chimico-semantiche per la coordinazione di service pervasive ecosystems (12/10/2011) — Matteo Desanti
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
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
HTML 5: Stato dell'arte e prospettive (23/03/2011) — Simone Dozza
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
Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi (21/12/2010) — Andrea Tosi
Modellazione di leggi chimiche per la generazione della forma (21/12/2010) — Davide Ensini
Modellazione agent-based delle dinamiche alla base della precoce regionalizzazione dell'embrione di Drosophila Melanogaster (21/12/2010) — Lorenzo Ravaglia
Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D (21/12/2010) — Matteo Pozzi
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
Topologia nel modello di coordinazione TuCSoN (22/07/2010) — Enrico Zamagni
Organizzazione della conoscenza sul Web tramite SKOS (22/07/2010) — Chiara Casalboni
Artefatti di coordinazione per agenti in Smart Environment (22/07/2010) — Andrea Mordenti
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
ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis (24/03/2010) — Marco Battarra
Migrazione a caldo di macchine virtuali in infrastrutture di virtualizzazione (24/03/2010) — Davide Salvaterra
Coordinazione space-based per la piattaforma bioinformatica Cellulat (24/03/2010) — Marco Sbaraglia
Virtualizzazione di sistemi di elaborazione: la tecnologia Virtual-Box come caso di studio (24/03/2010) — Cristiana Casanova
Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster (24/03/2010) — Nicola Donati
Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (24/03/2010) — Michele Pratiffi
Infrastrutture di virtualizzazione nei sistemi IT e virtual desktop infrastructure (24/03/2010) — Enrico Polverelli
Graph&SODA: A Graphical Tool for SODA (24/03/2010) — Luca Staccoli
Analysis and quantification of information in biological networks for protein function prediction (24/03/2010) — Frens Tedeschini
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
Coordinazione stigmergica tra agenti situati mediante tecnologia RFID con tag passivi (25/03/2009) — Michael Gattavecchia
Sviluppo di Metodi e Strumenti per l'Inferenza di Reti di Regolazione Genetica (25/03/2009) — Adele Gori
Analisi di prestazione del motore tuProlog su piattaforma Java (19/03/2009) — Michele Damian
XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards (19/03/2009) — Christian Rimondi
Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti (11/02/2009) — Luca Semprini
Virus informatici benevoli: panoramica e sperimentazioni (31/12/2008) — Jimmy Ciccolini
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
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
Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT (15/10/2008) — Andrea Novaga
Verso reti auto-organizzanti ispirate alle biochimica: un framework di simulazione (15/10/2008) — Lorenzo Cavina
Progettazione e sviluppo di uno strumento per il monitoraggio e controllo di applicazioni per il framework ad agenti simpA (15/10/2008) — Alberto Castori
Modello preda-predatore basato ad agenti (15/10/2008) — Denis Brighi
DrSimpA: progettazione e sviluppo di ambiente per il collaudo e sviluppo interattivo di applicazioni ad agenti nel framework simpA (15/10/2008) — Valerio Monti
Coordinazione field-based e stigmergica con ReSpecT Mobile Code (15/10/2008) — Sascia Virruso
Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive (15/10/2008) — Danilo Pianini
Un modello di programmazione ad agenti per lo sviluppo di applicazioni Web complesse (15/10/2008) — Luca Domeniconi
Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche (15/10/2008) — Marco Alberti
Il framework Java Metro per lo sviluppo di Web Services e Sistemi SOA Interoperabili (15/10/2008) — Simone Vignodelli
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
Realizzazione di agenti software per la gestione di una rete di sensori wireless (11/10/2006) — Stefano Bromuri
Simulazione ad agenti: Repast vs. TuCSoN (11/10/2006) — Paolo Angelini
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
Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse (15/12/2005) — Daniele Sabatini
RBAC in sistemi multiagente: modello e implementazione in TuCSoN (15/12/2005) — Daniele Albonetti
Estensione di un motore Prolog per la programmazione a vincoli (15/12/2005) — Alex Benini
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
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
JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito (12/10/2005) — Mattia Piraccini
Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale (12/10/2005) — Nicola Zaghini
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
Integrazione di servizi di messaggistica intelligenti basati su una infrastruttura di coordinazione (31/12/2003) — Giuseppe Tomaiuoli
Sviluppo di un prototipo per l'interazione con basi di dati mediante un'infrastruttura di coordinazione (31/12/2003) — Luca Tonini
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
Multi-paradigm programming: Java/Javascript in Rhino
Il modello ad attori nei linguaggi di programmazione moderni - da framework in Java a Google DART
Esplorazione di scenari di Human Sensing
tuProlog vs "rest of the world": un confronto ragionato
Alchemist based biochemical simulator with multiple mobile compartments
Simulazione e Verifica di Sistemi Biochimici in PRISM
Multi-paradigm programming: tuProlog & Java 8
Multi-paradigm programming: tuProlog & Scala
Smart home e social network
Il ruolo della simulazione in sistemi di Health Care
Gestione automatizzata di processi in ambito SOA/WS: un caso di studio — Luca Morri
Database Scaling in Docker: Replication vs. Consistency
Architettura MAPE per la realizzazione di sistemi autonomici: panoramica e sperimentazioni — Claudio Reggiani
"Agenti Volanti" - Sperimentazione di Tecnologie ad Agenti - JaCa in particolare - per la Programmazione di Sistemi UAV basati su AR-Drone
Sviluppo dello strumento Graph&SODA per il supporto della metodologia SODA
Computationally Modelling Human Motion: un caso di studio
A general implementation framework for tuple centres
Design and prototipation of a unified Python API for ML frameworks
Design and prototipation of a general-purpose software application for interactive Q/A and data collection
Traduzione semi-automatica di applicazioni: approcci a confronto
Monitoraggio e controllo automatizzato di macchine virtuali in ambienti ad agenti: sperimentazioni in simpA — Marco Primitivo
JNode come sistema operativo Java-based: analisi e sperimentazioni — Alessandro Cristiano
Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans — Luca Coccini Gailli
Rewriting the history of motorsports with modern digital democracy
Analisi alto-livello di sistemi in PRISM
Parallelising Stochastic Simulation Algorithms: optimistic simulation engine for Alchemist
Large Language Model-based Systems
Un approccio semantico per la coordinazione di sistemi pervasivi — Sascia Virruso
Backup toolkit for container-based clusters — Alberto Donati
Sistemi basati su Mobile Augmented Reality
Composable Patterns of Coordination as Library Services: Experiments in ReSpecT
Situated coordination in contesti di Home Intelligence: sperimentazione con tecnologie Raspberry e Odroid
Pattern di computazione su piattaforma biochimica
COPASI: piattaforma di simulazione per sistemi biochimici
Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog
Design and prototype a solution for distributed volume sharing and backing up on Docker
Eco-coordination: sviluppo di modelli ecologici di coordinazione
Commonsense Reasoning: State of Art in the IoT Era
Sicurezza in TuCSoN: Progettazione e Implementazione
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à.
Ottimizzazione dell'engine dell'interprete tuProlog
Design of a shared Web API for generative-AI chatbots, supporting caching of requests and responses
Bias (in AI systems) detection algorithm design and development
Portabilità di applicazioni multi-paradigma verso l'architettura Android ART: studio di fattibilità — Francesca Cappa
Un simulatore per sistemi informatici di natura biochimica
Integrate JaKtA with Alchemist, in order to simulate BDI agents
Multi-platform Coordination Middleware: TuCSoN between Java and .NET
Towards an integration of learning and reasoning in agent and multi-agent systems — Andrea Rafanelli
Fairness Techniques Analysis
Multi-paradigm & multi-language programming: tuProlog , Scala, Javascript, Java
Design and prototipation of a library for bias detection and mitigation in Python
Design and prototype a middleware for multi-agent interaction in JaKtA
Automated Testing of RESTful API: the Postman Tool
Interfacce di input e reporting per la simulazione di ecosistemi di servizi pervasivi
Sviluppo di un laboratorio virtuale per la modellazione dei sistemi biologici con Evolution
Infrastrutture di Virtualizzazione
Programming the Interaction Space Twenty Years Later: ReSpecTX Language and IDE
"A Robot in Every Home": Programmazione di Robot domestici con linguaggi e tecnologie ad agenti
Piattaforma Google Android: Analisi e Sperimentazioni — Marco Guidi
Testing dell' interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET
Programmazione di sistemi autonomi basati su modelli e tecnologie ad agenti - JaCa per AR-Drone come caso di studio
Simulazione di ecosistemi di servizi pervasivi con supporto ad annotazioni tuple based — Giacomo Pronti
Riprogettazione dell'editor dell'interprete tuProlog — Raffaele Serra
Glassware - Progettazione e Sviluppo di Applicazioni basate su Smart Glass
Make JaKtA multi-platform
From images to rich pervasive environments
Un linguaggio di alto livello per la descrizione di ecosistemi di servizi pervasivi
Agent-Oriented Computing - Programmazione orientata agli agenti
Grouding ALTAI/EGTAI guidelines towards practical Q/A workflows
Kit&SODA: A Toolkit for SODA
Estensione di un interprete prolog per la gestione delle eccezioni — Matteo Iuliani
Realizzazione di macchine virtuali portabili: lo standard Open Virtual Machine Format (OVF) — Alice Grandi
Smart home: reasoning e proattività applicate ad un caso di studio
Progettazione e sviluppo di sistemi informatici autonomici mediante tecnologie ad agenti — Davide Fabbri
Argumentation for the IoT: Technical Feasibility and State of Art
Natural Language Generation for Personalised Recommendations in Healthcare
Integrazione fra TuCSoN e Store per ABox
Intersectionality in fair AI systems
Progettazione e sviluppo applicazioni embedded distribuite - NoTA + tecnologie ad agenti
Progetto di una libreria CLP per tuProlog
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
Adattamento architetturale basato su coordinazione per sistemi socio-tecnici: un caso di studio in TuCSoN
Piattaforme per la simulazione di sistemi multicellulari
Il ruolo della simulazione agent-based in sistemi di Health Care
Coordination as a Service: Distributing TuCSoN as a Cloud-based Service
RV4Test: exploiting Runtime Verification as a Tool for Software Testing in Distributed Applications
Approximate Stochastic Model Checking in Alchemist
Knowledge Representation and Information Retrieval: Research Papers as MoK Seeds
Modernizing Linda eval Primitive: spawn with Code-on-Demand
Risk Prediction as a Service: A RESTful Machine Learning Pipeline for the Healthcare Domain
Symbolic Transfer Learning
Bias (in AI systems) mitigation algorithm design and development
Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto e sviluppo del sottosistema di personalizzazione
Symbolic Knowledge Extraction Algorithms Analysis
Adherence and Compliance Monitoring for Chronic Patients: State of Art
Mobile Computing - piattaforma Android
Smart Home: gestione avanzata della configurazione tramite metafore virtuali
tuProlog in the Cloud
Smart home: reasoning e proattività applicate ad un caso di studio
Ottimizzazione dell'architettura dell'interprete tuProlog — Ali Nadjoui
Design and prototype generative-AI-based mechanisms to support immagination in BDI agents
Riprogettazione ed estensione di un'applicazione Prolog a vincoli in ambiente Eclipse