Radar Detection in Compund-Gaussian Clutter

Cramer Rao bound computation for velocity estimation in the broad-band case using the Mellin transform

Frequency-directivity scanning in laboratory radar imaging

Constant False Alram Rate Detection in Spherically Invariant Random Processes

The Mellin Transform

Propriété CFAR-matrice du détecteur BORD

Sparsity-based Cholesky Factorization and Its Application to Hyperspectral Anomaly Detection

Detection Improvement using Robust Estimates for Hyperspectral Imaging

Bayesian Optimum Radar Detector in non-Gaussian noise

Hybrid MIMO radar: configurations and application on STAP

Analyse de signaux STAP - Détection et Estimation

Properties of Robust MIMO Detector

Optimum signal synthesis for time-scale estimation

A Joint Optimization for Coherent MIMO Radar

Classification based on the polarimetric dispersive and anisotropic behavior of scatterers

Improved segmentation in polarimetric SAR images

Target and Background Separation in Hyperspectral Imagery for Automatic Target Detection

Discrete Mellin transform for signal analysis

Romulus: Along Track Formation of Radar Satellites for MTI (Moving Target Identification) and High SAR Performance

Sparsity-based Cholesky Factorization and Its Application to Hyperspectral Anomaly Detection

Adaptive MIMO radar detection in non-Gaussian and heterogeneous clutter considering fluctuating targets

Robust MIMO Radar Detection for Correlated Subarrays

SAR imaging using multidimensional continuous wavelet transform and applications to polarimetry and interferometry

Sparse and Low-Rank Matrix Decomposition for Automatic Target Detection in Hyperspectral Imagery

Bayesian Optimum Radar Detector Performances Against Ground Clutter Data

Scalable Gaussian Process for Large Datasets

Analyse statistique de la puissance absorbée par le corps entier en radiofréquence

Black-box identification and simulation of continuous-time nonlinear systems with random processes

Gradient-based IAGO strategy for the global optimization of expensive-to-evaluate functions and application to intake-port design

Improved scatter search for the global optimization of computationally expensive dynamic models

Identification boîte noire et simulation de systèmes non-linéaires à temps continu par prédiction linéaire de processus aléatoires

Estimation du volume des ensembles d'excursion d'un processus Gaussien par Krigeage intrinsèque

Plan d'expériences séquentiel appliqué à la dosimétrie numérique

Identification of factors influencing the Whole Body Absorption Rate using statistical analysis

Improved scatter search for the global optimization of computationally expensive dynamic models

Estimating derivatives and integrals with Kriging

Identification des facteurs morphologiques impactant le Débit d'Absorption Spécifique du Corps Entier

Planification séquentielle pour l'estimation de probabilités de défaillance

Gaussian process interpolation with conformal prediction: methods and comparative analysis

RKHS classification for multivariate extreme-value analysis

Global optimization based on noisy evaluations: an empirical study of two statistical approaches

Application de la classification à vecteurs de support pour l'estimation de quantiles multidimensionnels extrêmes

Specification of temporal properties with OCL

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Modeling and Verification of Redundancy Policies

Temporal Constraint Support for OCL

HOL-CSP Version 2.0

HOL-CSPM - Architectural operators for HOL-CSP

The HOL-CSP Refinement Toolkit

A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns