A Branching Time Model of CSP

I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled similarity, and showing that it is a congruence for the operators of CSP. This equivalence belongs to the bisimulation family of semantic equivalences, in the sense that on transition systems without internal actions it coincides with strong bisimilarity. Nevertheless, enough of the equational laws of CSP remain to obtain a complete axiomatisation for closed, recursion-free terms.Comment: Dedicated to Bill Roscoe, on the occasion of his 60th birthda

An exploration of occupation in nursing home residents with dementia

Objectives: This study evaluated the sitting room environment of two nursing homes in Ireland, using interactive occupation and social engagement as outcome measures and defining these rooms as occupational spaces. Method: Snapshot observational recordings were made in the main sitting rooms during the periods of time when the rooms were in most active use. Narrative information was also recorded. Results: Residents were more likely to occupy their time in the main sitting room passively, rather than in interactive occupation and social engagement. The nursing home residents with dementia spent approximately 70% of their daily time in the main sitting room areas in states of occupational disengagement. Discussion: Additional insight is provided through pragmatic narrative descriptions of the functioning of the main sitting room environment in terms of interactive occupation and social engagement. Relevance: The research study demonstrates a methodology for evaluating the sitting room areas of a care environment, using interactive occupation and social engagement as outcome measures,which can be used for descriptive and comparative insights into the performance of care environments

Degradation of a quantum directional reference frame as a random walk

We investigate if the degradation of a quantum directional reference frame through repeated use can be modeled as a classical direction undergoing a random walk on a sphere. We demonstrate that the behaviour of the fidelity for a degrading quantum directional reference frame, defined as the average probability of correctly determining the orientation of a test system, can be fit precisely using such a model. Physically, the mechanism for the random walk is the uncontrollable back-action on the reference frame due to its use in a measurement of the direction of another system. However, we find that the magnitude of the step size of this random walk is not given by our classical model and must be determined from the full quantum description.Comment: 5 pages, no figures. Comments are welcome. v2: several changes to clarify the key results. v3: journal reference added, acknowledgements and references update

Mid-Infrared diagnostics of metal-rich HII regions from VLT and Spitzer Spectroscopy of Young Massive Stars in W31

We present near-IR VLT/ISAAC and mid-IR Spitzer/IRS spectroscopy of the young massive cluster in the W31 star-forming region. H-band spectroscopy provides refined classifications for four cluster members O stars with respect to Blum et al. In addition, photospheric features are detected in the massive Young Stellar Object (mYSO) #26. Spectroscopy permits estimates of stellar temperatures and masses, from which a cluster age of ~0.6 Myr and distance of 3.3 kpc are obtained, in excellent agreement with Blum et al. IRS spectroscopy reveals mid-infrared fine structure line fluxes of [Ne II-III] and [S III-IV] for four O stars and five mYSOs. In common with previous studies, stellar temperatures of individual stars are severely underestimated from the observed ratios of fine-structure lines, despite the use of contemporary stellar atmosphere and photoionization models. We construct empirical temperature calibrations based upon the W31 cluster stars of known spectral type, supplemented by two inner Milky Way ultracompact (UC) HII regions whose ionizing star properties are established. Calibrations involving [NeIII] 15.5um/[NeII] 12.8um, [SIV] 10.5um/[NeII] 12.8um or [ArIII] 9.0um/[NeII] 12.8um have application in deducing the spectral types of early- to mid- O stars for other inner Milky Way compact and UCHII regions. Finally, evolutionary phases and timescales for the massive stellar content in W31 are discussed, due to the presence of numerous young massive stars at different formation phases in a `coeval' cluster.Comment: 16 pages, 13 figures, accepted for MNRA

Six-Month Mortality among HIV-Infected Adults Presenting for Antiretroviral Therapy with Unexplained Weight Loss, Chronic Fever or Chronic Diarrhea in Malawi.

In sub-Saharan Africa, early mortality is high following initiation of antiretroviral therapy (ART). We investigated 6-month outcomes and factors associated with mortality in HIV-infected adults being assessed for ART initiation and presenting with weight loss, chronic fever or diarrhea, and with negative TB sputum microscopy

Comments on black holes I: The possibility of complementarity

We comment on a recent paper of Almheiri, Marolf, Polchinski and Sully who argue against black hole complementarity based on the claim that an infalling observer 'burns' as he approaches the horizon. We show that in fact measurements made by an infalling observer outside the horizon are statistically identical for the cases of vacuum at the horizon and radiation emerging from a stretched horizon. This forces us to follow the dynamics all the way to the horizon, where we need to know the details of Planck scale physics. We note that in string theory the fuzzball structure of microstates does not give any place to 'continue through' this Planck regime. AMPS argue that interactions near the horizon preclude traditional complementarity. But the conjecture of 'fuzzball complementarity' works in the opposite way: the infalling quantum is absorbed by the fuzzball surface, and it is the resulting dynamics that is conjectured to admit a complementary description.Comment: 34 pages, 6 figures, v3: clarifications & references adde

A hydrogeomorphological approach to quantification of groundwater discharge to streams in South Africa

In South Africa, the flow requirements for maintaining the normal functioning of aquatic ecosystems is termed the “ecological reserve”, and these should be determined when a licence application for water allocation is processed. Determination of the ecological reserve entails investigation of the relationship between the major interactive components of the hydrologic cycle, namely groundwater and surface water bodies including rivers, lakes and estuaries. Information on groundwater discharge towards surface water bodies is critical for the water resource manager to make a decision regarding the amount of groundwater allocation that can be licensed without causing a negative impact on aquatic ecosystems. Existing techniques of hydrograph-separation are too subjective either due to the fact that assumptions of the techniques cannot be met in reality or that the parameters used in models do not have physical meanings. This paper presents a geomorphologic framework under which the quantification of groundwater from a hydrograph is discussed. A focus is placed on hydrogeomorphological typing that can be used to guide a process of separating groundwater discharge time series from hydrographs where a monthly groundwater discharge time series is required for comparison with instream flow requirements. For generating monthly groundwater discharge time series, a generic procedure is proposed, which is applied in a case study.Web of Scienc

Predicting the long-term impact of antiretroviral therapy scale-up on population incidence of tuberculosis.

OBJECTIVE: To investigate the impact of antiretroviral therapy (ART) on long-term population-level tuberculosis disease (TB) incidence in sub-Saharan Africa. METHODS: We used a mathematical model to consider the effect of different assumptions about life expectancy and TB risk during long-term ART under alternative scenarios for trends in population HIV incidence and ART coverage. RESULTS: All the scenarios we explored predicted that the widespread introduction of ART would initially reduce population-level TB incidence. However, many modelled scenarios projected a rebound in population-level TB incidence after around 20 years. This rebound was predicted to exceed the TB incidence present before ART scale-up if decreases in HIV incidence during the same period were not sufficiently rapid or if the protective effect of ART on TB was not sustained. Nevertheless, most scenarios predicted a reduction in the cumulative TB incidence when accompanied by a relative decline in HIV incidence of more than 10% each year. CONCLUSIONS: Despite short-term benefits of ART scale-up on population TB incidence in sub-Saharan Africa, longer-term projections raise the possibility of a rebound in TB incidence. This highlights the importance of sustaining good adherence and immunologic response to ART and, crucially, the need for effective HIV preventive interventions, including early widespread implementation of ART

Discordant bioinformatic predictions of antimicrobial resistance from whole-genome sequencing data of bacterial isolates: an inter-laboratory study.

Antimicrobial resistance (AMR) poses a threat to public health. Clinical microbiology laboratories typically rely on culturing bacteria for antimicrobial-susceptibility testing (AST). As the implementation costs and technical barriers fall, whole-genome sequencing (WGS) has emerged as a 'one-stop' test for epidemiological and predictive AST results. Few published comparisons exist for the myriad analytical pipelines used for predicting AMR. To address this, we performed an inter-laboratory study providing sets of participating researchers with identical short-read WGS data from clinical isolates, allowing us to assess the reproducibility of the bioinformatic prediction of AMR between participants, and identify problem cases and factors that lead to discordant results. We produced ten WGS datasets of varying quality from cultured carbapenem-resistant organisms obtained from clinical samples sequenced on either an Illumina NextSeq or HiSeq instrument. Nine participating teams ('participants') were provided these sequence data without any other contextual information. Each participant used their choice of pipeline to determine the species, the presence of resistance-associated genes, and to predict susceptibility or resistance to amikacin, gentamicin, ciprofloxacin and cefotaxime. We found participants predicted different numbers of AMR-associated genes and different gene variants from the same clinical samples. The quality of the sequence data, choice of bioinformatic pipeline and interpretation of the results all contributed to discordance between participants. Although much of the inaccurate gene variant annotation did not affect genotypic resistance predictions, we observed low specificity when compared to phenotypic AST results, but this improved in samples with higher read depths. Had the results been used to predict AST and guide treatment, a different antibiotic would have been recommended for each isolate by at least one participant. These challenges, at the final analytical stage of using WGS to predict AMR, suggest the need for refinements when using this technology in clinical settings. Comprehensive public resistance sequence databases, full recommendations on sequence data quality and standardization in the comparisons between genotype and resistance phenotypes will all play a fundamental role in the successful implementation of AST prediction using WGS in clinical microbiology laboratories

Identifying Boosted Objects with N-subjettiness

We introduce a new jet shape -- N-subjettiness -- designed to identify boosted hadronically-decaying objects like electroweak bosons and top quarks. Combined with a jet invariant mass cut, N-subjettiness is an effective discriminating variable for tagging boosted objects and rejecting the background of QCD jets with large invariant mass. In efficiency studies of boosted W bosons and top quarks, we find tagging efficiencies of 30% are achievable with fake rates of 1%. We also consider the discovery potential for new heavy resonances that decay to pairs of boosted objects, and find significant improvements are possible using N-subjettiness. In this way, N-subjettiness combines the advantages of jet shapes with the discriminating power seen in previous jet substructure algorithms.Comment: 26 pages, 26 figures, 2 tables; v2: references added; v3: discussion of results extende