Per Status
34
completed theses
/
Mirko Viroli
- Sviluppo di un progetto di automation testing con approccio BDD e gestione delle CI/CD pipelines (2nd cycle) — Marco Baldassarri
- Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems (3rd cycle) — Roberto Casadei
- Sviluppo del simulatore ALCHEMIST per la modellazione di movimento cellulare (1st cycle) — Franco Pradelli
- Progettazione e implementazione di una incarnazione biochimica per il simulatore Alchemist (1st cycle) — Gabriele Graffieti
- Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio (2nd cycle) — Simone Grotti
- Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist (2nd cycle) — Enrico Polverelli
- Supporting semantic web technologies in the pervasive service ecosystems middleware (2nd cycle) — Paolo Contessi
- Algoritmi Gradient-based per la modellazione e simulazione di sistemi auto-organizzanti (2nd cycle) — Francesca Cioffi
- Supporto a regole chimico-semantiche per la coordinazione di service pervasive ecosystems (2nd cycle) — Matteo Desanti
- Modulo di comunicazione in una infrastruttura per pervasive service ecosystems (2nd cycle) — Michele Morgagni
- Multi-level models and infrastructures for simulating biological system development (3rd cycle) — Sara Montagna
- Semantic Coordination Through Programmable Tuple Spaces (3rd cycle) — Elena Nardini
- Un Framework di simulazione per ecosistemi di servizi pervasivi (2nd cycle) — Danilo Pianini
- Modellazione di leggi chimiche per la generazione della forma (1st cycle) — Davide Ensini
- Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi (2nd cycle) — Andrea Tosi
- Modellazione di meccanismi morfogenetici in Repast (2nd cycle) — Filippo Campana
- Constructs and Applications of Generic Programming in Object-Oriented Languages (3rd cycle) — Maurizio Cimadamore
- Coordinazione space-based per la piattaforma bioinformatica Cellulat (2nd cycle) — Marco Sbaraglia
- Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (1st cycle) — Michele Pratiffi
- Design e Implementazione di un Modulo Semantico per TuCSoN (2nd cycle) — Emanuele Panzavolta
- Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT (1st cycle) — Stefano Mariani
- Self-organising coordination systems (3rd cycle) — Matteo Casadei
- Scripting in Java 6: esperimenti in tuProlog (2nd cycle) — Andrea Del Bene
- Autoorganizzazione di eco-servizi in TuCSoN (1st cycle) — Tommaso Pirini
- Verso reti auto-organizzanti ispirate alle biochimica: un framework di simulazione (2nd cycle) — Lorenzo Cavina
- Progetto e sviluppo di una nuova GUI per l'interprete tuProlog (1st cycle) — Juri Castellani
- Argumentation and artifacts for intelligent multi-agent systems (3rd cycle) — Enrico Oliva
- Engineering Self-organising Systems with the Multi-Agent Paradigm (3rd cycle) — Luca Gardelli
- Advanced role-based models for organisation in MAS coordination infrastructures (2nd cycle) — Stefano Riffelli
- Programmazione a canale (1st cycle) — Michele Mei
- Progetto e sviluppo di un sistema per l'integrazione di Web Services e sistemi multi-agente basati sull'infrastruttura di coordinazione TuCSoN (1st cycle) — Roberto Costantini
- RBAC in sistemi multiagente: modello e implementazione in TuCSoN (2nd cycle) — Daniele Albonetti
- Simulazione di ecosistemi di servizi pervasivi con supporto ad annotazioni tuple based (2nd cycle) — Giacomo Pronti
- Un approccio semantico per la coordinazione di sistemi pervasivi (2nd cycle) — Sascia Virruso