A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or partial knowledge. A world is represented as a set of symbolic arrays, where symbols in the array map to entities in the world and the relative locations of symbols correspond to the relative locations of entities. De...

One of the simplest and yet non-trivial results in foundations of mathematics, which can be presented to high school pupils, is Theorem of Zermelo on the determinacy of the game of chess [14]: either Black or White has a winning strategy, or both players have strategies to achieve a draw. The proof smoothly generalizes the problem to all nite games with perfect information, and reveals an algor...

The long-term effects of lung cancer computed tomography (CT) screening on health-related quality of life (HRQoL) have not yet been investigated. In the Dutch-Belgian Randomised Lung Cancer Screening Trial (NELSON trial), 1,466 participants received questionnaires before randomisation (T0), 2 months after baseline screening (screen group only; T1) and at 2-yr follow-up (T2). HRQoL was measured ...

In a string x on an alphabet Σ, a position i is said to be indeterminate iff x[i] may be any one of a specified subset {λ1, λ2, . . . , λj} of Σ, 2 ≤ j ≤ |Σ|. A string x containing indeterminate positions is therefore also said to be indeterminate. Indeterminate strings can arise in DNA and amino acid sequences as well as in cryptological applications and the analysis of musical texts. In this ...

AIM To determine whether QuantiFERON®-TB Gold In-Tube (QFT) can contribute to the diagnosis of active tuberculosis (TB) in children in a high-burden setting and to assess the performance of QFT and tuberculin skin test (TST) in a prospective cohort of TB suspect children compared to adults with confirmed TB in Tanzania. METHODS Sensitivity and specificity of QFT and TST for diagnosing active ...

Indeterminate art invokes a perceptual dilemma in which apparently detailed and vivid images resist identification. We used event-related fMRI to study visual perception of representational, indeterminate and abstract paintings. We hypothesized increased activation along a gradient of posterior-to-anterior ventral visual areas with increased object resolution, and postulated that object resolut...

We consider the problem of computing a shortest solid cover of an indeterminate string. An indeterminate string may contain non-solid symbols, each of which specifies a subset of the alphabet that could be present at the corresponding position. We also consider covering partial words, which are a special case of indeterminate strings where each non-solid symbol is a don’t care symbol. We prove ...

Some patients presenting with recurrent acute pancreatitis (RAP), while undergoing endoscopic ultrasound (EUS), are classified as indeterminate for chronic (CP) according to Rosemont criteria. We describing the clinical and radiological evolution of 14 such 1 year. All were closely followed up at 3 monthly intervals subjected abdomen blood sugar profile 6 EUS after 12 months. Males 93%. Median ...

Management of indeterminate temporal expressions is useful in a wide range of applications, from designing and querying temporal databases to knowledge representation and reasoning in artificial intelligence. In this paper, we focus on the representation and management of indeterminate dates, corresponding to a common use of temporal indeterminacy which can be found in (historical) texts writte...

consider only the samples sent from regional or remote sources, the rate of indeterminate test result is still very low (one (0.3%) out of 317). The use of T-Cell Xtend for all samples shipped overnight is likely to have had a beneficial effect on older samples. The cold weather conditions had no influence on the rate of indeterminate results (all samples were sent and processed in winter). The...