Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Affine arithmetic

Affine arithmetic (AA) is a model for self-validated numerical analysis. In AA, the quantities of interest are represented as affine combinations… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
This paper presents a mathematical formulation of an energy management system (EMS) for isolated microgrids, which addresses… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • table I
2014
2014
  • F. Immler
  • Arch. Formal Proofs
  • 2014
  • Corpus ID: 33109450
We give a formalization of affine forms [1, 2] as abstract representations of zonotopes. We provide affine operations as well as… Expand
Highly Cited
2010
Highly Cited
2010
Power flow studies are typically used to determine the steady state or operating conditions of power systems for specified sets… Expand
  • figure 3
  • figure 4
  • figure 2
  • figure 8
  • figure 5
Review
2010
Review
2010
Cryptography is about communication in the presence of an adversary. It encompasses many problems like encryption, authentication… Expand
Highly Cited
2004
Highly Cited
2004
Affine arithmetic is a model for self-validated numerical computation that keeps track of first-order correlations between… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2004
Highly Cited
2004
In interval computations, the range of each intermediate result r is described by an interval r. To decrease excess interval… Expand
Highly Cited
2003
Highly Cited
2003
Affine arithmetic (AA) is a model for self-validated computation which, like standard interval arithmetic (IA), produces… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2002
Highly Cited
2002
Displacement mapping is a technique for applying fine geometric detail to a simpler base surface. The displacement is often… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 5
Highly Cited
1997
Highly Cited
1997
Procedural shaders have become popular tools for describing surface reflectance functions and other material properties. In… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1996
Highly Cited
1996
We discuss adaptive enumeration and rendering methods for implicit surfaces, using octrees computed with affine arithmetic, a new… Expand