Completeness of algebraic CPS simulations

The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application arguments and algebraic rules. The two languages can simulate each other using an algebraic extension of the well-known call-by-value and call-by-name CPS translations. These simulations are sound, in that they preserve reductions. In this paper, we prove that the simulations are actually complete, strengthening the connection between the two languages.Comment: In Proceedings DCM 2011, arXiv:1207.682

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

Semantics of a Typed Algebraic Lambda-Calculus

Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We sketch the relation with two established vectorial lambda-calculi. Then we study the problems arising from the addition of a fixed point combinator and how to modify the equational theory to solve them. We sketch an algebraic vectorial PCF and its possible denotational interpretations

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

Nanoscale mapping of newly-synthesised phospholipid molecules in a biological cell using tip-enhanced Raman spectroscopy

Nanoscale chemical mapping of newly-synthesised phospholipid molecules inside a mammalian cell is demonstrated using tip-enhanced Raman spectroscopy (TERS) for the first time using mouse pre-adipocyte cells as a model system. Newly-synthesised membrane phospholipid distribution within a pre-adipocyte cell is mapped with <20 nm spatial resolution, overcoming the diffraction limit of confocal Raman spectroscopy via plasmonic enhancement of Raman signals at a TERS tip-apex

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

RCN: Diadromous Species Restoration Research Network (DSRRN)

The primary goal of the Diadromous Species Restoration Research Network (DSRRN) was to advance the science of diadromous fish restoration, promote state-of-the-art scientific approaches to multiple-species restoration on a watershed scale, and facilitate interactions among scientists, managers, and stakeholders throughout the North Atlantic region. This goal was achieved by a series of conferences and workshops over a five-year period between 2008 and 2013. In all, DSRRN organized two multi-day conferences with over 160 participants in attendance and five multiday workshops with an average of 25 participants. The objective of these workshops was to produce new directions for restoration science by exploring key scientific issues related to interdisciplinary scientific approaches to diadromous species restoration

Stressors and threats to the flora of Acadia National Park, Maine: Current knowledge, information gaps, and future directions

Stressors and threats to the flora of Acadia National Park, Maine: Current knowledge, information gaps, and future directions. J. Torrey Bot. Soc. 139: 323–344. 2012.— Acadia National Park is a center of plant diversity in northeastern North America. The Park\u27s varied habitats and flora are sensitive to a number of natural and anthropogenic perturbations. Stressors such as invasive plants, pest and pathogens, ozone, acidic fog and sulfur deposition, nitrogen deposition, heavy metals, fire and fire suppression, over-browsing, visitor use, hurricanes, and climate change have all had effects on the Park\u27s habitats and plant species at some point and it is unclear how many of these stressors are currently affecting the flora of Acadia National Park. We discuss the botanical diversity of Acadia, assess the natural and anthropogenic stressors and threats affecting the Park\u27s flora, and summarize critical information gaps to better assess the known stressors and threats to the flora. Understanding these stressors and threats is critical to making informed management decisions to preserve the botanical diversity of Acadia and other regional parks