Per stato
48
tesi
/
Giovanni Ciatto
- RV4Test: exploiting Runtime Verification as a Tool for Software Testing in Distributed Applications (laurea magistrale)
- Bias (in AI systems) detection algorithm design and development (laurea magistrale)
- Design and prototype generative-AI-based mechanisms to support immagination in BDI agents (laurea magistrale)
- Design of a shared Web API for generative-AI chatbots, supporting caching of requests and responses (laurea)
- Grouding ALTAI/EGTAI guidelines towards practical Q/A workflows (laurea magistrale)
- Integrate JaKtA with Alchemist, in order to simulate BDI agents (laurea magistrale)
- Make JaKtA multi-platform (laurea)
- Design and prototype a middleware for multi-agent interaction in JaKtA (laurea magistrale)
- Bias (in AI systems) mitigation algorithm design and development (laurea magistrale)
- Design and prototipation of a library for bias detection and mitigation in Python (laurea magistrale)
- Design and prototipation of a general-purpose software application for interactive Q/A and data collection (laurea magistrale)
- Design and prototype a solution for distributed volume sharing and backing up on Docker (laurea magistrale)
- Design and prototipation of a unified Python API for ML frameworks (laurea magistrale)
- Backup toolkit for container-based clusters (laurea magistrale) — Alberto Donati
- Integrated Development Environments: Exploring the Impact of the Implementation of Artificial Intelligence on Workflow Efficiency and its Potential for Developer Displacement (laurea magistrale) — Bruna Moema Dias Bahmed
- Programmazione multi-piattaforma: disamina storica e tecnologica (laurea) — Matteo Lanzi
- An Abductive Platform for Salient Neurons Identification (laurea magistrale) — Christian D'Errico
- JACOP: Programming BDI Agents with Pluggable Concurrency Model (laurea magistrale) — Martina Baiardi
- Extending the 2P-Kt ecosystem: CLP and Labelled LP (laurea magistrale) — Giuseppe Boezio
- Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype (laurea magistrale) — Giulia Brugnatti
- Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (laurea magistrale) — Luca Nannini
- Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (laurea magistrale) — Andrea Giordano
- Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (laurea magistrale) — Giovanni Speciale
- Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (laurea) — Cristiano Aprigliano
- Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (laurea magistrale) — Jason Dellaluce
- Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (laurea) — Marco Pastore
- Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (laurea magistrale) — Maicol Forti
- Engineering Angle-of-Arrival-based Indoor Localization Systems (laurea magistrale) — Shapour Nemati
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (laurea magistrale) — Matteo Castiglio
- Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (laurea magistrale) — Federico Sabbatini
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (laurea) — Riccardo Varotto
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (laurea) — Ilaria Crivellari
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (laurea) — Andrea Dipietro
- AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (laurea magistrale) — XWiki.GiuseppePisano3
- Simulazione di Agenti BDI basati su Prolog in Alchemist (laurea magistrale) — Filippo Nicolini
- Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma (laurea) — Mariano Caldara
- Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (laurea magistrale) — Matteo Minardi
- 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (laurea magistrale) — Enrico Siboni
- Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (laurea) — Jason Dellaluce
- Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (laurea) — Matteo Saccomanni
- Logic-based coordination: a semantic approach to self-composition of services (laurea magistrale) — Ashley Caselli
- Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata (laurea) — Andrea Cardiota
- Blockchain and beyond: proactive logic smart contracts (laurea magistrale) — Alfredo Maffi
- Multi-sensing Data Fusion: Target tracking via particle filtering (laurea magistrale) — Alessandro Contro
- Testing automatico per una implementazione dello standard OpenGL (laurea magistrale) — Edoardo Antonini
- Coordination as a Web Service: una moderna implementazione del modello Linda (laurea) — Lorenzo Rizzato
- Blockchain: modello generale e tassonomia delle componenti chiave (laurea magistrale) — Alex Collini
- La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (laurea) — Nicola Atti
0000-0002-1841-8996