RABBIT: A Compiler for SCHEME

We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates on general issues of environment and control. Rather than having specialized knowledge about a large variety of control and environment constructs, the compiler handles only a small basis set which reflects the semantics of lambda-calculus. All of the traditional imperative constructs, such as sequencing, assignment, looping, GOTO, as well as many standard LISP constructs such as AND, OR, and COND, are expressed in macros in terms of the applicative basis set. A small number of optimization techniques, coupled with the treatment of function calls as GOTO statements, serve to produce code as good as that produced by more traditional compilers. The macro approach enables speedy implementation of new constructs as desired without sacrificing efficiency in the generated code. A fair amount of analysis is devoted to determining whether environments may be stack-allocated or must be heap-allocated. Heap-allocated environments are necessary in general because SCHEME (unlike Algol 60 and Algol 68, for example) allows procedures with free lexically scoped variables to be returned as the values of other procedures; the Algol stack-allocation environment strategy does not suffice. The methods used here indicate that a heap-allocating generalization of the "display" technique leads to an efficient implementation of such "upward funargs". Moreover, compile-time optimization and analysis can eliminate many "funargs" entirely, and so far fewer environment structures need be allocated at run time than might be expected. A subset of SCHEME (rather than triples, for example) serves as the representation intermediate between the optimized SCHEME code and the final output code; code is expressed in this subset in the so-called continuation-passing style. As a subset of SCHEME, it enjoys the same theoretical properties; one could even apply the same optimizer used on the input code to the intermediate code. However, the subset is so chosen that all temporary quantities are made manifest as variables, and no control stack is needed to evaluate it. As a result, this apparently applicative representation admits an imperative interpretation which permits easy transcription to final imperative machine code. These qualities suggest that an applicative language like SCHEME is a better candidate for an UNCOL than the more imperative candidates proposed to date.

The Definition and Implementation of a Computer Programming Language Based on Constraints

The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network of devices connected by wires. Data values may flow along the wires, and computation is performed by the devices. A device computes using only locally available information (with a few exceptions), and places newly derived values on other, locally attached wires. In this way computed values are propagated. An advantage of the constraint paradigm (not unique to it) is that a single relationship can be used in more than one direction. The connections to a device are not labelled as inputs and outputs; a device will compute with whatever values are available, and produce as many new values as it can. General theorem provers are capable of such behavior, but tend to suffer from combinatorial explosion; it is not usually useful to derive all the possible consequences of a set of hypotheses. The constraint paradigm places a certain kind of limitation on the deduction process. The limitations imposed by the constraint paradigm are not the only one possible. It is argued, however, that they are restrictive enough to forestall combinatorial explosion in many interesting computational situations, yet permissive enough to allow useful computations in practical situations. Moreover, the paradigm is intuitive: It is easy to visualize the computational effects of these particular limitations, and the paradigm is a natural way of expressing programs for certain applications, in particular relationships arising in computer-aided design. A number of implementations of constraint-based programming languages are presented. A progression of ever more powerful languages is described, complete implementations are presented and design difficulties and alternatives are discussed. The goal approached, though not quite reached, is a complete programming system which will implicitly support the constraint paradigm to the same extent that LISP, say, supports automatic storage management.

An Accountable Source-To-Source Transformation System

Though one is led to believe that program transformation systems which perform source-to-source transformations enable the user to understand and appreciate the resulting source program, this is not always the case. Transformations are capable of behaving and/or interacting in unexpected ways. The user who is interested in understanding the whats, whys, wheres, and hows of the transformation process is left without tools for discovering them. I provide an initial step towards the solution of this problem in the form of an accountable source-to-source transformation system. It carefully records the information necessary to answer such questions, and provides mechanisms for the retrieval of this information. It is observed that though this accountable system allows the user access to relevant facts from which he may draw conclusions, further study is necessary to make the system capable of analyzing these facts itself.

William Hope Hodgson's borderlands: monstrosity, other worlds, and the future at the fin de siècle.

William Hope Hodgson has generally been understood as the author of several atmospheric sea-horror stories and two powerful but flawed horror science fiction novels. There has been no substantial study analysing the historical and cultural context of his fiction or its place in the Gothic, horror, and science fiction literary traditions. Through analysing the theme of borderlands, this thesis contextualises Hodgson’s novels and short stories within these traditions and within late Victorian cultural discourse. Liminal other world realms, boundaries of corporeal monstrosity, and the imagined future of the world form key elements of Hodgson’s fiction, reflecting the currents of anxiety and optimism characterising fin-de-siècle British society. Hodgson’s early career as a sailor and his interest in body-building and physical culture colour his fiction. Fin-de-siècle discourses of evolution, entropy, spiritualism, psychical research, and the occult also influence his ideas. In The House on the Borderland (1908) and The Night Land (1912), the known world brushes against other forms of reality, exposing humanity to incomprehensible horrors. In The Ghost Pirates (1909), the sea forms a liminal region on the borderland of materiality and immateriality in which other world encounters can take place. In The Night Land and The Boats of the ‘Glen Carrig’ (1907), evolution gives rise to strange monstrous forms existing on the borderlines of species and identity. In Hodgson’s science fiction—The House on the Borderland and The Night Land—the future of the earth forms a temporal borderland of human existence shaped by fin-de-siècle fears of entropy and the heat-death of the sun. Alongside the work of other writers such as H. G. Wells and Arthur Machen, Hodgson’s four novels respond to the borderland discourses of the fin de siècle, better enabling us to understand the Gothic literature of the period as well as Hodgson’s position as a writer who offers a unique imaginative perspective on his contemporary culture.

The effect of 2 weeks vitamin C supplementation on immunoendocrine responses to 2.5 h cycling exercise in man

Davison G, Gleeson M, 2006. The effect of 2 weeks vitamin C supplementation on immunoendocrine responses to 2.5 h cycling exercise in man. European Journal of Applied Physiology 97(4): 454-461 RAE2008

Antioxidant supplementation and immunoendocrine responses to prolonged exercise

Davison, Glen, et al., 'Antioxidant supplementation and immunoendocrine responses to prolonged exercise', Medicine and Science in Sports and Exercise, (2007) 39(4) pp.645-652 RAE2008

Influence of acute vitamin C and/or carbohydrate ingestion on hormonal, cytokine, and immune responses to prolonged exercise

Davison, G. and Gleeson, M. (2005). Influence of Acute Vitamin C and/or Carbohydrate Ingestion on Hormonal, Cytokine, and Immune Responses to Prolonged Exercise. International Journal of Sport Nutrition and Exercise Metabolism. 15(5), pp.465-479 RAE2008

A study of the Zhiqing identity

More than seventeen million Chinese urban youth (Zhiqing in Chinese) went to the countryside, lived and engaged in agricultural work there during the Up to the Mountains and Down to the Countryside (UMDC) Movement (1967-1981). Although this movement was officially terminated in 1981, it has left an imprint on these people – the Zhiqing identity by which they are still characterized as a unique group in Chinese society and a special generation in Chinese history. Historical and sociological perspectives are combined in this study. By applying Glen H. Elder’s life course approach, the study reveals how Zhiqing’s life trajectories are embedded in the social history and identifies a series of interrelated factors that made Zhiqing into a unique generation. With the guidance of Henri Tajfel’s social identity theory, the study uncovers the emergence of the Zhiqing group and the Zhiqing identity, explains individuals’ acquisitions of the Zhiqing identity and analyzes how it has kept influencing individuals’ lives during and after the UMDC Movement. Using Zhiqing’s life stories allowed the researcher to combine the historical and sociological aspects in her examination of Zhiqing’s identity issues. In each life story, the narrator reviewed his/her life experience, reflected on socio-historical changes and expressed his/her emotions and ideas about identity issues. Utilizing methods of in-depth interview and thematic analysis, the researcher completed the study and presents this thesis as one interpretation on the Zhiqing identity, which, as according the researcher’s hermeneutic stance, is open to further discussion and future research.

Ecological homogenization of urban USA

A visually apparent but scientifically untested outcome of land-use change is homogenization across urban areas, where neighborhoods in different parts of the country have similar patterns of roads, residential lots, commercial areas, and aquatic features. We hypothesize that this homogenization extends to ecological structure and also to ecosystem functions such as carbon dynamics and microclimate, with continental-scale implications. Further, we suggest that understanding urban homogenization will provide the basis for understanding the impacts of urban land-use change from local to continental scales. Here, we show how multi-scale, multidisciplinary datasets from six metropolitan areas that cover the major climatic regions of the US (Phoenix, AZ; Miami, FL; Baltimore, MD; Boston, MA; Minneapolis-St Paul, MN; and Los Angeles, CA) can be used to determine how household and neighborhood characteristics correlate with land-management practices, land-cover composition, and landscape structure and ecosystem functions at local, regional, and continental scales. © The Ecological Society of America.

Convergent Surface Water Distributions in U.S. Cities

Earth's surface is rapidly urbanizing, resulting in dramatic changes in the abundance, distribution and character of surface water features in urban landscapes. However, the scope and consequences of surface water redistribution at broad spatial scales are not well understood. We hypothesized that urbanization would lead to convergent surface water abundance and distribution: in other words, cities will gain or lose water such that they become more similar to each other than are their surrounding natural landscapes. Using a database of more than 1 million water bodies and 1 million km of streams, we compared the surface water of 100 US cities with their surrounding undeveloped land. We evaluated differences in areal (A WB) and numeric densities (N WB) of water bodies (lakes, wetlands, and so on), the morphological characteristics of water bodies (size), and the density (D C) of surface flow channels (that is, streams and rivers). The variance of urban A WB, N WB, and D C across the 100 MSAs decreased, by 89, 25, and 71%, respectively, compared to undeveloped land. These data show that many cities are surface water poor relative to undeveloped land; however, in drier landscapes urbanization increases the occurrence of surface water. This convergence pattern strengthened with development intensity, such that high intensity urban development had an areal water body density 98% less than undeveloped lands. Urbanization appears to drive the convergence of hydrological features across the US, such that surface water distributions of cities are more similar to each other than to their surrounding landscapes. © 2014 The Author(s).

Assessing the homogenization of urban land management with an application to US residential lawn care.

Changes in land use, land cover, and land management present some of the greatest potential global environmental challenges of the 21st century. Urbanization, one of the principal drivers of these transformations, is commonly thought to be generating land changes that are increasingly similar. An implication of this multiscale homogenization hypothesis is that the ecosystem structure and function and human behaviors associated with urbanization should be more similar in certain kinds of urbanized locations across biogeophysical gradients than across urbanization gradients in places with similar biogeophysical characteristics. This paper introduces an analytical framework for testing this hypothesis, and applies the framework to the case of residential lawn care. This set of land management behaviors are often assumed--not demonstrated--to exhibit homogeneity. Multivariate analyses are conducted on telephone survey responses from a geographically stratified random sample of homeowners (n = 9,480), equally distributed across six US metropolitan areas. Two behaviors are examined: lawn fertilizing and irrigating. Limited support for strong homogenization is found at two scales (i.e., multi- and single-city; 2 of 36 cases), but significant support is found for homogenization at only one scale (22 cases) or at neither scale (12 cases). These results suggest that US lawn care behaviors are more differentiated in practice than in theory. Thus, even if the biophysical outcomes of urbanization are homogenizing, managing the associated sustainability implications may require a multiscale, differentiated approach because the underlying social practices appear relatively varied. The analytical approach introduced here should also be productive for other facets of urban-ecological homogenization.

Morphological characteristics of urban water bodies: mechanisms of change and implications for ecosystem function.

The size, shape, and connectivity of water bodies (lakes, ponds, and wetlands) can have important effects on ecological communities and ecosystem processes, but how these characteristics are influenced by land use and land cover change over broad spatial scales is not known. Intensive alteration of water bodies during urban development, including construction, burial, drainage, and reshaping, may select for certain morphometric characteristics and influence the types of water bodies present in cities. We used a database of over one million water bodies in 100 cities across the conterminous United States to compare the size distributions, connectivity (as intersection with surface flow lines), and shape (as measured by shoreline development factor) of water bodies in different land cover classes. Water bodies in all urban land covers were dominated by lakes and ponds, while reservoirs and wetlands comprised only a small fraction of the sample. In urban land covers, as compared to surrounding undeveloped land, water body size distributions converged on moderate sizes, shapes toward less tortuous shorelines, and the number and area of water bodies that intersected surface flow lines (i.e., streams and rivers) decreased. Potential mechanisms responsible for changing the characteristics of urban water bodies include: preferential removal, physical reshaping or addition of water bodies, and selection of locations for development. The relative contributions of each mechanism likely change as cities grow. The larger size and reduced surface connectivity of urban water bodies may affect the role of internal dynamics and sensitivity to catchment processes. More broadly, these results illustrate the complex nature of urban watersheds and highlight the need to develop a conceptual framework for urban water bodies.

Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient.

BACKGROUND: Scientists rarely reuse expert knowledge of phylogeny, in spite of years of effort to assemble a great "Tree of Life" (ToL). A notable exception involves the use of Phylomatic, which provides tools to generate custom phylogenies from a large, pre-computed, expert phylogeny of plant taxa. This suggests great potential for a more generalized system that, starting with a query consisting of a list of any known species, would rectify non-standard names, identify expert phylogenies containing the implicated taxa, prune away unneeded parts, and supply branch lengths and annotations, resulting in a custom phylogeny suited to the user's needs. Such a system could become a sustainable community resource if implemented as a distributed system of loosely coupled parts that interact through clearly defined interfaces. RESULTS: With the aim of building such a "phylotastic" system, the NESCent Hackathons, Interoperability, Phylogenies (HIP) working group recruited 2 dozen scientist-programmers to a weeklong programming hackathon in June 2012. During the hackathon (and a three-month follow-up period), 5 teams produced designs, implementations, documentation, presentations, and tests including: (1) a generalized scheme for integrating components; (2) proof-of-concept pruners and controllers; (3) a meta-API for taxonomic name resolution services; (4) a system for storing, finding, and retrieving phylogenies using semantic web technologies for data exchange, storage, and querying; (5) an innovative new service, DateLife.org, which synthesizes pre-computed, time-calibrated phylogenies to assign ages to nodes; and (6) demonstration projects. These outcomes are accessible via a public code repository (GitHub.com), a website (http://www.phylotastic.org), and a server image. CONCLUSIONS: Approximately 9 person-months of effort (centered on a software development hackathon) resulted in the design and implementation of proof-of-concept software for 4 core phylotastic components, 3 controllers, and 3 end-user demonstration tools. While these products have substantial limitations, they suggest considerable potential for a distributed system that makes phylogenetic knowledge readily accessible in computable form. Widespread use of phylotastic systems will create an electronic marketplace for sharing phylogenetic knowledge that will spur innovation in other areas of the ToL enterprise, such as annotation of sources and methods and third-party methods of quality assessment.

The development of an advanced ship evacuation simulation software product and associated large scale testing facility for the collection of human shipboard behaviour data

When designing a new passenger ship or modifying an existing design, how do we ensure that the proposed design and crew emergency procedures are safe from an evacuation point of view? In the wake of major maritime disasters such as the Herald of Free Enterprise and the Estonia and in light of the growth in the numbers of high density, high-speed ferries and large capacity cruise ships, issues concerned with the evacuation of passengers and crew at sea are receiving renewed interest. In the maritime industry, ship evacuation models offer the promise to quickly and efficiently bring evacuation considerations into the design phase, while the ship is "on the drawing board". maritimeEXODUS-winner of the BCS, CITIS and RINA awards - is such a model. Features such as the ability to realistically simulate human response to fire, the capability to model human performance in heeled orientations, a virtual reality environment that produces realistic visualisations of the modelled scenarios and with an integrated abandonment model, make maritimeEXODUS a truly unique tool for assessing the evacuation capabilities of all types of vessels under a variety of conditions. This paper describes the maritimeEXODUS model, the SHEBA facility from which data concerning passenger/crew performance in conditions of heel is derived and an example application demonstrating the models use in performing an evacuation analysis for a large passenger ship partially based on the requirements of MSC circular 1033.

Analysing the evacuation procedures employed on a Thames passenger boat using the maritimeEXODUS evacuation model

On the 19 June 2001, a Thames passenger/tour boat underwent several evacuation trials. This work was conducted in order to collect data for the validation of marine-based computer models. The trials involved 111 participants who were distributed throughout the vessel. The boat had two decks and two points of exit from the lower deck placed on either side of the craft, forward and aft. The boat had a twin set of staircases towards the rear of the craft, just forward of the rear exits. maritimeEXODUS was used to simulate the full-scale evacuation trials conducted. The simulation times generated were compared against the original results and categorised according to the exit point availability. The predictions closely approximate the original results, differing by an average of 6.6% across the comparisons, with numerous qualitative similarities between the predictions and experimental results. The maritimeEXODUS evacuation model was then used to examine the evacuation procedure currently employed on the vessel. This was found to have potential to produce long evacuation times. maritimeEXODUS was used to suggest modifications to the mustering procedures. These theoretical results suggest that it is possible to significantly reduce evacuation times.