Epistemic logic Change detection Visualization Game theory Estimation Signal processing Adaptation Neural networks Clustering Bayesian estimation Ontologies Performance evaluation Optimization Refinement Internet of Things Logic Multifractal analysis Big data Complexity Routing SIGEVI IoT Design Usability Dynamic epistemic logic Big Data Modeling Hyperspectral imagery Trust Deep learning Belief functions Verification Spectral unmixing Planning Possibility theory Computational complexity Information retrieval Dynamic logic Ontologie Scheduling Classification Performance Social media Cooperation Natural language processing Cloud computing Machine learning Réseaux sociaux Event-B Safety Machine Learning Semantics Evaluation Information Retrieval Formal methods NoSQL Multi-agent systems Data mining Energy Interaction Quality of service Simulation Security Knowledge representation Uncertainty Visual impairment Bayesian inference QoS Automation Similarity Ultrasound imaging Modal logic Emergence Energy efficiency Mobility Argumentation Collaboration Dialogue Segmentation Recherche d'information Information systems IHM Protocols Possibilistic logic Fusion Social networks Formal verification Artificial intelligence Delays Satellite OLAP Context Model checking Optimisation Wireless sensor networks Apprentissage automatique Accessibility Ontology Fuzzy sets Software engineering