… Furthermore, in comparison to Affine Arithmetic method [15], we can see that the proposed
method produces lower bounds and upper bounds that are significantly closer to the true …

We show that faster solutions to unconstrained global optimization problems can be obtained
by combining previous accelerations techniques for interval branch-andbound methods …

… discussion and examples that specifying the parameter uncertainty using interval analysis
can lead to very complex sets of eigenvalues, and specifying these through affine arithmetic or …

… The Java Library jAADD creates the reachability models which constitutes the data structures
of Affine Arithmetic Decision Diagrams (AADD, [14]). Such objects can be naturally stored …

… 2.1 Affine Arithmetic and Zonotopes Affine arithmetic is an extension of interval arithmetic
on affine forms, first introduced in [4], that takes into account affine correlations between …

… in real numbers based on generalized affine arithmetic. In: Riis Nielson, H., Filé, G. (eds.) …
Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR, abs/…

… Affine Arithmetic (AA) is a kind of Interval Arithmetic (IA) proposed by Stolfi [3] in 1994. In this
method, a quantity χ is represented by Affine form which we will mention in detail in the next …

… Among the various analytical techniques, in [9] the authors adopt Affine Arithmetic (AA) to
model the min/max error propagation of quantization noise. However, static min/max …

… represent OS-ELM in affine arithmetic. • Affine arithmetic can represent only fixed-length
computation graphs and unbounded loops are not supported in affine arithmetic. However, OS-…

… Affine arithmetic has been proposed as an alternative to … While we did not consider affine
arithmetic in this work, it … Use of interval arithmetic (or, more likely affine arithmetic) within static …