BACKGROUND Whether prism, especially base-up prism, affects the area of the retina used for fixation in a patient with central scotoma has been a controversial subject for 35 years. Our pilot study employed microperimetry to evaluate the effect of base-up prism on the fixation locus, or preferred retinal locus (PRL), in subjects with central scotoma. METHODS We used a microperimeter to assess...

In this paper, we present our work on extending the probabilistic model checking tool PRISM with Grid computing capabilities. PRISM is a tool for the verification and analysis of large, probabilistic models, a process which involves numerical solution techniques. Like most verification tools, PRISM can be very resource intensive and will benefit greatly from parallelisation efforts. Grid comput...

This paper describes a prototype virtualized file system, Prism, for supporting hosted servers and utility computing. Prism provides a filesystem service that allows lightweight creation of filesystems for new users from existing filesystems. All users’ filesystems are mutable and yet isolated from each other. In our experiments, new filesystems can be created from existing ones in under one-fi...

AIMS We evaluated the TIMI Risk Score for Unstable Angina and Non-ST Elevation Myocardial Infarction for predicting clinical outcomes and the efficacy of tirofiban in non-ST elevation acute coronary syndromes. METHODS AND RESULTS Developed in TIMI 11B, the risk score is calculated as the sum of seven presenting characteristics (age > or =65 years, > or =3 cardiac risk factors, documented coro...

In this paper, we calculate optimal prism configurations for achromatic N-prism beam expanders of a single material; we argue that for moderate to high magnifications, that is, M > [2 1(2N-1 -1)]N, the upup ... up-down configuration is generally optimal, in the sense that it maximizes the transmission for given magnification. We also derive exact expressions for the incidence and apex angles th...

PRISM is a logic-based Turing-complete symbolicstatistical modeling language with a built-in parameter learning routine. In this paper,we enhance the modeling power of PRISM by allowing general PRISM programs to fail in the generation process of observable events. Introducing failure extends the class of definable distributions but needs a generalization of the semantics of PRISM programs. We p...

We review a logic-based modeling language PRISM and report recent developments including belief propagation by the generalized inside-outside algorithm and generative modeling with constraints. The former implies PRISM subsumes belief propagation at the algorithmic level. We also compare the performance of PRISM with state-of-theart systems in statistical natural language processing and probabi...

A new probabilistic-logic formalism, called CHRiSM, is introduced. CHRiSM is based on a combination of CHR and PRISM. It can be used for high-level rapid prototyping of complex statistical models by means of chance rules. The underlying PRISM system can then be used for several probabilistic inference tasks, including parameter learning. We describe a source-to-source transformation from CHRiSM...

purpose : to determine the fusional amplitudes and the frequency of hetrophoria, in our patients methods : in this cross sectional study, 111 adults with mean age of 25.6 years were included. all participants had best corrected visual acuity (bcva) better than 20/25, more than 60 sec of arc stereopsis and had no heterotropia or other significant eye disorders. fusional amplitudes were measured ...