Internet of Things DSmT K-means Spectrum Sensing Global optimization Self-interference cancellation Diagnosis Interval Analysis Belief functions GPS Modal propagation Machine learning Belief functions theory Wavelet Combination rules GNSS Small Perturbation Model SPM Interval methods Breast Tumor Context Guaranteed integration Classification Cloud CDL Bounded uncertainty Obstacle avoidance AUV SLAM SIFT MBES Binary classification Optimization Field programmable gate arrays FPGA Security Smalltalk Dynamical systems Formal verification Underwater acoustics Radar CMOD5 Context-aware verification Detection Belief function Framework Target tracking Errors Sonar Model-checking Stability Contractors Feature extraction Modélisation Modeling Uncertainty Model checking H2H Automatic target recognition Wireless sensor network Use cases Embedded systems Cognitive Radio Mathematical model Sonar images Electronic warfare Sonar image FAD Constraint propagation RISC-V Fusion Systèmes embarqués Estimation Interval analysis MIMO Simulation Robotique Sea surface FPGA Compressed sensing Array processing Time-frequency analysis Analyse par intervalles Full-duplex Détection Robotics Passive acoustic monitoring Inverse problems IoT Electromagnetic scattering Deep learning Spectrum sensing Target recognition Signal processing Energy efficiency Localization Localisation DSL Cognitive radio Full-Duplex Constraint programming Scattering