Skip to Main content Skip to Navigation
  1. Search


...
hal-01689514v1  Journal articles
Viviane Bouyer, Isabelle Ranc, Philippe Hervé, Gérard Baudin, Christian Le Gallic et al.  Shock-to-detonation transition of nitromethane: Time-resolved emission spectroscopy measurements
Combustion and Flame, Elsevier, 2006, 144 (1-2), pp.139 - 150. ⟨10.1016/j.combustflame.2005.07.004⟩
...
inria-00077112v1  Reports
Olivier Faugeras, François Clément, Rachid Deriche, Renaud Keriven, Théodore Papadopoulo et al.  The Inverse EEG and MEG Problems : The Adjoint State Approach I: The Continuous Case
[Research Report] RR-3673, INRIA. 1999, pp.28
...
inria-00079668v6  Journal articles
Hend Ben Ameur, François Clément, Pierre Weis, Guy Chavent. The multi-dimensional refinement indicators algorithm for optimal parameterization
Journal of Inverse and Ill-posed Problems, De Gruyter, 2008, 16 (2), pp.107-126. ⟨10.1515/JIIP.2008.008⟩
...
hal-01581807v1  Conference papers
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. Preuve formelle du théorème de Lax–Milgram
16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
...
hal-01391578v1  Conference papers
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. A Coq formal proof of the Lax–Milgram theorem
6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩
...
hal-00769201v3  Journal articles
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond et al.  Trusting computations: a mechanized proof from partial differential equations to actual program
Computers and Mathematics with Applications, Elsevier, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
...
inria-00074833v1  Reports
Guy Chavent, François Clément. Waveform inversion through MBTT formulation
[Research Report] RR-1839, INRIA. 1993
...
inria-00071893v1  Reports
Philippe Al khoury, Guy Chavent, François Clément, Philippe Hervé, Olivier Legras. Étude numérique du comportement de l'équation de transfert radiatif des milieux semi-transparents Inversion de données spectroscopiques pour le CO_2
[Rapport de recherche] RR-4693, INRIA. 2003
...
inria-00071944v1  Reports
François Clément, Guy Chavent. Détermination de profils de température pendant la détonation d'un explosif liquide, le nitrométhane
[Rapport de recherche] RR-4641, INRIA. 2002
...
inria-00073016v1  Reports
François Clément. MBTT Inversion with a Poor Initial Velocity Background: Optimization Strategies? Density of Shots?
[Research Report] RR-3657, INRIA. 1999
...
inria-00073183v1  Reports
Guy Chavent, François Clément, Susana Gómez. Migration-based Traveltime Waveform Inversion of 2D Simple Structures: the Synclay Model
[Research Report] RR-3502, INRIA. 1998
...
inria-00073802v1  Reports
Valery Khajdukov, Victor Kostin, Vladimir Tcheverda, François Clément, Guy Chavent. Numerical Comparison of SVD and Propagator/Reflectivity Decomposition for the Acoustic Wave Equation
[Research Report] RR-2888, INRIA. 1996
...
inria-00073831v1  Reports
Guy Chavent, François Clément, Susana Gómez. Mise en oeuvre de la méthode MBTT pour un modèle acoustique par différences finies
[Rapport de recherche] RR-2860, INRIA. 1996
...
hal-02487579v1  Software
Roberto Di Cosmo, Pierre Weis, François Clément, Zheng Li. OcamlP3l release 2.03
2007, ⟨swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940;origin=https://hal.archives-ouvertes.fr/hal-02487579;visit=swh:1:snp:18b778c20ee37588bfa16bb8d00d8046bcbb462c;anchor=swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42;path=/⟩
...
inria-00271986v2  Reports
Estelle Marchand, François Clément, Jean Roberts, Guillaume Pépin. Deterministic Sensitivity Analysis for a Model for Flow in Porous Media
[Research Report] RR-6502, INRIA. 2008
...
hal-01279503v2  Journal articles
Hend Ben Ameur, Guy Chavent, Fatma Cheikh, François Clément, Vincent Martin et al.  First-order indicators for the estimation of discrete fractures in porous media
Inverse Problems in Science and Engineering, Taylor & Francis, 2018, 26 (1), pp.1--32. ⟨10.1080/17415977.2017.1290087⟩
...
inria-00533799v3  Journal articles
Hend Ben Ameur, Guy Chavent, François Clément, Pierre Weis. Image segmentation with multidimensional refinement indicators
Inverse Problems in Science and Engineering, Taylor & Francis, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
...
hal-00649240v3  Journal articles
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond et al.  Wave equation numerical resolution: a comprehensive mechanized proof of a C program
Journal of Automated Reasoning, Springer Verlag, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
...
inria-00450789v3  Conference papers
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond et al.  Formal proof of a wave equation resolution scheme: the method error
ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
hal-00149565v1  Conference papers
François Clément, Vincent Martin, Arnaud Vodicka, Roberto Di Cosmo, Pierre Weis. Domain Decomposition and Skeleton Programming with OCamlP3l
Proceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
...
inria-00071451v1  Reports
François Clément, Nina Khvoenkova, Alain Cartalade, Philippe Montarnal. Analyse de sensibilité et estimation de paramètres de transport pour une équation de diffusion, approche par état adjoint
[Rapport de recherche] RR-5132, INRIA. 2004
...
inria-00071452v1  Reports
François Clément, Roberto Di Cosmo, Zheng Li, Vincent Martin, Arnaud Vodicka et al.  Parallel Programming with the System Applications to Numerical Code Coupling
[Research Report] RR-5131, INRIA. 2004
...
inria-00071761v1  Reports
François Clément, Arnaud Vodicka, Roberto Di Cosmo, Pierre Weis. Couplage de codes numériques, parallélisme et langages de haut niveau
[Rapport de recherche] RR-4825, INRIA. 2003
...
inria-00074523v1  Reports
Guy Chavent, François Clément, Susana Gomez. En route to waveform inversion by MBTT formulation : optimization for one shot and gradient for multiple shots
[Research Report] RR-2150, INRIA. 1994
hal-00700366v1  Conference papers
Jean-Frédéric Gerbeau, Vincent Martin, Astrid Decoene, François Clément. Parameter identification for a one-dimensional blood flow model
CEMRACS 2004 - Centre d'été de Mathématiques et Recherche Avancées en Calcul scientifique : Mathematics and applications to biology and medicine, Jul 2004, Marseille, France. pp.174-200, ⟨10.1051/proc:2005014⟩
...
hal-01344090v2  Reports
François Clément, Vincent Martin. The Lax–Milgram theorem. A detailed proof to be formalized in Coq
[Research Report] RR-8934, Inria Paris. 2016
...
hal-03105815v1  Reports
François Clément, Vincent Martin. Lebesgue integration. Detailed proofs to be formalized in Coq
[Research Report] RR-9386, Inria Paris. 2021, pp.284