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