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