Results 111 to 120 of about 2,905,950 (213)

COMPUTING ILL-POSED TIME-REVERSED 2D NAVIER-STOKES EQUATIONS, USING A STABILIZED EXPLICIT FINITE DIFFERENCE SCHEME MARCHING BACKWARD IN TIME. [PDF]

Inverse Probl Sci Eng, 2020
Carasso AS.
europepmc   +1 more source

Roundoff error analysis of the fast Fourier transform

, 1970
G. Ramos
semanticscholar   +1 more source

Exact arithmetic as a tool for convergence assessment of the IRM-CG method. [PDF]

Heliyon, 2020
Dvornik J, Jaguljnjak Lazarevic A, Lazarevic D, Uros M.   +3 more
europepmc   +1 more source

Toward mechanical verification of properties of roundoff error propagation

Symposium on the Theory of Computing, 1973
W. Miller
semanticscholar   +1 more source

Analysis of eigenvalue condition numbers for a class of randomized numerical methods for singular matrix pencils. [PDF]

BIT Numer Math
Kressner D, Plestenjak B.
europepmc   +1 more source

Checking Roundoff Errors using Counterexample-Guided Narrowing

Checking Roundoff Errors using Counterexample-Guided Narrowing
This paper proposes a counterexample-guided narrowing approach、which combines static analysis and testing、 to make them refine eachother. A prototype tool CANAT for checking roundoff errors betweenfloating point and fixed point numbers is reported with preliminary experiments.
openaire  

Spectral synthesis techniques for supernovae and kilonovae. [PDF]

Living Rev Comput Astrophys
Jerkstrand A.
europepmc   +1 more source

Contact tracing can explain counter-intuitive COVID-19 trajectories, mitigate disease transmission and provide an early warning indicator - a mathematical modeling study

, 2021
Shayak B, Sharma MM.
europepmc   +1 more source

A kinetic mathematical model of comprehensive iron metabolism in a respiring yeast cell: a basic-pathways approach to solving a large system dynamically. [PDF]

Biometals
Lindahl PA, Walton JR.
europepmc   +1 more source