… To do so, this section introduces the language of Affine Arithmetic Assertions whose syntax
will be described in detail. In order to give a more clear overview of available operators they …

… functions, and furthermore explicitly defines all affine arithmetic rules used in this work. …
We have now identified variants of affine arithmetic which are wellsuited to computing range …

… Then we apply the necessary simple mathematical operations of modified affine arithmetic
(described in previous Section 3) to make a linearization of the resulting functions )( pf . Thus, …

… The affine arithmetic model (AA) is a derivation of IA borrowed from numerical analysis. In
… [5] take advantage of affine arithmetic modeling to analyze range and precision. Work in [6] …

… These include the robustness evaluation of digital circuits under aging effects, such as NBTI;
the robustness modeling of analog and mixed signal circuits using affine arithmetic; and the …

… With the extension of affine arithmetic decision diagrams (AADDs) to SystemC-AMS [2], a
system can be described using affine forms to enclose analog behaviors. This allows for the …

… To follow the harmonic contributions of individual DGs in conveyance frameworks, A
Complex Affine Arithmetic Based Three-Phase Harmonic Power Flow technique (CATHPF) was …

… ] is based on affine arithmetic, in Section 3 of this work we propose a parameterized solution
in form (2) which is based on the numerical method in [9] and not using affine arithmetic. We …

… hyperelliptic curve cryptosystems, which uses affine arithmetic and is resistant against simple
… We will refer to these formulae as affine arithmetic. The formulae proposed in [13] do not …

… Since affine arithmetic is fast and exact for affine transformations, it is an attractive candidate
for the verification of neural networks [10]. However, the Zonotope abstraction is inherently …