Wall-modeled large eddy simulation of shock/turbulent boundary-layer interaction in a duct

Etude de la mise en place d'armoires automatiques de distribution des médicaments dans un service d'urgence

Extension du codeur SPIHT au codage d'images hyperspectrales

Yes it was a mistake to tell others that I was infected with HIV" Factors associated with HIV disclosure among people with HIV in five countries

Special issue editorial : Operations and Supply Chain Management

Strategic design for the supply network of multi-site enterprises : a mathematical model and solving approaches

Reconfiguration des réseaux logistiques : problématique, modélisation et résolution

Special Issue Editorial : International Conference on Information Systems, Logistics and Supply Chain 2006

Model driven flexible design of a wireless body sensor network for health monitoring

Catching the 6G Wave by Using Metamaterials: A Reconfigurable Intelligent Surface Paradigm

Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

Completion of partial Latin Hypercube Designs: NP-completeness and inapproximability

Bin packing with fragmentable items: Presentation and approximations

A formal abstract framework for modelling and testing complex software systems

Hadamard well-posedness for a class of nonlinear shallow shell problems

Hybrid Abstraction of Affine Systems

Microdosimetric spectra simulated with MCNP6.1 with INCL4/ABLA model for kerma and mean quality factor assessment, for neutrons between 100 keV to 19 MeV

Analysis of Wavefront Generation in A Reverberation Chamber for Antenna Measurements

Development of pulsed antennas measurement facility near field antennas measurement in time domain

A Class of Focusing Waves with Controllable Spatial Extension and Directivity

Analyse de la génération de fronts d'ondes dans une chambre réverbérante pour la mesure d'antennes

Method for the improved detection of the collision of a robot with its environment, system and computer program product implementing said method

LPV Modeling and Control for Dexterous Manipulation with a Multifingered Hand under Geometric Uncertainties

Quantifying the Uncertainties-Induced Errors in Robot Impact Detection Methods

A 1.62GS/s Time-Interleaved SAR ADC with fully digital background mismatch calibration achieving interleaving spurs below 70dBFS

Integrated three-dimensional vision sensor

A piecewise response surface method for simulating MEMS with uncertain parameters

Estimation de la réponse impulsionnelle d'un système à partir d'observations binaires

Piecewise perturbation method (PPM) simulation of electrostatically actuated beam with uncertain stiffness

From MEMS to NEMS: closed-loop actuation of resonant beams beyond the critical Duffing amplitude

Large amplitude dynamics of micro/nanomechanical resonators actuated with electrostatic pulses

Generation of All-Paths Unit Test with Function Calls

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

Interaction-based offline runtime verification of distributed systems

An implementation relation and test framework for timed distributed systems

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Toward certified quantum programming

Automating Abstraction Computations of Hybrid Systems

Abstractions refinement for hybrid systems diagnosability analysis

An Entirely Model-Based Framework for Hardware Design and Simulation

Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques.

Generalized momentum based-observer for robot impact detection — Insights and guidelines under characterized uncertainties

VIN6: VIN-based IPv6 Provider Independent Addressing for Future Vehicular Internet Communications

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Symbolic execution of transition systems with function summaries

Adaptive Residual Filtering for Safe Human-Robot Collision Detection under Modeling Uncertainties

Modeling and Preview Hinfinity Control Design for Motion Control of Elastic-Joint Robots With Uncertainties

Ductile fracture under large amplitude cycles