Archivio contratti ex Dipartimento di Informatica e Automazione

Anno 2012

Sviluppo di un sistema per l’apprendimento di regole di estrazione con tecniche di
Cod. 227
Sviluppo di applicazioni innovative su tecnologia Microsoft, Sharepoint, Web 2.0
cod. 228
Raffinamento, test e ottimizzazione del prover per logica ibrida Sibyl
Cod. 231
Messa a punto di un test-bed sperimentale per analisi vulnerabilità sistemi SCADA
Cod. 233
Master ItGov, docenza del corso “Valutazione di progetti di investimento”, per un totale di 13 ore
Cod. 232
Sviluppo di algoritmi di ottimizzazione con applicazione al controllo del traffico aereo
Cod. 234
Sviluppo di strumenti di analisi dei sentimenti e opinioni su flussi informativi testuali
Cod. 235
Sistemi di identificazione di attacchi informatici su Infrastrutture Critiche
Cod. 236
Analisi delle interdipendenze fra settori economici nazionali su datio ISTAT
Cod. 237
Sistemi SCADA per monitoraggio edifici
Cod. 238
Sviluppo software training industriale
Cod. 239
Analisi strategie di sicurezza cibernetica nazionali
Cod. 240
Studio di metodi e tecnologie per il Semantic Web
Cod. 241
Rilascio e sperimentazione di un sistema per la ricerca di materiale diattico da repository
Cod. 242
Metodi di analisi semantica di mappe concettuali per e-learning personalizzato
Cod.243
Studio, Sviluppo e Sperimentazione di un Sistema di Raccomandazione Sociale Sensibile al Contesto
Cod. 244
Simulazione di leggi di controllo per sciami robotici
Cod. 245
Setup sperimentale per test vulnerabilità sistema SCADA
Cod. 246
Valutazione di impatto economico nel settore dei trasporti intermodali
Cod. 247
Refactoring di una base di codice per l’estrazione di informazione da Web
Cod. 248
Traduzione di dati verso database a grafo
Cod. 249
Sviluppo di algoritmi di scheduling per il controllo del traffico nei servizi pubblici
Cod. 250
Analisi e sviluppo di modelli per il traffico urbano
Cod. 251
Sviluppo di un sistema per verifiche d’integrità per sistemi non fidati
Cod.252
Integrazione moduli architettura morning
Cod. 254
Sviluppo meccanismi di identificazione delle anomalie per RTU di sistemi SCADA
Cod. 258
Sviluppo di sistemi di monitoraggio e reazione ad intrusioni informatiche verso sistemi SCADA
Cod. 255
Sistema di valutazione di impatto per reti infrastrutturali sottoposte ad attacchi cyber
Cod. 256
Sistema di valutazione dell’inoperabilità di un sistema SCADA a seguito di attacco informatico
Cod. 257
Tecniche di Modellazione Utente per il Social Semantic Web
Cod.260
Realizzazione di un sistema di stima della camminata basata su sensori inerziali a basso costo
Cod. 261
Implementazione di leggi di controllo per robot mobili in sciame
Cod.262
Realizzazione di sistemi web con verifica di integrità
Cod. 263
Master ItGov, docenza del corso “ Contabilità direzionale
Cod. 259
Realizzazione di un sistema Web multipiattaforma per la visualizzazione del routing interdominio
Cod. 264
Studio strategie di reazione per RTU di sistemi SCADA
Cod. 266
Realizzazione di un sistema client server per la verifica di integrità
Cod.271
Progettazione e sviluppo di estensioni curve a schema algebrico lineare per modelli geometrici
Cod. 270
Progettazione e sviluppo di data base NOSQL per dati e modelli geometrici di enormi dimensioni
Cod. 268
Sviluppo di test per la logistica ferroviaria e avionica
Cod. 267
Filtraggio a fusione di dati sensoriali per applicazioni in sistemi distribuiti multiagente
Cod. 272
Sviluppo di un sistema di autenticazione per piattaforma web per energy management
Cod. 273
Implementazione sistemi di datafusion cob tecniche della teoria dell’evidenza
Cod. 274