410 search results - page 17 / 82 » Interval Arithmetic and Standardization |
FUIN
2008
13 years 7 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
WABI
2001
Springer
14 years 21 hour ago
2001
Springer
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...
NDJFL
2002
13 years 7 months ago
2002
In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution ...
ENDM
2010
13 years 7 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
RC
2006
13 years 7 months ago
2006
Hausdorff continuous (H-continuous) functions are special interval-valued functions which are commonly used in practice, e.g. histograms are such functions. However, in order to av...