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