A recent emergence of small, resource-constrained, and highlymobile computing platforms presents numerous new challenges for software developers. We refer to development in this new setting as programming-in-thesmall-and-many (Prism). This paper provides a description and evaluation of a middleware intended to support software architecture-based development in the Prism setting. The middleware,...

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...

Substantial damage may occur when a rotary actuator fails during operation. Therefore, effective fault diagnosis of a rotary actuator is crucial to ensuring the safety of the device. However, only a few studies on fault detection, fault isolation, and performance assessment have focused on rotary actuators. In this study, fault detection and fault isolation processes were implemented by designi...

This in vivo, prospective, randomized, single-blinded study histologically compared biofilm/necrotic debridement efficiency of a hand/rotary technique versus a hand/rotary/1 min ultrasound technique in the mesial roots of necrotic, human mandibular molars. The hand/rotary group consisted of 20 mesial roots. The hand/rotary/ultrasound group consisted of 20 mesial roots prepared with the same han...

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...

statement of problem: microorganisms are essential for the development of periradicular diseases and are one of the major causative factors associated with endodontic treatment failures. different instruments and preparation techniques have been developed in endodontics to eliminate or reduce intracanal bacteria. purpose: the aim of this study was to compare the amount of remaining e. faecalis ...

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...