Per anno

28 tesi / 2010

2010

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

28 tesi / 2010 • in cima • indice • in fondo

tesi / 2010 / personali

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