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