Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Les Filtres
Filters
Author: IdHal (string) ×
All ×
29 results
save search
Document types
Minimize
Reports
(15)
Journal articles
(8)
Conference papers
(5)
Software
(1)
Author
Minimize
François Clément
(29)
Philippe Al khoury
(1)
Hend Ben Ameur
(3)
Gérard Baudin
(1)
Sylvie Boldo
(5)
Viviane Bouyer
(1)
Alain Cartalade
(1)
Guy Chavent
(11)
Fatma Cheikh
(1)
Roberto Di Cosmo
(5)
Astrid Decoene
(1)
Rachid Deriche
(1)
Frédéric Devernay
(1)
Florian Faissole
(2)
Olivier Faugeras
(1)
Jean-Christophe Filliâtre
(3)
Christian Le Gallic
(1)
Jean-Frédéric Gerbeau
(1)
José Gomes
(1)
Susana Gomez
(1)
Susana Gómez
(2)
Gerardo Hermosillo
(1)
Philippe Hervé
(2)
Renaud Keriven
(1)
Valery Khajdukov
(1)
Nina Khvoenkova
(1)
Pierre Kornprobst
(1)
Victor Kostin
(1)
Olivier Legras
(1)
Zheng Li
(2)
Diane Lingrand
(1)
Estelle Marchand
(1)
Vincent Martin
(9)
Micaela Mayero
(5)
Guillaume Melquiond
(3)
Philippe Montarnal
(1)
Théodore Papadopoulo
(1)
Guillaume Pépin
(1)
Isabelle Ranc
(1)
Jean E. Roberts
(1)
Jean Roberts
(2)
Vladimir Tcheverda
(1)
Thierry Viéville
(1)
Arnaud Vodicka
(4)
Pierre Weis
(10)
Subject field
Minimize
Computer Science [cs]
(23)
Mathematics [math]
(11)
Engineering Sciences [physics]
(1)
Laboratory
Minimize
Inria Paris-Rocquencourt
(22)
Inria de Paris
(6)
Laboratoire de Mathématiques Appliquées de Compiègne
(6)
Inria Saclay - Ile de France
(5)
Laboratoire d'Informatique de Paris-Nord
(5)
Laboratoire de Recherche en Informatique
(5)
Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur [Tunis]
(3)
Preuves, Programmes et Systèmes
(3)
CEntre de REcherches en MAthématiques de la DEcision
(2)
Inria Grenoble - Rhône-Alpes
(2)
Laboratoire de l'Informatique du Parallélisme
(2)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(1)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(1)
Centre d'étude de Gramat
(1)
INRIA Rocquencourt
(1)
Imagerie Stéréo Appliquée au Relief (EADS)
(1)
Inria Siège
(1)
Inria Sophia Antipolis - Méditerranée
(1)
Laboratoire Jacques-Louis Lions
(1)
Laboratoire d'énergétique et d'économie d'énergie
(1)
Laboratorio di Modellistica e Calcolo Scientifico MOX
(1)
Language
Minimize
English
(21)
French
(7)
Unknown or Invalid Language
(1)
Type of deposit
Minimize
Fulltext
(25)
Notice
(4)
Year
Minimize
2021
(1)
2018
(1)
2017
(3)
2016
(1)
2014
(1)
2013
(1)
2011
(1)
2010
(1)
2008
(2)
2007
(1)
2006
(2)
2005
(1)
2004
(3)
2003
(2)
2002
(1)
1999
(2)
1998
(1)
1996
(2)
1994
(1)
1993
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-01466798
v1
Journal articles
François Clément
.
Les mathématiques s’appliquent aussi à l’industrie
Interstices
, INRIA, 2017
hal-01689514
v1
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-00077112
v1
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-00079668
v6
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-01581807
v1
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-01391578
v1
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-00769201
v3
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-00074833
v1
Reports
Guy Chavent
,
François Clément
.
Waveform inversion through MBTT formulation
[Research Report] RR-1839, INRIA. 1993
inria-00071893
v1
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-00071944
v1
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-00073016
v1
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-00073183
v1
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-00073802
v1
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-00073831
v1
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-02487579
v1
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-00271986
v2
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-01279503
v2
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-00533799
v3
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-00649240
v3
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-00450789
v3
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-00149564
v1
Journal articles
François Clément
,
Vincent Martin
,
Arnaud Vodicka
,
Roberto Di Cosmo
,
Pierre Weis
.
Domain decomposition and skeleton programming with OCamlP3l
Parallel Computing
, Elsevier, 2006, 32 (7-8), pp.539-550.
⟨10.1016/j.parco.2006.04.003⟩
hal-00149565
v1
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-00071451
v1
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-00071452
v1
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-00071761
v1
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-00074523
v1
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-00700366
v1
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-01344090
v2
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-03105815
v1
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
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.