The Library Consortium of New Zealand's Shared IRR Infrastructure

The Library Consortium of New Zealand has run an Institutional Research Repository Project for three universities and one institute of technology in New Zealand since 2006. After a brief introduction to the context in which the project operates, this document describes the Institutional Research Repositories that are part of this project and their shared infrastructure. Particular emphasis is placed on advantages and challenges created by the shared infrastructure

Gated metabolic myocardial imaging, a surrogate for dual perfusion-metabolism imaging by positron emission tomography

Acknowledgments The authors are grateful for the help from Dr H Ali and Dr A Dawson. Funding: This study was performed using a research grant from the Aberdeen Royal Hospitals Trust's Endowment Fund, with further support from the Department of Medical Physics at the University of Aberdeen, for which the authors express their gratitude.Peer reviewedPublisher PD

Validation of a method to partition the base deficit in meningococcal sepsis: a retrospective study

INTRODUCTION: The base deficit is a useful tool for quantifying total acid–base derangement, but cannot differentiate between various aetiologies. The Stewart–Fencl equations for strong ions and albumin have recently been abbreviated; we hypothesised that the abbreviated equations could be applied to the base deficit, thus partitioning this parameter into three components (the residual being the contribution from unmeasured anions). METHODS: The two abbreviated equations were applied retrospectively to blood gas and chemistry results in 374 samples from a cohort of 60 children with meningococcal septic shock (mean pH 7.31, mean base deficit -7.4 meq/L). Partitioning required the simultaneous measurement of plasma sodium, chloride, albumin and blood gas analysis. RESULTS: After partitioning for the effect of chloride and albumin, the residual base deficit was closely associated with unmeasured anions derived from the full Stewart–Fencl equations (r(2 )= 0.83, y = 1.99 – 0.87x, standard error of the estimate = 2.29 meq/L). Hypoalbuminaemia was a common finding; partitioning revealed that this produced a relatively consistent alkalinising effect on the base deficit (effect +2.9 ± 2.2 meq/L (mean ± SD)). The chloride effect was variable, producing both acidification and alkalinisation in approximately equal proportions (50% and 43%, respectively); furthermore the magnitude of this effect was substantial in some patients (SD ± 5.0 meq/L). CONCLUSION: It is now possible to partition the base deficit at the bedside with enough accuracy to permit clinical use. This provides valuable information on the aetiology of acid–base disturbance when applied to a cohort of children with meningococcal sepsis

An Improved Implementation and Abstract Interface for Hybrid

Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

The 'global city' misconceived: the myth of 'global management' in transnational service firms

The ‘global city hypothesis' proposed by Saskia Sassen – and subsequently developed by Manuel Castells and others in the theory of a globalized urban network – has in recent years formed the basis for the argument that power and control in transnational firms (TNCs) is primarily situated in global head-offices. Such offices are located in key urban centres such as London, New York or Tokyo where global managerial power is ultimately wielded and where senior managers make strategic decisions about transnational business activity. This paper takes issue with this theoretical legacy, arguing that the idea of strong centralised managerial power and control in contemporary TNCs is far more complex than this literature suggests. It explores how managerial control in some of the supposedly most globalized of business service industries – investment banking and management consultancy – cannot be understood as being centralised in global headquarter offices, and nor does it purely reside with a few senior managers at the top of the transnational organisation. Rather, it argues that managerial control in TNCs is diffused throughout a transnational network of management-level employees, and that strategic power in transnational firms resides with a larger and more dispersed group of actors than has been previously suggested. These arguments are developed through analysis of qualitative research into the managerial strategies and practices of senior business practitioners in the transnational investment banking and management consultancy industries. In presenting qualitative data from interviews with senior management in transnational corporate head offices, the paper thus examines the decision-making process of global management practice and unpacks the complex context in which transnational corporate strategy develops in such firms

Systematic review of the agreement of tonometers with goldmann applanation tonometry

This review was part of the Surveillance for Ocular Hypertension study funded by the UK National Institute for Health Research Health Technology Assessment Programme (Project No. 07/46/02). J.C. held a Medical Research Council UK fellowship (G0601938). AA-B was a grantholder on an AstraZeneca (London, UK) funded study of a new medication for glaucoma. The Health Services Research Unit receives core funding from the Chief Scientist Office of the Scottish Government Health Directorates. Views and opinions expressed are those of the authors and do not necessarily reflect those of the Chief Scientist Office, National Institute for Health Research Health Technology Assessment Programme, or the Department of Health. None of the funders had a role in the design or conduct of this researchPeer reviewedPostprin

Application of Simplified Phosphorus Transport Models to Pasture Fields in Northwest Arkansas

Runoff transport of phosphorus (P) is often predicted from simple equations with parameters determined from data applicable primarily to row-cropped and fallow cover conditions. The applicability, accuracy, and precision of such P transport prediction equations under pasture situations are less well defined. The objectives of this study were to determine parameters of simplified runoff P transport equations for pasture fields and to assess the accuracy and precision of the equations. Runoff, sediment yield, soluble P transport, and particulate P transport data were collected from four pasture fields in northwestern Arkansas. Runoff event enrichment ratios and extraction coefficients were computed, and confidence limits on respective predicted particulate and soluble P transport were determined. An inverse linear relationship between the natural logarithms of enrichment ratio and sediment yield was found significant for all fields, but the slopes were lower than values reported earlier for general use. Runoff event extraction coefficients were considerably higher than those typically used and were highest for runoff occurring shortly following animal manure application. The 95% confidence limits on predicted soluble and particulate P transport varied in some cases by more than an order of magnitude, indicating that significant imprecision was associated with those predictions. The data suggested that the simplified model of soluble P transport might be a reasonable description of the processes for the fields, but that modification to the particulate P transport prediction method might be necessary to improve the prediction accuracy for low event sediment yields (\u3c 10 kg/ha)

Resource-Bound Quantification for Graph Transformation

Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO) diagram in the category of graphs. We show how intuitionistic linear logic can be extended with resource-bound quantification, allowing for an implicit handling of the DPO conditions, and how resource logic can be used to reason about graph transformation systems