Ministero dell'Istruzione dell'Università e della Ricerca

Ente esterno

Indirizzo   Roma


Progetti
Titolo Responsabili Data inizio
FACE: Sconfiggere i malware in modo formale (FIRB 2013) Mila Dalla Preda 10/03/14
BrainFit: Trattografia da risonanza in diffusione per la pianificazione radioterapica e chirurgica (PRIN 2009) Gloria Menegaz 17/10/11
Modelli stocastici complesse, e loro applicazioni alla fisica ed alle scienze sociali ( PRIN 2009 Esterno) Laura Maria Morato 17/10/11
Metodi di viscosità, geometrici e di controllo per modelli diffusivi nonlineari (PRIN 2009 ESTERNO) Antonio Marigonda 18/07/11
Metodi variazionali e topologici nello studio dei fenomeni nonlineari (PRIN 2009 ESTERNO) Marco Squassina 01/01/11
Monopoli, istantoni e strutture olomorfe su varietà noncommutative (PRIN 2008 ESTERNO) Mauro Spera 22/03/10
Trasporto ottimo di massa, disuguaglianze geometriche e funzionali e applicazioni (PRIN 2008 ESTERNO) Giandomenico Orlandi 22/03/10
Some mathematical models in image processing and interfaces motion (Azione Integrata Italia-Spagna 2009) Giandomenico Orlandi 01/01/09
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) Maria Paola Bonacina 22/09/08
Teoria tilting e cotilting e generalizzazioni; applicazioni alle categorie derivate, alle categorie cluster, alla localizzazione, alle congetture omologiche e ad altri problemi aperti (PRIN 2007) Enrico Gregorio 22/09/08
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) Roberto Giacobazzi 22/09/08
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) Luca Vigano' 22/09/08
Studio e sviluppo di celle solari flessibili di CdTe/CdS a film sottile per evaporazione termica in vuoto. (PRIN 2007) Alessandro Romeo 22/09/08
Homing e destino di isole pancreatiche e cellule staminali mesenchimali trapiantate nel ratto studiati in vivo tramite Tomografia a Risonanza Magnetica e Imaging Ottico (PRIN 2007) Pasquina Marzola 22/09/08
Modelli stocastici a molti gradi di libertà: teoria e applicazioni (PRIN 2006 ESTERNO biennale) Laura Maria Morato 09/02/07
Segmentazione e definizione di descrittori efficienti di oggetti tridimensionali. 3-SHIRT (PRIN 2006) Andrea Fusiello 09/02/07
Metodi generativi e discriminativi per classificazione e clustering di dati (PRIN 2006) Vittorio Murino 09/02/07
Metodi di inversione in azione: analisi di serie temporali in magnetoencefalografia (MEG) e imaging-spectroscopy per il Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) (PRIN 2006) Michele Piana 09/02/07
Metodi variazionali nella teoria del trasporto ottimo di massa e nella teoria geometrica della misura (PRIN 2006 ESTERNO) Giandomenico Orlandi 09/02/07
Metodi variazionali e topologici nello studio dei fenomeni nonlineari (PRIN 2006 ESTERNO) Marco Squassina 01/03/06
Modellazione e resa aptico/visiva di oggetti soffici e deformabili (PRIN 2005) Paolo Fiorini 30/01/06
Teoria tilting e cotilting per algebre di artin, anelli astratti e topologici. Confronto fra moduli di lunghezza finita e infinita. (PRIN 2005) Enrico Gregorio 30/01/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) Franco Fummi 30/01/06
InterAbstract - Verification and Security by Abstract Interpretation Roberto Giacobazzi 01/12/05
Caratterizzazione elettronica di Celle Solari ad alta efficienza di CdTe/CdS Alessandro Romeo 28/02/05
INTERLINK InterAbstract, modalità C Roberto Giacobazzi 01/01/05
Modelli simbolici di dinamiche cellulari: algoritmi biomolecolari e sistemi a membrana. (PRIN 2004) Vincenzo Manca 30/11/04
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) Roberto Giacobazzi 30/11/04
Modelli stocastici in dimensione finita e infinita e limiti di scala (PRIN 2004 biennale) Laura Maria Morato 30/11/04
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) Andrea Masini 30/11/04
Supporto di granularità multiple e definite dall'utente nella gestione ed interrogazione di informazioni cliniche caratterizzate temporalmente (PRIN 2004) Roberto Posenato 30/11/04
Calcolo delle Variazioni (PRIN 2004 ESTERNO) Giandomenico Orlandi 30/11/04
Canone Ontologico. Un approccio integrativo alla organizzazione della conoscenza (PRIN 2004 ESTERNO) Matteo Cristani 30/11/04
Formazione Universitaria Italo-Argentina degli insegnati delle scuole secondarie Ruggero Ferro 11/05/04
Sistema automatico di acquisizione e modellazione 3D a basso costo (LIMA3D) Vittorio Murino 01/12/03
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Maria Paola Bonacina 21/11/03
Rappresentazione e interrogazione via Web di informazione geografica eterogenea in formato vettoriale e raster caratterizzata da aspetti temporali Alberto Belussi 21/11/03
Generazione interattiva di suoni prodotti da fenomeni ecologicamente rilevanti. Davide Rocchesso 21/11/03
Problemi limite per processi con struttura spaziale e algoritmi stocastici ( PRIN 2003 annuale) Laura Maria Morato 20/11/03
Telepresence Instant Groupware for higher Education in Robotics (TIGER) (FIRB 2001) Paolo Fiorini 21/02/03
Interpretazione astratta e model checking per la verifica di sistemi embedded Roberto Giacobazzi 21/02/03
Algoritmi bio-molecolari per problemi NP completi Vincenzo Manca 21/02/03
MATRICS Analisi e modellazione di sistemi complessi Paolo Fiorini 01/02/03
Ricostruzione e modellazione tridimensionale di oggetti e scene (2003) Vittorio Murino 01/01/03
Internationally Co-tutored PhD Program in Computer Science with specialization in Computer Vision, Pattern Recognition, and Image Processing Vittorio Murino 01/01/03
Calcolo delle Variazioni (PRIN 2002 ESTERNO) Giandomenico Orlandi 16/12/02
(CoVer) Constraint-based Verification of Reactive systems Roberto Giacobazzi 01/12/02
DNA Computing e modelli di interazione intracellulare Vincenzo Manca 10/05/02
Modellazione, Simulazione e Validazione di Sistemi su Chip Franco Fummi 01/05/02
Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking Roberto Giacobazzi 01/05/02
Estensione della teoria tilting e cotilting a categorie abeliane; algebre di dimensione finita e infinita e loro generalizzazioni Enrico Gregorio 01/05/02
Logica Lineare: verso una logica delle prove Andrea Masini 01/05/02
Dottorato di ricerca in Co-tutela internazionale in logiche e metodi formali per l'informatica Roberto Giacobazzi 01/01/02
Processi Stocastici a struttura spaziale e loro Applicazioni Laura Maria Morato 12/12/01
MEFISTO Roberto Segala 01/10/01
SPA.DA. - Analisi ed elaborazione di informazione spaziale di tipo vettoriale e raster nei Sistemi Informativi Territoriali. Vittorio Murino 01/01/01
Equivalenze e dualità fra categorie di moduli e di Grothendieck; algebre di dimensione finita e infinita Enrico Gregorio 01/01/01
Proprietà asintotiche di sistemi stocastici con struttura spaziale e algoritmi stocastici (2001) Laura Maria Morato 01/01/01
Abstract Interpretation, type systems and control-flow analysis 26/11/00
Certificazione automatica di programmi mediante interpretazione astratta Roberto Giacobazzi 26/11/99
Domini astratti per la certificazione automatica di programmi (1999) Roberto Giacobazzi 01/01/99
Problemi di esistenza e proprietà ergodiche per diffusioni con coefficienti singolari. Convergenze di diffusioni in mezzi non omogenei. (1999) Laura Maria Morato 01/01/99
Numero finanziamenti
Anno Numero
2014
1
2011
4
2010
2
2009
1
2008
6
2007
5
2006
4
2005
3
2004
8
2003
11
2002
8
2001
5
2000
1
1999
3
Condividi