Contenuto
Ti trovi in: HOME »Programmi, progetti e risultati »I progetti »PRIN - Programmi di ricerca di Rilevante Interesse Nazionale »Scienze matematiche e informatiche »INFORMATICAINIZIO_TESTO_DA_INDICIZZARE
INFORMATICA
-
affidabilità e qualità del servizio in sistemi di monitoraggio basati su wireless sensor networks per applicazioni critiche
-
aida2007 - interpretazione astratta: progettazione e applicazioni
-
anonimo: metodi informatici e legali per la protezione della privacy e l'anonimato.
-
aspetti matematici e applicazioni emergenti degli automi e dei linguaggi formali
-
bia-net: accesso in rete alla bibliotheca iuris antiqui
-
controllo e certificazione dell'uso delle risorse (concerto)
-
cooperare (content organization, propagation, evaluation and reuse through active repositories) - la rete, le istituzioni e i patrimoni culturali: mediatizzazione, ridefinizione e fruizione dei contenuti. pratiche di riuso orientate al lifelong learning. realizzazione di un sistema per la gestione di contenuti multimediali e spaziali con tecniche personalizzabili di visualizzazione, presentazione e di navigazione semantica.
-
d-asap: architetture software adattabili e affidabili per sistemi pervasivi
-
dinamiche della visione: luce e colore in ambienti reali e virtuali
-
dinamiche sociali, spazi urbani e tecnologie nelle metropoli di iii generazione
-
elaborazione di segnali cifrati per la tutela della privacy nel trattamento di informazioni sensibili
-
il comportamento adattativo dei sistemi biologici e il metodo scientifico: il ruolo dei modelli formali e materiali, le spiegazioni funzionali, gli approcci disciplinari e l'unificazione
-
integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti.
-
metodologie e strumenti per la valutazione della consonanza nell’ambito delle decisioni strategiche d’impresa
-
modelli per la gestione di flussi di merci per terminal marittimi,piattaforme logistiche e reti di trasporto multimodali
-
musisque deoque ii. un archivio digitale dinamico di poesia latina, dalle origini al rinascimento italiano.
-
performability-aware computing: logiche, modelli e linguaggi (paco)
-
soft - tecniche formali orientate alla sicurezza
