References in raw/Page_72.html

• Numerical program analysis and testing
  Z Gao - Proceedings of the 22nd ACM SIGSOFT International ..., 2014 - dl.acm.org
  ... Affine arithmetic, introduced by Comba and Stolfi in 1993 [5], is a model for numerical ... Goubault first applied affine arithmetic to abstract interpretation in 2001 [12], intending to statically ...
  

• A review of uncertainty analysis in building energy assessment
  W Tian, Y Heo, P De Wilde, Z Li, D Yan, CS Park... - ... and Sustainable Energy ..., 2018 - Elsevier
  ... The affine arithmetic model is a generalization of interval arithmetic by considering the ... Macdonald and Clarke [156] implemented the affine arithmetic model in the energy conservation ...
  

• Coverage of uncertainties in cyber-physical systems
  W Chipman, C Grimm... - ZuE 2015; 8. GMM/ITG/GI ..., 2015 - ieeexplore.ieee.org
  ... Among several approaches to compute with ranges, Affine Arithmetic (eg [4, 14]) offers a good tradeoff between efficiency and accuracy if used for computations. An Affine Arithmetic ...
  

• Monte Carlo Methods: A Hands-On Computational Introduction Utilizing Excel
  S Chowdhury - Synthesis Lectures on Mathematics and ..., 2021 - morganclaypool.com
  This book is intended for undergraduate students of Mathematics, Statistics, and Physics who know nothing about Monte Carlo Methods but wish to know how they work. All treatments ...
  

• Analysis of range and precision for fixed-point linear arithmetic circuits with feedbacks
  O Sarbishei, Y Pang, K Radecka - 2010 IEEE International High ..., 2010 - ieeexplore.ieee.org
  ... Using static analysis of Affine Arithmetic (AA), the obtained range is [-694,694], which is much coarser than ours. Note that the range calculation does not depend on a concrete datapath ...
  

• Interval analysis of the wing divergence
  Y Li, T Wang - Aerospace Science and Technology, 2018 - Elsevier
  ... In order to limit the overestimation the generalized interval analysis [13] and the affine arithmetic [14] have been introduced by researchers. In the last ... An introduction to affine arithmetic ...
  

• An efficient stream region sink position analysis model for routing attack detection in mobile ad hoc networks
  M Vigenesh, R Santhosh - Computers & Electrical Engineering, 2019 - Elsevier
  ... Meanwhile, complex affine arithmetic-based a forward-backward sweep power can be found in distribution systems. In turn, an index of uncertainty mitigation to quantify the impacts on ...
  

• A Verified ODE Solver and Smale's 14th Problem
  F Immler - 2018 - mediatum.ub.tum.de
  ... For the implementation, I chose data structures and algorithms that are amenable to formal verification while at the same time exhibiting reasonable performance: affine arithmetic for ...
  

• RECOMMENDER TECHNIQUES FOR SOFTWARE WITH RESULT VERIFICATION
  EP UNCECOMP, M Papadrakakis, V Papadopoulos... - files.eccomasproceedia.org
  ... Methods with result verification such as interval analysis or affine arithmetic have been used successfully at least since the 1970s not only for dealing with the automated proofs that ...
  

• Sampling implicit objects with physically-based particle systems
  LH De Figueiredo, J Gomes - Computers & Graphics, 1996 - Elsevier
  ... Alternatively, we can perform a coarse enumeration using interval or affine arithmetic to locate regions guaranteed to contain pieces of V; the initial sample can then be taken in these ...