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.

Dependence of public support for survival of wildlife species on their likeability

We surveyed a sample of 204 individuals selected from the public in Brisbane, Australia, to ascertain the extent to which they like or dislike 24 species of wildlife present in tropical Australia. The species belong to three classes: mammals, birds and reptiles. We calculated likeability indices for each of these species. We also asked respondents if they favoured the survival of each of these species and so the percentage of respondents favouring survival of each of these species could be calculated. Thus, using linear regression analysis, the percentage of respondents favouring survival of each of the species was related to their indices of likeability. In addition, the data enables the average likeability of species in the three classes (mammals, birds and reptiles) to be compared with the average support for survival of species in each of these three classes. As a result, we are able to assess how important stated likeability seems to be for preferences for survival of species, and to reconsider the hypothesis in the literature that there is likely to be more public support for the survival of mammals than for birds than for reptiles.

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.

Molecular cocrystals of carboxylic acids. XXVII - An investigation into the use of triphenylphosphine oxide cocrystals for non-linear optics: the crystal structure of the adduct of triphenylphosphine oxide with N-methylpyrrole-2-carboxylic acid

Four adducts of triphenylphosphine oxide with aromatic carboxylic acids have been synthesized and tested for second-order non-linear optical properties. These were with N-methylpyrrole-2-carboxylic acid (I), indole-2-carboxylic acid (2), 3-dimethylaminobenzoic acid (3), and thiophen-2-carboxylic acid (4). Compound (1) produced clear, colourless crystals (space group P2(1)2(1)2(1) With a 9.892(1), b 14.033(1), c 15.305(1) Angstrom, Z 4) which allowed the structure to be determined by X-ray diffraction.

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

Correlation between carbon isotope discrimination and transpiration efficiency in lines of the C-4 species Sorghum bicolor in the glasshouse and the field

Transpiration efficiency, W, the ratio of plant carbon produced to water transpired and carbon isotope discrimination of leaf dry matter, Delta(d)' were measured together on 30 lines of the C-4 species, Sorghum bicolor in the glasshouse and on eight lines grown in the field. In the glasshouse, the mean W observed was 4.9 mmol C mol(-1) H2O and the range was 0.8 mmol C mol(-1) H2O The mean Delta(d) was 3.0 parts per thousand and the observed range was 0.4 parts per thousand. In the field, the mean W was lower at 2.8 mmol C mol H2O and the mean Delta(d) was 4.6 parts per thousand. Significant positive correlations between W and Delta(d) were observed for plants grown in the glasshouse and in the field. The observed correlations were consistent with theory, opposite to those for C-4 species, and showed that variation in Delta(d) was an integrated measure of long-term variation in the ratio of intercellular to ambient CO2 partial pressure, p(i)/p(a). Detailed gas exchange measurements of carbon isotope discrimination during CO2 uptake, Delta(A) and p(i)/p(a) were made on leaves of eight S. bicolor lines. The observed relationship between Delta(A) and p(i)/p(a) was linear with a negative slope of 3.7 parts per thousand in Delta(A) for a unit change in p(i)/p(a). The slope of this linear relationship between Delta(A) and p(i)/p(a) in C-4 species is dependent on the leakiness of the CO2 concentrating mechanism of the C pathway, We estimated the leakiness (defined as the fraction of CO2 released in the bundle sheath by C-4 acid decarboxylations, which is lost by leakage) to be 0.2. We conclude that, although variation in Delta(d) observed in the 30 lines of S. bicolor is smaller than that commonly observed in C-4 species, it also reflects variation in transpiration efficiency, W. Among the eight lines examined in detail and in the environments used, there was considerable genotype x environment interaction.

Capillary coexistence and criticality in mesopores: Modification of the Kelvin theory

The classical model of capillary equilibrium in cylindrical pores is modified here by the introduction of molecular concepts and the solid fluid interaction potential. The new approach accurately predicts capillary coexistence and criticality, with results quantitatively matching those from density functional theory for nitrogen adsorption, while also predicting condensation pressures in agreement with reported experimental findings for MCM-41. The larger critical pore size for nitrogen adsorption in these materials, however, suggests a modification of the potential function parameters, evaluated here from data for hydroxylated silica.