Results 151 to 160 of about 1,957 (192)
Some of the next articles are maybe not open access.

An efficient indefiniteness inference scheme in indefinite deductive databases

IEEE Transactions on Knowledge and Data Engineering, 1994
We introduce an inference scheme, based on the compilation approach, that can answer "true," provable-false," "indefinite," or "assumable-false" to a closed query in an indefinite deductive database under the generalized closed world assumption. The inference scheme proposed in this paper consists of a representation scheme and an evaluation process ...
Cyril S. Ku   +2 more
openaire   +1 more source

Indefinite integration with validation

ACM Transactions on Mathematical Software, 1989
We present an overview of two approaches to validated one-dimensional indefinite integration. The first approach is to find an inclusion of the integrand, then integrate this inclusion to obtain an inclusion of the indefinite integral. Inclusions for the integrand may be obtained from Taylor polynomials, Tschebyscheff polynomials, or other ...
George F. Corliss, Gary S. Krenz
openaire   +2 more sources

Indefiniteness of Mathematical Objects

Philosophia Mathematica, 2000
Der von \textit{P. Benacerraf} [``Mathematical truth'', J. Philos. 70, 661-679 (1973)] erhobene Vorwurf gegen die sogenannte platonistische Auffassung der Mathematik, insbesondere die damit verbundene Willkür in der Identifikation mathematischer Objekte, wird in diesem Artikel (festgemacht am ``Problem'', daß man nicht entscheiden kann, ob es sich bei \
openaire   +1 more source

Aspects of the Indefiniteness Effect

2007
This paper proposes an account for the indefiniteness effect discussed in [1]. We shall argue that the effect arises from (a) the tendency of indefinites in certain interrogative constructions to take wide scope over WH-terms, resulting in 'quantifying into' questions, and (b) the pragmatic impropiety of interrogatives with wide scope taking ...
Linton Wang, Eric McCready
openaire   +1 more source

Indefinite QR Factorization

BIT Numerical Mathematics, 2006
Let $A$ be a Hermitian positive definite matrix given by its rectangular factor $G$ such that $A = G^{; ; ; \ast}; ; ; G$. It is well known that the Cholesky factorization of $A$ is equivalent to the QR factorization of $G$. In this paper, an analogue of the QR factorization for Hermitian indefinite matrices is constructed.
openaire   +3 more sources

Two-qubit correlation in two independent environments with indefiniteness

Physics Letters, Section A: General, Atomic and Solid State Physics, 2021
Masashi Ban
exaly  

Indefinites

Abstract This chapter does not offer a complete survey of indefinites (determiner phrases (DPs) such as a boy, some girls, three women, etc.). Rather, it offers a selective discussion pivoted on the peculiar wide-scope properties of indefinites and also a seminal proposal for the explanation of such idiosyncrasy, which is that a choice ...
openaire   +1 more source

Home - About - Disclaimer - Privacy