Zobrazeno 1 - 10
of 52
pro vyhledávání: '"Nicolas Brisebarre"'
Autor:
Nicolas Brisebarre, Bruno Salvy
Publikováno v:
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society, In press
Proceedings of the American Mathematical Society, In press
Six families of generalized hypergeometric series in a variable $x$ and an arbitrary number of parameters are considered. Each of them is indexed by an integer $n$. Linear recurrence relations in $n$ relate these functions and their product by the va
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92e619581d75bf1983546e41ccb29347
https://inria.hal.science/hal-03712632
https://inria.hal.science/hal-03712632
Publikováno v:
IEEE Transactions on Information Theory
IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩
IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩
International audience; We deal with two complementary questions about approximation properties of ReLU networks. First, we study how the uniform quantization of ReLU networks with real-valued weights impacts their approximation properties. We establ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46a5b725537831ccc31acfe37b1ab98b
Publikováno v:
ACM Transactions on Mathematical Software
ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
We are interested in obtaining error bounds for the classical Cooley-Tukey fast Fourier transform algorithm in floating-point arithmetic, for the 2-norm as well as for the infinity norm. For that purpose, we also give some results on the relative err
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6b66bea36a9623aaf74b913a6f07526
https://hal.science/hal-01949458v2/document
https://hal.science/hal-01949458v2/document
Autor:
Matei Istoan, Jean-Michel Muller, Nicolas Brisebarre, George A. Constantinides, Silviu-Ioan Filip, Milos Ercezovac
Publikováno v:
ARITH
ARITH 2018-25th IEEE Symposium on Computer Arithmetic
ARITH 2018-25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩
25th IEEE Symposium on Computer Arithmetic
ARITH 2018-25th IEEE Symposium on Computer Arithmetic
ARITH 2018-25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩
25th IEEE Symposium on Computer Arithmetic
International audience; We present an automatic method for the evaluation of functions via polynomial or rational approximations and its hardware implementation, on FPGAs. These approximations are evaluated using Ercegovac's iterative E-method adapte
Autor:
Vincent Lefèvre, Claude-Pierre Jeannerod, Serge Torres, Guillaume Melquiond, Nicolas Brisebarre, Florent de Dinechin, Damien Stehlé, Jean-Michel Muller, Nathalie Revol
Publikováno v:
Handbook of Floating-Point Arithmetic ISBN: 9783319765259
Handbook of Floating-Point Arithmetic ISBN: 9780817647049
Handbook of Floating-Point Arithmetic ISBN: 9780817647049
As said in the Introduction, roughly speaking, a radix-β floating-point number x is a number of the form m · β e , where β is the radix of the floating-point system, m such that |m| < β is the significand of x, and e is its exponent. And yet, po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f915818c8d4863a6737eab32ef74cf89
https://doi.org/10.1007/978-3-319-76526-6_2
https://doi.org/10.1007/978-3-319-76526-6_2
Publikováno v:
ACM Transactions on Mathematical Software
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, pp.1-50
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
ACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, pp.1-50
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
ACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
International audience; In this work we develop a validated numerics method for the solution of linear ordinary differential equations (LODEs). A wide range of algorithms (i.e., Runge-Kutta, collocation, spectral methods) exist for numerically comput
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c931261a46faa6ef3eb74d6e910b03e
https://hal.archives-ouvertes.fr/hal-01526272v3/document
https://hal.archives-ouvertes.fr/hal-01526272v3/document
Autor:
Jean-Michel Muller, Nicolas Brisebarre, Vincent Lefèvre, Florent de Dinechin, Damien Stehlé, Nathalie Revol, Guillaume Melquiond, Claude-Pierre Jeannerod, Serge Torres
Publikováno v:
Handbook of Floating-Point Arithmetic ISBN: 9783319765259
Handbook of Floating-Point Arithmetic ISBN: 9780817647049
Handbook of Floating-Point Arithmetic ISBN: 9780817647049
The elementary functions are the most common mathematical functions: sine, cosine, tangent and their inverses, exponentials and logarithms of radices e, 2 or 10, etc. They appear everywhere in scientific computing; thus being able to evaluate them qu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e36a1069d07771520f932a79ea67daf5
https://doi.org/10.1007/978-3-319-76526-6_10
https://doi.org/10.1007/978-3-319-76526-6_10
Publikováno v:
IEEE Transactions on Signal Processing
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2018, 66 (10), pp.2673-2684. 〈10.1109/TSP.2018.2812739〉
IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2018, 66 (10), pp.2673-2684. 〈10.1109/TSP.2018.2812739〉
IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
accepted for publication; International audience; Many applications of finite impulse response (FIR) digital filters impose strict format constraints for the filter coefficients. Such requirements increase the complexity of determining optimal design
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::905daba57f5ba086d9dfa4bd0ffd4d94
https://hal.inria.fr/hal-01308801/file/firlll_hal.pdf
https://hal.inria.fr/hal-01308801/file/firlll_hal.pdf
Publikováno v:
IEEE Transactions on Computers
IEEE Transactions on Computers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩
IEEE Transactions on Computers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩
International audience; The 2008 revision of the IEEE-754 standard, which governs floating-point arithmetic, recommends that a certain set of elementary functions should be correctly rounded. Successful attempts for solving the Table Maker's Dilemma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::537e71204f90421cb081b848a61ffd8a
https://hal.science/hal-01396027v3/document
https://hal.science/hal-01396027v3/document
Publikováno v:
IEEE Transactions on Circuits and Systems II: Express Briefs. 61:711-715
Linear (order-1) function evaluation schemes, such as bipartite and multipartite tables, are usually effective for low- precision approximations. For high-output precision, the lookup table size is often too large for practical use. This brief invest