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