References in raw/Page_91.html

• A verified enclosure for the Lorenz attractor (rough diamond)
  F Immler - International Conference on Interactive Theorem ..., 2015 - Springer
  ... Instead of rectangles we use zonotopes (our algorithm is based on affine arithmetic [1] instead of interval arithmetic). Numerical computations are carried out with software floating point ...
  

• Applications of Interval-Based Simulations to the Analysis and Design of Digital LTI Systems
  JA López, E Sedano, L Esteban... - ... of Digital Signal ..., 2011 - books.google.com
  ... Intervals (DIs) and Modal Intervals (MIs); in the second group, Generalized IA (GIA); and in the third group, Mean Value Forms (MVFs), slopes, Taylor Models (TMs) and Affine Arithmetic ...
  

• A review of enabling methodologies for information processing in smart grids
  A Vaccaro, I Pisica, LL Lai, AF Zobaa - ... Journal of Electrical Power & Energy ..., 2019 - Elsevier
  The deployment of traditional computing, control and monitoring paradigms in modern smart grids is characterized by several severe limitations. These could restrict their capability to ...
  

• Improvements on the applicability of nonlinear constraint solvers
  L De Koninck, B Demoen - Proceedings of the CP 2006 Doctoral ..., 2006 - lirias.kuleuven.be
  ... We plan to investigate further improvements on amongst others interval extensions, other representations connected to interval arithmetic like affine arithmetic [5], scheduling algorithms ...
  

• On harmonic state estimation of power system with uncertain network parameters
  C Rakpenthai, S Uatrongjit, NR Watson... - ... on power systems, 2013 - ieeexplore.ieee.org
  ... is rarely known, in many situations, one could consider the network parameters to be within some certain bounds, ie, the network parameter can be represented in affine arithmetic [24] ...
  

• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
  I Araya, V Reyes - Journal of Global Optimization, 2016 - Springer
  ... Soares [113] proposes using affine arithmetic instead of interval arithmetic to maintain the linear dependence among variables. There are several different ways to linearize the system, ...
  

• Parameter domain pruning for improving convergence of synthesis algorithms
  H Tang, A Doboli - 2005 IEEE International Symposium on ..., 2005 - ieeexplore.ieee.org
  This paper presents a parameter domain pruning method. Parameter domain pruning aims to identify parameter sub-domains that are more likely to produce feasible and good design ...
  

• A symbolic noise analysis approach to word-length optimization in DSP hardware
  A Ahmadi, M Zwolinski - 2007 International Symposium on ..., 2007 - ieeexplore.ieee.org
  ... with affine arithmetic model," in ASP-DAC'06, 2006, pp. 886-891. Design IV A ... Kreinovich, and SA Starks, "Interval arithmetic, affine arithmetic, taylor series methods: Why, what next," ...
  

• Efi5ff,* iii ff T wff
  Y Lan, I Lily, S Chamber - ieeexplore.ieee.org
  The following papers are dealt with: nanometer digital circuits thermal-aware design; signal processing for communications; RF IC design; MEMS & computer-aided design; circuits and ...
  

• Verification of loop and arithmetic transformations of array-intensive behaviors
  C Karfa, K Banerjee, D Sarkar... - IEEE Transactions on ..., 2013 - ieeexplore.ieee.org
  ... A symbolic simulation-based approach is proposed in [17] for verification of loop transformations for programs with no recurrence and with affine arithmetic on indices and bounds. This ...