Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali
Progetto MIUR PRIN 2005 n.2005-015491

+ english

Padova

La ricerca dell'unità di Padova (unità 1) è mirata all'estensione dei formalismi esistenti per la gestione di problemi con preferenze ed incertezza, e allo sviluppo di nuove tecniche di soluzione per problemi di scheduling.

• Rossi Francesca
  responsabile scientifico unità
  Dip. Matematica pura ed Applicata
  Università degli Studi di Padova
  frossi(at)math.unipd.it
• Gavanelli Marco
  Dip. Ingegneria
  Università di Ferrara
  marco.gavanelli(at)unife.it
• Venable K. Brent
  Dip. Matematica pura ed Applicata
  Università degli Studi di Padova
  kvenable(at)math.unipd.it

Dottorandi

• Pini Maria Silvia
  Dip. Matematica pura ed Applicata
  Università degli Studi di Padova
  mpini(at)math.unipd.it

Collaboratori del CNR

• Cesta Amedeo
  CNR - ISTC (Istituto per le Science e le Tecnologie Cognitive)
  amedeo.cesta(at)istc.cnr.it
• Oddi Angelo
  CNR - ISTC
  
• Policella Nicola
  CNR - ISTC
  nicola.policella(at)istc.cnr.it

PROGETTO DELL'UNITÀ DI RICERCA - Modello B

RENDICONTO DELL'UNITÀ DI RICERCA - Modello C

+ Progetto

• Obiettivo
• Linee di lavoro

+ Unità di ricerca

• Padova
• Udine
• Genova
• Pescara

+ Attività di ricerca

• T1: Estensione di formalismi esistenti
• T2: Applicazione delle tecniche di vincoli

+ Workshop

• 10 Aprile 2006
• 21 Marzo 2007

+ Risultati + Contatto

+ torna su

Progetto MIUR PRIN 2005 - Coordinatore Scientifico del Programma di Ricerca: Francesca Rossi