Sciweavers

1819 search results - page 17 / 364
» Computability and Representations of the Zero Set
Sort
View
DAGSTUHL
2008
13 years 10 months ago
Complete Interval Arithmetic and its Implementation
: Let IIR be the set of closed and bounded intervals of real numbers. Arithmetic in IIR can be defined via the power set IPIR of real numbers. If divisors containing zero are exclu...
Ulrich W. Kulisch
CORR
2012
Springer
207views Education» more  CORR 2012»
12 years 4 months ago
A baby step-giant step roadmap algorithm for general algebraic sets
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...
Saugata Basu, Marie-Françoise Roy, Mohab Sa...
JUCS
2008
140views more  JUCS 2008»
13 years 8 months ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch
BMCBI
2007
148views more  BMCBI 2007»
13 years 8 months ago
Computation of significance scores of unweighted Gene Set Enrichment Analyses
Background: Gene Set Enrichment Analysis (GSEA) is a computational method for the statistical evaluation of sorted lists of genes or proteins. Originally GSEA was developed for in...
Andreas Keller, Christina Backes, Hans-Peter Lenho...
IJCINI
2007
139views more  IJCINI 2007»
13 years 8 months ago
AURELLIO: A Cognitive Computational Knowledge Representation Theory
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
Mehdi Najjar, André Mayers