… Although we limit the discussion to integer affine arithmetic semantics in the interval domain,
the flexibility and power of mathematical programming tools have the potential for enriching …

… this affine arithmetic and our corner-based taylorization. … Compared to affine arithmetic, first
experiments suggest that our … has the potential to complement affine arithmetic and Quad. …

… The methods based on affine arithmetic integrate well with the well-known KL expansion
method, allowing for the application of a globally defined homogeneous auto-dependence …

… In [7], the temporal correlation problem of Affine Arithmetic is solved by including all the terms
with … However, since the applied analytical method is Affine Arithmetic, the treatment of the …

… Compared to affine arithmetic, preliminary experiments suggest that our convex interval …
reliable convexification method has the potential to complement affine arithmetic and Quad. …

… Affine arithmetic ensures that the resulting affine form contains the true value provided that
the operands contain the true value. This property, useful for reliable computing, in general is …

… They are constructed using Taylor models or affine arithmetic. The particular structure of (I)LIEs
allows the construction of effective hierarchies of bounding volumes and the …

… Furthermore, the uncertainty of power loss is considered and modeled by applying the
ET and the extended affine arithmetic framework. Regarding the highly nonlinear mix-discrete …

… This section requires some basic knowledge about interval and affine arithmetic. A short …
way is to use affine arithmetic: Like in the straight forward use of affine arithmetic for cell/object in…

… In Section 2 we give an overview of the symbolic simulation based on Extended Affine Arithmetic.
… with Extended Affine Arithmetic. The demonstration example is described in Section 5. …