The article deals with the problem of reliability assessment of complex mechanisms and machines, it is specifically focused on the analysis of the current situation in the field of item reliability prediction. The techniques of the item reliability prediction using the most credible methods (MILHDBK-217F, PRISM) and reliability databases (EPRD-97, NPRD-95) are presented in the article. Also the...

Aleksandar Donev, 2 Robert Connelly, Frank H. Stillinger, and Salvatore Torquato 2, 4, 5, ∗ Program in Applied and Computational Mathematics, Princeton University, Princeton NJ 08544 PRISM, Princeton University, Princeton NJ 08544 Department of Mathematics, Cornell University, Ithaca NY 14853 Department of Chemistry, Princeton University, Princeton NJ 08544 Princeton Center for Theoretical Phys...

. use' of simulation as a methddlof exploring or validating .theories is disCussed, and empirical analyses of several prpgrams developed for hypothesis-testing are reviesiad;'"and simulation is considered as a source of new ideas shout cognitive, processing mechanisms, with specific attention devoted to.,theHeuristiC Procedure Modification (HPM) program, thesCollabor4Ljve Activation-based Produ...

This paper discusses the architecture and compiler for a general-purpose metamorphic computing platform called PRISM-II. PRISM-II improves the performance of many computationally-intensive tasks by augmenting the functionality of the core processor with new instructions that match the characteristics of targeted applications. In essence, PRISM is a general purpose hardware platform that behaves...

PRISM and ProbLog are two prominent languages for Probabilistic Logic Programming. While they are superficially very similar, there are subtle differences between them that lead to different formulations of the same probabilistic model. This paper aims to shed more light on the differences by developing two source-to-source transformations, from PRISM to ProbLog and back.

We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates from the partial differential equation for Fick’s law. The resulting model abstracts both molar concentration, by discrete levels, and spatial location, by discrete compartments. We apply the results to the diffusion of nitric oxide in human vessels and illustrate with simulations in the PRISM tool.

The availability of new internet technologies has reached deep into the educational system with educators being the real gatekeepers of their impact on teaching and learning. Access to the internet has been accelerated by national mandates and State legislation requiring internet access for all students in the educational arena. Through national and state funding, this evolution holds promise f...

Aleksandar Donev, 2 Robert Connelly, Frank H. Stillinger, and Salvatore Torquato 2, 4, 5, ∗ Program in Applied and Computational Mathematics, Princeton University, Princeton NJ 08544 PRISM, Princeton University, Princeton NJ 08544 Department of Mathematics, Cornell University, Ithaca NY 14853 Department of Chemistry, Princeton University, Princeton NJ 08544 Princeton Center for Theoretical Phys...

Infection control education has been a core component of infection control programs since they were established (Scheckler et al., 1998; Department of Health and Ageing, 2004) and remains a constant feature in the modern healthcare context. Education is a pivotal strategy used to address problems identified through surveillance of infection or to improve infection control practice.(Dubbert et a...