… element-by-element approaches11 or affine arithmetic.13 A second challenge lies in the …
more recently by other authors based on affine arithmetic,17, 18 a spatial averaging method,…

This paper presents a conic optimization method based on Semi-Definite Programming (SDP)
relaxation for calculating the Static Voltage Stability Limitation (SVSL) in Active …

… We perform an error analysis to show that such an overapproximation can be addressed
using affine arithmetic simulations [6] or BMC using linear real arithmetic constraints (Section 4)…

… When performing polynomial approximations, for a fair comparison we use the same
polynomial approximation method for affine arithmetic and our approach, with the exception of …

… definable in Bellantoni and Cook’s system are provably total in epistemic affine arithmetic: …
in epistemic affine arithmetic are polytime computable by a term typed in Hofmann’s system. …

… Authors in [10] proposed an Affine Arithmetic approach to handle uncertainties. The method
is independent of the types and level of uncertainties in the input data. Similar work is done …

… Affine arithmetic: we start with x = 0.5 − ∆x + [0,0]; • r1 := 1 − (0.5 − ∆) = 0.5+∆x; • r2 := (0.5 −
∆x) · (0.5+∆x), … Accuracy: affine arithmetic leads to more accurate ranges. • Computation time: …

… For the special case of degree m = 1 , standard domain D s , and center point c s this
coincides with the enclosure represented by an object in affine arithmetic with k error terms. …

… The language of expressions that we have considered so far allows only for affine arithmetic
expressions. In this section we speculate about the uses of randomized algorithms for …

… 4.2 Interval and affine arithmetic … (1994) and others with the concept of “affine arithmetic,”
replacing the ranges of interval arithmetic with a linear combination of error factors. Affine …