BACKGROUND The administration of health screeners in a hospital setting has traditionally required (1) clinicians to ask questions and log answers, which can be time consuming and susceptible to error, or (2) patients to complete paper-and-pencil surveys, which require third-party entry of information into the electronic health record and can be vulnerable to error and misinterpretation. A high...

we consider an m/g/1 queue with regular and optional phase vacation and withstate dependent arrival rate. the vacation policy is after completion of service if there are no customers in the system, the server takes vacation consisting of k -phases, each phase is generally distributed. here the first phase is compulsory where as the other phases are optional. for this model the supplementary var...

Ink completion is a technique for suggesting characters or words to users as they write with digital ink. With a simple gesture, users can accept a recommendation and continue writing. The technique improves the handwriting experience and is very suitable to support notetaking on tablet computers and PDAs.

Recently Havas and Vaughan-Lee proved that 4-Engel groups are locally nilpotent. Their proof relies on the fact that a certain 4-Engel group T is nilpotent and this they prove using a computer and the Knuth-Bendix algorithm. In this paper we give a short hand-proof of the nilpotency of T .

Nonmonotonic causal logic is a knowledge representation language designed for describing domains that involve actions and change. The process of literal completion, similar to program completion familiar from the theory of logic programming, can be used to translate some nonmonotonic causal theories into classical logic. Its applicability is restricted, however, to theories that deal with truth...

The purpose of this sequel to [5] is to construct and characterize completions of G-spaces, where G is a compact Lie group. We assume the notations and results of [5]. It is a pleasure to thank Pete Bousfield for the proof of Lemma 12. Since completions are less generally familiar than localizations, a quick summary of the relevant part of the nonequivariant theory is in order. We are intereste...

A fundamental component of modern trackers is an online learned tracking model, which is typically modeled either globally or locally. The two kinds of models perform differently in terms of effectiveness and robustness under different challenging situations. This work exploits the advantages of both models. A subspace model, from a global perspective, is learned from previously obtained target...

BACKGROUND/AIMS In capsule endoscopy (CE), the capsule does not always reach the cecum within its battery life, which may reduce its diagnostic yield. We evaluated the effect of mosapride citrate, a 5-hydroxytryptamine-4 agonist that increases gastrointestinal motility, on CE completion. METHODS In a retrospective study, we performed univariate and multivariate analyses for 232 CE procedures ...