.:. Consultation > Par domaines > Mathématiques .:.

6310 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 4 - 5 - 6 - 7 - 8 - 9 - 10 ...

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]

A statistical procedure to create a neighborhood socioeconomic index for health inequalities analysis. Lalloué B., Monnez J.-M., Padilla C., Kihal W., Le Meur N., Zmirou-Navier D., Deguen S. International Journal for Equity in Health 12, 1 (2013) 21 [hal-00759868 - version 2]

A generalisation of Miller's algorithm and applications to pairing computations on abelian varieties Lubicz D., Robert D. (28/03/2013) [hal-00806923 - version 1]

Complex hyperbolic geometry of the figure eight knot Deraux M., Falbel E. (27/03/2013) [hal-00805427 - version 1]

Existence theory for a kinetic-fluid coupling when small droplets are treated as part of the fluid Benjelloun S., Desvillettes L., Moussa A. (26/03/2013) [hal-00805104 - version 1]

Statistical inference for Sobol pick freeze Monte Carlo method Gamboa F., Janon A., Klein T., Lagnoux-Renaudie A., Prieur C. [hal-00804668 - version 1]

Three-dimensional adaptive domain remeshing, implicit domain meshing, and applications to free and moving boundary problems Dapogny C., Dobrzynski C., Frey P. [hal-00804636 - version 1]

Adaptivity of averaged stochastic gradient descent to local strong convexity for logistic regression Bach F. [hal-00804431 - version 1]

Multifidelity variance reduction for pick-freeze Sobol index estimation Janon A. [hal-00804119 - version 1]

Space-Time Domain Decomposition Methods for Diffusion Problems in Mixed Formulations Hoang T. T. P., Jaffré J., Japhet C., Kern M., Roberts J. N° RR-8271 (2013) [hal-00803796 - version 1]