Per Year
28
theses
/
2010
- 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
- Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi (2nd cycle) — Andrea Tosi
- 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
- Topologia nel modello di coordinazione TuCSoN (1st cycle) — Enrico Zamagni
- Organizzazione della conoscenza sul Web tramite SKOS (1st cycle) — Chiara Casalboni
- Artefatti di coordinazione per agenti in Smart Environment (1st cycle) — Andrea Mordenti
- Law and Science through the Lens of Patent Law and Software Agents (3rd cycle) — Migle Laukyte
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (3rd cycle) — Michele Piunti
- Constructs and Applications of Generic Programming in Object-Oriented Languages (3rd cycle) — Maurizio Cimadamore
- Hive BDI. Extending BDI Agents with Shared Memory (1st cycle) — Matteo Barbieri
- 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
- 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
- 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