Ricerca | Progetti Finanziati

L⿿obiettivo del progetto è quello di sviluppare la ricerca nel campo della combinatoria delle parole, per studiarne problemi spesso originati in altre aree scientifiche, come la biologia, proporre estensioni di nozioni e risultati fondamentali e indagarne possibili applicazioni. Più in particolare, si prevede di sviluppare le seguenti linee di ricerca: studio di similarità e distanze fra stringhe,

Obiettivo della ricerca è di sviluppare e implementare tecniche innovative in grado di migliorare l'interazione tra uomo e macchina, con particolare riferimento a dispositivi wearable e dotati di touch screen. In particolare, il progetto si propone di studiare e analizzare le diverse possibilità offerte dalle tecnologie interattive, dai linguaggi di alto livello e dall'intelligenza artificiale per

Studio di soluzioni basate su AI e ML di problematiche legate al networking ed alla sicurezza di sistemi informatici.Sviluppo di architetture di reti neurali per la segnalazione di anomalie nel traffico di rete.Investigazione di schemi di autenticazione e di autorizzazione in maniera decentralizzata impiegando Verifiable Credentials e Blockchains.Progettazione ed analisi di protocolli sicuri pe

Il progetto ha lo scopo di esplorare alcune importanti questioni, sia di tipo algoritmico che di natura applicativa, che sorgono nell'ambito delle reti complesse.Il progetto si articola su 4 task fondamentali che ne individuano gli obiettivi di ricerca:1) Dinamiche di propagazione di opinioni in popolazioni e modelli e metodi di immunizzazione di reti;2) Strutture combinatoriali per la diffusio

La ricerca si pone come obiettivi specifici la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a fluttuazioni stocastiche. Particolare attenzione sarà rivolta a modelli per sistemi di servizio, per crescite di popolazioni e per attività neuronale. Lo studio di tali modelli sarà effettuato tramite l'analisi di processi stocastici, generalmente non omogenei nel tempo,

L⿿obiettivo del progetto di ricerca si focalizza sulla qualità nell⿿ambito dello sviluppo e della manutenzione del software, con particolare riferimenti ai seguenti contesti: 1) la progettazione ed implementazione di strumenti automatici e semi-automatici a supporto degli sviluppatori durante le attività di identificazione e rimozione di problemi di progettazione a diversi livelli di astrazione ne

Con l'avanzamento tecnologico i sistemi digitali diventano sempre più complessi e c'è una richiesta crescente di strumenti automatici per la loro verifica. Il bounded model-checking è una delle tecniche di maggior successo per l'individuazione di bugs e rispetto ad altre tecniche, quali ad esempio il testing, presenta una migliore capacità nell'individuazione di bugs che si manifestano raramente n

La ricerca sul data profiling mira a sviluppare metodi e strumenti per estrarre metadati come vincoli di integrità e dipendenze tra i dati. In questo ambito sono state sviluppate soluzioni che permettono l⿿inferenza automatica di questi metadati da sorgenti di dati eterogenee. Tuttavia, tra le maggiori sfide vi è la necessità di analizzare e definire soluzioni metodologiche che sfruttino i metadat

Una software supply chain è costituita dalle componenti, strumenti e processi per sviluppare e dispiegare software. Chi sviluppa software lo fa assemblando componenti open-source e commerciali. Una Software Bill of Materials (SBOM) è utilizzata per dichiarare l'inventario delle componenti utilizzate in un software. L⿿uso degli SBOM consente di rendere pubblico, tra le altre cose, le vulnerabilità

Il progetto di ricerca si focalizzerà sullo sviluppo e la sperimentazione di sistemi e applicazioni software, in diversi ambiti: 1) Utilizzo e adattamento di algoritmi di computer vision per il riconoscimento delle emozioni attraverso l⿿analisi della posa e della camminata.2) progettazione, realizzazione e validazione di uno strumento di supporto per l⿿identificazione e rimozione del codice mort

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

Il progetto ha l'obiettivo di indagare alcune tra le principali problematiche, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell¿ambito delle reti sociali. Più in dettaglio,il progetto è volto ad ottenere un avanzamento dello stato dell'arte relativamente allo studio delle seguenti tematiche specifiche: 1.Sviluppo di metodi algoritmici e/o basati sulla teoria dei gra