.:. Browse > By laboratory > ESTIME .:.

25 documents ordered by : Date Title first author name document type Submit date

1 - 2

Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program Boldo S., Clement F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. Journal of Automated Reasoning 50, 4 (2013) 423-456 [hal-00649240 - version 3]

Gas phase appearance and disappearance as a problem with complementarity constraints Ben Gharbia I., Jaffré J. Research report (2011) [hal-00641621 - version 1]

Image Segmentation with Multidimensional Refinement Indicators Ben Ameur H., Chavent G., Clément F., Weis P. Inverse Problems in Science and Engineering 19, 5 (2011) 577-597 [inria-00533799 - version 3]

Modeling fractures as interfaces with nonmatching grids Frih N., Martin V., Roberts J. E., Saada A. Rapport de recherche (2011) 29 [inria-00561601 - version 1]

Formal Proof of a Wave Equation Resolution Scheme: the Method Error Boldo S., Clément F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. ITP'10 - Interactive Theorem Proving, United Kingdom (2010) [inria-00450789 - version 3]

A global method for coupling transport with chemistry in heterogeneous porous media Laila A., Kern M. Computational Geosciences 14, 3 (2010) 465-481 [inria-00442243 - version 1]

A global strategy for solving reactive transport equations De Dieuleveult C., Erhel J., Kern M. Journal of Computational Physics 228, 17 (2009) 6395-6410 [hal-00566602 - version 1]

SQPpro - A solver of nonlinear optimization problems, using an SQP approach Gilbert J. C. Research report (2009) 24 [inria-00442314 - version 1]

QPAL -- A solver of convex quadratic optimization problems, using an augmented Lagrangian approach Gilbert J. C. Research report (2009) 22 [inria-00442295 - version 1]

Applications of the DFLU flux to systems of conservation laws Adimurthi A., Veerappa Gowda G.D., Jaffré J. Rapport de recherche (2009) 21 [inria-00408869 - version 1]

Estimating nonlinearities in twophase flow in porous media. Zhang J., Chavent G., Jaffré J. Rapport de recherche (2009) 23 [inria-00374754 - version 1]

Modèles couplés en milieux poreux : transport réactif et fractures Amir L. Université Paris Dauphine - Paris IX (18/12/2008), Jean E. Roberts (Dir.) [tel-00373688 - version 1]

The Multi-Dimensional Refinement Indicators Algorithm for Optimal Parameterization Ben Ameur H., Clément F., Weis P., Chavent G. Journal of Inverse and Ill-posed Problems 16, 2 (2008) 107-126 [inria-00079668 - version 6]

On the upstream mobility scheme for two-phase flow in porous media Mishra S., Jaffré J. Rapport de recherche (2008) 33 [inria-00353627 - version 1]

A Fully Equivalent Global Pressure Formulation for Three-Phase Compressible Flow Chavent G. Rapport de recherche (2008) 16 [inria-00350459 - version 1]