Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

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

Apaf-1 and caspase-9 accelerate apoptosis, but do not determine whether factor-deprived or drug-treated cells die

Apoptosis after growth factor withdrawal or drug treatment is associated with mitochondrial cytochrome c release and activation of Apaf-1 and caspase-9. To determine whether loss of Apaf-1, caspase-2, and caspase-9 prevented death of factor-starved cells, allowing them to proliferate when growth factor was returned, we generated IL-3–dependent myeloid lines from gene-deleted mice. Long after growth factor removal, cells lacking Apaf-1, caspase-9 or both caspase-9 and caspase-2 appeared healthy, retained intact plasma membranes, and did not expose phosphatidylserine. However, release of cytochrome c still occurred, and they failed to form clones when IL-3 was restored. Cells lacking caspase-2 alone had no survival advantage. Therefore, Apaf-1, caspase-2, and caspase-9 are not required for programmed cell death of factor-dependent cells, but merely affect its rate. In contrast, transfection with Bcl-2 provided long-term, clonogenic protection, and could act independently of the apoptosome. Unlike expression of Bcl-2, loss of Apaf-1, caspase-2, or caspase-9 would therefore be unlikely to enhance the survival of cancer cells

The STAFF-DWP wave instrument on the DSP equatorial spacecraft: description and first results

The STAFF-DWP wave instrument on board the equatorial spacecraft (TC1) of the Double Star Project consists of a combination of 2 instruments which are a heritage of the Cluster mission: the Spatio-Temporal Analysis of Field Fluctuations (STAFF) experiment and the Digital Wave-Processing experiment (DWP). On DSP-TC1 STAFF consists of a three-axis search coil magnetometer, used to measure magnetic fluctuations at frequencies up to 4 kHz and a waveform unit, up to 10 Hz, plus snapshots up to 180 Hz. DWP provides several onboard analysis tools: a complex FFT to fully characterise electromagnetic waves in the frequency range 10 Hz-4 kHz, a particle correlator linked to the PEACE electron experiment, and compression of the STAFF waveform data. The complementary Cluster and TC1 orbits, together with the similarity of the instruments, permits new multi-point studies. The first results show the capabilities of the experiment, with examples in the different regions of the magnetosphere-solar wind system that have been encountered by DSP-TC1 at the beginning of its operational phase. An overview of the different kinds of electromagnetic waves observed on the dayside from perigee to apogee is given, including the different whistler mode waves (hiss, chorus, lion roars) and broad-band ULF emissions. The polarisation and propagation characteristics of intense waves in the vicinity of a bow shock crossing are analysed using the dedicated PRASSADCO tool, giving results compatible with previous studies: the broad-band ULF waves consist of a superimposition of different wave modes, whereas the magnetosheath lion roars are right-handed and propagate close to the magnetic field. An example of a combined Cluster DSP-TC1 magnetopause crossing is given. This first case study shows that the ULF wave power intensity is higher at low latitude (DSP) than at high latitude (Cluster). On the nightside in the tail, a first wave event comparison - in a rather quiet time interval - is shown. It opens the doors to future studies, such as event timing during substorms, to possibly determine their onset location

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

Citizen science versus professional data collection: Comparison of approaches to mosquito monitoring in Germany

Due to the recent emergence of invasive mosquito species and the outbreaks of mosquito-borne diseases in Europe, research on the ecology and diversity of the mosquito fauna has returned to scientific agendas. Through a nationwide surveillance programme in Germany, mosquitoes have been monitored actively by systematically operated traps since 2011, and passively by the 'Mückenatlas' (mosquito atlas) citizen science project launched in 2012. To assess the performance of both monitoring methods we compared the two respective datasets with regard to habitat coverage, species composition and the ability to detect invasive mosquitoes. The datasets include observations from the beginning of the project until the end of 2017. We found significant differences in species composition caused by land use types and the participants' recording activity. Active monitoring performed better in mapping mosquito diversity, whereas passive monitoring better detected invasive species, thereby using data from private premises scientists usually cannot access. Synthesis and applications. Active and passive monitoring is complementary. Combining them allows for the determination of mosquito diversity, efficient detection of emerging invasive species and the initiation of rapid-response actions against such invaders. The 'Mückenatlas' sets an example for the usefulness of citizen science when included in a national monitoring programme, an approach that may be worth copying for tackling the global spread of arthropod vectors of disease agents

Field Effectiveness of Pandemic and 2009-2010 Seasonal Vaccines against 2009-2010 A(H1N1) Influenza: Estimations from Surveillance Data in France

BACKGROUND: In this study, we assess how effective pandemic and trivalent 2009-2010 seasonal vaccines were in preventing influenza-like illness (ILI) during the 2009 A(H1N1) pandemic in France. We also compare vaccine effectiveness against ILI versus laboratory-confirmed pandemic A(H1N1) influenza, and assess the possible bias caused by using non-specific endpoints and observational data. METHODOLOGY AND PRINCIPAL FINDINGS: We estimated vaccine effectiveness by using the following formula: VE  =  (PPV-PCV)/(PPV(1-PCV)) × 100%, where PPV is the proportion vaccinated in the population and PCV the proportion of vaccinated influenza cases. People were considered vaccinated three weeks after receiving a dose of vaccine. ILI and pandemic A(H1N1) laboratory-confirmed cases were obtained from two surveillance networks of general practitioners. During the epidemic, 99.7% of influenza isolates were pandemic A(H1N1). Pandemic and seasonal vaccine uptakes in the population were obtained from the National Health Insurance database and by telephonic surveys, respectively. Effectiveness estimates were adjusted by age and week. The presence of residual biases was explored by calculating vaccine effectiveness after the influenza period. The effectiveness of pandemic vaccines in preventing ILI was 52% (95% confidence interval: 30-69) during the pandemic and 33% (4-55) after. It was 86% (56-98) against confirmed influenza. The effectiveness of seasonal vaccines against ILI was 61% (56-66) during the pandemic and 19% (-10-41) after. It was 60% (41-74) against confirmed influenza. CONCLUSIONS: The effectiveness of pandemic vaccines in preventing confirmed pandemic A(H1N1) influenza on the field was high, consistently with published findings. It was significantly lower against ILI. This is unsurprising since not all ILI cases are caused by influenza. Trivalent 2009-2010 seasonal vaccines had a statistically significant effectiveness in preventing ILI and confirmed pandemic influenza, but were not better in preventing confirmed pandemic influenza than in preventing ILI. This lack of difference might be indicative of selection bias