All Theses
491
theses
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
Programmazione multi-piattaforma: disamina storica e tecnologica (15/03/2024) — Matteo Lanzi
Conversational Non-Player Characters: A Study on the Derailment of Large Language Models (15/03/2024) — Davide Alpi
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
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
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
Resilienza di applicazioni e cluster Kubernetes (26/03/2021) — Gloria Semprini
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
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
End-to-End Goal-Oriented Conversational Agent for Risk Awareness (19/03/2020) — Marco Canducci
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (19/03/2020) — XWiki.GiuseppePisano3
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
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
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
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
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
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
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
Smart Environment su piattaforma Home Manager: sensori e micro-intelligenza (03/10/2018) — Alessandro Calvio
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
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
Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service” (15/12/2017) — Andrea De Castri
La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (15/12/2017) — Nicola Atti
Sviluppo di Web App basate sul modello SPA: il progetto TraumaTracker come caso di studio (15/12/2017) — Giacomo Venturini
Bio-inspired Networking: analisi della letteratura applicata al modello MoK (15/12/2017) — Alessandro Corbi
Sviluppo di un sistema di video streaming in ambito eyewear e wearable computing (15/12/2017) — Davide Giacomini
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
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
Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS (16/03/2017) — Andrea Vignudelli
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
Il progetto TraumaTracker: studio e sviluppo prototipale di un sistema wearable hands-free in ambito healthcare (15/12/2016) — Matteo Gabellini
Strumenti per middleware di coordinazione: il caso di TuCSoN (15/12/2016) — Andrea Dintino
Home Manager come middleware per la coordinazione situata in ambito IoT (15/12/2016) — Richiard Casadei
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
Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home (06/10/2016) — Erika Gardini
Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza (06/10/2016) — Emmanuele Ghigi
REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER (14/07/2016) — Armando Mancini
HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY (14/07/2016) — Simone Bruzzechesse
Computazione Embodied e Disembodied: Cloud-based IoT (14/07/2016) — Pietro Antonio Nompleggio
Progettazione e implementazione di una incarnazione biochimica per il simulatore Alchemist (14/07/2016) — Gabriele Graffieti
Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE (14/07/2016) — Marco Zaccheroni
Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI (14/07/2016) — Alessio Mora
Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (13/07/2016) — Federico Venturini
2P as a service for Android (13/07/2016) — Lucrezia Paradisi
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
Integration of Internet of Things and Cloud computing: A case study on vital signs monitoring (17/03/2016) — Fabio Vasini
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
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
Bluetooth per TuCSoN mobile: panorama tecnologico ed esperimenti (17/03/2016) — Svetlozar Nikolov Orlovski
Tecnologie e framework per la programmazione multi-agente (17/03/2016) — Roberto Giuliani
Evoluzione delle User Interface: Dalla Metafora del Desktop al Wearable Computing (17/03/2016) — Giulia Lucchi
Smart Home: HomeKit e Nest (17/03/2016) — Ivan Fraioli
Reactive programming: un caso di studio (17/03/2016) — Martina Giovanelli
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
Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit (17/03/2016) — Matteo Cacchi
Sviluppo di applicazioni mobile cross-platform: Flutter come caso di studio (17/03/2016) — Luca Polverelli
Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio (17/03/2016) — Simone Grotti
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
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
Context-Aware Computing e Tecnologie Wearable (17/03/2016) — Andrea Nicolini
Sviluppo di un sistema informatico per il controllo remoto di un osservatorio astronomico (17/03/2016) — Davide Pieretti
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
TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili (10/12/2015) — Lorenzo Forcellini Reffi
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
Coordinazione situata per la domotica: Butlers in TuCSoN (10/12/2015) — Attilio Pometto
Architetture per Smart Health: il caso FitStadium (10/12/2015) — Roberto D'Elia
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
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
Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (12/10/2015) — Alberto Sita
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
Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi (19/03/2015) — Andrea Rinaldi
Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (19/03/2015) — Marco Fiorini
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
Ruolo del Cloud nell'Amministrazione dei Sistemi Informatici Moderni (19/03/2015) — Marco Lorenzini
Darknet e Deep Web: il lato oscuro del Web per la privacy e la protezione dei dati (19/03/2015) — Patryk Wojtowicz
Ingegnerizzazione di RBAC-MAS in TuCSoN (19/03/2015) — Emanuele Buccelli
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
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
Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z (17/03/2015) — Fabio Desimone
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
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
Test di accettazione: strumenti a confronto (11/12/2014) — Marcello Colameo
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
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
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
Riprogettazione ed estensione di un sistema prototipale per la gestione di una casa intelligente (18/03/2014) — Paolo Barboni
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
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
Programmazione asincrona in JavaScript (10/10/2013) — Riccardo Drudi
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
Ruolo delle architetture ad eventi nello sviluppo della applicazioni moderne (10/10/2013) — Roberto Reda
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
Modelli e tecnologie per la visualizzazione di programmi in esecuzione (25/07/2013) — Massimo Smiraglio
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 Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (19/04/2013) — Andrea Santi
Engineering Regulated Open Multiagent Systems (19/04/2013) — Emilia Garcia
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
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
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
TuCSoN on Android (21/03/2013) — Andrea Ridolfi
Framework mobile per lo sviluppo di sistemi coordinati (21/03/2013) — Roberto D'Elia
Coordination as a Service (CaaS) in the Cloud (21/03/2013) — Richiard Casadei
Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist (21/03/2013) — Enrico Polverelli
Sviluppo di un Framework per la Programmazione di Robot basati su Architettura di Controllo Behaviour-Based (21/03/2013) — Matteo Bianchi
Biochemical coordination in TuCSoN (21/03/2013) — Marco Piraccini
Attualizzazione del supporto al multitasking in tuProlog (13/02/2013) — Eleonora Cau
Coordination as a service in JADE (07/02/2013) — Nicola Dellarocca
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
Engineering Concurrent and Event-Driven Web Apps: From DART isolates to simpAL agents (20/12/2012) — Francesco Fabbri
Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki (20/12/2012) — Marco Zaccheroni
Aspetti di sicurezza nel Cloud Computing (20/12/2012) — Francesca Collina
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
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
Estensione della Socket Library per tuProlog (19/12/2012) — Adelina Benedetti
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
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
Molecules of Knowledge: architettura, implementazione ed esempi (26/07/2012) — Mattia Occhiuto
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
Semantic coordination tuple centres for eHealth Systems (28/03/2012) — Alex Carmine Olivieri
Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (28/03/2012) — Marco Alberti
Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA (28/03/2012) — Alan Foligatti
Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche (28/03/2012) — Andrea Boccacci
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
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
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
Progettazione di un framework di sicurezza per smartphone (21/12/2010) — Marco Antonio Primiceri
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
Modellazione di meccanismi morfogenetici in Repast (25/07/2010) — Filippo Campana
Towards Boolean network design for robotics applications (25/07/2010) — Mattia Manfroni
Artefatti di coordinazione per agenti in Smart Environment (22/07/2010) — Andrea Mordenti
Organizzazione della conoscenza sul Web tramite SKOS (22/07/2010) — Chiara Casalboni
Topologia nel modello di coordinazione TuCSoN (22/07/2010) — Enrico Zamagni
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
Coordinazione space-based per la piattaforma bioinformatica Cellulat (24/03/2010) — Marco Sbaraglia
Migrazione a caldo di macchine virtuali in infrastrutture di virtualizzazione (24/03/2010) — Davide Salvaterra
Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster (24/03/2010) — Nicola Donati
Virtualizzazione di sistemi di elaborazione: la tecnologia Virtual-Box come caso di studio (24/03/2010) — Cristiana Casanova
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
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
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
Coordinazione field-based e stigmergica con ReSpecT Mobile Code (15/10/2008) — Sascia Virruso
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
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
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
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
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
Progettazione di un simulatore per modelli continui di reti genetiche (26/03/2008) — Francesco Vernocchi
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
Il framework Symfony: panoramica e sperimentazioni (24/07/2007) — Giacomo Bartolucci
Supporto per monitoraggio, gestione e diagnosi di applicazioni su piattaforma Java: stato dell'arte (24/07/2007) — Andrea Caraceni
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
Progetto e realizzazione di una battaglia medioevale mediante tecnologie ad agenti (21/03/2007) — Alberto Mercati
P4P: infrastrutture space-based per il p2p (21/03/2007) — Giorgio Amadei
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
Tecnologie ad agenti per una casa intelligente (11/12/2006) — Claudia Fontan
Progetto e realizzazione di un agente per l'esplorazione dei servizi di rete (11/12/2006) — Roberto Magale
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
Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente (26/07/2006) — Stefano Bonetti
Analisi e progetto di un sistema di controllo degli accessi ad un edificio (26/07/2006) — Felice Tufo
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
Estensione di un motore Prolog per la programmazione a vincoli (15/12/2005) — Alex Benini
Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse (15/12/2005) — Daniele Sabatini
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
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
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
Localizzazione Indoor in WLAN attraverso Rete Neuronale Evolutiva (12/10/2005) — Claudio Buda
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: agenti e servizi (12/10/2004) — Ambra Molesini
Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione (12/10/2004) — Leonardo Nicoli
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
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
Studio di fattibilità per l'integrazione del supporto vocale in un'infrastruttura di coordinazione (31/12/2003) — Fabio Poli
Coordinazione di sistemi multi-agente basati su piattaforma LEGO MINDSTORMS (18/12/2003) — Simone Pellegrini
Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti (18/12/2003) — Mattia Bargellini
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
Pattern di computazione su piattaforma biochimica
Sistemi basati su Mobile Augmented Reality
Composable Patterns of Coordination as Library Services: Experiments in ReSpecT
COPASI: piattaforma di simulazione per sistemi biochimici
Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog
Commonsense Reasoning: State of Art in the IoT Era
Sicurezza in TuCSoN: Progettazione e Implementazione
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog
Eco-coordination: sviluppo di modelli ecologici di coordinazione
"A Robot in Every Home": Programmazione di Robot domestici con linguaggi e tecnologie ad agenti
Programmazione di sistemi autonomi basati su modelli e tecnologie ad agenti - JaCa per AR-Drone come caso di studio
Ottimizzazione dell'engine dell'interprete tuProlog
Design and prototipation of a library for bias detection and mitigation in Python
Design of a shared Web API for generative-AI chatbots, supporting caching of requests and responses
Riprogettazione dell'editor dell'interprete tuProlog — Raffaele Serra
Agent-Oriented Computing - Programmazione orientata agli agenti
Integrate JaKtA with Alchemist, in order to simulate BDI agents
Grouding ALTAI/EGTAI guidelines towards practical Q/A workflows
Multi-platform Coordination Middleware: TuCSoN between Java and .NET
Portabilità di applicazioni multi-paradigma verso l'architettura Android ART: studio di fattibilità — Francesca Cappa
From images to rich pervasive environments
Un simulatore per sistemi informatici di natura biochimica
Design and prototype a middleware for multi-agent interaction in JaKtA
Automated Testing of RESTful API: the Postman Tool
Realizzazione di macchine virtuali portabili: lo standard Open Virtual Machine Format (OVF) — Alice Grandi
Fairness Techniques Analysis
Multi-paradigm & multi-language programming: tuProlog , Scala, Javascript, Java
Sviluppo di un laboratorio virtuale per la modellazione dei sistemi biologici con Evolution
Infrastrutture di Virtualizzazione
Integrazione fra TuCSoN e Store per ABox
Bias (in AI systems) detection algorithm design and development
Interfacce di input e reporting per la simulazione di ecosistemi di servizi pervasivi
Progettazione e sviluppo di sistemi informatici autonomici mediante tecnologie ad agenti — Davide Fabbri
Argumentation for the IoT: Technical Feasibility and State of Art
Programming the Interaction Space Twenty Years Later: ReSpecTX Language and IDE
Piattaforma Google Android: Analisi e Sperimentazioni — Marco Guidi
Testing dell' interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET
Adattamento architetturale basato su coordinazione per sistemi socio-tecnici: un caso di studio in TuCSoN
Kit&SODA: A Toolkit for SODA
Glassware - Progettazione e Sviluppo di Applicazioni basate su Smart Glass
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
Un linguaggio di alto livello per la descrizione di ecosistemi di servizi pervasivi
Knowledge Representation and Information Retrieval: Research Papers as MoK Seeds
Make JaKtA multi-platform
RV4Test: exploiting Runtime Verification as a Tool for Software Testing in Distributed Applications
Modernizing Linda eval Primitive: spawn with Code-on-Demand
Risk Prediction as a Service: A RESTful Machine Learning Pipeline for the Healthcare Domain
Estensione di un interprete prolog per la gestione delle eccezioni — Matteo Iuliani
Progetto di una libreria CLP per tuProlog
Natural Language Generation for Personalised Recommendations in Healthcare
Intersectionality in fair AI systems
Symbolic Knowledge Extraction Algorithms Analysis
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
Adherence and Compliance Monitoring for Chronic Patients: State of Art
Progettazione e sviluppo applicazioni embedded distribuite - NoTA + tecnologie ad agenti
Design and prototipation of a unified Python API for ML frameworks
Smart home: reasoning e proattività applicate ad un caso di studio
Il ruolo della simulazione agent-based in sistemi di Health Care
Design and prototype generative-AI-based mechanisms to support immagination in BDI agents
Approximate Stochastic Model Checking in Alchemist
Bias (in AI systems) mitigation algorithm design and development
Coordination as a Service: Distributing TuCSoN as a Cloud-based Service
Smart Home: gestione avanzata della configurazione tramite metafore virtuali
tuProlog vs "rest of the world": un confronto ragionato
Alchemist based biochemical simulator with multiple mobile compartments
Ottimizzazione dell'architettura dell'interprete tuProlog — Ali Nadjoui
Piattaforme per la simulazione di sistemi multicellulari
Symbolic Transfer Learning
Gestione automatizzata di processi in ambito SOA/WS: un caso di studio — Luca Morri
Database Scaling in Docker: Replication vs. Consistency
Multi-paradigm programming: Java/Javascript in Rhino
Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto e sviluppo del sottosistema di personalizzazione
Computationally Modelling Human Motion: un caso di studio
Mobile Computing - piattaforma Android
Riprogettazione ed estensione di un'applicazione Prolog a vincoli in ambiente Eclipse
Traduzione semi-automatica di applicazioni: approcci a confronto
Monitoraggio e controllo automatizzato di macchine virtuali in ambienti ad agenti: sperimentazioni in simpA — Marco Primitivo
Multi-paradigm programming: tuProlog & Scala
Un approccio semantico per la coordinazione di sistemi pervasivi — Sascia Virruso
Esplorazione di scenari di Human Sensing
Analisi alto-livello di sistemi in PRISM
Design and prototipation of a general-purpose software application for interactive Q/A and data collection
tuProlog in the Cloud
Backup toolkit for container-based clusters — Alberto Donati
Multi-paradigm programming: tuProlog & Java 8
JNode come sistema operativo Java-based: analisi e sperimentazioni — Alessandro Cristiano
Smart home e social network
Il ruolo della simulazione in sistemi di Health Care
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
Parallelising Stochastic Simulation Algorithms: optimistic simulation engine for Alchemist
Il modello ad attori nei linguaggi di programmazione moderni - da framework in Java a Google DART
A general implementation framework for tuple centres
Situated coordination in contesti di Home Intelligence: sperimentazione con tecnologie Raspberry e Odroid
Simulazione e Verifica di Sistemi Biochimici in PRISM
Sviluppo dello strumento Graph&SODA per il supporto della metodologia SODA
Design and prototype a solution for distributed volume sharing and backing up on Docker
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
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à.
Large Language Model-based Systems