[PDF][PDF] A Dividing Method Minimizing the Linearization Term in Affine Arithmetic

M Jacquemin, F Védrine - staticanalysis.org
… This formulation of our condition is linear in x and y and so can be computed exactly using
affine arithmetic. This means that we can define a decision procedure that, given a λ, can …

[HTML][HTML] Efficient importance sampling in low dimensions using affine arithmetic

RG Everitt - Computational Statistics, 2018 - Springer
… 1 we introduce an alternative auto-validating approach, affine arithmetic. In Sect. 3.1 we …
3.2 we describe our proposed alternative method that uses affine arithmetic, and compare …

All Solution Algorithm for Parameter-Dependent Nonlinear Equations Using Affine Arithmetic

K Ihara, Y Kanzawa - IEICE Proceedings Series, 2012 - ieice.org
A new all solution algorithm is proposed for parameter-dependent nonlinear equations. In this
algorithm, affine arithmetic[1], which is more accurate than interval arithmetic[2], is used for …

[PDF][PDF] Analytic error modeling for imprecise arithmetic circuits

J Huang, J Lach, G Robins - Proc. SELSE, 2011 - tarjomestan.com
… This paper presents two analytic modeling techniques for evaluating error properties and
output quality in imprecise arithmetic circuits, based on Interval Arithmetic and Affine Arithmetic. …

Adendum to Self-verified extension of affine arithmetic to arbitrary order

G Bilotta - Le Matematiche, 2008 - lematematiche.dmi.unict.it
… [3] Frédéric Messine, Extentions of Affine Arithmetic: Application to Unconstrained Global
Optimization, Journal of Universal Computer Science 8 no. 11 (2002), 992– 1015. … Martin …

A range arithmetic-based optimization model for power flow analysis under interval uncertainty

A Vaccaro, CA Cañizares… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
… Several numerical results are presented and discussed, demonstrating the effectiveness of
the proposed methodology and comparing it to a previously proposed affine arithmetic based …

An affine arithmetic method to identify Voltage Control Areas for Secondary Voltage Control

PO La Gatta, JA Passos Filho… - 2015 IEEE …, 2015 - ieeexplore.ieee.org
This paper aims to present a methodology to identify Voltage Control Areas (VCA) for
Secondary Voltage Control (SVC). The proposed methodology consists in the representation of …

Live Demo: Affine arithmetic concept based Symbolic Circuit Analyser

B Thanigaivelan, A Postula… - Proceedings of 2010 …, 2010 - ieeexplore.ieee.org
… The symbolic circuit analyser demonstrated here is defined with affine arithmetic concepts
… in the conventional models based on affine arithmetic concepts. The details of model …

Fast Reliable Ray-tracing of Procedurally Defined Implicit Surfaces Using Revised Affine Arithmetic

O Fryazinov, A Pasko, P Comninos - 2009 - eprints.bournemouth.ac.uk
… In this paper we propose to use Revised Affine Arithmetic as a fast and reliable technique …
Affine Arithmetic in contrast to the formerly reported applications of Reduced Affine Arithmetic

[PDF][PDF] Interval methods for ray casting implicit surfaces with affine arithmetic

ADECJL HENRIQUE, FM GATTASS - Proceedings of XII …, 1999 - researchgate.net
… We study the performance of affine arithmetic as a replacement for … of affine arithmetic in
interval methods for ray casting implicit surfaces. As we argue in Section 5, affine arithmetic