Linearity in the non-deterministic call-by-value setting

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

Mosquito Magnet ® traps as a potential means of monitoring blackflies of medical and veterinary importance

Mosquito Magnet® traps, deployed in widespread parts of England as part of nationwide mosquito surveillance projects, also caught blackflies. As many as 1242 blackflies were caught in a trapping session lasting 4 days. Principal among the species caught were Simulium equinum, Simulium lineatum and Simulium ornatum s.l. As S. ornatum s.l. is a vector that transmits Onchocerca linealis to cattle and S. equinum is responsible for dermatitis ('sweet itch') in cattle and horses, it is suggested that Mosquito Magnet® traps could be used to monitor and partially control these pests, as well as nuisance anthropophilic blackflies such as Simulium posticatum that can cause simuliidosis in southern England

Real Time Global Tests of the ALICE High Level Trigger Data Transport Framework

The High Level Trigger (HLT) system of the ALICE experiment is an online event filter and trigger system designed for input bandwidths of up to 25 GB/s at event rates of up to 1 kHz. The system is designed as a scalable PC cluster, implementing several hundred nodes. The transport of data in the system is handled by an object-oriented data flow framework operating on the basis of the publisher-subscriber principle, being designed fully pipelined with lowest processing overhead and communication latency in the cluster. In this paper, we report the latest measurements where this framework has been operated on five different sites over a global north-south link extending more than 10,000 km, processing a ``real-time'' data flow.Comment: 8 pages 4 figure

Discovery of a single male Aedes aegypti (L.) in Merseyside, England

© The Author(s). 2017. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated. The file attached is the published (publishers PDF) version of the article

Essential versus accessory aspects of cell death: recommendations of the NCCD 2015

Cells exposed to extreme physicochemical or mechanical stimuli die in an uncontrollable manner, as a result of their immediate structural breakdown. Such an unavoidable variant of cellular demise is generally referred to as ‘accidental cell death’ (ACD). In most settings, however, cell death is initiated by a genetically encoded apparatus, correlating with the fact that its course can be altered by pharmacologic or genetic interventions. ‘Regulated cell death’ (RCD) can occur as part of physiologic programs or can be activated once adaptive responses to perturbations of the extracellular or intracellular microenvironment fail. The biochemical phenomena that accompany RCD may be harnessed to classify it into a few subtypes, which often (but not always) exhibit stereotyped morphologic features. Nonetheless, efficiently inhibiting the processes that are commonly thought to cause RCD, such as the activation of executioner caspases in the course of apoptosis, does not exert true cytoprotective effects in the mammalian system, but simply alters the kinetics of cellular demise as it shifts its morphologic and biochemical correlates. Conversely, bona fide cytoprotection can be achieved by inhibiting the transduction of lethal signals in the early phases of the process, when adaptive responses are still operational. Thus, the mechanisms that truly execute RCD may be less understood, less inhibitable and perhaps more homogeneous than previously thought. Here, the Nomenclature Committee on Cell Death formulates a set of recommendations to help scientists and researchers to discriminate between essential and accessory aspects of cell death

Survivin expression in oral squamous cell carcinoma

A series of 110 cases of oral squamous cell carcinoma (SCC) together with six lymph node and one distant metastatic lesions was analysed for expression of survivin, a recent apoptosis inhibitor, by immunohistochemistry and Western blotting. In total, 91 cases (82.7%) of carcinoma and all metastasis (seven cases, 100%) were positive for survivin expression, with weighted survivin scores ranging from 1 to 4. In contrast, normal oral epithelium did not express survivin. There was no significant correlation between survivin expression and age, sex, tumour size, the presence of lymph node and distant metastases. Survivin expression was increased in poorly differentiated tumours, even if differences were not statistically significant. In contrast, when analysed for prognostic significance, patients with low survivin expression had statistically significant better survival rates than the group with high survivin expression (P < 0.05). These data suggest that survivin expression may identify cases of oral SCC with more aggressive and invasive phenotype

Auditing the Management of Vaccine-Preventable Disease Outbreaks: The Need for a Tool

Public health activities, especially infectious disease control, depend on effective teamwork. We present the results of a pilot audit questionnaire aimed at assessing the quality of public health services in the management of VPD outbreaks. Audit questionnaire with three main areas indicators (structure, process and results) was developed. Guidelines were set and each indicator was assessed by three auditors. Differences in indicator scores according to median size of outbreaks were determined by ANOVA (significance at p≤0.05). Of 154 outbreaks; eighteen indicators had a satisfactory mean score, indicator “updated guidelines” and “timely reporting” had a poor mean score (2.84±106 and 2.44±1.67, respectively). Statistically significant differences were found according to outbreak size, in the indicators “availability of guidelines/protocol updated less than 3 years ago” (p = 0.03) and “days needed for outbreak control” (p = 0.04). Improving availability of updated guidelines, enhancing timely reporting and adequate recording of control procedures taken is needed to allow for management assessment and improvement

Development of Peptidomimetics Targeting IAPs

Inhibitor of apoptosis proteins (IAPs) such as XIAP subvert apoptosis by binding and inhibiting caspases. Because occupation of the XIAP BIR3 peptide binding pocket by Smac abolishes the XIAP–caspase 9 interaction, it is a proapoptotic event of great therapeutic interest. An assay for pocket binding was developed based on the displacement of Smac 7-mer from BIR3. Through the physical and biochemical analysis of a variety of peptides, we have determined the minimum sequence required for inhibition of the Smac–BIR3 interaction and detailed the dimensions and topology of the BIR3 peptide binding pocket. This work describes the structure–activity relationship (SAR) for peptide inhibitors of Smac-IAP binding

Predicting severe pain after major surgery: a secondary analysis of the Peri-operative Quality Improvement Programme (PQIP) dataset

Acute postoperative pain is common, distressing and associated with increased morbidity. Targeted interventions can prevent its development. We aimed to develop and internally validate a predictive tool to pre-emptively identify patients at risk of severe pain following major surgery. We analysed data from the UK Peri-operative Quality Improvement Programme to develop and validate a logistic regression model to predict severe pain on the first postoperative day using pre-operative variables. Secondary analyses included the use of peri-operative variables. Data from 17,079 patients undergoing major surgery were included. Severe pain was reported by 3140 (18.4%) patients; this was more prevalent in females, patients with cancer or insulin-dependent diabetes, current smokers and in those taking baseline opioids. Our final model included 25 pre-operative predictors with an optimism-corrected c-statistic of 0.66 and good calibration (mean absolute error 0.005, p = 0.35). Decision-curve analysis suggested an optimal cut-off value of 20–30% predicted risk to identify high-risk individuals. Potentially modifiable risk factors included smoking status and patient-reported measures of psychological well-being. Non-modifiable factors included demographic and surgical factors. Discrimination was improved by the addition of intra-operative variables (likelihood ratio χ2 496.5, p < 0.001) but not by the addition of baseline opioid data. On internal validation, our pre-operative prediction model was well calibrated but discrimination was moderate. Performance was improved with the inclusion of peri-operative covariates suggesting pre-operative variables alone are not sufficient to adequately predict postoperative pain

Genetic Ablation of Bcl-x Attenuates Invasiveness without Affecting Apoptosis or Tumor Growth in a Mouse Model of Pancreatic Neuroendocrine Cancer

Tumor cell death is modulated by an intrinsic cell death pathway controlled by the pro- and anti-apoptotic members of the Bcl-2 family. Up-regulation of anti-apoptotic Bcl-2 family members has been shown to suppress cell death in pre-clinical models of human cancer and is implicated in human tumor progression. Previous gain-of-function studies in the RIP1-Tag2 model of pancreatic islet carcinogenesis, involving uniform or focal/temporal over-expression of Bcl-xL, demonstrated accelerated tumor formation and growth. To specifically assess the role of endogenous Bcl-x in regulating apoptosis and tumor progression in this model, we engineered a pancreatic β-cell-specific knockout of both alleles of Bcl-x using the Cre-LoxP system of homologous recombination. Surprisingly, there was no appreciable effect on tumor cell apoptosis rates or on tumor growth in the Bcl-x knockout mice. Other anti-apoptotic Bcl-2 family members were expressed but not substantively altered at the mRNA level in the Bcl-x-null tumors, suggestive of redundancy without compensatory transcriptional up-regulation. Interestingly, the incidence of invasive carcinomas was reduced, and tumor cells lacking Bcl-x were impaired in invasion in a two-chamber trans-well assay under conditions mimicking hypoxia. Thus, while the function of Bcl-x in suppressing apoptosis and thereby promoting tumor growth is evidently redundant, genetic ablation implicates Bcl-x in selectively facilitating invasion, consistent with a recent report documenting a pro-invasive capability of Bcl-xL upon exogenous over-expression