Results 11  20
of
3,837
The 3d inviscid limit result under slip boundary conditions. a negative answer
 J. Math. Fluid Mech
"... ar ..."
2 A NEGATIVE ANSWER TO THE QUESTION OF THE LINEARITY OF TATE’S TRACE FOR THE SUM OF TWO ENDOMORPHISMS
"... ar ..."
A NEGATIVE ANSWER TO TWO QUESTIONS ABOUT THE SMALLEST PRIME NUMBERS HAVING GIVEN DIGITAL SUMS
"... Denote by ρ(k) the smallest prime number with digital sum k (not a multiple of 3). Richard K. Guy asked whether the congruences ρ(k) ≡ 99 (mod 100) and ρ(k) ≡ 999 (mod 1000) hold for all k> 38, respectively k> 59. Counterexamples to this are given, inter alia, for k = 86 and k = 104. Moreove ..."
Abstract
 Add to MetaCart
Denote by ρ(k) the smallest prime number with digital sum k (not a multiple of 3). Richard K. Guy asked whether the congruences ρ(k) ≡ 99 (mod 100) and ρ(k) ≡ 999 (mod 1000) hold for all k> 38, respectively k> 59. Counterexamples to this are given, inter alia, for k = 86 and k = 104. Moreover, several open problems and conjectures about ρ(k) are discussed. 1.
Splitting a Logic Program
 Principles of Knowledge Representation
, 1994
"... In many cases, a logic program can be divided into two parts, so that one of them, the \bottom " part, does not refer to the predicates de ned in the \top " part. The \bottom " rules can be used then for the evaluation of the predicates that they de ne, and the computed va ..."
Abstract

Cited by 294 (16 self)
 Add to MetaCart
by the theorem may use both negation as failure and classical negation, and their rules may have disjunctive heads. The usefulness of the concept of splitting for the investigation of answer sets is illustrated by several applications. First, we show that a conservative extension theorem by Gelfond
ANSWER
"... A 52yearold man with heartburn and weight loss A previously fit and well 52yearold man presented to the hospital with a 3month history of refractory heartburn and progressive weight loss (5 kg). After an initial response to empiric treatment with 20 mg omeprazole daily, heartburn relapsed and ..."
Abstract
 Add to MetaCart
, were negative. Upper endoscopy and extensive tissue sampling were repeated.
ANSWERS
"... Random conjunctival biopsy in multiorgan disease A previously fit and well 43yearold woman fromWest Africa presented with a 9 month history of productive cough, weight loss and unsteadiness on her feet. She denied night sweats. On examination she was apyrexial. Blood cultures were negative. Full ..."
Abstract
 Add to MetaCart
Random conjunctival biopsy in multiorgan disease A previously fit and well 43yearold woman fromWest Africa presented with a 9 month history of productive cough, weight loss and unsteadiness on her feet. She denied night sweats. On examination she was apyrexial. Blood cultures were negative
Towards answering opinion questions: Separating facts from opinions and identifying the polarity of opinion sentences
 In Proceedings of EMNLP03
, 2003
"... Opinion question answering is a challenging task for natural language processing. In this paper, we discuss a necessary component for an opinion question answering system: separating opinions from fact, at both the document and sentence level. We present a Bayesian classifier for discriminating betw ..."
Abstract

Cited by 215 (4 self)
 Add to MetaCart
Opinion question answering is a challenging task for natural language processing. In this paper, we discuss a necessary component for an opinion question answering system: separating opinions from fact, at both the document and sentence level. We present a Bayesian classifier for discriminating
NP IS AS EASY AS DETECTING UNIQUE SOLUTIONS
, 1986
"... For every known NPcomplete problem, the number of solutions of its instances varies over a large range, from zero to exponentially many. It is therefore natural to ask if the inherent intractability of NPcomplete problems is caused by this wide variation. We give a negative answer to this questi ..."
Abstract

Cited by 233 (1 self)
 Add to MetaCart
For every known NPcomplete problem, the number of solutions of its instances varies over a large range, from zero to exponentially many. It is therefore natural to ask if the inherent intractability of NPcomplete problems is caused by this wide variation. We give a negative answer
Succinct indexable dictionaries with applications to encoding kary trees and multisets
 In Proceedings of the 13th Annual ACMSIAM Symposium on Discrete Algorithms (SODA
"... We consider the indexable dictionary problem, which consists of storing a set S ⊆ {0,...,m − 1} for some integer m, while supporting the operations of rank(x), which returns the number of elements in S that are less than x if x ∈ S, and −1 otherwise; and select(i) which returns the ith smallest ele ..."
Abstract

Cited by 259 (16 self)
 Add to MetaCart
dictionaries taking this space only supported (yes/no) membership queries in O(1) time. In the cell probe model we can remove the O(lg lg m) additive term in the space bound, answering a question raised by Fich and Miltersen, and Pagh. We present extensions and applications of our indexable dictionary data
Strongly Equivalent Logic Programs
 ACM Transactions on Computational Logic
, 2000
"... A logic program 1 is said to be equivalent to a logic program 2 in the sense of the answer set semantics if 1 and 2 have the same answer sets. We are interested in the following stronger condition: for every logic program , 1 [ has the same answer sets as 2 [ . The study of strong equival ..."
Abstract

Cited by 231 (36 self)
 Add to MetaCart
andthere, which is intermediate between classical logic and intuitionistic logic. 1 Introduction This paper is about logic programs with negation as failure under the answer set (\stable model") semantics [ Gelfond and Lifschitz, 1988 ] . A program 1 is said to be equivalent to a program 2 if 1 and 2
Results 11  20
of
3,837