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 e tredici laboratori di ricerca.
I laboratori di ricerca sono un elemento distintivo di ISTI, sono organismi dinamici ed evolutivi, ognuno guidato da un responsabile di laboratorio (scelta operata dal personale del laboratorio con processo bottom-up, sotto la supervisione della Direzione di istituto). Ogni laboratorio di ricerca definisce autonomamente la sua visione scientifica, definisce gli obiettivi di ricerca e gioca un ruolo fondamentale nella ricerca di finanziamenti esterni e nella partecipazione a call competitivi.
Il focus dei laboratori di ricerca riguarda anche lo sviluppo tecnologico, il trasferimento e la formazione. Lo staff dei laboratori di ricerca include personale a TI e TD, collaboratori esterni, assegnisti di ricerca, tesisti, studenti di dottorato e post-doc. I lab hanno una massa critica media di 10-20 persone, sono dotati di un buon grado di autonomia ed i loro risultati sono soggetti a valutazione periodica.

Aree Tematiche (AT) e laboratori di ricerca di ISTI:

AT Networking
o Wireless Networks - WN (Resp. Paolo Barsocchi)

AT Software Science and Technologies
o Software Engineering & Dependable Computing - SEDC (Resp. Felicita Di Giandomenico)
o Formal Methods and Tools - FMT (Resp. Maurice ter Beek)
o System and Software Evaluation - SSE (Resp. Giuseppe Lami)

AT Knowledge
o Artificial Intelligence for Media and Humanities - AIMH (Resp. Giuseppe Amato)
o Human Interfaces in Information Systems - HIIS (Resp. Fabio Paternò)
o Infrastructures for Science - InfraScience (Resp. Donatella Castelli)
o Knowledge Discovery and Data Mining - KDD (Resp. Mirco Nanni)

High Performance Computing
o High Performance Computing - HPC (Resp. Raffaele Perego)

Visual
o Signal and Images - SI (Resp. Davide Moroni)
o Visual Computing - VC (Resp. Paolo Cignoni)

Flight and Structural Mechanics
o Mechanics of Materials and Structures - MMS (Resp. Cristina Padovani)
o Space Flight Dynamics - SFD (Resp. Carmen Pardini)

Si rimanda al sito web dell'Istituto (http://www.isti.cnr.it) ed a quelli dei singoli laboratori di ricerca per maggiori informazioni.

Per ogni area tematica si riportano qui solo alcune parole chiave caratterizzanti l'attività.

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