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

Competenze

WIRELESS NETWORKS LABORATORY

- Ambient Assisted Living (AAL)
- Communication Middleware for Context-awareness
- Indoor Localization
- Mobile Social Computing
- Sensing Technologies for Monitoring Systems
- Sensor-based Activity Recognition
- Wireless Communications


FORMAL METHODS AND TOOLS LABORATORY

- Advances in Formal Modeling and Applications
- Algorithmic Network Models of Spacetime
- Formal Approaches to Product Family Engineering
- Formal Approaches to Requirements Engineering
- Formal Modelling and Verification of Collective Adaptive Systems
- Formal Modelling and Verification of Service-Oriented Systems
- Modeling and analysis of Railway Control Systems
- Verification Tools and Techniques

SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING

- Analysis of Interdependencies in Critical Infrastructures
- Analysis, Testing and Monitoring of Dynamic Systems
- Dependability Assessment and Fault-tolerant Solutions
- Model-based E-learnings Sytems
- Testing for Software Quality and Security


SYSTEM AND SOFTWARE EVALUATION CENTER

- Models and Methods for Software Product Evaluation
- Software Certification
- Software Process Assessment and Improvement
- Software Product Measurement


HUMAN INTERFACES IN INFORMATION SYSTEMS LABORATORY

- Assistive Technologies and Accessibility
- Context-dependent User Interfaces
- Emotion-based User Interfaces
- End User Development
- Model-based User Interface Design
- Multimodal User Interfaces
- Tools for Accessibility and Usability Evaluation


NETWORKED MULTIMEDIA INFORMATION SYSTEMS LABORATORY

- Automatic Text Classification
- Content-based Visual Information Retrieval
- Data Integration and Processing for eScience
- Digital Libraries: Foundations and Systems
- Machine Learning
- Natural Language Processing and Text Mining
- Platforms for Cyber-physical Systems
- Research Data Infrastructures, E-Infrastructures and Virtual Research Environments
- Scholarly Communication Models, Methods and Tools
- Scientific Database Management
- Semantic Web: Reasoning, Learning and Uncertainty


KNOWLEDGE DISCOVERY AND DATA MINING LABORATORY

- Analytical Platforms & Data infrastructures for Social Mining
- Big Data Analytics & Social Mining
- Data Mining Algorithms and Statistical Methods
- Ethics-sensitive and Privacy-aware Data Mining
- Mobility Data Mining
- Social Network Analysis
- Social Sensing & Semantic Enrichment of Big Data
- Visual Analytics


HIGH PERFORMANCE COMPUTING LABORATORY

- Cloud Computing, Cloud Federations, and Cloud Resource Management
- Data Mining and Machine Learning for Ranking, Prediction, Recommendation
- Information Systems for Big Data: Indexing, Compression, Responsiveness
- Knowledge Bases and Entity Linking
- Scalable Distributed Computing with Map-Reduce, Giraph, Spark
- Social Media Analysis


SIGNALS & IMAGES LABORATORY

- Assistive technologies and systems integration
- Computational Biology
- Computational Intelligence in Computer Vision
- Computational Topology and Geometry for Vision
- Document Image Analysis and Restoration
- Hybrid intelligent methods
- Nature inspired computation for Smart Sensors
- Real Time Imaging and Embedded Systems
- Shape Analysis and Description
- Statistical Signal Processing


VISUAL COMPUTING RESEARCH LABORATORY

- 3D Digitization
- 3D Printing Technologies
- Applications to Cultural Heritage
- Interactive 3D Graphics
- Reconstruction from Sampled Dataset
- Scientific Visualization
- Web-based Visualization and Mobile Platforms


MECHANICS OF MATERIALS AND STRUCTURES LABORATORY

- Computational Solid Mechanics
- Mechanics of Masonry Structures


SPACE FLIGHT DYNAMICS LABORATORY

- Astrodynamics
- Satellite Re-Entry Predictions
- Space Debris Modeling, Mitigation and Remediation
- Space Mission Analysis, Design and Operational Support
- Space Experiments on Fundamental Physics