A Decentralized Model-Based Diagnosis for BPEL Services

Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.

Verification and validation of BPEL processes. A proof and animation based approach

A Quasi-Monte Carlo method to compute scattering effects in radiative heat transfer: Application to a sooted jet flame

Influence of differential diffusion on super-equilibrium temperature in turbulent non-premixed hydrogen/air flames

ELFSTAT Project: Assessment of infant exposure to extremely low frequency magnetic fields (ELF- MF, 40-800 Hz) and possible impact on health of new technologies

Bandits Help Simulated Annealing to Complete a Maximin Latin Hypercube Design

Joint channel-network turbo coding for the non orthogonal multiple access relay channel

Adaptive Testing Using a General Diagnostic Model

Towards better news article recommendation.

Performance Comparison of the Permanent Magnet Assisted Synchronous Reluctance Motor and the Double Magnet Synchronous Motor

Multi objective optimisation of an electromagnetic valve actuator

Localization of Spatially Distributed Near-Field Sources with Unknown Angular Spread Shape

Robust Gaussian process-based global optimization using a fully Bayesian expected improvement criterion

An introduction to some EGO-like algorithms for constrained / multi-objective / noisy problems

Bayesian Optimization

HyperImage Concept : Multidimensional Time-Frequency Analysis Applied to SAR Imaging.

Study of Dispersive and Anisotropic Scatterers Behavior in Radar Imaging Using Time-Frequency Analysis and Polarimetric Coherent Decomposition.

BORD: bayesian optimum radar detector

SAFE: a SAR Feature Extractor based on self-supervised learning and masked Siamese ViTs

Identification of expensive-to-simulate parametric models using Kriging and Stepwise Uncertainty Reduction

Kriging for indirect measurement, with application to flow measurement

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

Catching cognitive biases in an erroneous decision making process

Dynamic range reduction by quasi-continuous waveform optimization

The Effect of Impulsiveness in Inter-Cell Interference on Throughput of TH-IR-UWB Networks

A new clustering algorithm for PolSAR images segmentation

Détection de changements basée sur les covariances de séries d’images SAR

Robust Estimates of Covariance Matrices in Large Dimensional Regime

Polarimetric scattering model for the forest in bistatic configuration

Evaluation of the attenuation in L-band due to the foliage in function of the elevation angle

Optimisation of electrical network configuration: complexity and algorithms for ring topologies

Reducing the Impact of EV Charging Operations on the Distribution Network

Minimum Tree Cost Quartet Puzzling

Heterogeneous Modeling of Gesture-Based 3D Applications

An Approach of Domain Polymorph Component Design

A DSL for Explicit Semantic Adaptation

Impact of Wall Temperature in Large Eddy Simulation of Light-Round in an Annular Liquid Fueled Combustor and Assessment of Wall Models

Effects of inner swirl on flow and combustion patterns from non-premixed oxygen enriched flames above coaxial injectors

An Experimental Study Of The Wall Temperature Of A Co2 Diluted Oxy-Flame And A Methane/Air Flame In A Technically Premixed Swirler

Wall-modeled large-eddy simulations of the HIFiRE-2 scramjet

Preliminary Functional-Structural Modeling on Poplar (Salicaceae)

Apport du suivi de flux d'information pour la sécurité des systèmes

Procédé et dispositif de transmission d'un signal multiporteuse réduisant le rapport puissance crête à puissance moyenne, programme et signal correspondants

Procédé et dispositif de transmission d'un signal multiporteuse réduisant le rapport puissance crête à puissance moyenne, programme, signal, procédé et dispositif de réception correspondants

Robust and Secure Image Encryption Schemes During JPEG Compression Process

Preventive and corrective security solutions for routing in military tactical ad hoc networks

Supervisory control of a building heating system based on radial basis function neural networks

Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499

Structured hybrid abstractions of continuous systems