Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Polytomous item response theory models

Polytomous Item Response Theory Models provides a unified, comprehensive introduction to the range of polytomous models available within item response theory (IRT). It begins by outlining the primary structural distinction between the two major types of polytomous IRT models. This focuses on the two types of response probability that are unique to polytomous models and their associated response functions, which are modeled differently by the different types of IRT model. It describes, both conceptually and mathematically, the major specific polytomous models, including the Nominal Response Model, the Partial Credit Model, the Rating Scale model, and the Graded Response Model. Important variations, such as the Generalized Partial Credit Model are also described as are less common variations, such as the Rating Scale version of the Graded Response Model. Relationships among the models are also investigated and the operation of measurement information is described for each major model. Practical examples of major models using real data are provided, as is a chapter on choosing an appropriate model. Figures are used throughout to illustrate important elements as they are described.

Career development and systems theory: Connecting theory and practice

The Systems Theory Framework was developed to produce a metatheoretical framework through which the contribution of all theories to our understanding of career behaviour could be recognised. In addition it emphasises the individual as the site for the integration of theory and practice. Its utility has become more broadly acknowledged through its application to a range of cultural groups and settings, qualitative assessment processes, career counselling, and multicultural career counselling. For these reasons, the STF is a very valuable addition to the field of career theory. In viewing the field of career theory as a system, open to changes and developments from within itself and through constantly interrelating with other systems, the STF and this book is adding to the pattern of knowledge and relationships within the career field. The contents of this book will be integrated within the field as representative of a shift in understanding existing relationships within and between theories. In the same way, each reader will integrate the contents of the book within their existing views about the current state of career theory and within their current theory-practice relationship. This book should be required reading for anyone involved in career theory. It is also highly suitable as a text for an advanced career counselling or theory course.

Theory manual to OctVCE – a cartesian cell CFD code with special application to blast wave problems, Department of Mechanical Engineering Report 2007/12

OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries, in particular, from explosions. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel for its simplicity and sufficiency for practical engineering design problems. The code uses a finite-volume formulation of the unsteady Euler equations with a second order explicit Runge-Kutta Godonov (MUSCL) scheme. Gradients are calculated using a least-squares method with a minmod limiter. Flux solvers used are AUSM, AUSMDV and EFM. No fluid-structure coupling or chemical reactions are allowed, but gas models can be perfect gas and JWL or JWLB for the explosive products. This report also describes the code’s ‘octree’ mesh adaptive capability and point-inclusion query procedures for the VCE geometry engine. Finally, some space will also be devoted to describing code parallelization using the shared-memory OpenMP paradigm. The user manual to the code is to be found in the companion report 2007/13.

Potential errors in the application of mixture theory to multifrequency bioelectrical impedance analysis

Potential errors in the application of mixture theory to the analysis of multiple-frequency bioelectrical impedance data for the determination of body fluid volumes are assessed. Potential sources of error include: conductive length; tissue fluid resistivity; body density; weight and technical errors of measurement. Inclusion of inaccurate estimates of body density and weight introduce errors of typically < +/-3% but incorrect assumptions regarding conductive length or fluid resistivities may each incur errors of up to 20%.

The structure of quantum Lie algebras for the classical series, B-l, C-l and D-l

The structure constants of quantum Lie algebras depend on a quantum deformation parameter q and they reduce to the classical structure constants of a Lie algebra at q = 1. We explain the relationship between the structure constants of quantum Lie algebras and quantum Clebsch-Gordan coefficients for adjoint x adjoint --> adjoint We present a practical method for the determination of these quantum Clebsch-Gordan coefficients and are thus able to give explicit expressions for the structure constants of the quantum Lie algebras associated to the classical Lie algebras B-l, C-l and D-l. In the quantum case the structure constants of the Cartan subalgebra are non-zero and we observe that they are determined in terms of the simple quantum roots. We introduce an invariant Killing form on the quantum Lie algebras and find that it takes values which are simple q-deformations of the classical ones.

Classical and quantum noise in electronic systems

We review the description of noise in electronic circuits in terms of electron transport. The Poisson process is used as a unifying principle. In recent years, much attention has been given to current noise in light-emitting diodes and laser diodes. In these devices, random events associated with electron transport are correlated with photon emission times, thus modifying both the current statistics and the statistics of the emitted light. We give a review of experiments in this area with special emphasis on the ability of such devices to produce subshot-noise currents and light beams. Finally we consider the noise properties of a class of mesoscopic devices based on the quantum tunnelling of an electron into and out of a bound state. We present a simple quantum model of this process which confirms that the current noise in such a device should be subshot-noise.

The contribution of classical (beta(1/2)-) and atypical beta-adrenoceptors to the stimulation of human white adipocyte lipolysis and right atrial appendage contraction by novel beta(3)-adrenoceptor agonists of differing selectivities

The role of beta(3)- and other putative atypical beta-adrenaceptors in human white adipocytes and right atrial appendage has been investigated using CGP 12177 and novel phenylethanolamine and aryloxypropanolamine beta(3)-adrenoceptor (beta(3)AR) agonists with varying intrinsic activities and selectivities for human cloned PAR subtypes. The ability to demonstrate beta(1/2)AR antagonist-insensitive (beta(3) or other atypical beta AR-mediated) responses to CGP 12177 was critically dependent on the albumin batch used to prepare and incubate the adipocytes. Four aryloxypropanolamine selective beta(3)AR agonists (SB-226552, SB-229432, SB-236923, SB-246982) consistently elicited beta(1/2)AR antagonist-insensitive lipolysis. However, a phenylethanolamine (SB-220646) that was a selective full beta(3)AR agonist elicited full lipolytic and inotropic responses that were sensitive to beta(1/2)AR antagonism, despite it having very low efficacies at cloned beta(1)- and beta(2)ARs. A component of the response to another phenylethanolamine selective beta(3)AR agonist (SB-215691) was insensitive to beta(1/2)AR antagonism in some experiments. Because novel aryloxypropanolamine had a beta(1/2)AR antagonist-insensitive inotropic effect, these results establish more firmly that beta(3)ARs mediate lipolysis in human white adipocytes, and suggest that putative 'beta(4)ARs' mediate inotropic responses to CGP 12177. The results also illustrate the difficulty of predicting from studies on cloned beta ARs which beta ARs will mediate responses to agonists in tissues that have a high number of beta(1)- and beta(2)ARs or a low number of beta(3)ARs.

Nurturing communication by health professionals toward patients: A communication accommodation theory approach

This study explores the role of nurturing communication in distinguishing interpersonal and intergroup interactions between health professionals and patients, from the perspective of communication accommodation theory (CAT). Participants (47 men and 87 women) rated videotapes of actual hospital consultations on 12 goal and 16 strategy items derived from CAT. Health professionals in interpersonal interactions were perceived to pay more attention to relationship and emotional needs and to use more nurturant discourse management and emotional expression. These results point the way toward elucidating the perceived optimal balance in accommodative behavior, both group based and interpersonal, in these contexts, and they highlight the importance of nurturant communication to this process.