Projects
| Title |
Managers |
Starting date |
|
Ricostruzione tridimensionale dalle immagini, visualizzazione e localizzazione nell'ambito del progetto VISIT (PRIN 2009)
|
Andrea Fusiello |
11/15/11 |
|
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009)
|
Tiziano Villa |
7/15/11 |
|
Interpolazione multivariata con polinomi, RBF e altre basi e applicazioni (PRIN 2009)
|
Leonard Peter Bos |
7/15/11 |
|
Teoria tilting, localizazzione e purità in categorie di moduli e categorie derivate (PRIN 2009)
|
Lidia Angeleri |
7/15/11 |
|
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009)
|
Franco Fummi |
7/15/11 |
|
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009)
|
Andrea Masini |
7/15/11 |
|
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato)
|
Roberto Giacobazzi |
7/15/11 |
|
Celle solari flessibili di CdTe monoliticamente integrate in configurazione superstrato (PRIN 2009)
|
Alessandro Romeo |
7/15/11 |
|
HyCARoS ( Hybrid Control for Augmented Robotic Surgery) (PRIN 2009)
|
Paolo Fiorini |
7/15/11 |
|
Modellazione, gestione e analisi intelligente di processi clinici temporali (PRIN 2009)
|
Carlo Combi |
7/15/11 |
|
Analisi e classificazione di comportamenti sociali mediante modelli grafici probabilistici generativi (PRIN 2008)
|
Vittorio Murino |
1/27/10 |
|
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008)
|
Franco Fummi |
1/27/10 |
|
Simulatore chirurgico aggiornato con dati intraoperatori (PRIN 2008)
|
Paolo Fiorini |
1/27/10 |
|
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008)
|
Davide Quaglia |
1/27/10 |
|
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008)
|
Damiano Carra |
1/27/10 |
|
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007)
|
Franco Fummi |
9/22/08 |
|
Navigazione interattiva di scenari sonori affettivi (PRIN 2007)
|
Federico Fontana |
9/22/08 |
|
Studio delle interazioni di idrogeno, azoto e composti idrogenati di azoto con superfici ideali di nanocavità in silicio con tecniche di microscopia vibrazionale Raman, di spettroscopia ottica risolta in tempo e di spettroscopia di annichilazione dei positroni (PRIN 2007)
|
Gino Mariotto |
9/22/08 |
|
Interpolazione multivariata con polinomi e con funzioni radiali di base: analisi di stabilita`, implementazioni efficienti e applicazioni (PRIN 2007)
|
Stefano De Marchi |
9/22/08 |
|
Metodi per l'integrazione e l'aggiornamento continuo di dati spaziali in applicazioni geografiche (PRIN 2007)
|
Alberto Belussi |
9/22/08 |
|
Modellazione e gestione di aspetti temporali in workflow clinici (PRIN 2007)
|
Carlo Combi |
9/22/08 |
|
Registrazione e acquisizione multimodale di immagini (PRIN 2007)
|
Paolo Fiorini |
9/22/08 |
|
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007)
|
Andrea Acquaviva |
9/22/08 |
|
Applicazione della spettroscopia e microspettroscopia vibrazionale FTIR e Raman allo studio della risposta agli stress di Oenococcus oeni (PRIN 2007)
|
Francesca Monti |
9/22/08 |
|
Metodi di ragionamento automatico per l'analisi di hardware e software: progetto, integrazione, applicazione - Grandi macchine di prova come piccole macchine di prova: progetto, integrazione ed applicazione all'analisi di programmi (PRIN 2006 valutato positivamente ma non finanziato)
|
Maria Paola Bonacina |
2/9/07 |
|
Sound Design per Sistemi Interattivi (PRIN 2006)
|
Davide Rocchesso |
2/9/07 |
|
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006)
|
Roberto Giacobazzi |
2/9/07 |
|
Modelli simbolici di dinamiche cellulari: algoritmi biomolecolari e sistemi dinamici a membrana - Rinnovo (PRIN 2006)
|
Vincenzo Manca |
2/9/07 |
|
Modelli e metodi per la verifica composizionale (PRIN 2006)
|
Roberto Segala |
2/9/07 |
|
Sound Design per Sistemi Interattivi (PRIN 2005)
|
Davide Rocchesso |
1/30/06 |
|
Metodi, algoritmi e strutture per la caratterizzazione di reti di trasduzione di segnali biomolecolari (PRIN 2005)
|
Federico Fontana |
1/30/06 |
|
Metodi computazionali per l'acquisizione della forma e del moto del corpo umano mediante tecniche attiche attive e passive (PRIN 2005)
|
Andrea Fusiello |
1/30/06 |
