440 search results - page 3 / 88 » An Abstract Data Type for Real Numbers |
DAGSTUHL
2008
13 years 9 months ago
2008
Abstract. We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size , using S...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
CCA
2005
Springer
14 years 1 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
IJBRA
2007
13 years 7 months ago
2007
Abstract: High-throughput array-based assays have recently been developed to detect DNA copy number (DCN) aberrations. The DCN data from these arrays is characterized by high level...
BMCBI
2010
13 years 7 months ago
2010
Background: Cancer and other disorders are due to genomic lesions. SNP-microarrays are able to measure simultaneously both genotype and copy number (CN) at several Single Nucleoti...