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 |
