-
Utilisation de B pour la vérification de spécifications UML et le développeme...
The coupling of object-oriented approaches with the B method makes improvement the activities of software specification and development. The B method provides... -
Data-based comparison of frequency analysis methods: A general framework
[Departement_IRSTEA]Eaux [TR1_IRSTEA]ARCEAU [Departement_IRSTEA]Eaux [TR1_IRSTEA]ARCEAU -
Spallation : understanding (f)or predicting (!) ?
This HDR report summarizes about ten years spent around spallation reaction modelling. Spallation reactions are defined as interaction of a light par- ticle, say a... -
Use of gaseous tracers (CFCs and SF6) and transit-time distribution spectrum ...
International audience -
Validation of high and super resolution ocean dynamics products
International audience -
KNOWLEDGE ACQUISITION AND MACHINE LEARNING: CONTRIBUTION IN THE INCREMENTAL D...
The subject of this thesis is the development of a Knowledge-Based System for situations of crisis. Two main research issues have been studied during the development... -
''Validity of a questionnaire to assess the physical activity level in corona...
Guiraud, Thibaut | Granger, Richard | Bousquet, Marc | Gremeaux, Vincent -
''Evaluating disease activity in rheumatoid arthritis: Which composite index ...
Gaujoux-Viala, Cecile | Mouterde, Gael | Baillet, Athan | Claudepierre, Pascal | Fautrel, Bruno | Le Loet, Xavier | Maillefert, Jean-Francis -
Validation of SMOS L1C and L2 products and important parameters of the retrie...
The Soil Moisture and Ocean Salinity (SMOS) satellite with a passive L-band radiometer is dedicated to surface soil moisture monitoring. In addition to soil moisture,... -
Comparison between SMOS, VUA, ASCAT, and ECMWF soil moisture products over fo...
As part of the Soil Moisture and Ocean Salinity (SMOS) validation process, a comparison of the skills of three satellites [SMOS, Advanced Microwave Scanning... -
The 2nd workshop on active internet measurements (AIMS-2) report
International audience -
Stir bar sorptive extraction coupled to liquid chromatography-tandem mass spe...
[Departement_IRSTEA]Eaux [TR1_IRSTEA]ARCEAU [TR2_IRSTEA]BELCA -
An Anticipative Effects Driven Approach for crisis management process analysis
This paper aims to present and illustrate how using formal verification approaches and techniques could allow managing and controlling efficiently a given system... -
An Anticipative Effects-Driven Approach for collaborative process verification
The aim of this paper is to describe and illustrate a collaborative process model verification approach. This approach allows the coherence of a given collaborative... -
Agent-based participatory simulations : agents and humans interacting to expl...
The present work is intended as a response to multi-agent systems designers' needs to validate models of collective behavior, to model individual strategies, to... -
A Systematic Review on the Practice of Evaluating Visualization
International audience -
Calcul haute performance en dynamique des contacts via deux familles de décom...
Numerical simulations of the dynamics of discrete structures in presence of numerous impacts and frictional contacts lead to CPU-intensive large time computations. To... -
Design of a CDD-Based Fault Injection Framework for AUTOSAR Systems
International audience -
Data-handling strategies for metabonomic studies: example of the UHPLC-ESI/To...
International audience
