Ricerca | Progetti Finanziati

Tecnologie avanzate per il controllo delle risorse di rete nei moderni scenari Cloud-based e Big Data-driven.

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi mobili e wearable di varie dimensioni, con diverse tecnologie di input (quali gesti e voce), che includono smartphone, tablet, smart TV, touch table e dispositivi wearable nell'ambito dell'IoT. Si sperimenteranno tecniche per l'inserimento e l'editing di testo anche tramite uso della voce, con applic

L'obiettivo del progetto è quello di sviluppare la ricerca nel campo della combinatoria delle parole e dei linguaggi formali, esaminandone aspetti teorici, estensioni e possibili applicazioni in ambiti diversi. Più in particolare, si prevede di sviluppare le seguenti linee di ricerca: studio delle proprietà delle picture, con particolare riferimento all'overlap con o senza errori, studio di alcune

Il progetto si articola su 10 task fondamentali che ne individuano gli obiettivi di ricerca:-Algoritmi per la mitigazione di minacce a sistemi IoT e infrastrutture di rete-Approccio unificato a compressione e privacy considerando dati uni- e bidimensionali.-Progettazione/analisi protocolli per condivisione distribuita segreti e per calcolo privato funzionalità tra 2 parti. -Costruzione di sche

Obiettivo specifico della ricerca sarà la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a fluttuazioni stocastiche. Particolare attenzione sarà rivolta a modelli di code, modelli di crescita delle popolazioni e modelli di attività neuronale. Lo studio di tali modelli sarà effettuato tramite l'analisi di processi stocastici, generalmente non omogenei nel tempo, di

L'obiettivo del progetto di ricerca si focalizza sulla gestione della qualità software, con particolare riferimenti ai seguenti contesti: 1) definizione di strumenti automatici e semi-automatici che possano supportare gli sviluppatori durante le attività di identificazione di problemi di progettazione a diversi livelli di astrazione nel codice sorgente e la successiva loro rimozione; 2) definizion

La ricerca di bugs nei sistemi concorrenti è un'attività molto complessa soprattutto se questi si manifestano solo in un numero esiguo di interleavings. In questi casi, strumenti tradizionali quali il testing faticano ad individuarli, e quindi sono da preferire tecniche quali il model-checking che invece effettuano una ricerca esaustiva su tutti i possibili interleavings. In questo progetto si vuo

La ricerca nell'area data profiling mira a definire algoritmi di discovery per diversi tipi di metadati, come dipendenze funzionali e versioni estese delle stesse. Tra le principali sfide sorte in quest'area di ricerca vi è la necessità di sviluppare approcci di discovery che lavorino in modo incrementale, permettendo l'aggiornamento dei metadati validi a valle di modifiche effettuate sui dati. L'

Il progetto di ricerca si focalizzerà sullo sviluppo e la sperimentazione di sistemi e applicazioni software, in diversi ambiti: 1) metodologie per la riduzione dello stress nel contesto delle attività relative alla progettazione ed implementazione di applicazioni software; 2) Impiegare ed adattare algoritmi di computer vision per il riconoscimento della lingua parlata da un individuo dalla sola

La ricerca ha l'obiettivo di produrre algoritmi ed applicativi per questioni che sorgono nell'ambito di sistemi complessi (i.e, sistemi caratterizzati da numerosità di componenti e assenza di regolarità strutturali). Investigheremo questioni che sorgono nei seguenti ambiti:1. Studio delle dinamiche di propagazione di informazioni e di meccanismi di influenza/persuasione in reti sociali. L'obietti

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi wearable e dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, wearable, e smart TV, touch table. Tra le tecniche da sperimentare includiamo tecniche per la creazione di annotazioni tramite editing di testo, diagrammi e voce,

L¿obiettivo del progetto è quello di sviluppare la ricerca nel campo dei linguaggi formali e degli automi, esaminandone aspetti teorici e possibili applicazioni in ambiti diversi. Più in particolare, si prevede di sviluppare le seguenti linee di ricerca: studio delle proprietà strutturali dei codici, studio delle proprietà delle picture, con particolare riferimento all¿overlap con errori, analisi

Il progetto si articola su 8 direttrici di ricerca che individuano specifici task: - Modelli e algoritmi per ottimizzazione architetture SDN, classificazione del traffico, rilevamento attacchi e anomalie- Sistemi per controllo accessi e identificazione utenti in ambito distribuito- Crittoanalisi di primitive e protocolli leggeri, con tecniche basate su deep learning- Architetture federate per

Il progetto ha lo scopo di esplorare alcune importanti questioni, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell'ambito delle reti complesse. In particolare, gli obiettivi della ricerca sono volti ad ottenere un avanzamento dello stato dell'arte relativamente alle seguenti tematiche: 1. Problemi algoritmici che sorgono nello studio delle connessioni che legano, tr

Ci si propone di formulare ed analizzare modelli stocastici, markoviani e gaussiani-markoviani, di sistemi complessi in evoluzione stocastica quali sistemi di servizio, modelli di attività neuronale, crescite di popolazioni.Il confronto tra i vari modelli proposti verrà effettuato tramite l'individuazione e la determinazione di adeguate misure prestazionali e darà la possibilità di discutere marg

L¿obiettivo del progetto di ricerca si focalizza sulla gestione della qualità software, con particolare riferimenti ai seguenti contesti: 1) definizione di strumenti automatici e semi-automatici che possano supportare gli sviluppatori durante le attività di identificazione di problemi di progettazione a diversi livelli di astrazione nel codice sorgente e la successiva loro rimozione 2) definizione

La ricerca di bugs nei sistemi concorrenti è un'attività molto complessa soprattutto se questi si manifestano solo in un numero esiguo di interleavings. In questi casi, strumenti tradizionali quali il testing faticano ad individuarli, e quindi sono da preferire tecniche quali il model-checking che invece effettuano una ricerca esaustiva su tutti i possibili interleavings. In questo progetto si vuo

La ricerca sul data profiling mira a sviluppare metodi e strumenti capaci di estrarre metadati utili, come ad esempio le dipendenze funzionali rilassate (RFD). Questo tipo di metadato può essere utilizzato per il problema del missing value imputation, dove permetterebbe di identificare i valori candidabili alla sostituzione anche in scenari incrementali. Obiettivo di questa ricerca è quello di svi

Il progetto di ricerca si focalizzerà sullo sviluppo e la sperimentazione di sistemi e applicazioni software, in diversi ambiti: 1) Impiegare ed adattare algoritmi di computer vision allo stato dell¿arte per il tracciamento e la stima dello stato dell¿osservatore di contenuti multimediali; 2) Migliorare i modelli di predizione dello sforzo di sviluppo del software; 3) Verifica e convalida automati

Il progetto si articola sulle direttrici di ricerca:?- Modelli ed algoritmi per il rilevamento di attacchi/anomalie?- Progettazione ed analisi di protocolli crittografici lightweight?- Progettazione ed analisi di schemi per l¿autenticazione in sistemi distribuiti?- Algoritmi efficienti per l'utilizzo del canale a multiaccesso con feedback limitato- Progettazione di algoritmi con applicazioni