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