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