Search Results - "[INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]"

Computer-Assisted Proofs of Nonreachability for Finite-Dimensional Linear Control Systems

Authors: Hasenohr, Ivan Pouchol, Camille Privat, Yannick et al.

Contributors: Hasenohr, Ivan Pouchol, Camille Privat, Yannick et al.

Source: SIAM Journal on Control and Optimization. 63:3272-3296

Subject Terms: reachability analysis, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], constrained linear control systems, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], interval arithmetic, computer-assisted proofs

File Description: application/pdf

Access URL: https://hal.science/hal-04523794v2

Aging modeling and lifetime prediction of a proton exchange membrane fuel cell using an extended Kalman filter

Authors: Pene, Serigne Daouda Picot, Antoine Gamboa, Fabrice et al.

Contributors: Pene, Serigne Daouda Picot, Antoine Gamboa, Fabrice et al.

Source: Mathematics and Computers in Simulation. 234:151-168

Subject Terms: FOS: Computer and information sciences, remaining useful life, extended Kalman filter, time change detection, Systems and Control (eess.SY), Statistics - Applications, Electrical Engineering and Systems Science - Systems and Control, Statistics - Computation, 7. Clean energy, Methodology (stat.ME), [STAT.AP] Statistics [stat]/Applications [stat.AP], FOS: Mathematics, FOS: Electrical engineering, electronic engineering, information engineering, Applications (stat.AP), Mathematics - Numerical Analysis, [MATH.MATH-ST] Mathematics [math]/Statistics [math.ST], Monte Carlo simulation, Statistics - Methodology, Computation (stat.CO), aging, Numerical Analysis (math.NA), PEM fuel cell, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, lifetime prediction, hybrid approach, Hydrogen

File Description: application/pdf

Access URL: http://arxiv.org/abs/2406.01259
https://hal.science/hal-04583935v2
https://doi.org/10.1016/j.matcom.2025.02.022
https://hal.science/hal-04583935v2/document

Very Large Scale Grid Motion for Arbitrary Lagrange Euler Simulation by Means of An Explicit Hyperbolic Nonlinear Problem

Authors: Vincent Faucher Maria Adela Puscas CEA, Contributeur MAP

Contributors: Vincent Faucher Maria Adela Puscas CEA, Contributeur MAP

Source: International Journal of Computational Fluid Dynamics. :1-29

Subject Terms: [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [SPI.MECA.MEFL] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph]

File Description: application/pdf

Access URL: https://cea.hal.science/cea-05224921v1/document
https://cea.hal.science/cea-05224921v1
https://doi.org/10.1080/10618562.2025.2523987

High-Order Sparse-PIC Methods: Analysis and Numerical Investigations

Authors: Deluzet, Fabrice Guillet, Clément Narski, Jacek et al.

Contributors: Deluzet, Fabrice Guillet, Clément Narski, Jacek et al.

Source: SIAM Journal on Numerical Analysis. 63:1281-1314

Subject Terms: Plasma physic, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], Particle-In-Cell, [MATH] Mathematics [math], Sparse grid combination technique

File Description: application/pdf

A Hypocoercivity-Exploiting Stabilized Finite Element Method for Kolmogorov Equation

Authors: Zhaonan Dong Emmanuil H. Georgoulis Philip J. Herbert et al.

Contributors: Zhaonan Dong Emmanuil H. Georgoulis Philip J. Herbert et al.

Source: SIAM Journal on Numerical Analysis. 63:1105-1127

Subject Terms: Finite element methods, Hypocoercivity, 65N30, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], FOS: Mathematics, Stabilised finite elements, [MATH] Mathematics [math], Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Kolmogorov equation, Galerkin methods

File Description: application/pdf

Access URL: http://arxiv.org/abs/2401.12921
https://inria.hal.science/hal-04413333v2/document
https://inria.hal.science/hal-04413333v2
https://doi.org/10.1137/24m163373x

Simulation of the eddy current testing of steam generator tubes using axial,rotating and multi-element probes within CIVA: experimental validation and practical limitations

Authors: Demaldent, Edouard Vigneron, Audrey CEA, Contributeur MAP

Contributors: Demaldent, Edouard Vigneron, Audrey CEA, Contributeur MAP

Source: e-Journal of Nondestructive Testing. 30

Subject Terms: [PHYS.PHYS.PHYS-INS-DET] Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA]

File Description: application/pdf

Access URL: https://cea.hal.science/cea-05132071v1

Truncated QR Factorization with Pivoting in Mixed Precision: Truncated QR factorization with pivoting in mixed precision

Authors: Buttari, Alfredo Mary, Theo Pacteau, André

Contributors: Buttari, Alfredo Mary, Theo Pacteau, André

Source: SIAM Journal on Scientific Computing. 47:B382-B401

Subject Terms: mixed precision, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], Roundoff error, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], Mixed-precision algorithms, low-rank approximations, QR factorization, Numerical methods for low-rank matrix approximation, matrix compression, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic

File Description: application/xml; application/pdf

Fourth-Order Entropy-Stable Lattice Boltzmann Schemes for Hyperbolic Systems: Fourth-order entropy-stable lattice Boltzmann schemes for hyperbolic systems

Authors: Bellotti, Thomas Helluy, Philippe Navoret, Laurent

Contributors: Bellotti, Thomas Helluy, Philippe Navoret, Laurent

Source: SIAM Journal on Scientific Computing. 47:A586-A611

Subject Terms: lattice Boltzmann, entropy stability, transport phase, Gas dynamics (general theory), Numerical Analysis (math.NA), [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], Euler equations, Riemann problem, Cartesian grid, relaxation parameter, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], hyperbolic systems of conservation laws, second-order time-symmetric basic scheme, conservation law, FOS: Mathematics, Particle methods and lattice-gas methods, local relaxation phase, Mathematics - Numerical Analysis, entropy, Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs, fourth-order

File Description: application/xml; application/pdf

Access URL: http://arxiv.org/abs/2403.13406
https://zbmath.org/8005981
https://doi.org/10.1137/24m1646364
https://hal.science/hal-04510582v3
https://hal.science/hal-04510582v3/document
https://doi.org/10.1137/24m1646364

MERCI: Mixed Curvature-Based Elements for Computing Equilibria of Thin Elastic Ribbons

Authors: Charrondière, Raphaël Neukirch, Sébastien Bertails-Descoubes, Florence et al.

Contributors: Charrondière, Raphaël Neukirch, Sébastien Bertails-Descoubes, Florence et al.

Source: ACM Transactions on Graphics. 43:1-26

Subject Terms: [PHYS.MECA.SOLID] Physics [physics]/Mechanics [physics]/Solid mechanics [physics.class-ph], Physical simulation, [PHYS.MECA.STRU] Physics [physics]/Mechanics [physics]/Structural mechanics [physics.class-ph], Thin elastic ribbon, [INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR], 02 engineering and technology, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], curvature-based element, [PHYS.MECA.STRU]Physics [physics]/Mechanics [physics]/Structural mechanics [physics.class-ph], 0203 mechanical engineering, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [PHYS.MECA.SOLID]Physics [physics]/Mechanics [physics]/Solid mechanics [physics.class-ph], 0202 electrical engineering, electronic engineering, information engineering, Möbius band, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, constraints, contact

File Description: application/pdf

Access URL: https://hal.science/hal-04601301v2
https://doi.org/10.1145/3674502
https://hal.science/hal-04601301v2/document

Xvpfloat: RISC-V ISA Extension for Variable Extended Precision Floating Point Computation

Authors: Guthmuller, Eric Fuguet, César Bocco, Andrea et al.

Contributors: Guthmuller, Eric Fuguet, César Bocco, Andrea et al.

Source: IEEE Transactions on Computers

Subject Terms: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], 7. Clean energy

File Description: application/pdf

Access URL: https://cea.hal.science/cea-04546949v1
https://doi.org/10.1109/tc.2024.3383964
https://cea.hal.science/cea-04546949v1/document

Strassen's algorithm is not optimally accurate

Authors: Jean-Guillaume Dumas Clément Pernet Alexandre Sedoglavic et al.

Contributors: Jean-Guillaume Dumas Clément Pernet Alexandre Sedoglavic et al.

Source: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :254-263

Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), 0102 computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, 01 natural sciences

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.05630

Validated Numerics for Algebraic Path Tracking

Authors: Alexandre Guillemot Pierre Lairez Lairez, Pierre

Contributors: Alexandre Guillemot Pierre Lairez Lairez, Pierre

Source: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation

Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, certified path tracking, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], numerical algebraic geometry, FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Symbolic Computation (cs.SC)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2401.17973

Fast and Reliable Computation of Instantaneous Orbital Collision Probability

Authors: Masson, Matthieu Arzelier, Denis Bréhard, Florent et al.

Contributors: Masson, Matthieu Arzelier, Denis Bréhard, Florent et al.

Source: Journal of Guidance, Control, and Dynamics. :1-14

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Laplace transform, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, debris risk management, 7. Clean energy, Holonomic Functions, Error bounds, Saddle-point approximation, Integration algorithm, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], probability of collision, Numerical accuracy, Cancellation Problem, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Power series approximation, [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

File Description: application/pdf

Equivalence between constrained optimal smoothing and Bayesian estimation

Authors: Grammont, Laurence Maatouk, Hassan Bay, Xavier et al.

Contributors: Grammont, Laurence Maatouk, Hassan Bay, Xavier et al.

Source: Journal of Nonparametric Statistics. 37:60-81

Subject Terms: [STAT]Statistics [stat], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], inequality constraints, smoothing, [MATH]Mathematics [math], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Bayesian estimation, Reproducing Kernel Hilbert Space, correspondence, [STAT] Statistics [stat]

File Description: application/pdf

Access URL: https://hal.science/hal-03282857v2
https://hal.science/hal-03282857v2/document
https://doi.org/10.1080/10485252.2024.2348542

Useful applications of correctly-rounded operators of the form ab + cd + e

Authors: Hubrecht, Tom Jeannerod, Claude-Pierre Muller, Jean-Michel

Contributors: Hubrecht, Tom Jeannerod, Claude-Pierre Muller, Jean-Michel

Source: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH). :32-39

Subject Terms: floating-point arithmetic, fused operators, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], double-word arithmetic, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, correct rounding, complex arithmetic, [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], dot-product instructions, rounding error analysis

File Description: application/pdf

Access URL: https://inria.hal.science/hal-04461089v2

Adaptive regularization for the Richards equation

Authors: Févotte, François Rappaport, Ari Vohralík, Martin

Contributors: Févotte, François Rappaport, Ari Vohralík, Martin

Source: Computational Geosciences. 28:1371-1388

Subject Terms: Adaptivity, Newton's method, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], Regularization, Richards equation

File Description: application/pdf

Access URL: https://hal.science/hal-04266827v4
https://hal.science/hal-04266827v4/document
https://doi.org/10.1007/s10596-024-10309-7

Bounds on Nonlinear Errors for Variance Computation with Stochastic Rounding

Authors: E-M. El Arar D. Sohier P. de Oliveira Castro et al.

Contributors: E-M. El Arar D. Sohier P. de Oliveira Castro et al.

Source: SIAM Journal on Scientific Computing. 46:B579-B599

Subject Terms: Floating-point arithmetic, Numerical Analysis (math.NA), [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Stochastic rounding, Variance computation, 62-08, Non-linear error, Doob-Meyer decomposition, 65Y04, FOS: Mathematics, Pairwise summation MSC codes. 65G50, Pairwise summation, 65G50, Mathematics - Numerical Analysis, 65C99, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], Stochastic rounding Floating-point arithmetic Variance computation Non-linear error Doob-Meyer decomposition Pairwise summation MSC codes. 65G50 65C99 65Y04 62-08

Access URL: http://arxiv.org/abs/2304.05177

Efficient and Validated Numerical Evaluation of Abelian Integrals

Authors: Florent Bréhard Nicolas Brisebarre Mioara Joldes et al.

Contributors: Florent Bréhard Nicolas Brisebarre Mioara Joldes et al.

Source: ACM Transactions on Mathematical Software. 50:1-38

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], limit cycles, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Abelian integral, Newton-like operator, [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], 37M20, rigorous numerics, Hilbert's 16th problem, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Secondary: 37G15, 01 natural sciences, 2020 AMS classification: Primary: 34C07, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, 42A10, trigonometric polynomial interpolation, 0101 mathematics, 42A15, 65G20

File Description: application/pdf

Access URL: https://hal.science/hal-03561096v2/document
https://hal.science/hal-03561096v2
https://doi.org/10.1145/3637550

Five-Precision GMRES-Based Iterative Refinement

Authors: Amestoy, Patrick Buttari, Alfredo Higham, Nicholas et al.

Contributors: Amestoy, Patrick Buttari, Alfredo Higham, Nicholas et al.

Source: Amestoy, P, Buttari, A, Higham, N J, L’EXCELLENT, JEAN-YVES, Mary, T & Vieuble, B 2023, 'FIVE-PRECISION GMRES-BASED ITERATIVE REFINEMENT ∗', SIAM Journal on Matrix Analysis and Applications.

Subject Terms: mixed precision, floating-point arithmetic, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, 4. Education, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], GMRES, rounding error analysis, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], preconditioning, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], iterative refinement, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, linear system, multiple precision, 65G50, backward error, forward error, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

File Description: application/pdf

Access URL: https://research.manchester.ac.uk/en/publications/f377b09f-1e32-4247-8494-0c69c7763410
https://pure.manchester.ac.uk/ws/files/281551091/paper.pdf
https://research.manchester.ac.uk/en/publications/f377b09f-1e32-4247-8494-0c69c7763410

Altruistic Collaborative Learning

Authors: Abdourrahmane Mahamane Atto Atto, Abdourrahmane Mahamane Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC) et al.

Contributors: Abdourrahmane Mahamane Atto Atto, Abdourrahmane Mahamane Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC) et al.

Source: IEEE Transactions on Neural Networks and Learning Systems. 35:1954-1964

Subject Terms: [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, [MATH.MATH-FA] Mathematics [math]/Functional Analysis [math.FA], [MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT], [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-IT] Mathematics [math]/Information Theory [math.IT], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-SP] Mathematics [math]/Spectral Theory [math.SP], [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, [INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR], [MATH.MATH-ST] Mathematics [math]/Statistics [math.ST], [MATH.MATH-SP]Mathematics [math]/Spectral Theory [math.SP]

Access URL: https://pubmed.ncbi.nlm.nih.gov/35771785
https://hal.science/hal-03774351v1
https://doi.org/10.1109/tnnls.2022.3185961