1306 results  save search


...
hal-01851680v1  Conference papers
Xuan WangValérie Pommier-BudingerYves Gourinat. A Specific Methodology of Creep Compensation for piezoelectric Actuators by Open-loop control
International Conference on Mechanical Engineering, Materials and Energy (ICMEME 2012), Oct 2012, Dalian, China. pp.141-145, ⟨10.4028/www.scientific.net/AMM.281.141⟩
...
tel-01798214v3  Habilitation à diriger des recherches
Fabien Alet. Dimères classiques en interaction & Autres problèmes en magnétisme quantique
Mécanique statistique [cond-mat.stat-mech]. Université Paul Sabatier (Toulouse 3), 2016
...
hal-02051994v1  Reports
Yann Argotti. Activity Report: PhD 1st Year
LAAS / CNRS; Renault Software Labs. 2019
...
hal-01150345v1  Conference papers
Yoann AltmannNicolas DobigeonJean-Yves TourneretJosé Carlos M. Bermudez. A robust test for nonlinear mixture detection in hyperspectral images
IEEE International Conference on Acoustics, Speech, and Signal Processing - ICASSP 2013, May 2013, Vancouver, Canada. pp. 2149-2153
...
hal-01150333v1  Conference papers
Rahma Bouaziz. An MDE Approach for Domain based Architectural Components Modelling.
IEEE International Symposium on Computers and Communications - ISCC, Jul 2013, Split, Croatia. pp. 1-7
hal-00704077v1  Conference papers
Hossein DavarzaniDaniel HubeManuel MarcouxFlum Manfred. A non-isothermal model for transport of mercury vapor in unsaturated porous media
Flow & Transport in Permeable Media of Gordon Research Conference, Jun 2012, Les Diablerets, Switzerland
...
hal-01803031v1  Conference papers
Dorian LeroyErwan BousseAnaël MegnaBenoit CombemaleManuel Wimmer. Trace Comprehension Operators for Executable DSLs
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
...
tel-00803545v1  Theses
El Hadji Thierno Doumbia. Physico-chemical characterization of urban atmospheric pollution in West Africa and health impact study
Atmospheric and Oceanic Physics [physics.ao-ph]. Université Paul Sabatier - Toulouse III, 2012. English
...
hal-01953299v1  Conference papers
Kalou Cabrera CastillosHélène WaeselynckVirginie Wiels. Show Me New Counterexamples: A Path-Based Approach
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
...
hal-02407932v1  Conference papers
Mojtaba BagherzadehKarim JahedBenoit CombemaleJuergen Dingel. Live-UMLRT: A Tool for Live Modeling of UML-RT Models
MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
...
hal-02421919v1  Conference papers
Alexandra HalchinYamine Aït-AmeurNeeraj Kumar SinghAbderrahmane FeliachiJulien Ordioni. Certified embedding of B models in an integrated verification framework
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175
hal-00996363v1  Journal articles
A. SinghT. Delcroix. Eastern and Central Pacific ENSO and their relationships to the recharge/discharge oscillator paradigm
Deep Sea Research Part I: Oceanographic Research Papers, Elsevier, 2013, 82, pp.32-43. ⟨10.1016/j.dsr.2013.08.002⟩
hal-00489895v1  Journal articles
Thomas GorguesChristophe E. MenkèsLia SlemonsOlivier AumontYves Dandonneau et al.  Revisiting the La Niña 1998 phytoplankton blooms in the equatorial Pacific
Deep Sea Research Part I: Oceanographic Research Papers, Elsevier, 2010, 57 (4), pp.567-576. ⟨10.1016/j.dsr.2009.12.008⟩