Progetti
Titolo |
Responsabili |
Data inizio |
Ricostruzione tridimensionale dalle immagini, visualizzazione e localizzazione nell'ambito del progetto VISIT (PRIN 2009)
|
Andrea Fusiello |
15/11/11 |
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009)
|
Tiziano Villa |
15/07/11 |
Interpolazione multivariata con polinomi, RBF e altre basi e applicazioni (PRIN 2009)
|
Leonard Peter Bos |
15/07/11 |
Teoria tilting, localizazzione e purità in categorie di moduli e categorie derivate (PRIN 2009)
|
Lidia Angeleri |
15/07/11 |
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009)
|
Franco Fummi |
15/07/11 |
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009)
|
Andrea Masini |
15/07/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 |
15/07/11 |
Celle solari flessibili di CdTe monoliticamente integrate in configurazione superstrato (PRIN 2009)
|
Alessandro Romeo |
15/07/11 |
HyCARoS ( Hybrid Control for Augmented Robotic Surgery) (PRIN 2009)
|
Paolo Fiorini |
15/07/11 |
Modellazione, gestione e analisi intelligente di processi clinici temporali (PRIN 2009)
|
Carlo Combi |
15/07/11 |
Analisi e classificazione di comportamenti sociali mediante modelli grafici probabilistici generativi (PRIN 2008)
|
Vittorio Murino |
27/01/10 |
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008)
|
Franco Fummi |
27/01/10 |
Simulatore chirurgico aggiornato con dati intraoperatori (PRIN 2008)
|
Paolo Fiorini |
27/01/10 |
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008)
|
Davide Quaglia |
27/01/10 |
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008)
|
Damiano Carra |
27/01/10 |
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007)
|
Franco Fummi |
22/09/08 |
Navigazione interattiva di scenari sonori affettivi (PRIN 2007)
|
Federico Fontana |
22/09/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 |
22/09/08 |
Interpolazione multivariata con polinomi e con funzioni radiali di base: analisi di stabilita`, implementazioni efficienti e applicazioni (PRIN 2007)
|
Stefano De Marchi |
22/09/08 |
Metodi per l'integrazione e l'aggiornamento continuo di dati spaziali in applicazioni geografiche (PRIN 2007)
|
Alberto Belussi |
22/09/08 |
Modellazione e gestione di aspetti temporali in workflow clinici (PRIN 2007)
|
Carlo Combi |
22/09/08 |
Registrazione e acquisizione multimodale di immagini (PRIN 2007)
|
Paolo Fiorini |
22/09/08 |
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007)
|
Andrea Acquaviva |
22/09/08 |
Applicazione della spettroscopia e microspettroscopia vibrazionale FTIR e Raman allo studio della risposta agli stress di Oenococcus oeni (PRIN 2007)
|
Francesca Monti |
22/09/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 |
09/02/07 |
Sound Design per Sistemi Interattivi (PRIN 2006)
|
Davide Rocchesso |
09/02/07 |
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006)
|
Roberto Giacobazzi |
09/02/07 |
Modelli simbolici di dinamiche cellulari: algoritmi biomolecolari e sistemi dinamici a membrana - Rinnovo (PRIN 2006)
|
Vincenzo Manca |
09/02/07 |
Modelli e metodi per la verifica composizionale (PRIN 2006)
|
Roberto Segala |
09/02/07 |
Sound Design per Sistemi Interattivi (PRIN 2005)
|
Davide Rocchesso |
30/01/06 |
Metodi, algoritmi e strutture per la caratterizzazione di reti di trasduzione di segnali biomolecolari (PRIN 2005)
|
Federico Fontana |
30/01/06 |
Metodi computazionali per l'acquisizione della forma e del moto del corpo umano mediante tecniche attiche attive e passive (PRIN 2005)
|
Andrea Fusiello |
30/01/06 |