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