CompCertO: compiling certified open C components
Since the introduction of CompCert, researchers have been refining its language semantics
and correctness theorem, and used them as components in software verification efforts …
and correctness theorem, and used them as components in software verification efforts …
Robust neural network receiver for multiple-eigenvalue modulated nonlinear frequency division multiplexing system
Nonlinear frequency division multiplexing (NFDM) has been shown to be promising in
overcoming the fiber Kerr nonlinearity limit. In multiple-eigenvalue modulated NFDM …
overcoming the fiber Kerr nonlinearity limit. In multiple-eigenvalue modulated NFDM …
[BOOK][B] A Journey through the History of Numerical Linear Algebra
C Brezinski, G Meurant, M Redivo-Zaglia - 2022 - SIAM
A Journey through the History of Numerical Linear Algebra: Back Matter Page 1 Bibliography
[1] A. Abdelfattah, H. Anzt, A. Bouteiller, A. Danalis, JJ Dongarra, M. Gates, A. Haidar, J. Kurzak …
[1] A. Abdelfattah, H. Anzt, A. Bouteiller, A. Danalis, JJ Dongarra, M. Gates, A. Haidar, J. Kurzak …
[HTML][HTML] Smith forms of matrices in Companion Rings, with group theoretic and topological applications
Let R be a commutative ring and g (t)∈ R [t] a monic polynomial. The commutative ring of
polynomials f (C g) in the companion matrix C g of g (t), where f (t)∈ R [t], is called the …
polynomials f (C g) in the companion matrix C g of g (t), where f (t)∈ R [t], is called the …
Parameterizing Intersecting Surfaces via Invariants
We introduce and analyze numerical companion matrix methods for the reconstruction of
hypersurfaces with crossings from smooth interpolants given unordered or, without loss of …
hypersurfaces with crossings from smooth interpolants given unordered or, without loss of …
Single-tone frequency estimation using modified autocorrelation and polynomial root-finding
Based on a novel extension scheme to autocorrelation with higher lags, this paper devises
an unbiased and nearly-optimal estimator for a single real sinusoid in white noise …
an unbiased and nearly-optimal estimator for a single real sinusoid in white noise …
[HTML][HTML] Sampling the eigenvalues of random orthogonal and unitary matrices
We develop an efficient algorithm for sampling the eigenvalues of random matrices
distributed according to the Haar measure over the orthogonal or unitary group. Our …
distributed according to the Haar measure over the orthogonal or unitary group. Our …
The Levin approach to the numerical calculation of phase functions
M Aubry, J Bremer - arxiv preprint arxiv:2308.03288, 2023 - arxiv.org
The solutions of scalar ordinary differential equations become more complex as their
coefficients increase in magnitude. As a consequence, when a standard solver is applied to …
coefficients increase in magnitude. As a consequence, when a standard solver is applied to …
A frequency-independent solver for systems of first order linear ordinary differential equations
T Hu, J Bremer - arxiv preprint arxiv:2309.13848, 2023 - arxiv.org
When a system of first order linear ordinary differential equations has eigenvalues of large
magnitude, its solutions exhibit complicated behaviour, such as high-frequency oscillations …
magnitude, its solutions exhibit complicated behaviour, such as high-frequency oscillations …
A solver for linear scalar ordinary differential equations whose running time is bounded independent of frequency
M Aubry, J Bremer - arxiv preprint arxiv:2311.08578, 2023 - arxiv.org
When the eigenvalues of the coefficient matrix for a linear scalar ordinary differential
equation are of large magnitude, its solutions exhibit complicated behaviour, such as high …
equation are of large magnitude, its solutions exhibit complicated behaviour, such as high …