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
-
accountability democratica, e-government, valutazione delle politiche pubbliche
-
affidabilità e qualità del servizio in sistemi di monitoraggio basati su wireless sensor networks per applicazioni critiche
-
aida - interpretazione astratta: progettazione e applicazioni
-
aida2007 - interpretazione astratta: progettazione e applicazioni
-
algoritmi per internet e web di prossima generazione: metodologie, progetto ed esperimenti
-
ambienti intelligenti: interpretazione di eventi, riconfigurabilità sensoriale e interfacce multimodali.
-
analisi di sistemi di riduzione mediante sistemi di transizione (art)
-
analisi di strutture di matrici: metodi numerici e applicazioni
-
analisi intelligente dei dati di monitoraggio di emodialisi per il miglioramento dei processi di cura.
-
analisi lessicale e filologica informatizzata dei libri delle cronache in ebraico e in aramaico siriaco
-
analisi strutturale ad alta risoluzione di componenti flagellari in situ e purificati
-
anonimo: metodi informatici e legali per la protezione della privacy e l'anonimato.
-
architetture di software router liberi basate sull'aggregazione di commutatori di piccole dimensioni: (bora-bora)
-
aspetti matematici e applicazioni emergenti degli automi e dei linguaggi formali
-
automi e linguaggi formali: aspetti matematici e applicativi
-
basi di dati crittografate
-
bia-net: accesso in rete alla bibliotheca iuris antiqui
-
canone ontologico. un approccio integrativo alla organizzazione della conoscenza
-
cartoon - context aware routing over opportunistic networks
-
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
-
dinamica della visione: dal sistema umano ai sistemi intelligenti
-
dinamiche della visione: luce e colore in ambienti reali e virtuali
-
dinamiche sociali, spazi urbani e tecnologie nelle metropoli di iii generazione
-
documentalità. ontologie e tecnologie per la cittadinanza e la democrazia
-
ecogestione del territorio
strumenti e procedure partecipati per lo sviluppo di audit della sostenibilità a livello locale
-
elaborazione di segnali cifrati per la tutela della privacy nel trattamento di informazioni sensibili
-
elaborazione e trasmissione d'informazione in sistemi neuronali soggetti a evoluzione stocastica
-
equivalenze e disequivalenze della didattica universitaria on line. modelli pedagogici, processi didattici, ambienti virtuali ed integrati e criteri di valutazione della qualità
-
esteem: emergent semantics and cooperation in multi-knowledge environments - metodi e strumenti avanzati per la collaborazione semantica in comunita' virtuali su web
-
famous fluid analytical models of autonomic systems
-
fondamenti logici dei sistemi distribuiti e codice mobile
-
fondazioni logiche di linguaggi astratti di programmazione
-
funzioni di taglia
-
future applicazioni del paradigma peer-to-peer
-
geopkdd - estrazione e presentazione di conoscenza geografica con tecniche di data mining che salvaguardano la privacy
-
gli dei e la città. identità religiosa e conflittualità politica nel mondo contemporaneo
-
guide adattative, context-aware e multimediali su dispositivi mobili
-
i fondamenti cognitivi per la creazione del diritto
-
il codice dell’amministrazione digitale: un traguardo o un punto di partenza?
-
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
-
il patrimonio teatrale italiano: atlante storico, metodiche e strumenti multimediali di valorizzazione.
-
implementazione ed ottimizzazione di un sistema ad integrazione telematica per il follow-up dei pazienti a rischio cardiovascolare.
-
integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti.
-
l'astrazione nella rappresentazione della conoscenza e nel ragionamento: modellazione e apprendimento
-
logiche a più valori e informazione incerta: metodologie algebriche e algoritmiche.
-
mainstream: algoritmi per strutture informative di grandi dimensioni e 'data streams'.
-
metodi basati sulla similarita' per la visione artificiale e il riconoscimento delle forme: teoria, algoritmi, applicazioni
-
metodi costruttivi in topologia algebra e fondamenti dell'informatica
-
metodi e strumenti per la migrazione di sistemi software verso architetture web e orientate ai servizi: valutazione sperimentale, usabilita' e trasferimento tecnologico
-
metodologie e strumenti per la valutazione della consonanza nell’ambito delle decisioni strategiche d’impresa
-
modellazione multirisoluzione di campi scalari e forme digitali multidimensionali
-
modelli di data mining e di ottimizzazione per le applicazioni biologiche e mediche
-
modelli e metodi per la definizione di piani per il trasporto di merci pericolose
-
modelli e metodi per la gestione dell'informazione e dell'incertezza nei processi di acquisizione della conoscenza.
-
modelli pedagogici e didattici delle comunità virtuali di apprendimento. nuovi stili di pensiero riflessivo nell'interazione uomo-macchina-uomo. progettazione di strutture pedagogiche, didattiche e informatiche di problem solving.
-
modelli per la gestione di flussi di merci per terminal marittimi,piattaforme logistiche e reti di trasporto multimodali
-
modelli simbolici di dinamiche cellulari.
-
modellizzazione matematica del comportamento naturale e artificiale
-
moma: soluzioni middleware per servizi web multimodali in mobilita
-
monumenti epigrafici e letterari del medioevo iranico, centrasiatico e indiano: filologia e lessicografia.
-
musisque deoque ii. un archivio digitale dinamico di poesia latina, dalle origini al rinascimento italiano.
-
nadir: progettazione e valutazione delle prestazioni di protocolli e algoritmi distribuiti per reti mesh con qualità del servizio
-
nuove musiche e nuove tecnologie
-
parlare italiano: osservatorio degli usi linguistici
-
performability-aware computing: logiche, modelli e linguaggi (paco)
-
pericolosita' sismica indotta: analisi, modellazione e scenari previsionali di frane innescate da terremoti
-
potenzialità e ottimizzazione delle banche dati automatizzate in epidemiologia
-
potenziamento e applicazioni della programmazione logica disgiuntiva
-
problemi di routing e packing nell'ottimizzazione dei sistemi di trasporto
-
problemi inversi in medicina ed astronomia
-
problemi inversi nell'imaging medico
-
progettazione integrata di sistemi biomimetici nanostrutturati autoorganizzanti per applicazioni nei settori del rilascio mirato di farmaci e dell'ingegneria tissutale
-
puodarsi: sviluppo prodotto orientato all’utente basato su realta’ aumentata e simulazione interattiva.
-
qualità e controllabilità dei servizi di comunicazione su reti eterogenee (quasar)
-
servizi pubblici in rete ed utente telematico.
verso una nuova cittadinanza amministrativa.
-
sintesi automatica di modelli astratti a partire da dati temporali o spaziali
-
sistemi a oggetti estendibili per ambienti dinamici e impredicibili (eos due)
-
sistemi ad oggetti estendibili (eos)
-
sistemi avanzati di imaging con fasci adronici
-
sistemi di infomobilità e distribuzione merci in aree metropolitane
-
sistemi e calcoli di ispirazione biologica e loro applicazioni -- bisca
-
soft - tecniche formali orientate alla sicurezza
-
specifica e verifica di protocolli di interazione fra agenti
-
strumenti di ricerca per gli archivi letterari digitali del novecento italiano (strale.di.ad900.it)
-
studio e sviluppo di sistemi fisico-computazionali per
l'analisi distribuita di immagini biomediche
-
studio, realizzazione e testing di un sistema ausiliario per l'esecuzione di interventi di cateterismo vascolare e cardiaco atto a ridurre il rischio radiologico a carico del paziente e degli operatori sanitari
-
sull'evoluzione dei sistemi stellari: un passo fondamentale verso lo sfruttamento scientifico di vst
-
sviluppo di nuove tecnologie modulari di selezione ed acquisizione di eventi per applicazioni in fisica astroparticellare e in fisica delle alte energie
-
sviluppo di un sistema integrato di risposte bio-molecolari per lo studio dell'adattamento di dictyostelium discoideum a condizioni di stress ambientali.
-
sviluppo su grande scala di dimostrazioni certificate
-
systems biology: modellazione, linguaggi e analisi (sybilla)
-
tecniche di indicizzazione e reperimento di forme tridimensionali (3-shirt)
-
tecniche per la diagnosi, valutazione e adattività per la qualità del servizio nei sistemi informativi (quadrantis)
-
trame - tecnologie e ambienti di rete per la memoria del xxi secolo
-
uso di metodologie simulative per la scelta del sistema elettorale
-
verso un miglior supporto della differenziazione dei servizi in reti 802.11
-
via architettura virtuale interattiva
-
vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali
-
web ram: web retrieval and mining
