111 results  save search


...
hal-01654396v2  Conference papers
Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
...
ird-00700841v1  Journal articles
T.J. JacksonR. BindlishM.H. CoshT. ZhaoP.J. Starks et al.  Validation of soil moisture and ocean salinity (SMOS). Soil moisture over watershed networks in the U.S.
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2012, 50 (5), pp.1530-1543. ⟨10.1109/TGRS.2011.2168533⟩
...
ird-00700717v1  Journal articles
S. BircherJ.E. BallingN. SkouY.H. Kerr. Validation of SMOS brightness temperatures during the HOBE Airborne Campaign, Western Denmark
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2012, 50 (5), pp.1468-1482. ⟨10.1109/TGRS.2011.2170177⟩
...
hal-00199098v1  Journal articles
Y. B. JiangL. FroidevauxA. LambertN. J. LiveseyW. G. Read et al.  Validation of Aura Microwave Limb Sounder Ozone by ozonesonde and lidar measurements
Journal of Geophysical Research: Atmospheres, American Geophysical Union, 2007, 112 (D24), pp.D24S34. ⟨10.1029/2007JD008776⟩
...
hal-01704409v1  Journal articles
Nafisa OsmanAbd-El-Kader Sahraoui. From PLM to ERP : A software systems engineering integration
International Journal of Software Engineering & Applications (IJSEA), AIRCCSE, 2018, 9 (1), pp.11-27. ⟨10.5121/ijsea.2018.9102⟩
...
tel-00011514v1  Theses
Frédéric Py. Contrôle d'exécution dans une architecture hiérarchisée pour systèmes autonomes
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2005. Français
...
ird-00828746v1  Journal articles
S. BircherN. SkouY.H. Kerr. Validation of SMOS L1C and L2 products and important parameters of the retrieval algorithm in the Skjern River catchment, Western Denmark
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2013, 51 (5), pp.2969 - 2985. ⟨10.1109/TGRS.2012.2215041⟩
hal-00795596v1  Journal articles
Karim BenhenniFrédéric FerratyMustapha RachdiPhilippe Vieu. Local smoothing regression with functional data
Computational Statistics, Springer Verlag, 2007, 22 (3), pp.353-369. ⟨10.1007/s00180-007-0045-0⟩
...
hal-00991053v1  Journal articles
A. C. V. GetiranaA. BooneD. YamazakiB. DecharmeF. Papa et al.  The Hydrological Modeling and Analysis Platform (HyMAP): Evaluation in the Amazon Basin
Journal of Hydrometeorology, American Meteorological Society, 2012, 13 (6), pp.1641-1665. ⟨10.1175/jhm-d-12-021.1⟩
hal-00518777v1  Journal articles
B. BessagnetA. HodzicR. VautardMatthias BeekmannS. Cheinet et al.  Aerosol modeling with CHIMERE—preliminary evaluation at the continental scale
Atmospheric environment, Elsevier, 2004, 38, (-), pp.2803-2817
...
hal-00160807v1  Conference papers
Benoit CombemalePierre-Loïc GarocheXavier CrégutXavier ThiriouxFrançois Vernadat. Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study
9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
...
hal-01704797v1  Conference papers
Azzedine YahiaouiAbd-El-Kader Sahraoui. Application of Systems Engineering in Distributed Control and Building Performance Applications
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France
...
ird-00828830v1  Journal articles
D. LerouxY.H. KerrA. AlbitarR. BindlishT.J. Jackson et al.  Comparison between SMOS, VUA, ASCAT, and ECMWF soil moisture products over four watersheds in U.S.
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2013, pp.1-20. ⟨10.1109/TGRS.2013.2252468⟩
...
hal-02353273v1  Conference papers
Neeraj Kumar SinghMark LawfordThomas S. E. MaibaumAlan Wassyng. Use of Tabular Expressions for Refinement Automation
MEDI 2017 - Model and Data Engineering - 7th International Conference, Oct 2017, Barcelona, Spain. pp.167-182
...
hal-02353335v1  Conference papers
Romain GenietNeeraj Kumar Singh. Refinement Based Formal Development of Human-Machine Interface
7th International Workshop on Formal Methods for Interactive Systems (FMIS), Jun 2018, Toulouse, France. pp.240-256
inria-00615773v1  Conference papers
Jean-Philippe ThirionGérard SubsolDavid S. Dean. Cross Validation of Three Inter-Patients Matching Methods
VBC: Visualization in Biomedical Computing, Sep 1996, Hamburg, Germany. pp.327-336, ⟨10.1007/BFb0046970⟩
...
hal-00494348v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixSilvano Dal ZilioPierre DissauxMamoun Filali et al.  Formal Verification of AADL models with Fiacre and Tina
ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9