20 citations · 24 across the 7 of their papers we have counts for
4 papers · 1 filter
First-Order Indicators for the Estimation of Discrete Fractures in Porous Media
Hend Ben Ameur, Guy Chavent, Cheikh Fatma +3
Faults and geological barriers can drastically affect the flow patterns in porous media. Such fractures can be modeled as interfaces that interact with the surrounding matrix. We p…
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted. Scientific computing progra…
Image Segmentation with Multidimensional Refinement Indicators
Hend Ben Ameur, Guy Chavent, Francois Clément +1
We transpose an optimal control technique to the image segmentation problem. The idea is to consider image segmentation as a parameter estimation problem. The parameter to estimate…
The Multi-Dimensional Refinement Indicators Algorithm for Optimal Parameterization
Hend Ben Ameur, François Clément, Pierre Weis +1
The estimation of distributed parameters in partial differential equations (PDE) from measures of the solution of the PDE may lead to under-determination problems. The choice of a…