2016 Project-Team Activity Report
LINKS
Linking Dynamic Data
Research centre:
Lille - Nord Europe
In partnership with: CNRS, Université Charles de Gaulle (Lille 3), Université des sciences et technologies de Lille (Lille 1)
In collaboration with: Centre de Recherche en Informatique, Signal et Automatique de Lille
In collaboration with: Centre de Recherche en Informatique, Signal et Automatique de Lille
Keywords:
Computer Science and Digital Science:
- 2.1. - Programming Languages
- 2.1.1. - Semantics of programming languages
- 2.1.3. - Functional programming
- 2.1.6. - Concurrent programming
- 2.4. - Verification, reliability, certification
- 2.4.1. - Analysis
- 2.4.2. - Model-checking
- 2.4.3. - Proofs
- 3.1. - Data
- 3.1.1. - Modeling, representation
- 3.1.2. - Data management, quering and storage
- 3.1.3. - Distributed data
- 3.1.4. - Uncertain data
- 3.1.5. - Control access, privacy
- 3.1.6. - Query optimization
- 3.1.7. - Open data
- 3.1.8. - Big data (production, storage, transfer)
- 3.1.9. - Database
- 3.2.1. - Knowledge bases
- 3.2.2. - Knowledge extraction, cleaning
- 3.2.3. - Inference
- 3.2.4. - Semantic Web
- 7. - Fundamental Algorithmics
- 7.4. - Logic in Computer Science
- 8. - Artificial intelligence
- 8.1. - Knowledge
- 8.2. - Machine learning
Other Research Topics and Application Domains:
- 6.1. - Software industry
- 6.3.1. - Web
- 6.3.4. - Social Networks
- 6.5. - Information systems
- 9.4.1. - Computer science
- 9.4.5. - Data science
- 9.8. - Privacy