-
From Formal Specifications to Efficient Test Scenarios Generation
Various formal testing methods have been developed in the past decades. Most of them are based on graphical notations such as finite state machines, labelled... -
Le pic d'habileté aux tâches visuo-spatiales chez les autistes de haut niveau...
This dataset has no description
-
From Microelectronics to Integrated Microsystems Testing
International audience -
Counting and generating lambda terms
International audience -
APHASIE HANDICAP SCORE
Stroke is the leading cause of disability for adults. Handicap assessment is required to improve follow-up and for clinical trials. The modified Rankin scale is a... -
Development of an accelerated pavement test reproducing the effect of natural...
This study deals with the development of a new test method simulating the effect of ageing on skid resistance. This test is applied to bituminous mixes in this study,... -
State-of-the-Art Report of the RILEM Technical Committee 206-ATB, Advances in...
voir fichier associé -
Using Meta-model Coverage to Qualify Test Oracles
International audience -
Counting Terms in the Binary Lambda Calculus
International audience -
Ultrasound tests in a stirred vessel to evaluate the ability of dairy powders...
This study demonstrated the feasibility of applying an ultrasound test to evaluate the ability of a powder to interact with a solvent and thus to predict the... -
Contribution to the Verification of Timed Automata: Determinization, Quantita...
This thesis is about verification of timed automata, a well-established model for real time systems. The document is structured in three parts. The first part is... -
MIRID: Mixed-Mode IR-Drop Induced Delay Simulator
International audience -
Enhancing Confidence in Indirect Analog/RF Testing against the Lack of Correl...
International audience -
Ratio de performance d'algorithmes de bin packing en deux dimensions pour des...
International audience -
Fault detection and diagnosis in wireless sensor networks
Sensor faults are the rule and not the exception in every Wireless Sensor Network (WSN) deployment. Sensor nodes are fragile, and they may fail due to depletion of... -
Experimental study of the effect of inclined pile on the seismic behaviour of...
Seismic behavior of inclined piles has been considered detrimental for years. However, recent researches show that battered piles can have a beneficial effect. In this... -
Numerical modeling of centrifuge cyclic lateral pile load experiments
To gain insight into the inelastic behavior of piles, the response of a vertical pile embedded in dry sand and subjected to cyclic lateral loading was studied... -
Centrifuge modelling of raked piles
Inclined piles are prohibited by many codes in seismic areas. Nevertheless the battered effect has not yet been clarified because very few data are available. The... -
Proposition d’une loi t-z cyclique au moyen d’expérimentations en centrifugeuse
Cet article propose une extension de la loi t-z de Frank et Zhao (1982) pour le calcul des déplacements d’un pieu soumis à des charges axiales cycliques. Les...
