Nonparametric Analysis of the Order-Statistic Model in Software Reliability

In the literature on statistical inference in software reliability, the assumptions of parametric models and random sampling of bugs have been pervasive. We argue that both assumptions are problematic, the first because of robustness concerns and the second due to logical and practical difficulties. These considerations motivate the approach taken in this paper. We propose a nonparametric software reliability model based on the order-statistic paradigm. The objective of the work is to estimate, from data on discovery times observed within a type I censoring framework, both the underlying distribution F from which discovery times are generated and N, the unknown number of bugs in the software. The estimates are used to predict the next time to failure. The approach makes use of Bayesian nonparametric inference methods, in particular, the beta-Stacy process. The proposed methodology is illustrated on both real and simulated data     

The influence of morphological information on cataphoric pronoun assignment.

In 3 eye-tracking experiments, the authors investigated the use of morphological information during pronoun resolution. Experiments 1 and 2 showed that disruption occurred when a preferred assignment was inconsistent with gender information. Experiment 2 ensured that this difficulty was not due to the introduction of a new discourse entity. Experiment 3 showed that disruption also occurred when number information was inconsistent with the preferred assignment. The results indicate that the use of morphological information is delayed until after the computation of coreference relations. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Parallel associative combinator evaluation II

A new evaluation model for SK combinator expressions is presented and used as a basis for the design of a novel processor. The resulting machine architecture resembles a dataflow ring, but executions are constrained to be fully lazy. An automatic dynamic load sharing mechanism for a distributed multiprocessor architecture is suggested, and initial simulation results are presented.     

An optimization study on unprogrammed cryopreservation of human CD34+ bone marrow cells and their subsequent storage in an -80 degrees C mechanical freezer

Forty-one patients for whose direct care at least one machine was used and 33 registered nurses from the same five non-critical care units as the patients and from one related unit, participated in a semistructured tape-recorded interview to identify the core categories of the human-machine interface in clinical nursing practice and the relationships between them. Constant comparative analysis was used to organize and process the data. Patients perceived the machines as neutral because of their view of health care and because nurses were the interface between them and the machines. Nurses perceived the machines as either positive or negative, depending on their effect on the nurses' professional competence and the extent to which they worked directly with them.