AIM The aim of the present study was to examine the relationship between structural empowerment and patient safety culture among staff level Registered Nurses (RNs) within adult critical care units (ACCU). BACKGROUND There is literature to support the value of RNs' structurally empowered work environments and emerging literature towards patient safety culture; the link between empowerment and...

Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class definition, to specify the possible sequences of method calls. (2) We allow a session type (protocol) impl...

Java(X) is a framework for type refinement. It extends Java’s type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each instantiation of X yields a different refinement type system with guaranteed soundness. The paper presents some applications, formalizes a core language, states a generic type soundness result, and sketches the extensions...

XML-based databases have become a major area of interest in database research. Abstractly speaking they can be considered as a resurrection of complexvalue databases using constructors for records, lists, unions plus optionality and references. XQuery has become the standard query language for XML. In this paper an implementation of XQuery based on linguistic reflection is proposed. That is, XQ...

In this note we show that for some structural equation models (SEM), the classical chi-square goodness-of-fit test is unable to detect the presence of interaction (non-linear) terms in the model. Not only the model test has zero power against that type of misspecifications, but even the theoretical (chi-square) distribution of the test is not distorted when severe interaction term misspecificat...