On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Considering the Case for Biodiversity Cycles: Reexamining the Evidence for Periodicity in the Fossil Record

Medvedev and Melott (2007) have suggested that periodicity in fossil biodiversity may be induced by cosmic rays which vary as the Solar System oscillates normal to the galactic disk. We re-examine the evidence for a 62 million year (Myr) periodicity in biodiversity throughout the Phanerozoic history of animal life reported by Rohde & Mueller (2005), as well as related questions of periodicity in origination and extinction. We find that the signal is robust against variations in methods of analysis, and is based on fluctuations in the Paleozoic and a substantial part of the Mesozoic. Examination of origination and extinction is somewhat ambiguous, with results depending upon procedure. Origination and extinction intensity as defined by RM may be affected by an artifact at 27 Myr in the duration of stratigraphic intervals. Nevertheless, when a procedure free of this artifact is implemented, the 27 Myr periodicity appears in origination, suggesting that the artifact may ultimately be based on a signal in the data. A 62 Myr feature appears in extinction, when this same procedure is used. We conclude that evidence for a periodicity at 62 Myr is robust, and evidence for periodicity at approximately 27 Myr is also present, albeit more ambiguous.Comment: Minor modifications to reflect final published versio

Spatial heterogeneity and peptide availability determine CTL killing efficiency in vivo

The rate at which a cytotoxic T lymphocyte (CTL) can survey for infected cells is a key ingredient of models of vertebrate immune responses to intracellular pathogens. Estimates have been obtained using in vivo cytotoxicity assays in which peptide-pulsed splenocytes are killed by CTL in the spleens of immunised mice. However the spleen is a heterogeneous environment and splenocytes comprise multiple cell types. Are some cell types intrinsically more susceptible to lysis than others? Quantitatively, what impacts are made by the spatial distribution of targets and effectors, and the level of peptide-MHC on the target cell surface? To address these questions we revisited the splenocyte killing assay, using CTL specific for an epitope of influenza virus. We found that at the cell population level T cell targets were killed more rapidly than B cells. Using modeling, quantitative imaging and in vitro killing assays we conclude that this difference in vivo likely reflects different migratory patterns of targets within the spleen and a heterogeneous distribution of CTL, with no detectable difference in the intrinsic susceptibilities of the two populations to lysis. Modeling of the stages involved in the detection and killing of peptide-pulsed targets in vitro revealed that peptide dose influenced the ability of CTL to form conjugates with targets but had no detectable effect on the probability that conjugation resulted in lysis, and that T cell targets took longer to lyse than B cells. We also infer that incomplete killing in vivo of cells pulsed with low doses of peptide may be due to a combination of heterogeneity in peptide uptake and the dissociation, but not internalisation, of peptide-MHC complexes. Our analyses demonstrate how population-averaged parameters in models of immune responses can be dissected to account for both spatial and cellular heterogeneity

Does population screening for Chlamydia trachomatis raise anxiety among those tested? Findings from a population based chlamydia screening study

BACKGROUND: The advent of urine testing for Chlamydia trachomatis has raised the possibility of large-scale screening for this sexually transmitted infection, which is now the most common in the United Kingdom. The purpose of this study was to investigate the effect of an invitation to be screened for chlamydia and of receiving a negative result on levels of anxiety, depression and self-esteem. METHODS: 19,773 men and women aged 16 to 39 years, selected at random from 27 general practices in two large city areas (Bristol and Birmingham) were invited by post to send home-collected urine samples or vulvo-vaginal swabs for chlamydia testing. Questionnaires enquiring about anxiety, depression and self-esteem were sent to random samples of those offered screening: one month before the dispatch of invitations; when participants returned samples; and after receiving a negative result. RESULTS: Home screening was associated with an overall reduction in anxiety scores. An invitation to participate did not increase anxiety levels. Anxiety scores in men were lower after receiving the invitation than at baseline. Amongst women anxiety was reduced after receipt of negative test results. Neither depression nor self-esteem scores were affected by screening. CONCLUSION: Postal screening for chlamydia does not appear to have a negative impact on overall psychological well-being and can lead to a decrease in anxiety levels among respondents. There is, however, a clear difference between men and women in when this reduction occurs

Configuring Balanced Scorecards for Measuring Health System Performance: Evidence from 5 Years' Evaluation in Afghanistan

Anbrasi Edward and colleagues report the results of a balanced scorecard performance system used to examine 29 key performance indicators over a 5-year period in Afghanistan, between 2004 and 2008

Robust dose planning objectives for mesorectal radiotherapy of early stage rectal cancer – A multicentre dose planning study

Background and purpose Organ preservation strategies are increasingly being explored for early rectal cancer. This requires revision of target volumes according to disease stage, as well as new guidelines for treatment planning. We conducted an international, multicentre dose planning study to develop robust planning objectives for modern radiotherapy of a novel mesorectal-only target volume, as implemented in the STAR-TReC trial (NCT02945566). Materials and methods The published literature was used to establish relevant dose levels for organ at risk (OAR) plan optimisation. Ten representative patients with early rectal cancer were identified. Treatment scans had mesorectal target volumes as well as bowel cavity, bladder and femoral heads outlined, and were circulated amongst the three participating institutions. Each institution produced plans for short course (SCRT, 5 × 5 Gy) and long course (LCRT, 25 × 2 Gy) treatment, using volumetric modulated arc therapy on different dose planning systems. Optimisation objectives for OARs were established by determining dose metric objectives achievable for ≥90% of plans. Results Sixty plans, all fulfilling target coverage criteria, were produced. The planning results and literature review suggested optimisation objectives for SCRT: V10Gy < 180 cm3, V18Gy < 110 cm3, V23Gy < 85 cm3 for bowel cavity; V21Gy < 15% and V25Gy < 5% for bladder; and V12.5Gy < 11% for femoral heads. Corresponding objectives for LCRT: V20Gy < 180 cm3, V30Gy < 130 cm3, V45Gy < 90 cm3 for bowel cavity; V35Gy < 22% and V50Gy < 7% for bladder; and V25Gy < 15% for femoral heads. Constraints were validated across all three institutions. Conclusion We utilized a multicentre planning study approach to develop robust planning objectives for mesorectal radiotherapy for early rectal cancer

Maternal hemoglobin concentration during pregnancy and risk of infant leukaemia: a children's oncology group study

In contrast to the positive association found in three studies between maternal anaemia during pregnancy and childhood leukaemia, no such association was found in infant leukaemia (odds ratio 0.85, 95% confidence interval 0.53–1.37)

Efficient Capture of Infected Neutrophils by Dendritic Cells in the Skin Inhibits the Early Anti-Leishmania Response

Neutrophils and dendritic cells (DCs) converge at localized sites of acute inflammation in the skin following pathogen deposition by the bites of arthropod vectors or by needle injection. Prior studies in mice have shown that neutrophils are the predominant recruited and infected cells during the earliest stage of Leishmania major infection in the skin, and that neutrophil depletion promotes host resistance to sand fly transmitted infection. How the massive influx of neutrophils aimed at wound repair and sterilization might modulate the function of DCs in the skin has not been previously addressed. The infected neutrophils recovered from the skin expressed elevated apoptotic markers compared to uninfected neutrophils, and were preferentially captured by dermal DCs when injected back into the mouse ear dermis. Following challenge with L. major directly, the majority of the infected DCs recovered from the skin at 24 hr stained positive for neutrophil markers, indicating that they acquired their parasites via uptake of infected neutrophils. When infected, dermal DCs were recovered from neutrophil depleted mice, their expression of activation markers was markedly enhanced, as was their capacity to present Leishmania antigens ex vivo. Neutrophil depletion also enhanced the priming of L. major specific CD4+ T cells in vivo. The findings suggest that following their rapid uptake by neutrophils in the skin, L. major exploits the immunosuppressive effects associated with the apoptotic cell clearance function of DCs to inhibit the development of acquired resistance until the acute neutrophilic response is resolved