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