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