… To easily set and check the accuracy constraint, we first build an affine arithmetic based
error model to evaluate the overall output accuracy loss caused by inaccurate FP MOPs. …

… easily deploying any kind of interval/affine arithmetic based range analyses in the DSL
compiler. Thirdly, we show that interval/affine arithmetic based techniques fail to take into account …

… , we use a static analysis based on affine arithmetic to compute an upper bound on the error.
… tions in using static analysis based on affine-arithmetic, but our search method works with …

… First, the Taylor models are not built and evaluated in affine arithmetic like in our approach.
Moreover, the physical time of the system is not directly accessible to evaluate transitions’ …

… INTERVAL-VALUED SUPPORT VECTOR MACHINES From the definition of affine arithmetic
we formulate the following conditions for the creation of behavioral models: 1) Parameters …

… Compared to the stochastic optimization and interval methods, the affine arithmetic approach
can effectively tackle the deterministic data and interval conservatism by modeling the DG …

… • As in binary fields the I/M ratio is between 8 to 10, one prefers affine arithmetic. • Affine
arithmetic involves inversion. We can not divide the group operations into smaller atomic blocks. …

… We suggest a novel bi-objective optimization framework based on Chebyshev affine
arithmetic (CAA) and the adaptive weighted sum (AWS) method. Both power and timing yield are …

… It inspires us that a computer arithmetic which is similar to affine arithmetic, the arithmetic
based on Taylor polynomials, may provide a unified solution for variational analysis, also it may …

… , affine arithmetic [5, 14] is to be used instead of interval arithmetic for validated Runga-Kutta.
Affine arithmetic can … Evaluating e with affine arithmetic without rewriting the expression, we …