We consider the problem of reasoning about the probability of assertion violations in straight-line,
nonlinear computations involving uncertain quantities modeled as random variables. …

… , the affine arithmetic [49,50,51] was introduced as an important remedy to the overestimation
problem. The affine arithmetic can … This is due to the fact that the nonlinear affine arithmetic …

… Furthermore, Schmidt and Schegner propose to use an affine arithmetic method for low
voltage grid state estimation by modeling pseudo-measurements as principal source of some …

… Techniques and tools such as [21] use interval arithmetic and affine arithmetic to calculate
the range and precision of floating point variables. The most recent work in high level synthe…

… De Cusatis [8] suggest the use of affine arithmetic instead of interval arithmetic to solve the
intersection test. The algorithms previously mentioned consider only one interval variable (the …

… A workable approach is found with Affine Arithmetic (AA), as developed eg by Putot [23].
Every FP quantity ˆq is annotated with a bound ε that expresses the quantity’s error with respect …

This paper presents a lightweight arithmetic for embedded signal processing, whose hardware
complexity is similar to that of the integer one. In our simulations, its 16-bit version has …

… Then, the modified affine arithmetic method [11, 10] is used to get the bound of nth Taylor
polynomial over the region [x, x] × [y, y]. Next we use natural interval extension method to …

… For example, a standard approach employs a genetic algorithm (GA) [20] in conjunction
with the affine arithmetic - based interval power flow computation method (IPFCM) [21]. And a …

This paper incorporates interval arithmetic into current injection method to solve power flow
problem under both load and line data uncertainty. In this new methodology, the resulting …