Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY

Autor: Revol, N., Makino, K., Berz, M.

Publikováno v: In Journal of Logic and Algebraic Programming 2005 64(1):135-154

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A new Range Reduction Algorithm

Autor: Brisbarre, N., Defour, D., Kornerup, Peter, Muller, J.M., Revol, N.

Publikováno v: Brisbarre, N, Defour, D, Kornerup, P, Muller, J M & Revol, N 2005, ' A new Range Reduction Algorithm ', IEEE Transactions on Computers, vol. 54, pp. 331-339 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3062::b1cebe445ba636e1fb2976a534995b45
https://portal.findresearcher.sdu.dk/da/publications/10ecb3d0-e0fc-11db-9628-000ea68e967b

Vers une méthode de référence de la mesure de la digestibilité des aliments chez la poule pondeuse

Autor: LESSIRE, Michel, Revol, N., Rudeaux, F.

Publikováno v: 1. Journées de la recherche avicole
1. Journées de la recherche avicole, Mar 1995, Angers, France

National audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c9c429017d960fd55b54b414e7d53229
https://hal.inrae.fr/hal-02778984

A Methodology of Parallelization for Continuous Verified Global Optimization.

Autor: Revol, N., Denneulin, Y., Méhaut, J.-F., Planquelle, B.

Publikováno v: Parallel Processing & Applied Mathematics (9783540437925); 2006, p803-810, 8p