18209 search results - page 363 / 3642 » Some Remarks on the Paper |
162
click to vote
AMC
2006
15 years 6 months ago
2006
The main purpose of this paper is quite uncontroversial. First, we recall some models of analog computations (including these allowed to perform Turing uncomputable tasks). Second...
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
190
Voted
AO
2006
15 years 6 months ago
2006
: The aim of this paper is to provide a logically accurate and technologically sound taxonomy of artifact functions. To this end, I review one of the recent proposals of such taxon...
142
click to vote
APAL
2006
15 years 6 months ago
2006
The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense op...
177
click to vote
APPML
2006
15 years 6 months ago
2006
This paper proposes some estimators for the population mean using the ratio estimators presented in [C. Kadilar, H. Cingi, Ratio estimators in simple random sampling, Applied Math...