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

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

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

A novel role for BRCA1 in regulating breast cancer cell spreading and motility

BRCA1 interacts with ERM proteins at leading edges and focal adhesion sites and modulates motility via its ubiquitin ligase activity

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

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

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