… Affine sets define an abstract domain for static analysis of numerical programs, based on
affine arithmetic. The geometric concretization of an abstract value of affine sets is a zonotope, …

… 1: Compute the variational transfer function by graph-based symbolic method and affine
arithmetic method. Compute the performance bounds of the variational transfer function by …

… We have used deformable model theory and augmented it with novel algorithms for detection
of human expressions, as well as stochastic methods based on Affine arithmetic to embed …

… Romero-Quete and Cañizares in [7] proposed an affine arithmetic method for EMS in
isolated microgrids. In this model, uncertain load and renewable energy are managed through …

… PRECiSA currently uses interval arithmetic, but other enclosure methods such as Bernstein
polynomials and affine arithmetic can be used since they are already defined in PVS [10, 11]. …

… We present in this paper an abstract domain based on affine arithmetic [4] to bound the values
of variables in numerical programs, with a real number semantics. Affine arithmetic can be …

… In [20] the researchers calculated sag and tension of over-head transmission line using affine
arithmetic-based methods to solve the accuracy problem associated with self-validated (SV…

… On the other hand, using our affine-arithmeticbased type we compute an absolute error of
1.34 ∗ 10−15, which is (by the correctness of our approach) sound, yet two decimal orders of …

… To address this issue, a few decades later, affine arithmetic (AA) was developed by Comba
… , in which case it is referred to as reduced affine arithmetic. Intuitively, if IA approximates the …

… We have added Affine Arithmetic as another approach to get the inclusion function, and it
can be used to sharpen the error approximation conveniently. Numerical results will be shown …