A compiler approach to scalable concurrent program design

The programmer's most powerful tool for controlling complexity in program design is abstraction. We seek to use abstraction in the design of concurrent programs, so as to separate design decisions concerned with decomposition, communication, synchronization, mapping, granularity, and load balancing. This paper describes programming and compiler techniques intended to facilitate this design strategy. The programming techniques are based on a core programming notation with two important properties: the ability to separate concurrent programming concerns, and extensibility with reusable programmer-defined abstractions. The compiler techniques are based on a simple transformation system together with a set of compilation transformations and portable run-time support. The transformation system allows programmer-defined abstractions to be defined as source-to-source transformations that convert abstractions into the core notation. The same transformation system is used to apply compilation transformations that incrementally transform the core notation toward an abstract concurrent machine. This machine can be implemented on a variety of concurrent architectures using simple run-time support. The transformation, compilation, and run-time system techniques have been implemented and are incorporated in a public-domain program development toolkit. This toolkit operates on a wide variety of networked workstations, multicomputers, and shared-memory multiprocessors. It includes a program transformer, concurrent compiler, syntax checker, debugger, performance analyzer, and execution animator. A variety of substantial applications have been developed using the toolkit, in areas such as climate modeling and fluid dynamics

Comment on the Nature of the Ds1∗(2710)D_{s1}^*(2710) and DsJ∗(2860)D_{sJ}^*(2860) Mesons

Two charm-strange mesons, the $D_{s1}^*(2710)$ and the $D_{sJ}^*(2860)$, have recently been observed by several experiments. There has been speculation in the literature that the $D_{s1}^*(2710)$ is the $2^3S_1(c\bar{s})$ state and the $D_{sJ}^*(2860)$ is the $1^3D_1(c\bar{s})$ state. In this paper we explore this and other explanations in the context of the relativized quark model and the pseudoscalar emission decay model. We conclude that the $D_{s1}^*(2710)$ is most likely the $1^3D_1 (c\bar{s})$ state and the $D_{sJ}^*(2860)$ is most likely the $1^3D_3 (c\bar{s})$ state with the $1D_2$ resonances also contributing to the observed signals and explaining the observed ratios of branching ratios to $D^*K$ and $DK$ final states. We point out that measuring the $D_{sJ}^*(2860)$ spin can support or eliminate this explanation and that there are six excited $D_s$ states in this mass region; the $2^3S_1$, $2^1S_0$, $1^3D_1$, $1^3D_3$ and two $1D_2$ states. Observing some of the missing states would help confirm the nature of the $D_{s1}^*(2710)$ and the $D_{sJ}^*(2860)$ states.Comment: 8 pages, 2 figure

Neural Dynamics of Phonetic Trading Relations for Variable-Rate CV Syllables

The perception of CV syllables exhibits a trading relationship between voice onset time (VOT) of a consonant and duration of a vowel. Percepts of [ba] and [wa] can, for example, depend on the durations of the consonant and vowel segments, with an increase in the duration of the subsequent vowel switching the percept of the preceding consonant from [w] to [b]. A neural model, called PHONET, is proposed to account for these findings. In the model, C and V inputs are filtered by parallel auditory streams that respond preferentially to transient and sustained properties of the acoustic signal, as in vision. These streams are represented by working memories that adjust their processing rates to cope with variable acoustic input rates. More rapid transient inputs can cause greater activation of the transient stream which, in turn, can automatically gain control the processing rate in the sustained stream. An invariant percept obtains when the relative activations of C and V representations in the two streams remain uncha.nged. The trading relation may be simulated as a result of how different experimental manipulations affect this ratio. It is suggested that the brain can use duration of a subsequent vowel to make the [b]/[w] distinction because the speech code is a resonant event that emerges between working mernory activation patterns and the nodes that categorize them.Advanced Research Projects Agency (90-0083); Air Force Office of Scientific Reseearch (F19620-92-J-0225); Pacific Sierra Research Corporation (91-6075-2

Variable Rate Working Memories for Phonetic Categorization and Invariant Speech Perception

Speech can be understood at widely varying production rates. A working memory is described for short-term storage of temporal lists of input items. The working memory is a cooperative-competitive neural network that automatically adjusts its integration rate, or gain, to generate a short-term memory code for a list that is independent of item presentation rate. Such an invariant working memory model is used to simulate data of Repp (1980) concerning the changes of phonetic category boundaries as a function of their presentation rate. Thus the variability of categorical boundaries can be traced to the temporal in variance of the working memory code.Air Force Office of Scientific Research (F49620-92-J-0225, 90-0128); Defense Advanced Research Projects Agency (ONR N00014-92-J-4015); Office of Naval Research (N00014-91-J-4100

Enzymatic transhalogenation of dendritic RGD peptide constructs with the fluorinase

We thank EPSRC and the Scottish Imaging Network (SINAPSE) for grants. DO’H thanks the Royal Society for a Wolfson Research Merit Award and ST is grateful to the John and Kathleen Watson Scholarship for financial support. We are grateful to Dr Catherine Botting and Dr Sally Shirran of the St Andrews Mass Spectrometry Service for MALDI-MS acquisitions. We also thank Dr Sally Pimlott of the University of Glasgow for the use of radiochemistry facilities. Open access via RSC Gold for Gold.Peer reviewedPublisher PD

Grounded: characterising the market exit of European low cost airlines

The aim of this paper is to undertake a comprehensive study of LCC market entry and exit in Europe between 1992 and 2012. In the 20 year period between 1992 and 2012, 43 low cost carriers (LCCs) have taken advantage of the progressive liberalisation of the European aviation market and commenced scheduled flight operations within the continent. Of these 43, only 10 remain operational, a failure rate of 77%. This paper contributes to extant literature on LCCs by examining the market entry, business practices, operating longevity and fate of failed operators to characterise European LCC market exit. Drawing on the findings of a detailed continental-wide study, the paper identifies that an airline’s start-up date, the nature and size of its operation and the size and composition of its aircraft fleet are key factors which influence LCC success and failure. The implications for both European and emerging LCC markets are discussed

The moist boundary layer under a mid-latitude weather system

Mid-latitude weather systems are key contributors to the transport of atmospheric water vapour, but less is known about the role of the boundary layer in this transport. We expand a conceptual model of dry boundary-layer structure under synoptic systems to include moist processes, using idealised simulations of cyclone waves to investigate the three-way interaction between the boundary layer, atmospheric moisture and large-scale dynamics. Forced by large-scale thermal advection, boundary-layer structures develop over large areas, analogous to the daytime convective boundary layer, the nocturnal stable boundary layer and transitional regimes between these extremes

Neutron-Capture Nucleosynthesis in the First Stars

Recent studies suggest that metal-poor stars enhanced in carbon but containing low levels of neutron-capture elements may have been among the first to incorporate the nucleosynthesis products of the first generation of stars. We have observed 16 stars with enhanced carbon or nitrogen using the MIKE Spectrograph on the Magellan Telescopes at Las Campanas Observatory and the Tull Spectrograph on the Smith Telescope at McDonald Observatory. We present radial velocities, stellar parameters, and detailed abundance patterns for these stars. Strontium, yttrium, zirconium, barium, europium, ytterbium, and other heavy elements are detected. In four stars, these heavy elements appear to have originated in some form of r-process nucleosynthesis. In one star, a partial s-process origin is possible. The origin of the heavy elements in the rest of the sample cannot be determined unambiguously. The presence of elements heavier than the iron group offers further evidence that zero-metallicity rapidly-rotating massive stars and pair instability supernovae did not contribute substantial amounts of neutron-capture elements to the regions where the stars in our sample formed. If the carbon- or nitrogen-enhanced metal-poor stars with low levels of neutron-capture elements were enriched by products of zero-metallicity supernovae only, then the presence of these heavy elements indicates that at least one form of neutron-capture reaction operated in some of the first stars.Comment: Accepted for publication in the Astrophysical Journal (36 pages, 26 figures

Magnetic fields and differential rotation on the pre-main sequence

Maps of magnetic field topologies of rapidly rotating stars obtained over the last decade or so have provided unique insight into the operation of stellar dynamos. However, for solar-type stars many of the targets imaged to date have been lower-mass zero-age main sequence stars. We present magnetic maps and differential rotation measurements of two-higher mass pre-main sequence stars HD 106506 (~10 Myrs) and HD 141943 (~15 Myrs). These stars should evolve into mid/late F-stars with predicted high differential rotation and little magnetic activity. We investigate what effect the extended convection zones of these pre-main sequence stars has on their differential rotation and magnetic topologies. ©2009 American Institute of Physic