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