Results 1 to 10 of about 6,733 (156)
Confidence Intervals for Stochastic Arithmetic [PDF]
ACM Transactions on Mathematical Software, 2021 Quantifying errors and losses due to the use of Floating-point (FP) calculations in industrial scientific computing codes is an important part of the Verification, Validation, and Uncertainty Quantification process. Stochastic Arithmetic is one way to model and estimate FP losses of accuracy, which scales well to large, industrial codes.
Eric Petit +2 more
exaly +5 more sources
Computation, 2023 Stochastic circuits are used in applications that require low area and power consumption. The computing performed using these circuits is referred to as Stochastic computing (SC).
P. Ashok, B. Bala Tripura Sundari
doaj +3 more sources
Numerical validation of compensated algorithms with stochastic arithmetic [PDF]
Applied Mathematics and Computation, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stef Graillat, Fabienne Jézéquel
exaly +4 more sources
Stochastic Arithmetic as a Tool to Study the Stability of Biological Models
Biomath, 2014 The theoretical study of the stability of the numerical solution of a differential system may be complicated or even not feasible when the system is large and nonlinear.
Rene Alt, Jean-Luc Lamotte
doaj +5 more sources
Neural Network Precision Tuning Using Stochastic Arithmetic
Lecture Notes in Computer Science, 2022 Neural networks can be costly in terms of memory and execution time. Reducing their cost has become an objective, especially when integrated in an embedded system with limited resources. A possible solution consists in reducing the precision of their neurons parameters.
Stef Graillat +2 more
exaly +5 more sources
Implementation of a Low-Cost Navigation System Using Data Fusion of a Micro-Electro-Mechanical System Inertial Sensor and an Ultra Short Baseline on a Microcontroller [PDF]
SensorsIn this work, a low-cost low-power navigation solution for autonomous underwater vehicles is introduced utilizing a Micro-Electro-Mechanical System (MEMS) inertial sensor and an ultra short baseline (USBL) system.
Julian Winkler, Sabah Badri-Hoeher
doaj +2 more sources
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic
Electronic Notes in Theoretical Computer Science, 2015 Compensated summation algorithms are designed to improve the accuracy of ill-conditioned sums. They are based on algorithms, such as FastTwoSum, which are proved to provide, with rounding to nearest, the sum of two floating-point numbers and the associated rounding error. Discrete stochastic arithmetic enables one to estimate rounding error propagation
Graillat, Stef +2 more
exaly +3 more sources
Mathematics, 2021 The aim of this paper is to present a new method and the tool to validate the numerical results of the Volterra integral equation with discontinuous kernels in linear and non-linear forms obtained from the Adomian decomposition method.
Samad Noeiaghdam +4 more
doaj +1 more source
Stochastic Order and Generalized Weighted Mean Invariance
Entropy, 2021 In this paper, we present order invariance theoretical results for weighted quasi-arithmetic means of a monotonic series of numbers. The quasi-arithmetic mean, or Kolmogorov–Nagumo mean, generalizes the classical mean and appears in many disciplines ...
Mateu Sbert +3 more
doaj +1 more source
Probability and Certainty in the Performance of Evolutionary and Swarm Optimization Algorithms
Mathematics, 2022 Reporting the empirical results of swarm and evolutionary computation algorithms is a challenging task with many possible difficulties. These difficulties stem from the stochastic nature of such algorithms, as well as their inability to guarantee an ...
Nikola Ivković +2 more
doaj +1 more source