Research | Projects

Quota al Dipartimento per le attività c/terzi

Il progetto si propone di esplorare e sviluppare nuovi paradigmi di interazione uomo-macchina attraverso l¿impiego di tecniche interattive avanzate con dispositivi smart, la definizione ed implementazione di linguaggi grafici e l¿uso dell¿intelligenza artificiale (IA) sia per l¿innovazione didattica che per lo sviluppo di software. In primo luogo, si intende migliorare l¿esperienza utente su dispo

La diffusione dei modelli linguistici di grandi dimensioni (LLM) ha reso urgente l¿analisi dei meccanismi con cui questi sistemi possono essere manipolati tramite prompt malevoli, volti ad aggirare vincoli etici e comportamentali e a indurre la generazione di contenuti inappropriati, pericolosi o fraudolenti.Il progetto intende contrastare questi rischi proponendo un approccio ibrido che combina

- Progettazione ed analisi di protocolli efficienti per computazione sicura tra due parti- Developing automated methods for insight extraction and feature selection to address challenging prediction problems in big-data scenarios- Sviluppare metodologie avanzate per la messa in sicurezza dei veicoli connessi.- Progettare ed analizzare schemi per il controllo anonimo degli accessi a risorse cond

Il progetto ha lo scopo di esplorare alcune questioni fondamentali, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell'ambito delle reti complesse.Gli obiettivi della ricerca sono volti ad ottenere un avanzamento dello stato dell'arte relativamente alle tematiche seguenti.1. Problemi algoritmici intrinseci alle reti complesse, in particolare:- Dinamiche di propagazi

Obiettivi 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 non omogen

L¿obiettivo del progetto di ricerca si focalizza ingegnerizzazione di Sistemi AI-enabled e sulla verifica e convalida automatica della qualità e della sicurezza di sistemi software. In particolare, saranno definiti e sperimentati di metodi, tecniche e strumenti a supporto dell¿ingegnerizzazione di sistemi software AI-enabled in grado di garantire non solo la correttezza funzionale, ma anche la qu

L'ideazione e lo sviluppo di strumenti automatici per le verifiche di correttezza nei sistemi digitali costituiscono un'area di ricerca di grande interesse. I metodi formali hanno giocato e giocano un ruolo rilevante in questo ambito e hanno portato negli anni allo sviluppo di strumenti di successo come ad esempio i model-checkers. Se da un lato questa tecnologia si è rivelata essenziale per l'ind

La ricerca si propone di sviluppare modelli di apprendimento automatico (ML) multimodali per l'individuazione della misinformazione, integrando l'analisi di contenuti testuali (coerenza semantica e Visual Question Answering ¿ VQA), audio (manipolazioni sonore) e video (rilevamento di deepfake). L¿obiettivo è di impiegare il Federated Learning per la protezione dei processi di addestramento non a d

Il progetto mira a sviluppare tecniche di apprendimento automatico capaci di operare in contesti distribuiti, dinamici e caratterizzati da risorse computazionali limitate, quali quelli legati all¿Internet of Things. In particolare, ci si propone di sviluppare tecniche di Learning capaci di adattarsi a dispositivi eterogenei, di raggiungere il giusto compromesso tra costi di comunicazione e carico

Il progetto AI4Health mira a sviluppare soluzioni intelligenti per la diagnosi precoce e la prevenzione predittiva di patologie croniche e disturbi psichiatrici, integrando tecniche avanzate di intelligenza artificiale. Mediante ML, elaborazione di segnali biometrici e interazione uomo-robot, saranno realizzati sistemi di supporto decisionale basati su explainable AI per aumentare la fiducia clini

Il progetto di ricerca si focalizzerà su progettazione e sviluppo di sistemi intelligenti e applicazioni software, in diversi ambiti: 1) 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 nel contesto dello sviluppo software. 2) stu

Obiettivo del progetto è sviluppare la ricerca nel campo della combinatoria delle parole, sia in ambito teorico sia per affrontare problematiche legate ad altre discipline, come la biologia, anche con l¿uso di tecniche innovative, ad esempio l¿applicazione di modelli di Machine Learning (ML). In particolare, si prevede di sviluppare le seguenti linee di ricerca:(a)Studio di insiemi isometrici di

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

REHACHAIN - ricerca, sviluppo e validazione di tecnologie Blockchain nell’ambito di soluzioni tecnologiche per la riabilitazione, anche in ambienti di metaverso

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

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

TeleRiabilitazione ad alta tecnologia per il trattamento del paziente FRAgile - ACRONIMO: TeleRiab4Fra