-
Evaluation of SMOS Soil Moisture products over continental US using the SCAN/...
The Soil Moisture and Ocean Salinity (SMOS) satellite has opened the era of soil moisture products from passive L-Band observations. In this study validation of SMOS... -
Towards a Generic Trace for Rule Based Constraint Reasoning
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers... -
Validation of SMOS brightness temperatures during the HOBE Airborne Campaign,...
The Soil Moisture and Ocean Salinity (SMOS) mission delivers global surface soil moisture fields at high temporal resolution which is of major relevance for water... -
Validation of soil moisture and ocean salinity (SMOS). Soil moisture over wat...
International audience -
New Physics-Based Turbocharger Data-Maps Extrapolation Algorithms: Validation...
International audience -
A formal approach for specification and verification of fault injection process
International audience -
Statistical analysis and retrieving models for the validation of the soil moi...
In a climate change context, many studies are dealing with the observation of numerous physical parameters such as the soil temperature or the vegetation. The soil... -
Optimized Energy Management for an intelligent building : different principle...
The building is an important energy node and an ideal support to develop and analyzethe effects of an Energy Management System (EMS). Because of its potential impact,... -
MoDeVVa 2012 workshop summary
International audience -
Supercentenarians
This book describes a concerted, international research effort undertaken with the goal of establishing a database that allows the best possible description of the... -
Real-time numerical forecast of global epidemic spreading: case study of 2009...
International audience -
CamiTK: a Modular Framework Integrating Visualization, Image Processing and B...
International audience -
BTES and aldehydes analysis in PET-bottled water in Lebanon
International audience -
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...
