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
-
analisi di sistemi di riduzione mediante sistemi di transizione (art)
-
architetture di software router liberi basate sull'aggregazione di commutatori di piccole dimensioni: (bora-bora)
-
automi e linguaggi formali: aspetti matematici e applicativi
-
dinamica della visione: dal sistema umano ai sistemi intelligenti
-
elaborazione e trasmissione d'informazione in sistemi neuronali soggetti a evoluzione stocastica
-
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
-
guide adattative, context-aware e multimediali su dispositivi mobili
-
i fondamenti cognitivi per la creazione del diritto
-
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.
-
moma: soluzioni middleware per servizi web multimodali in mobilita
-
monumenti epigrafici e letterari del medioevo iranico, centrasiatico e indiano: filologia e lessicografia.
-
nuove musiche e nuove tecnologie
-
pericolosita' sismica indotta: analisi, modellazione e scenari previsionali di frane innescate da terremoti
-
potenzialità e ottimizzazione delle banche dati automatizzate in epidemiologia
-
problemi di routing e packing nell'ottimizzazione dei sistemi di trasporto
-
progettazione integrata di sistemi biomimetici nanostrutturati autoorganizzanti per applicazioni nei settori del rilascio mirato di farmaci e dell'ingegneria tissutale
-
servizi pubblici in rete ed utente telematico.
verso una nuova cittadinanza amministrativa.
-
sistemi di infomobilità e distribuzione merci in aree metropolitane
-
specifica e verifica di protocolli di interazione fra agenti
-
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
-
sviluppo di nuove tecnologie modulari di selezione ed acquisizione di eventi per applicazioni in fisica astroparticellare e in fisica delle alte energie
-
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
-
via architettura virtuale interattiva
-
vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali
