Skip to Main content Skip to Navigation
  1. Search


...
hal-02009443v1  Journal articles
Ludovic Métivier, Romain Brossier, Quentin Mérigot, Edouard Oudet, Jean Virieux. Increasing the robustness and applicability of full-waveform inversion: An optimal transport distance strategy
Leading Edge, Society of Exploration Geophysicists, 2016, 35 (12), pp.1060-1067. ⟨10.1190/tle35121060.1⟩
...
hal-01472082v1  Reports
Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
[Research Report] RR-LIG-031, LIG. 2012
...
hal-01067903v2  Journal articles
Vivian Viallon, Sophie Lambert-Lacroix, Holger Höfling, Franck Picard. On the robustness of the generalized fused lasso to prior specifications
Statistics and Computing, Springer Verlag (Germany), 2016, 26 (1), pp.285-301. ⟨10.1007/s11222-014-9497-6⟩
...
hal-00576948v1  Journal articles
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities
Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
...
hal-00743981v1  Journal articles
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00724508v1  Conference papers
Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
...
lirmm-00879575v1  Conference papers
Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation
BDA: Bases de Données Avancées, Oct 2013, Nantes, France
hal-00953273v1  Conference papers
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
...
hal-01089427v1  Conference papers
Stéphane Ayache, Georges Quénot. LIG and LIRIS at TRECVID 2008: High Level Feature Extraction and Collaborative Annotation
TRECVID Workshop, 2008, Gaithersburg, MD, United States
...
hal-02325564v1  Journal articles
Weiguang He, Romain Brossier, Ludovic Métivier, René-Edouard Plessix. Land seismic multiparameter full waveform inversion in elastic VTI media by simultaneously interpreting body waves and surface waves with an optimal transport based objective function
Geophysical Journal International, Oxford University Press (OUP), 2019, 219 (3), pp.1970-1988. ⟨10.1093/gji/ggz414⟩
hal-01769223v1  Conference papers
Bertrand Frechede, Marc Gardegaront, Thomas Lemaire, Xuguang Wang, Philippe Beillas. Design of a physiological spinal posture predictor in the piper project
ISB 2017 - XXVI Conference of the International Society of Biomechanics, Jul 2017, Brisbane, Australia. 1 p
...
hal-02325586v1  Conference papers
Yang Li, Romain Brossier, Ludovic Métivier. Feasibility study on 3D frequency-domain anisotropic elastic wave modeling using spectral element method with parallel direct linear solvers
SEG 2019 annual meeting, Sep 2019, San Antonio, United States. pp.3770-3774, ⟨10.1190/segam2019-3215003.1⟩
...
hal-02010714v1  Journal articles
Philippe Le Bouteiller, Mondher Benjemaa, Ludovic Métivier, Jean Virieux. A discontinuous Galerkin fast-sweeping Eikonal solver for fast and accurate traveltime computation in 3D tilted anisotropic media
Geophysics, Society of Exploration Geophysicists, 2019, 84 (2), pp.C107-C118. ⟨10.1190/geo2018-0555.1⟩
...
hal-02325612v1  Journal articles
Julien Thurin, Romain Brossier, Ludovic Métivier. Ensemble-based uncertainty estimation in Full Waveform Inversion
Geophysical Journal International, Oxford University Press (OUP), 2019, 219 (3), pp.1613-1635. ⟨10.1093/gji/ggz384⟩
...
hal-02325600v1  Conference papers
Nishant Kamath, Romain Brossier, Ludovic Métivier, Pengliang Yang. Multiparameter full-waveform inversion of data from the Valhall field
SEG 2019 annual meeting, Sep 2019, San Antonio, United States. pp.1640-1644, ⟨10.1190/segam2019-3211984.1⟩
...
hal-01262376v1  Journal articles
Guillaume Cordonnier, Jean Braun, Marie-Paule Cani, Bedrich Benes, Eric Galin et al.  Large Scale Terrain Generation from Tectonic Uplift and Fluvial Erosion
Computer Graphics Forum, Wiley, 2016, Proc. EUROGRAPHICS 2016, 35 (2), pp.165-175. ⟨10.1111/cgf.12820⟩
...
hal-00813281v1  Preprints, Working Papers, ...
Vivian Viallon, Sophie Lambert-Lacroix, Holger Höfling, Franck Picard. Adaptive Generalized Fused-Lasso: Asymptotic Properties and Applications
2013
...
hal-02325607v1  Conference papers
Arnaud Pladys, Romain Brossier, Theodosius-Marwan Irnaka, Nishant Kamath, Ludovic Métivier. Assessment of optimal transport based FWI: 3D OBC Valhall case study
SEG 2019, Sep 2019, San Antonio, United States. pp.1295-1299, ⟨10.1190/segam2019-3212002.1⟩
...
hal-02325640v1  Conference papers
Nishant Kamath, Romain Brossier, Ludovic Métivier, Pengliang Yang. Effect and Reconstruction of Attenuation in Acoustic FWI - Method and Field Data Application
81st EAGE Conference and Exhibition, Jun 2019, London, United Kingdom. ⟨10.3997/2214-4609.201901915⟩
...
hal-02325618v1  Journal articles
Ludovic Métivier, Romain Brossier, Quentin Merigot, Edouard Oudet. A graph space optimal transport distance as a generalization of Lp distances: application to a seismic imaging inverse problem
Inverse Problems, IOP Publishing, 2019, 35 (8), pp.085001. ⟨10.1088/1361-6420/ab206f⟩
...
hal-01260964v1  Journal articles
Véronique Dansereau, Jérôme Weiss, Pierre Saramito, Philippe Lattes. A Maxwell-elasto-brittle rheology for sea ice modelling
The Cryosphere, Copernicus 2016, 10, pp.1339-1359. ⟨10.5194/tc-10-1339-2016⟩
hal-01059677v1  Conference papers
Akram Idani, Nicolas Stouls. When a Formal Model Rhymes with a Graphical Notation
Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
hal-00930964v1  Journal articles
Jack Dongarra, Bernard Tourancheau. Selected papers of the Workshop on Clusters, Clouds and Grids for Scientific Computing (CCGSC)
International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.259-260. ⟨10.1177/1094342011414550⟩
hal-00954076v1  Conference papers
Éric Gaussier. Apprentissage pour la Recherche d'Information
Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France