Worker/wrapper/makes it/faster

Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency: proving that the performance of optimized programs is actually improved. This paper addresses this problem for a general-purpose optimization technique, the worker/wrapper transformation. In particular, we use the call-by-need variant of improvement theory to establish conditions under which the worker/wrapper transformation is formally guaranteed to preserve or improve the time performance of programs in lazy languages such as Haskell

Microbiology and atmospheric processes: research challenges concerning the impact of airborne micro-organisms on the atmosphere and climate

For the past 200 years, the field of aerobiology has explored the abundance, diversity, survival and transport of micro-organisms in the atmosphere. Micro-organisms have been explored as passive and severely stressed riders of atmospheric transport systems. Recently, an interest in the active roles of these micro-organisms has emerged along with proposals that the atmosphere is a global biome for microbial metabolic activity and perhaps even multiplication. As part of a series of papers on the sources, distribution and roles in atmospheric processes of biological particles in the atmosphere, here we describe the pertinence of questions relating to the potential roles that air-borne micro-organisms might play in meteorological phenomena. For the upcoming era of research on the role of air-borne micro-organisms in meteorological phenomena, one important challenge is to go beyond descriptions of abundance of micro-organisms in the atmosphere toward an understanding of their dynamics in terms of both biological and physico-chemical properties and of the relevant transport processes at different scales. Another challenge is to develop this understanding under contexts pertinent to their potential role in processes related to atmospheric chemistry, the formation of clouds, precipitation and radiative forcing. This will require truly interdisciplinary approaches involving collaborators from the biological and physical sciences, from disciplines as disparate as agronomy, microbial genetics and atmosphere physics, for example

Realistic Earth escape strategies for solar sailing

With growing interest in solar sailing comes the requirement to provide a basis for future detailed planetary escape mission analysis by drawing together prior work, clarifying and explaining previously anomalies. Previously unexplained seasonal variations in sail escape times from Earth orbit are explained analytically and corroborated within a numerical trajectory model. Blended-sail control algorithms, explicitly independent of time, which providenear-optimal escape trajectories and maintain a safe minimum altitude and which are suitable as a potential autonomous onboard controller, are then presented. These algorithms are investigated from a range of initial conditions and are shown to maintain the optimality previously demonstrated by the use of a single-energy gain control law but without the risk of planetary collision. Finally, it is shown that the minimum sail characteristic acceleration required for escape from a polar orbit without traversing the Earth shadow cone increases exponentially as initial altitude is decreased

Coherent States for Particle Beams in the Thermal Wave Model

In this paper, by using an analogy among {\it quantum mechanics}, {\it electromagnetic beam optics in optical fibers}, and {\it charge particle beam dynamics}, we introduce the concept of {\it coherent states} for charged particle beams in the framework of the {\it Thermal Wave Model} (TWM). We give a physical meaning of the Gaussian-like coherent structures of charged particle distribution that are both naturally and artificially produced in an accelerating machine in terms of the concept of coherent states widely used in quantum mechanics and in quantum optics. According to TWM, this can be done by using a Schr\"{o}dinger-like equation for a complex function, the so-called {\it beam wave function} (BWF), whose squared modulus is proportional to the transverse beam density profile, where Planck's constant and the time are replaced by the transverse beam emittance and by the propagation coordinate, respectively. The evolution of the particle beam, whose initial BWF is assumed to be the simplest coherent state (ground-like state) associated with the beam, in an infinite 1-D quadrupole-like device with small sextupole and octupole aberrations, is analytically and numerically investigated.Comment: 21 pages, Late

Stretching the spines of gymnasts: a review

Gymnastics is noted for involving highly specialized strength, power, agility and flexibility. Flexibility is perhaps the single greatest discriminator of gymnastics from other sports. The extreme ranges of motion achieved by gymnasts require long periods of training, often occupying more than a decade. Gymnasts also start training at an early age (particularly female gymnasts), and the effect of gymnastics training on these young athletes is poorly understood. One of the concerns of many gymnastics professionals is the training of the spine in hyperextension-the ubiquitous 'arch' seen in many gymnastics positions and movements. Training in spine hyperextension usually begins in early childhood through performance of a skill known as a back-bend. Does practising a back-bend and other hyperextension exercises harm young gymnasts? Current information on spine stretching among gymnasts indicates that, within reason, spine stretching does not appear to be an unusual threat to gymnasts' health. However, the paucity of information demands that further study be undertaken

From a certain point of view: sensory phenomenological envisionings of running space and place

The precise ways in which we go about the mundane, repetitive, social actions of everyday life are central concerns of ethnographers and theorists working within the traditions of the sociology of the mundane and sociological phenomenology. In this article, we utilize insights derived from sociological phenomenology and the newly developing field of sensory sociology to investigate a particular, mundane, and embodied social practice, that of training for distance running in specific places: our favored running routes. For, despite a growing body of ethnographic studies of particular sports, little analytic attention has been devoted to the actual, concrete practices of “doing” or “producing” sporting activity, particularly from a sensory ethnographic perspective. Drawing upon data from a 2-year joint autoethnographic research project, here we explore the visual dimension, focusing upon three key themes in relation to our runners’ visualization of, respectively, (1) hazardous places, (2) performance places, (3) the time–space–place nexus

Type-based allocation analysis for co-recursion in lazy functional languages

This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this system against an instrumented variant of Launch-bury’s semantics for lazy evaluation which serves as a formal cost model.Our soundness proof requires an intermediate semantics employing indi-rections. Our proof of correspondence between these semantics that weprovide is thus a crucial part of this work.The analysis has been implemented as an automatic inference system.We demonstrate its effectiveness using several example programs thatpreviously could not be automatically analysed.Postprin

Long-Baseline Neutrino Facility (LBNF) and Deep Underground Neutrino Experiment (DUNE) Conceptual Design Report Volume 2: The Physics Program for DUNE at LBNF

The Physics Program for the Deep Underground Neutrino Experiment (DUNE) at the Fermilab Long-Baseline Neutrino Facility (LBNF) is described

Grouping practices in the primary school: what influences change?

During the 1990s, there was considerable emphasis on promoting particular kinds of pupil grouping as a means of raising educational standards. This survey of 2000 primary schools explored the extent to which schools had changed their grouping practices in responses to this, the nature of the changes made and the reasons for those changes. Forty eight percent of responding schools reported that they had made no change. Twenty two percent reported changes because of the literacy hour, 2% because of the numeracy hour, 7% because of a combination of these and 21% for other reasons. Important influences on decisions about the types of grouping adopted were related to pupil learning and differentiation, teaching, the implementation of the national literacy strategy, practical issues and school self-evaluation

Cultural Orientations of sport managers

Various interpretations of sport management are cultural constructs underpinned by core assumptions and values held by members of professional communities. Sport managers world wide share common problems, but differ in how they resolve them. These universal differences emerge from the relationships they form with other people, and their attitude to time, activities and the natural environment. This paper examines the role of sport managers’ cultural orientations in the interpretation and practice of sport management. Using a multiple dimension model (Hampden-Turner and Trompenaars, 2000) it sketches the cultural profiles of fifteen sport managers from seven countries. A combination of methods was employed including questionnaires, interviews and participant observation. It is contended that the culture of sport management concerns a social process by which managers get involved in reconciling seven fundamental cultural dilemmas in order to perform tasks and achieve certain ends. Thus, a knowledge of the cultural meaning of sport management in a particular country would equip sport managers with a valuable tool in managing both the cultural diversity of their own work forces and in developing appropriate cross-cultural skills needed for running international events, marketing campaigns, sponsorship deals and joint ventures