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 (Maurice ter Beek),
o Knowledge (Donatella Castelli),
o High Performance Computing (Raffaele Perego)
o Visual (Paolo Cignoni),
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. Paolo Barsocchi)


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

Knowledge
o Artificial Intelligence for Media and Humanities (AIMH), Responsabile: Giuseppe Amato
o Interfacce Utenti nei Sistemi Informativi (Resp. Fabio Paternò)
o Infrastructures for Science (InfraScience), Responsabile: Donatella Castelli
o Data Mining ed Estrazione della Conoscenza (Resp. Fosca Giannotti)

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

Visual
o Segnali e Immagini (Resp. Davide Moroni)
o Informatica Grafica (Resp. Paolo Cignoni)

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

Al fine di promuovere la crescita professionale dei suoi giovani ricercatori, sia individuandone le punte di eccellenza mediante la valutazione della produzione scientifica, che supportando opportunità di crescita professionale mediante periodi di visita all'estero in primarie istituzioni accademiche, sono state create quattro tipologie di awards:

- Young Researcher Award "Matteo Dellepiane" (YRA) - Premia ogni anno alcuni giovani ricercatori dell'istituto, selezionati in base alla loro produzione scientifica dell'anno in corso (due categorie: Beginners e Advanced - età <32 anni e <35);
- Young Open Science Award (YOSA) - Seleziona i migliori open software/datasets create dai giovani ricercatori ISTI;
- Grants for Young Mobility (GYM) - Finanzia le spese di viaggio e accommodation di periodi brevi spesi in qualità di visiting scientist presso primarie istituzioni accademiche e di ricerca internazionali (con limite di età fissato a 34 anni);
- "ProgettISTI" - Finanzia lavori preliminari su proposte di progetto su cui sia esplicitamente prevista una collaborazione tra laboratori.