ISO/IEC 10967

Known as: LIA, Language independent arithmetic 
ISO/IEC 10967, Language independent arithmetic (LIA), is a series ofstandards on computer arithmetic. It is compatible with ISO/IEC/IEEE 60559:2011… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We present a novel approach for generalizing the IC3 algorithm for invariant checking from finite-state to infinite-state… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Addition is a fundamental function in arithmetic operation; several adder designs have been proposed for implementations in… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 5
  • figure 4
Is this relevant?
2012
2012
Peatlands are a major terrestrial carbon store and a persistent natural carbon sink during the Holocene, but there is… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Northern Hemisphere surface temperature reconstructions suggest that the late twentieth century was warmer than any other time… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
  • Rosanne D'Arrigo, Rob Wilson, Gordon C. Jacoby
  • 2006
[1] Previous tree-ring–based Northern Hemisphere temperature reconstructions portray a varying amplitude range between the… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Variations in intracellular calcium concentration ([Ca2+]i) provide a critical signal for synaptic plasticity. In accordance with… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2003
2003
Assemblages of ostracodes from sediment cores illuminate lake-level history at decadal to centennial timescales during the late… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
[1] During the 1996 Programma Nazionale di Ricerche in Antartide-International Trans-Antarctic Scientific Expedition traverse… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
1992
1992
An extremely encouraging development of the past several years for those concerned with constructing portable numerical software… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Uncertainty in engineering analysis usually pertains to stochasticuncertainty,i.e., variance in product or process parameters… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?