Ricerca | Progetti Finanziati

SOLOMAX - SOcialNetwOrk of MedicAlEXperiences Prog. n. F/260007/05/X51

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

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, wearable, smart TV e touch table. Tra le tecniche da sperimentare includiamo tecniche di immissione ed editing di testo e diagrammi, sistemi interattivi di supporto alla divu

L'obiettivo del progetto è sviluppare la ricerca nell'area della combinatoria delle parole e dei linguaggi formali. La ricerca riguarderà i linguaggi bidimensionali, i codici a lunghezza variabile e i linguaggi regolari generati da sistemi splicing. Per quanto riguarda gli aspetti applicativi, si intende proseguire lo studio di alcune classi di stringhe, note in letteratura, che hanno recentement

La ricerca sarà orientata alla formulazione e all'analisi di modelli stocastici di tipo markoviano e gaussiano-markoviano da utilizzare per la descrizione di sistemi complessi in evoluzione stocastica quali sistemi di servizio, modelli di attività neuronale, crescite di popolazioni.Allo scopo di confrontare i vari modelli analizzati verranno individuate opportune misure prestazionali che sarann

L¿obiettivo del progetto di ricerca è l¿investigazione di metodi e strumenti per la gestione della qualità del prodotto e del processo software, con particolare riferimenti ai seguenti ambiti: 1) strumenti semi-automatici che possano supportare gli sviluppatori durante le attività di identificazione di problemi di progettazione nel codice sorgente e la successiva loro rimozione; 2) metodi per migl

L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro

L'estrazione delle dipendenze funzionali (functional dependencies - FD) dai dati è un'importante tecnica di data profiling. Oggi esistono diversi algoritmi per scoprirle in modo automatico a partire dai dati. Tuttavia, in molti scenari emergenti è necessario il supporto online per l¿estrazione di FD da dati in continuo cambiamento, senza la possibilità di poter memorizzare l'intero dataset in inpu

Il progetto di ricerca si focalizzerà sulla progettazione e lo sviluppo di sistemi intelligenti, in diversi ambiti: 1) studio delle risposte dell¿utente in realtà virtuale per analizzare informazioni biometriche e di ¿soft biometric¿ dell¿utente stesso; 2) modelli di architettura software per lo sviluppo di sistemi per la prevenzione e la gestione di emergenze che integrano fonti eterogenee d¿info

restituiti € 7.819,39 per rinuncia dal 01/01/2023

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, wearable e smart TV. Tra le tecniche che si vogliono proporre e sperimentare includiamo tecniche di immissione ed editing di testo e diagrammi, considerando anche lo sviluppo

L'obiettivo del progetto è sviluppare la ricerca nell'area della combinatoria delle parole e dei linguaggi formali, sia per quanto riguarda gli aspetti teorici che quelli applicativi. Per quanto riguarda la combinatoria delle parole, la ricerca riguarderà alcune classi di stringhe, note in letteratura, che hanno recentemente suscitato interesse per la loro applicazione alla bioinformatica. La rice

Il progetto si articola su 5 direttrici di ricerca fondamentali che individuano specifici task:- Sviluppo di modelli, tecniche ed algoritmi innovativi a supporto della classificazione automatica del traffico ed al rilevamento di attacchi e anomalie zero-day.- Progettazione ed analisi di schemi di autenticazione lightweight ed ultralightweight. - Progettazione ed analisi di schemi che consentano

La ricerca si pone come obiettivo la formulazione e lo studio di modelli stocastici markoviani e gaussian-markoviani per la descrizione di sistemi in evoluzione stocastica quali sistemi di servizio, modelli di attività neuronale, crescite di popolazioni.La ricerca sarà orientata anche all'individuazione di opportune misure prestazionali per lo studio ed il confronto dei vari sistemi in esame anch

L¿obiettivo del progetto di ricerca è l¿investigazione di metriche e tecniche per l¿analisi della qualità nella produzione del software, con particolare riferimenti ai seguenti ambiti: la riorganizzazione del codice sorgente, il riuso del codice, il testing automatico, le tecniche per migliorare l'accuratezza dei modelli di predizione (per esempio dei difetti, dei costi di sviluppo e della manuten

L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro

Le dipendenze funzionali rilassate (relaxed functional dependency - RFD) sono dipendenze funzionali approssimate con un'accresciuta capacita` di esprimere relazioni tra i dati. L'estrazione delle RFD dai dati è un'importante tecnica di data profiling. Esistono diversi algoritmi per l¿estrazione automatica di RFD dai dati, i quali però hanno problemi di scalabilità su big data, in quanto diventano

Il progetto di ricerca si focalizzerà sulla progettazione e lo sviluppo di sistemi informativi e applicazioni software, così come degli strumenti a supporto, tenendo conto diversi ambiti: 1) testing e stiama dei costi nella produzione del software; 2) il del Coverage Path Planning(CPP) e stimare la posa di un soggetto identificato dal drone nel contesto della videosorveglianza 3) identificazione d

Il progetto ha l'obiettivo di indagare i meccanismi che governano l'evoluzione di processi dinamici in reti complesse. Più in dettaglio, investigheremo questioni algoritmiche che sorgono nei seguenti ambiti: 1. Studio delle dinamiche di propagazione dell'informazione in reti sociali. Il fine è di sviluppare algoritmi che permettano la diffusione di influenza e/o informazioni in modo rapido, effi

" PIATTAFORME TECNOLOGICHE DI RICERCA COLLABORATIVA PER LA LOTTA ALLE PATOLOGIE ONCOLOGICHE" POR CAMPANIA FESR 2014-2020 ASSE 1 OBBIETTIVO SPECIFICO 1.2 SYSTEM INNOVATION FOR CANCER EARLY DIAGNOSIS SICED

causa rinuncia assegnisti, sono stati restituiti € 37.100 che saranno aggiunti come incrementi di budget per poterli spendere.

totale progetto su tre dipartimenti € 15.819,30 External expertise (personale esterno) tot. 13.500 € 4.500 per ognuno dei tre dipartimenti € 2.319,30 spese di funzionamento e altri costi, tutti al dipartimento di Informatica

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, ma anche dispositivi wearable, come gli smart watch e dispositivi di grandi dimensioni come smart TV. L'interazione può avvenire sia con gesti effettuati sulla superficie del

L'obiettivo del progetto è sviluppare la ricerca nell¿area dei codici, della combinatoria delle parole e dei linguaggi formali, sia per quanto riguarda gli aspetti teorici che quelli applicativi. La ricerca sui codici sarà rivolta all'estensione della teoria nel caso bidimensionale o in contesti più generali degli insiemi di stringhe e allo studio di proprietà di fattorizzazione dei codici. Sarann

- Modellazione, progettazione ed analisi di schemi probabilistici per la condivisione di segreti - Progettazione ed analisi di schemi per autenticazione utente unilaterale che non necessitino di condivisione di informazione tra le parti- Sviluppo di architetture, modelli, protocolli ed algoritmi a supporto delle comunicazioni sicure ed affidabili in ambito Internet of Things (IoT)- Sviluppo e

Le reti complesse sono intensamente studiate da un'ampia comunità di ricercatori. Questo progetto indagherà alcune tra le principali problematiche, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell¿ambito di tali reti. Particolare attenzione verrà rivolta allo studio di problematiche che sorgono nell¿area delle Reti Sociali.Gli obiettivi della ricerca sono volti ad

La ricerca sarà orientata alla formulazione e all'analisi di modelli stocastici markoviani e non per la descrizione di sistemi in evoluzione stocastica di interesseinformatico e cibernetico: sistemi di servizio, modelli di attività neuronale, crescite di popolazioni. Ci si propone di individuare opportune misure prestazionali per lo studio ed il confronto dei vari sistemi in esame anche allo sco

L¿obiettivo del progetto di ricerca è l¿investigazione di metodi e tecniche per l¿ingegneria del software, con particolare riferimenti ai seguenti ambiti: 1) Identificazione e risoluzione di problemi di progettazione nel codice sorgente, 2) Definizione di metodologie e tecniche per migliorare l'accuratezza di modelli per la predizione di difetti software; 3) Stima dei costi in fase di sviluppo (da

L'utilizzo di tecniche automatiche di verifica sin dalle prime fasi della progettazione contribuisce a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra le diverse metodologie una tecnica che si sta affermando anche a livello industriale è il model-checking. In questo progetto si vuole contribuire all'avanzamento dello stato dell¿arte di alcune tecniche di verifica automatica di

Le dipendenze funzionali rilassate (relaxed functional dependencies ¿ rfd) sono dipendenze funzionali approssimate con un¿accresciuta capacità di esprimere relazioni tra i dati. Grazie all¿introduzione di criteri approssimati di validità e di confronto tra i valori degli attributi, le rfd possono catturare proprietà utili per scopi molteplici, quali l¿identificazione di inconsistenze nei dati, pat

Il progetto di ricerca si focalizzerà sulla definizione, il progetto e l¿analisi di strumenti a supporto dello sviluppo di sistemi informativi e applicazioni software, in diversi ambiti 1) sistemi di autenticazione basato sul riconoscimento dell¿iride, che risulti essere efficace ed efficiente anche in ambito mobile; 2) testing di sistemi software e applicazioni; 3) la stima dei costi per il loro

PROBIM - Prog. n. F/050491/03/X32 "Piattaforma informatica collaborativa basata sull'utilizzo integrato di tecnolopgie di supporto della PROgettazione parametrica BIM e della capitalizzazione dell'esperienza, finalizzata allo sviluppo di offerte competitive di qualità, in linea con la riforma europea delle gare di appalto"

HORIZON 2020 "Raising open and user-friendly transparency-enabling technologies for public administrations" ROUTE-TO-PA

SPIN OFF: Attività di ricerca, sviluppo, produzione e commercializzazione di prodotti e progetti innovativi nell'ambito della sicurezza informatica

Sviluppare ricerche su temi di frontiera riguardanti l'informatica giuridica e gli studi giuridici computazionali.

eHealthNet: ecosistema software per la sanità

eHealthnet : Ecosistema software per la sanità

CULTURAL HERITAGE INFORMATION SYSTEM "CHIS"

Knowledge extraction, semantic web, fuzzy conceptual analysis, natural language processing, ontology alignment.

Interazione uomo-macchina su dispositivi mobili.

nel budget sono comprese spese di personale dipendente che rappresentano il 15% del totale (costo virtuale cofinanziato dal Dip.)

nel budget sono comprese spese di personale dipendente che rappresentano il 15% del totale (costo virtuale cofinanziato dal Dip.)

nel budget sono comprese spese di personale dipendente che rappresentano il 15% del totale (costo virtuale cofinanziato dal Dip.)

Convenzione progetto TIE