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