Ricerca | Progetti Finanziati

Obiettivo del progetto è sviluppare la ricerca nel campo della combinatoria delle parole (CoW) per affrontare problematiche legate ad altre discipline, in particolare alla biologia. Il legame ha una duplice direzione. Alcune linee di ricerca affrontano problemi che emergono da un⿿altra disciplina e ne rappresentano o modellano gli aspetti fondamentali. Altre individuano in proprietà o ambiti ⿿not

Il progetto di ricerca si propone di esplorare e sviluppare tecniche avanzate per migliorare l'interazione uomo-macchina attraverso l'uso di dispositivi smart, applicazioni di intelligenza artificiale e sistemi informativi medici interoperabili. Gli obiettivi specifici includono: 1) Esplorare e sviluppare tecniche interattive con dispositivi smart come smartwatch, smart TV, tavoli touch e sensori

La guerra cognitiva rappresenta una nuova frontiera nelle strategie di conflitto, dove la manipolazione dell'informazione e la distorsione della realtà diventano armi potenti. Essa richiede una strategia complessa di manipolazione delle varie fonti di informazione accessibili dai cittadini. In questo contesto, l'Intelligenza Artificiale (IA) e in particolare l'Intelligenza Artificiale Generativa

Il progetto si articola su 9 task che ne individuano gli obiettivi di ricerca: - Algoritmi per la mitigazione di minacce a sistemi IoT e infrastrutture di rete - Nuove architetture di reti neurali per il rilevamento non supervisionato di anomalie nel traffico di rete - Soluzioni di Quantum Federated Learning tollerante al rumore quantistico e ad attacchi - Schemi per il controllo degli accessi pr

Obiettivi specifici della ricerca riguardano la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a perturbazioni ambientali di tipo stocastico. Saranno presi in considerazione sistemi di servizio, crescite di popolazioni, sistemi SIR e sistemi di attività neuronale. Lo studio dei modelli costruiti sarà effettuato tramite l'analisi di processi stocastici, generalmente

L⿿obiettivo del progetto di ricerca si focalizza sulla qualità nell⿿ambito dello sviluppo del software, con particolare riferimento ai seguenti contesti: 1) individuare un approccio di sicurezza by-design per lo sviluppo di sistemi software, migliorando sicurezza e qualità del codice sin dalle fasi iniziali. 2) estrazione automatica di requisiti software dalle conversazioni degli stakeholder. 3)

La verifica dei sistemi digitali è un'area di ricerca di grande interesse e c'è una richiesta crescente di strumenti automatici di verifica dovuta anche alla notevole complessità dei sistemi da analizzare. I metodi formali hanno giocato e giocano un ruolo rilevante in questa area e hanno portato allo sviluppo di strumenti automatici di verifica di successo come ad esempio i model-checkers. Se da u

L⿿obiettivo di questa ricerca è sviluppare metodologie innovative per migliorare e valutare l⿿affidabilità dei modelli predittivi, sfruttando metadati di profilazione. Questi ultimi permettono di descrivere proprietà valide su sorgenti dati di diversa natura e di fornire una comprensione più approfondita delle caratteristiche degli stessi. Poiché i modelli valutano proprietà statistiche valide sui

Un modello di linguaggio di grandi dimensioni (Large Language Model - LLM) è un modello computazionale che riesce, ad esempio, a generare testo sulla base di modelli linguistici che imparano da relazioni statistiche tra grandi quantità di testo durante un processo di formazione automatizzato e semi-supervisionato. L'obiettivo della ricerca, ovvero del progetto AI-Powered Agile Development (AI-PAD)

Il progetto di ricerca si focalizzerà sullo sviluppo e la validazione di sistemi intelligenti e applicazioni software, in diversi ambiti: 1) Definizione di metodi automatici per la verifica della qualità e della sicurezza del software, attraverso la generazione di casi di test in grado di identificare efficacemente difetti e vulnerabilità nel codice sorgente. 2) Utilizzo e adattamento di algoritm

Le tematiche che il gruppo di ricerca intende affrontare si possono raggruppare in tre filoni, tra di loro collegati: 1. Si intendono studiare tecniche per la diffusione di informazione in reti complesse e canali a multiaccesso, in assensa di coordinazione tra gli agenti coinvolti. 2. Si intendono studiare tecniche per la previsione dei motif (ovvero, strutture locali ricorrenti) negli ipergrafi u

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.

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 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

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