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