Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (ISTI)

Attività di ricerca

ATTIVITA' DI RICERCA
L'attività di ricerca dell'ISTI può essere ricondotta a sei aree tematiche principali:
o Networking (portavoce Erina Ferro),
o Software (Stefania Gnesi),
o Knowledge (Fausto Rabitti),
o High Performance Computing (Raffaele Perego)
o Visual (Ovidio Salvetti),
o Flight and Structural Mechanics (Cristina Padovani).

Ad ognuna delle aree tematiche afferiscono i laboratori dell'ISTI.

I laboratori di ricerca perseguono un insieme ben definito di obiettivi scientifici fortemente correlati. Oltre che la ricerca, gli obiettivi possono anche riguardare lo sviluppo tecnologico e la formazione. I gruppi di lavoro includono il personale, i collaboratori esterni, studenti di dottorato e di post-dottorato e sono costituiti, in media, da 10 persone. I laboratori di ricerca sono ampiamente indipendenti ed i risultati sono soggetti a valutazione periodica.

La distribuzione attuale dei laboratori e centri nella varie aree tematiche risulta:

Networking
o Reti Wireless (Resp. Erina Ferro)


Software Science and Technologies
o Ingegneria del Software e Sistemi con Garanzia di Funzionamento (Resp. Felicita Di Giandomenico)
o Metodi Formali (Resp. Stefania Gnesi)
o Valutazione di Sistemi Hardware e Software (Resp. Giuseppe Lami)

Knowledge
o Interfacce Utenti nei Sistemi Informativi (Resp. Fabio Paternò)
o Data Mining ed Estrazione della Conoscenza (Resp. Fosca Giannotti)
o Sistemi Informativi Multimediali in Rete (Resp. Fausto Rabitti)

High Performance Computing
o Calcolo ad Elevate Prestazioni (Resp. Raffaele Perego)

Visual
o Segnali e Immagini (Resp. Ovidio Salvetti)
o Informatica Grafica (Resp. Roberto Scopigno)

Flight and Structural Mechanics
o Meccanica dei Materiali e delle Strutture (Resp. Cristina Padovani)
o Dinamica del Volo Spaziale (Resp. Andrea Cardillo)

Per ogni area tematica si riportano alcune parole chiave caratterizzanti l'attività rimandando al sito web dell'Istituto (http://www.isti.cnr.it) per maggiori informazioni:

Networking:

o Ambient Assisted Living (AAL)
o Ambient Intelligence and Smart Spaces
o Certified Electronic Mail
o Common Authentication Technology Next Generation
o Communication Middleware for Context-awareness
o DNS-based Authentication of Named Entities
o Digital Signatures and Cryptography application
o Domain-based Message Authentication, Reporting and Conformance
o Domotics and Home Automation
o E-Government, E-Democracy
o Indoor Localization
o Mobile Social Computing
o Sensing Technologies for Monitoring Systems
o Sensor-based Activity Recognition
o Wireless Communications




Software:

o Advances in Formal Modeling and Applications
o Formal Approaches to Product Family Engineering
o Formal Approaches to Requirements Engineering
o Verification Tools and Techniques
o Formal Modelling and Verification of Collective Adaptive Systems
o Formal Modelling and Verification of Service-Oriented Systems
o Algorithmic Network Models of Spacetime
o Analysis of Interdependencies in Critical Infrastructures
o Dependability Assessment and Fault-tolerant Solutions
o Analysis, Testing and Monitoring of Dynamic Systems
o Testing for Software Quality and Security
o Modeling and analysis of Railway Control Systems
o Model-based E-learnings Sytems
o Models and Methods for Software Product Evaluation
o Software Product Measurement
o Software Process Assessment and Improvement
o Software Certification


Knowledge:

o Ethics-sensitive and Privacy-aware Data Mining
o Visual Analytics
o End User Development
o Context-dependent User Interfaces
o Tools for Accessibility and Usability Evaluation
o Assistive Technologies and Accessibility
o Multimodal User Interfaces
o Emotion-based User Interfaces
o Digital Libraries: Foundations and Systems
o Data Integration and Processing for eScience
o Scholarly Communication Models, Methods and Tools
o Research Data Infrastructures, E-Infrastructures and Virtual Research Environments
o Platforms for Cyber-physical Systems
o Content-based Visual Information Retrieval
o Semantic Web: Reasoning, Learning and Uncertainty
o Automatic Text Classification
o Natural Language Processing and Text Mining
o Machine Learning
o Scientific Database Management
o Data Mining Algorithms and Statistical Methods
o Big Data Analytics & Social Mining
o Mobility Data Mining
o Social Network Analysis
o Social Sensing & Semantic Enrichment of Big Data
o Analytical Platforms & Data infrastructures for Social Mining
o Model-based User Interface Design


Visual and High Performance Computing:

o Information Systems for Big Data: Indexing, Compression, Responsiveness
o Scalable Distributed Computing with Map-Reduce, Giraph, Spark
o Data Mining and Machine Learning for Ranking, Prediction, Recommendation
o Cloud Computing, Cloud Federations, and Cloud Resource Management
o Knowledge Bases and Entity Linking
o Social Media Analysis
o Computational Biology
o Computational Intelligence in Computer Vision
o Computational Topology and Geometry for Vision
o Statistical Signal Processing
o Real Time Imaging and Embedded Systems
o Interactive 3D Graphics
o 3D Digitization
o 3D Printing Technologies
o Reconstruction from Sampled Dataset
o Scientific Visualization
o Web-based Visualization and Mobile Platforms
o Applications to Cultural Heritage
o Nature inspired computation for Smart Sensors
o Document Image Analysis and Restoration
o Assistive technologies and systems integration
o Hybrid intelligent methods
o Shape Analysis and Description


Flight and Structural Mechanics:

o Computational Solid Mechanics
o Mechanics of Masonry Structures
o Stratospheric Balloons Mission Analysis and Operations
o Astrodynamics and Space Experiments on Fundamental Physics
o Satellite Re-Entry Predictions
o Space Debris
o Space Mission Analysis, Design and Operational Support

DIPARTIMENTI, COMMESSE E MODULI
Pur mantenendo una organizzazione interna basata su laboratori e centri, l'attività di ricerca di ISTI si è parzialmente riconfigurata in commesse e moduli di ricerca secondo l'organizzazione della ricerca CNR.

In particolare ISTI vanta le seguenti partecipazioni (dati 2014):

Dipartimento Ingegneria, ICT e Tecnologie per l'Energia e i Trasporti
- Progetto Apparati e Tecnologie per Reti Telematiche (2 commesse,1 modulo)
- Progetto Data Mining, Ontologie e Web Semantico (3, 0 )
- Progetto Grid and High Performance Computing (4, 0)
- Progetto Multimodal and Multidimensional content and Media (2, 0)
- Progetto Modellistica e Simulazione di Sistemi Complessi (1, 0)

Progetti interdipartimentali coordinati dal Dipartimento IITET
- Progetto Sicurezza (2, 0)
- Progetto Bioinformatica (0, 1)

Dipartimento Scienze Umane e sociali e patrimonio culturale
- Progetto Fruizione e valorizzazione del patrimonio culturale (1, 0)

Dipartimento Scienze fisiche e tecnologie della materia
- Progetto Biofisica e Soft Matter (0, 1)



Dipartimento Scienze Biomediche
-Progetto Bandiera "Interomics": 1 Modulo

In totale 15 commesse e 5 moduli in commesse di altri Istituti a conferma, grazie alla partecipazione alle attività di 4 diversi Dipartimenti, del carattere interdisciplinare dell'attività di ricerca sviluppata dall'ISTI.
Per quanto riguarda le tematiche ICT, le commesse ed i moduli dell'ISTI affrontano aspetti specifici di tutti i progetti tipicamente ICT del Dipartimento di afferenza.
La distribuzione conferma la caratterizzazione dell'ISTI quale Istituto di ricerca profondamente radicato nella "computer science" con attività non secondarie nelle telecomunicazioni, nella modellistica e nel trasferimento di conoscenza e tecnologia.