Formal verification IoT Signal processing Cryptography Internet of Things Design Anomaly detection Embedded systems Receivers Real-time systems Simulation Segmentation Scalability FPGA Malliavin calculus Inverse problems Feature extraction Game theory Resource allocation Remote sensing Side-channel attacks Optimal transport Nonnegative matrix factorization Authentication Natural language processing Blockchain Optimization 5G Modélisation Optimisation Security Entropy Clustering Stability Evolution Antennas EEG Visualization Propagation Cognition Machine Learning Mobility Mobilité Apprentissage profond SysML Detection Audio source separation Performance Unsupervised learning Interference Semiconductor lasers Denoising Side-channel analysis Machine learning Data models Change detection Neural networks Internet Safety Convex optimization HEVC Architecture Optical feedback Image processing Sensors Classification Artificial intelligence Training LTE Mathematical morphology Consensus Scheduling Coherent detection Hardware Cooperation Sécurité SAR Apprentissage statistique Conversation Robustness Non-negative matrix factorization Communication Beamforming Deep learning Complexity Computer architecture MIMO Data streams Deep Learning Stochastic geometry Language Apprentissage automatique Adaptation models Privacy Interaction Estimation Explainability Reliability Source separation Computational modeling