Preuve formelle
Community
Musique symbolique
Randomized response
Preuve de programme
INRIA-Saclay
Ontology
Musicological Information Management
Annotation
En ligne Score Publishing
Logiciel libre
Watermarking
Compositional
Donnée ouverte
Graph
Machine learning
Tatouage
Accès aux données
Communication network
Sequences mining
Database
Big data
4 Armadillo
Temporal pattern mining
Ontologies
Stream
Logique
Ontologie
Probabilistic algorithms
Réseau de communication
Outsourced storage
Interactive theorem proving
Complexity
Forums
Crowdsourcing
Security
Logic
Data visualisation
Algorithme probablisite
Temporal logics of knowledge
Skill modeling
Privacy-preserving
On-line Score Publishing
XML
Information networks
Relational databases
Encyclopédie collaborative
Pharmaco- epidemiology
Coq
Limites crowdsourcing
Algorithme probabiliste
Social networks
Geographique
Traitement en série temps
Data fragmentation
Clustering
Systèmes de gestion de données distribuées
Complexité
Flux
Time Series Processing
Care pathway
Centrality
Science participative
Symbolic music
2 Le2i
Prospective
SNIIRAM
Paris-Dauphine
Internautes
Communities
Geographical
Plateformes collaboratives
Data confidentiality
Medico-administrative databases
Open data
Analyse sémantique
Gestion de l'Information musicologiques
User distance
Task mapping
Collaborative platforms
Semantic analysis
Knowledge discovery
Représentation des données
Communauté
Task assignment
Planification
Bases de données
Link Weight Prediction
Data sharing
Gestion de données
Univ Bourgogne
Data outsourcing
Formal proofs
Sécurité et confidentialité des données
Care pathway analysis
Differential privacy
Security policy
Travail collaboratif
Centralité
3 WebDam
Web community
Databases
Temporal data mining
Services de données