Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique

Complex software systems : Formalization and Applications

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Feature specification: a logic-independent approach

Automatic generation of symbolic test purposes

A case study in knowledge sharing: lessons from the information technology department of a French car manufacturer

Autonomous learning of parameters in differential equations

Parameter estimation of perfusion models in dynamic contrast-enhanced imaging: a unified framework for model comparison

Direct Numerical Simulation of the Shock Wave Boundary Layer Interaction (SWBLI)

A Decentralized Model-Based Diagnosis for BPEL Services

Testing data types implementations from algebraic specifications

Shedding intermittency in a shockwave-laminar boundary layer interaction

Adaptive control scheme for maximum power point tracking of a photovoltaic system connected to the grid

Symbolic execution techniques for test purpose definition

Generating test case from symbolic transition systems based on constrained unfolding

Asymmetry of affect in verbal irony understanding: What about the N400 and P600 components?

Modèle de réflectométrie en domaine temporel pour l’´etude des défauts non-francs

Modélisation d’une cavité en matériau composite avec une méthode de Galerkin discontinue pour l’évaluation de son efficacité de blindage

A positive semi definite tensor factorization method for separation of non stationary noise sources

Application of Spectral Approach Combined with U-NETs for Quantitative Microwave Breast Imaging

Characterization of patients with clonal mast cells in the bone marrow with clinical significance not otherwise specified

Influence of Milling Tool and Prosthetic Materials on Roughness of the Dental CAD CAM Prostheses in End Milling Mode

Returnable Transport Items Management: A New Approach to Sidestep Shortage

Planification centralisée des livraisons et des enlèvements de ressources de transport mobiles partagées

Stability analysis of thin film flow along a heated porous wall

Cation disorder in Sr0.67Ba0.33Nb2O6 assessed by aberration corrected stem

In vitro interference of β-lactams with biofilm development by prevalent community respiratory tract isolates

A robust estimation and testing of the cointegration order based on the frequency domain

The estimation and testing of the fractional cointegration order based on the frequency domain : A robust approach

Multivariate analysis on perceived annoyance caused by air pollution and their determinants

Expectile and M-quantile regression for panel data

Étude de la sensibilité de la commande des machines électriques fractionnées vis à vis de la dispersion des paramètres

UWB Vivaldi Antenna Array Lower Band Improvement for Ground Penetrating Radar Applications

A switched reader complementary-loops structure for detecting LF RFID tagged pebbles

Sub-coil in reader antenna for HF RFID volume detection improvment

Distributed Diameter Subcoil Twisted Loop Antenna in Nonradiative WPT

Flexible serialized complementary coils for the detection of moving LF RFID tags

Enhanced HF RFID Detection Area of Mobile Small Tag via Distributed Diameter Coil Resonator

Design of 1cm2 coils for HF RFID instruments tracking with detection range improvement

LF RFID chequered loop antenna for pebbles on the beach detection

Coaxially distributed diameter sub-coil twisted loop antenna in HF RFID

H_infinity controller design for active vibration damping using piezoelectric transducers

Amortissement actif des vibrations : un problème multiobjectif

Amortissement actif des vibrations dans des structures flexibles légères

Modélisation et contrôle actif des vibrations d'une structure intelligente