Results 21 to 30 of about 852,005 (184)
Checking Roundoff Errors using Counterexample-Guided Narrowing [PDF]
, 2010 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 ...
Ogawa, Mizuhito +3 more
core +1 more source
Roundoff errors in the fast computation of discrete convolutions [PDF]
, 1981 summary:The efficient evaluation of a discrete convolution is usually carried out as a repated evaluation of a discrete convolution of a special type with the help of the fast Fourier transform.
Segeth, Karel
core +1 more source
Parts of the Whole: Error Estimation for Science Students
Numeracy, 2017 It is important for science students to understand not only how to estimate error sizes in measurement data, but also to see how these errors contribute to errors in conclusions they may make about the data. Relatively small errors in measurement, errors
Dorothy Wallace
doaj +1 more source
Overflow and Roundoff Error Analysis via Model Checking [PDF]
, 2009 This paper proposes a framework for statically analyzing overflow and roundoff errors of C programs. First, a new range representation, "extended affine interval", is proposed to estimate overflow and roundoff errors.
Ogawa, Mizuhito +3 more
core +1 more source
An Introduction to Affine Arithmetic
Trends in Computational and Applied Mathematics, 2003 Affine arithmetic (AA) is a model for self-validated computation which, like standard interval arithmetic (IA), produces guaranteed enclosures for computed quantities, taking into account any uncertainties in the input data as well as all internal ...
J. Stolfi, L.H. de Figueiredo
doaj +1 more source
An exact solution of truss vibration problems; pp. 244–263 [PDF]
Proceedings of the Estonian Academy of Sciences, 2019 The Elements by a System of Transfer equations (EST) method offers exact solutions to various vibration problems of trusses, beams, and frames. The method can be regarded as an improved or modified transfer matrix method.
Andres Lahe +2 more
doaj +1 more source
On fully discrete collocation methods for solving weakly singular integral equations
Mathematical Modelling and Analysis, 2009 A popular class of methods for solving weakly singular integral equations is the class of piecewise polynomial collocation methods. In order to implement those methods one has to compute exactly certain integrals that determine the linear system to be ...
Raul Kangro, Inga Kangro
doaj +1 more source
A Note on the Construction of Explicit Symplectic Integrators for Schwarzschild Spacetimes
The Astrophysical Journal, 2022 In recent publications, the construction of explicit symplectic integrators for Schwarzschild- and Kerr-type spacetimes is based on splitting and composition methods for numerical integrations of Hamiltonians or time-transformed Hamiltonians associated ...
Naying Zhou +3 more
doaj +1 more source
Nonconcurrent Error Correction in the Presence of Roundoff Noise [PDF]
Proceedings of the 45th IEEE Conference on Decision and Control, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takos, G. +3 more
openaire +4 more sources
An Efficient Algorithm for the Reflexive Solution of the Quaternion Matrix Equation AXB+CXHD=F
Journal of Applied Mathematics, 2013 We propose an iterative algorithm for solving the reflexive solution of the quaternion matrix equation AXB+CXHD=F. When the matrix equation is consistent over reflexive matrix X, a reflexive solution can be obtained within finite iteration steps in the ...
Ning Li, Qing-Wen Wang, Jing Jiang
doaj +1 more source