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