ABD 1: Property-based verification
AS Farghaly - Proceeding of the 2012 Forum on Specification …, 2012 - ieeexplore.ieee.org
… The second paper presents the use of affine arithmetic to model typical properties of
mixed-signal devices and check the impact of parameter deviations on the system behavior. The …
mixed-signal devices and check the impact of parameter deviations on the system behavior. The …
Csg operations of arbitrary primitives with interval arithmetic and real-time ray casting
Y Hijazi, A Knoll, M Schott, A Kensler… - Dagstuhl Follow …, 2010 - drops.dagstuhl.de
… Also comparing interval and (reduced) affine arithmetic as in [9] for the task of CSG modeling
may lead to interesting observations. Another direction would be to work on the interaction …
may lead to interesting observations. Another direction would be to work on the interaction …
[PDF][PDF] Implementation of Taylor models in CORA 2018
M Althoff, D Grebenyuk… - Proc. of the 5th …, 2018 - mediatum.ub.tum.de
… affine arithmetic are conceptually identical [17, Sec. 5], we will only consider affine arithmetic
… is a zeroth-order Taylor model and affine arithmetic is a first-order Taylor model when the …
… is a zeroth-order Taylor model and affine arithmetic is a first-order Taylor model when the …
Efficient parallel vectors feature extraction from higher‐order data
C Pagot, D Osmari, F Sadlo, D Weiskopf… - Computer Graphics …, 2011 - Wiley Online Library
… Through the evaluation of the inclusion form of the PV operator using reduced affine
arithmetic, we are able to robustly guide the computation to regions that may contain features and …
arithmetic, we are able to robustly guide the computation to regions that may contain features and …
An interval power flow analysis through optimizing-scenarios method
C Zhang, H Chen, K Shi, M Qiu, D Hua… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
… Performance of the proposed approach is compared with that of previously established
methods, including the affine arithmetic-based method as well as Monte Carlo simulation method…
methods, including the affine arithmetic-based method as well as Monte Carlo simulation method…
[PDF][PDF] Protein Structure Reconstruction with Data Uncertainties
I Sendin, SK Goldenstein, C Lavor - ic.unicamp.br
… We propose a new hybrid method that uses affine arithmetic and particles to control the
uncertainty propagation, while the protein structure is constructed. The method was successfully …
uncertainty propagation, while the protein structure is constructed. The method was successfully …
Interval radial power flow using extended DistFlow formulation and Krawczyk iteration method with sparse approximate inverse preconditioner
… [8] presented an affine arithmetic-based method to take into … [9] describes a quadratic
affine arithmetic method that … [20] applied affine arithmetic into radial power flow to reduce …
affine arithmetic method that … [20] applied affine arithmetic into radial power flow to reduce …
Interval optimization for integrated electrical and natural‐gas systems with combined cooling, heating, and power considering demand response
S Yuan, S Wang, Z Meng - International Transactions on …, 2020 - Wiley Online Library
… Next, the interval optimization model is solved by the improved interval linear programming
method, in which affine arithmetic is applied in the solving progress to get less conservative …
method, in which affine arithmetic is applied in the solving progress to get less conservative …
2.5. 5 INTERVAL RECIPROCAL
DŒ Œx, DŒ Œy - Affine Arithmetic Based Solution of Uncertain … - morganclaypool.com
2.5. 5 INTERVAL RECIPROCAL Page 45 2.5. INTERVAL ARITHMETIC 25 Solution: The
intervals are given by Œx D Œ14; 29 and Œy D Œ9; 6: Here, the interval bounds of the two …
intervals are given by Œx D Œ14; 29 and Œy D Œ9; 6: Here, the interval bounds of the two …
Rijndael arithmetic analyse and optimize
F Zhang, Y Niu - 2008 4th International Conference on Wireless …, 2008 - ieeexplore.ieee.org
… algorithm on finite field GF(28 )and the affine arithmetic on finite field GF(2) . Among those,
the affine arithmetic can eliminate the fixed points 0 and 1 of multiplication on finite field. …
the affine arithmetic can eliminate the fixed points 0 and 1 of multiplication on finite field. …