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 (Paolo Barsocchi),
o Software (Stefania Gnesi),
o Knowledge (Fausto Rabitti),
o High Performance Computing (Raffaele Perego)
o Visual (Roberto Scopigno),
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. Luciano Anselmo)

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