Per Year

28 theses / 2010

2010

Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi (2nd cycle) — Andrea Tosi
Modellazione di leggi chimiche per la generazione della forma (1st cycle) — Davide Ensini
Modellazione agent-based delle dinamiche alla base della precoce regionalizzazione dell'embrione di Drosophila Melanogaster (2nd cycle) — Lorenzo Ravaglia
Progettazione di un framework di sicurezza per smartphone (2nd cycle) — Marco Antonio Primiceri
Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D (1st cycle) — Matteo Pozzi
Porting e processo di mantenimento di applicazioni Java su piattaforma .NET (1st cycle) — Alessandro Montanari
Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN (2nd cycle) — Simone Romei
Algoritmi di ricerca locale stocastica per l'ottimizzazione di parametri in un simulatore biologico (2nd cycle) — Fabio Tonti
Modellazione di meccanismi morfogenetici in Repast (2nd cycle) — Filippo Campana
Towards Boolean network design for robotics applications (2nd cycle) — Mattia Manfroni
Organizzazione della conoscenza sul Web tramite SKOS (1st cycle) — Chiara Casalboni
Artefatti di coordinazione per agenti in Smart Environment (1st cycle) — Andrea Mordenti
Topologia nel modello di coordinazione TuCSoN (1st cycle) — Enrico Zamagni
Law and Science through the Lens of Patent Law and Software Agents (3rd cycle) — Migle Laukyte
Constructs and Applications of Generic Programming in Object-Oriented Languages (3rd cycle) — Maurizio Cimadamore
Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (3rd cycle) — Michele Piunti
Hive BDI. Extending BDI Agents with Shared Memory (1st cycle) — Matteo Barbieri
ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis (2nd cycle) — Marco Battarra
Analysis and quantification of information in biological networks for protein function prediction (2nd cycle) — Frens Tedeschini
Migrazione a caldo di macchine virtuali in infrastrutture di virtualizzazione (1st cycle) — Davide Salvaterra
Infrastrutture di virtualizzazione nei sistemi IT e virtual desktop infrastructure (1st cycle) — Enrico Polverelli
Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster (2nd cycle) — Nicola Donati
Coordinazione space-based per la piattaforma bioinformatica Cellulat (2nd cycle) — Marco Sbaraglia
Virtualizzazione di sistemi di elaborazione: la tecnologia Virtual-Box come caso di studio (1st cycle) — Cristiana Casanova
Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (1st cycle) — Michele Pratiffi
Graph&SODA: A Graphical Tool for SODA (1st cycle) — Luca Staccoli
Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni (2nd cycle) — Antonio Danilo Santoro
Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog (1st cycle) — Sara Sabioni

28 theses / 2010 • top • index • bottom

theses / 2010 / personal

Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini