The application of message passing to concurrent programming

The development of concurrency in computer systems will be critically reviewed and an alternative strategy proposed. This is a programming language designed along semantic principles, and it is based upon the treatment of concurrent processes as values within that language's universe of discourse. An asynchronous polymorphic message system is provided to enable co-existent processes to communicate freely. This is presented as a fundamental language construct, and it is completely general purpose, as all values, however complex, can be passed as messages. Various operations are also built into the language so as to permit processes to discover and examine one another. These permit the development of robust systems, where localised failures can be detected, and action can be taken to recover. The orthogonality of the design is discussed and its implementation in terms of an incremental compiler and abstract machine interpreter is outlined in some detail. This thesis hopes to demonstrate that message-oriented communication in a highly parallel system of processes is not only a natural form of expression, but is eminently practical, so long as the entities performing the communication are values in the languag

The Partonic Nature of Instantons

In both Yang-Mills theories and sigma models, instantons are endowed with degrees of freedom associated to their scale size and orientation. It has long been conjectured that these degrees of freedom have a dual interpretation as the positions of partonic constituents of the instanton. These conjectures are usually framed in d=3+1 and d=1+1 dimensions respectively where the partons are supposed to be responsible for confinement and other strong coupling phenomena. We revisit this partonic interpretation of instantons in the context of d=4+1 and d=2+1 dimensions. Here the instantons are particle-like solitons and the theories are non-renormalizable. We present an explicit and calculable model in d=2+1 dimensions where the single soliton in the CP^N sigma-model can be shown to be a multi-particle state whose partons are identified with the ultra-violet degrees of freedom which render the theory well-defined at high energies. We introduce a number of methods which reveal the partons inside the soliton, including deforming the sigma model and a dual version of the Bogomolnyi equations. We conjecture that partons inside Yang-Mills instantons hold the key to understanding the ultra-violet completion of five-dimensional gauge theories.Comment: 28 pages. v3: extra references and comments. Mathematica notebooks for the figures can be downloaded from http://www.damtp.cam.ac.uk/user/dt281/parton.htm

Legitimacy in conflict: concepts, practices, challenges

The study of legitimacy in situations of conflict and peacebuilding has increased in recent years. However, current work on the topic adopts many assumptions, definitions, and understandings from classical legitimacy theory, which centers on the relationship between the nation-state and its citizens. In this introduction, we provide a detailed critical overview of current theories of legitimacy and legitimation and demonstrate why they have only limited applicability in conflict and post-conflict contexts, focusing on the three main areas that the articles included in this special issue examine: audiences for legitimacy, sources of legitimacy, and legitimation. In particular, we show how conflict and post-conflict contexts are marked by the fragmentation and personalization of power; the proliferation and fragmentation of legitimacy audiences; and ambiguity surrounding legitimation strategies

A Directional Crack Damage Memory Effect in Sandstone Under True Triaxial Loading

We thank J.G. Van Munster for providing access to the true triaxial apparatus at KSEPL and for technical support during the experimental program. This work was partly funded by NERC awards NE/N002938/1, NE/N003063/1, and by a NERC Doctoral Studentship, which we gratefully acknowledge. Supporting data are included in an SI file; any additional data may be obtained from JB (email: [email protected]).Peer reviewedPublisher PD

Lesions of the head direction cell system increase hippocampal place field repetition

A central tenet of systems neuroscience is that the mammalian hippocampus provides a cognitive map of the environment. This view is supported by the finding of place cells, neurons whose firing is tuned to specific locations in an animal's environment, within this brain region. Recent work, however, has shown that these cells repeat their firing fields across visually identical maze compartments [1, 2]. This repetition is not observed if these compartments face different directions, suggesting that place cells use a directional input to differentiate otherwise similar local environments [3, 4]. A clear candidate for this input is the head direction cell system. To test this, we disrupted the head direction cell system by lesioning the lateral mammillary nuclei and then recorded place cells as rats explored multiple, connected compartments, oriented in the same or in different directions. As shown previously, we found that place cells in control animals exhibited repeated fields in compartments arranged in parallel, but not in compartments facing different directions. In contrast, the place cells of animals with lesions of the head direction cell system exhibited repeating fields in both conditions. Thus, directional information provided by the head direction cell system appears essential for the angular disambiguation by place cells of visually identical compartments

Educational development between faculty and administration

This essay employs Identity Theory to explore the professional identities of educational developers, arguing that it is important to pay attention to the different saliences, or weights, that developers attach to the faculty and administrative sides of their identities

The application of simulation to the understanding of football flight

This article was published in the journal, Proceedings of the Institution of Mechanical Engineers, Part P: Journal of Sports Engineering and Technology [Sage © IMechE ] and is available at: http://dx.doi.org/10.1177/1754337112444402This paper demonstrates the value of using a flight model in the analysis of the flight of a football, and explores the complexity of the model required to produce useful results. Two specific aspects of the simulation are addressed: the need to include a model of spin decay and the requirement to include a full aerodynamic drag profile as a function of Reynolds number rather than a single indicative value. Both are aspects of the ball performance that are experimentally intensive to obtain. The simulated flights show that the inclusion of spin degradation is important if flight validation is the objective, but that it may be unnecessary in a comparative study. The simple analytical model of spin degradation is shown to overestimate the reduction in lateral deviation when compared to experimentally acquired data. Therefore, the experimental method is preferred. The analysis of the shape of the drag profile (drag coefficient against Reynolds number) is explored, and it is shown from the simulated flights that post-critical coefficients of drag have the greatest effect on trajectories, and an average drag value is sufficient for most modelled scenarios