… Affine arithmetic, introduced by Comba and Stolfi in 1993 [5], is a model for numerical …
Goubault first applied affine arithmetic to abstract interpretation in 2001 [12], intending to statically …

… The affine arithmetic model is a generalization of interval arithmetic by considering the …
Macdonald and Clarke [156] implemented the affine arithmetic model in the energy conservation …

… Among several approaches to compute with ranges, Affine Arithmetic (eg [4, 14]) offers a
good tradeoff between efficiency and accuracy if used for computations. An Affine Arithmetic …

This book is intended for undergraduate students of Mathematics, Statistics, and Physics who
know nothing about Monte Carlo Methods but wish to know how they work. All treatments …

… Using static analysis of Affine Arithmetic (AA), the obtained range is [-694,694], which is much
coarser than ours. Note that the range calculation does not depend on a concrete datapath …

… In order to limit the overestimation the generalized interval analysis [13] and the affine arithmetic
[14] have been introduced by researchers. In the last … An introduction to affine arithmetic …

… Meanwhile, complex affine arithmetic-based a forward-backward sweep power can be found
in distribution systems. In turn, an index of uncertainty mitigation to quantify the impacts on …

… For the implementation, I chose data structures and algorithms that are amenable to formal
verification while at the same time exhibiting reasonable performance: affine arithmetic for …

… Methods with result verification such as interval analysis or affine arithmetic have been
used successfully at least since the 1970s not only for dealing with the automated proofs that …

… Alternatively, we can perform a coarse enumeration using interval or affine arithmetic to
locate regions guaranteed to contain pieces of V; the initial sample can then be taken in these …