Parallel Programming with the System Applications to Numerical Code Coupling
François Clément
,
Roberto Di cosmo
,
Zheng Li
,
Vincent Martin
,
Arnaud Vodicka
et al.
[Research Report] RR-5131, INRIA. 2004
Reports
inria-00071452v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Waveform inversion through MBTT formulation
Guy Chavent
,
François Clément
[Research Report] RR-1839, INRIA. 1993
Reports
inria-00074833v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Domain Decomposition and Skeleton Programming with OCamlP3l
François Clément
,
Vincent Martin
,
Arnaud Vodicka
,
Roberto Di Cosmo
,
Pierre Weis
et al.
Proceedings of the International Conference ParCo 2005 , Sep 2005, France. pp.811-818
Conference papers
hal-00149565v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Les mathématiques s’appliquent aussi à l’industrie
François Clément
Interstices , 2017
Journal articles
hal-01466798v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Couplage de codes numériques, parallélisme et langages de haut niveau
François Clément
,
Arnaud Vodicka
,
Roberto Di cosmo
,
Pierre Weis
[Rapport de recherche] RR-4825, INRIA. 2003
Reports
inria-00071761v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Détermination de profils de température pendant la détonation d'un explosif liquide, le nitrométhane
François Clément
,
Guy Chavent
[Rapport de recherche] RR-4641, INRIA. 2002
Reports
inria-00071944v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Lax–Milgram theorem. A detailed proof to be formalized in Coq
François Clément
,
Vincent Martin
[Research Report] RR-8934, Inria Paris. 2016
Reports
hal-01344090v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Wave equation numerical resolution: a comprehensive mechanized proof of a C program
Sylvie Boldo
,
François Clément
,
Jean-Christophe Filliâtre
,
Micaela Mayero
,
Guillaume Melquiond
et al.
Journal articles
hal-00649240v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Étude numérique du comportement de l'équation de transfert radiatif des milieux semi-transparents Inversion de données spectroscopiques pour le CO_2
Philippe Al khoury
,
Guy Chavent
,
François Clément
,
Philippe Hervé
,
Olivier Legras
et al.
[Rapport de recherche] RR-4693, INRIA. 2003
Reports
inria-00071893v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Mise en oeuvre de la méthode MBTT pour un modèle acoustique par différences finies
Guy Chavent
,
François Clément
,
Susana Gómez
[Rapport de recherche] RR-2860, INRIA. 1996
Reports
inria-00073831v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo
,
François Clément
,
Florian Faissole
,
Vincent Martin
,
Micaela Mayero
et al.
[Research Report] RR-9401, Inria, France. 2021, pp.38
Reports
hal-03194113v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Domain decomposition and skeleton programming with OCamlP3l
François Clément
,
Vincent Martin
,
Arnaud Vodicka
,
Roberto Di Cosmo
,
Pierre Weis
et al.
Journal articles
istex
hal-00149564v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Analyse de sensibilité et estimation de paramètres de transport pour une équation de diffusion, approche par état adjoint
François Clément
,
Nina Khvoenkova
,
Alain Cartalade
,
Philippe Montarnal
[Rapport de recherche] RR-5132, INRIA. 2004
Reports
inria-00071451v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem
Sylvie Boldo
,
François Clément
,
Vincent Martin
,
Micaela Mayero
,
Houda Mouhcine
et al.
FM 2023 - 25th International Symposium on Formal Methods , Mar 2023, Lübeck, Germany
Conference papers
hal-03889276v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
En route to waveform inversion by MBTT formulation : optimization for one shot and gradient for multiple shots
Guy Chavent
,
François Clément
,
Susana Gomez
[Research Report] RR-2150, INRIA. 1994
Reports
inria-00074523v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parameter identification for a one-dimensional blood flow model
Jean-Frédéric Gerbeau
,
Vincent Martin
,
Astrid Decoene
,
François Clément
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⟩
Conference papers
hal-00700366v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deterministic Sensitivity Analysis for a Model for Flow in Porous Media
Estelle Marchand
,
François Clément
,
Jean E. Roberts
,
Guillaume Pépin
[Research Report] RR-6502, INRIA. 2008
Reports
inria-00271986v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Preuve formelle du théorème de Lax–Milgram
Sylvie Boldo
,
François Clément
,
Florian Faissole
,
Vincent Martin
,
Micaela Mayero
et al.
16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels , Jun 2017, Montpellier, France
Conference papers
hal-01581807v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Inverse EEG and MEG Problems : The Adjoint State Approach I: The Continuous Case
Olivier Faugeras
,
François Clément
,
Rachid Deriche
,
Renaud Keriven
,
Théodore Papadopoulo
et al.
[Research Report] RR-3673, INRIA. 1999, pp.28
Reports
inria-00077112v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Image segmentation with multidimensional refinement indicators
Hend Ben Ameur
,
Guy Chavent
,
François Clément
,
Pierre Weis
Inverse Problems in Science and Engineering , 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⟩
Journal articles
inria-00533799v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Coq Formalization of the Bochner integral
Sylvie Boldo
,
François Clément
,
Louise Leclerc
[Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022
Reports
hal-03516749v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The multi-dimensional refinement indicators algorithm for optimal parameterization
Hend Ben Ameur
,
François Clément
,
Pierre Weis
,
Guy Chavent
Journal articles
inria-00079668v6
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
First-order indicators for the estimation of discrete fractures in porous media
Hend Ben Ameur
,
Guy Chavent
,
Fatma Cheikh
,
François Clément
,
Vincent Martin
et al.
Journal articles
hal-01279503v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
OcamlP3l release 2.03
Roberto Di Cosmo
,
Pierre Weis
,
Francois Clement
,
Zheng Li
Software
hal-02487579v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Trusting computations: a mechanized proof from partial differential equations to actual program
Sylvie Boldo
,
François Clément
,
Jean-Christophe Filliâtre
,
Micaela Mayero
,
Guillaume Melquiond
et al.
Journal articles
hal-00769201v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Coq formal proof of the Lax–Milgram theorem
Sylvie Boldo
,
François Clément
,
Florian Faissole
,
Vincent Martin
,
Micaela Mayero
et al.
Conference papers
hal-01391578v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Lebesgue integration. Detailed proofs to be formalized in Coq
François Clément
,
Vincent Martin
[Research Report] RR-9386, Inria Paris. 2021, pp.567
Reports
hal-03105815v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo
,
François Clément
,
Florian Faissole
,
Vincent Martin
,
Micaela Mayero
et al.
Journal articles
hal-03471095v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Numerical Comparison of SVD and Propagator/Reflectivity Decomposition for the Acoustic Wave Equation
Valery Khajdukov
,
Victor Kostin
,
Vladimir Tcheverda
,
François Clément
,
Guy Chavent
et al.
[Research Report] RR-2888, INRIA. 1996
Reports
inria-00073802v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
MBTT Inversion with a Poor Initial Velocity Background: Optimization Strategies? Density of Shots?
François Clément
[Research Report] RR-3657, INRIA. 1999
Reports
inria-00073016v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More