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

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

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

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

Rapid generation of human B-cell lymphomas via combined expression of Myc and Bcl2 and their use as a preclinical model for biological therapies

Although numerous mouse models of B-cell malignancy have been developed via the enforced expression of defined oncogenic lesions, the feasibility of generating lineage-defined human B-cell malignancies using mice reconstituted with modified human hematopoietic stem cells (HSCs) remains unclear. In fact, whether human cells can be transformed as readily as murine cells by simple oncogene combinations is a subject of considerable debate. Here, we describe the development of humanized mouse model of MYC/BCL2-driven ‘double-hit’ lymphoma. By engrafting human HSCs transduced with the oncogene combination into immunodeficient mice, we generate a fatal B malignancy with complete penetrance. This humanized-MYC/BCL2-model (hMB) accurately recapitulates the histopathological and clinical aspects of steroid-, chemotherapy- and rituximab-resistant human ‘double-hit’ lymphomas that involve the MYC and BCL2 loci. Notably, this model can serve as a platform for the evaluation of antibody-based therapeutics. As a proof of principle, we used this model to show that the anti-CD52 antibody alemtuzumab effectively eliminates lymphoma cells from the spleen, liver and peripheral blood, but not from the brain. The hMB humanized mouse model underscores the synergy of MYC and BCL2 in ‘double-hit’ lymphomas in human patients. Additionally, our findings highlight the utility of humanized mouse models in interrogating therapeutic approaches, particularly human-specific monoclonal antibodies.Kathy and Curt Marble Cancer Research FundSingapore-MIT Alliance for Research and TechnologyNational Institutes of Health (U.S.) (Grant R01-CA128803)Virginia and Daniel K. Ludwig Graduate FellowshipNational Institute of General Medical Sciences (U.S.) (Medical Scientist Training Program Grant T32GM007753)MIT School of Science (Cancer Research Fellowship

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

West Nile virus vector Culex modestus established in southern England

Background: The risk posed to the United Kingdom by West Nile virus (WNV) has previously been considered low, due to the absence or scarcity of the main Culex sp. bridge vectors. The mosquito Culex modestus is widespread in southern Europe, where it acts as the principle bridge vector of WNV. This species was not previously thought to be present in the United Kingdom. Findings: Mosquito larval surveys carried out in 2010 identified substantial populations of Cx. modestus at two sites in marshland in southeast England. Host-seeking-adult traps placed at a third site indicate that the relative seasonal abundance of Cx. modestus peaks in early August. DNA barcoding of these specimens from the United Kingdom and material from southern France confirmed the morphological identification. Conclusions: Cx. modestus appears to be established in the North Kent Marshes, possibly as the result of a recent introduction. The addition of this species to the United Kingdom’s mosquito fauna may increase the risk posed to the United Kingdom by WNV

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

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