Generic Ada code in the NASA space station command, control and communications environment

The results of efforts to apply powerful Ada constructs to the formatted message handling process are described. The goal of these efforts was to extend the state-of-technology in message handling while at the same time producing production-quality, reusable code. The first effort was initiated in September, 1984 and delivered in April, 1985. That product, the Generic Message Handling Facility, met initial goals, was reused, and is available in the Ada Repository on ARPANET. However, it became apparent during its development that the initial approach to building a message handler template was not optimal. As a result of this initial effort, several alternate approaches were identified, and research is now on-going to identify an improved product. The ultimate goal is to be able to instantly build a message handling system for any message format given a specification of that message format. The problem lies in how to specify the message format, and one that is done, how to use that information to build the message handler. Message handling systems and message types are described. The initial efforts, its results and its shortcomings are detailed. The approach now being taken to build a system which will be significantly easier to implement, and once implemented, easier to use, is described. Finally, conclusions are offered

The algebra of rewriting for presentations of inverse monoids

We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map from a free inverse monoid as the composition of an idempotent pure map and an idempotent separating map. The relation module of a presentation is then defined as the abelianised kernel of this idempotent separating map. We then use the properties of idempotent separating maps to derive a free presentation of the relation module. The construction of its kernel - the module of identities - uses further facts about pseudoregular groupoids.Comment: 22 page

High-temperature environments of human evolution in East Africa based on bond ordering in paleosol carbonates

Many important hominid-bearing fossil localities in East Africa are in regions that are extremely hot and dry. Although humans are well adapted to such conditions, it has been inferred that East African environments were cooler or more wooded during the Pliocene and Pleistocene when this region was a central stage of human evolution. Here we show that the Turkana Basin, Kenya—today one of the hottest places on Earth—has been continually hot during the past 4 million years. The distribution of ^(13)C-^(18)O bonds in paleosol carbonates indicates that soil temperatures during periods of carbonate formation were typically above 30 °C and often in excess of 35 °C. Similar soil temperatures are observed today in the Turkana Basin and reflect high air temperatures combined with solar heating of the soil surface. These results are specific to periods of soil carbonate formation, and we suggest that such periods composed a large fraction of integrated time in the Turkana Basin. If correct, this interpretation has implications for human thermophysiology and implies a long-standing human association with marginal environments

Ultrafast harmonic mode-locking of monolithic compound-cavity laser diodes incorporating photonic-bandgap reflectors

We present the first demonstration of reproducible harmonic mode-locked operation from a novel design of monolithic semiconductor laser comprising a compound cavity formed by a 1-D photonic-bandgap (PBG) mirror. Mode-locking (ML) is achieved at a harmonic of the fundamental round-trip frequency with pulse repetition rates from 131 GHz up to a record high frequency of 2.1 THz. The devices are fabricated from GaAs-Al-GaAs material emitting at a wavelength of 860 nm and incorporate two gain sections with an etched PBG reflector between them, and a saturable absorber section. Autocorrelation studies are reported which allow the device behavior for different ML frequencies, compound cavity ratios, and type and number of intra-cavity reflectors to be analyzed. The highly reflective PBG microstructures are shown to be essential for subharmonic-free ML operation of the high-frequency devices. We have also demonstrated that the single PBG reflector can be replaced by two separate features with lower optical loss. These lasers may find applications in terahertz; imaging, medicine, ultrafast optical links, and atmospheric sensing

Editorial - David Bowie

The death of David Bowie, paradoxically, brings his ontic status into sharp relief, and, in turn, throws light on the construction of the figure of the artist – a spectre – the ‘creative practitioner’. An ontology of Bowie entails an interrogation of presence, absence and the historiographic portrait of the artist as a dead rock star (or not)

Incidental finding of a microsporidian parasite from an AIDS patient

Light microscopic examination of feces from a human immunodeficiency virus-positive patient with chronic diarrhea, anorexia, and lethargy revealed the presence of numerous refractile bodies resembling microsporidian spores. They were subsequently identified as belonging to the genus Nosema on the basis of their ultrastructural characteristics. However, the microsporidia were enclosed within striated muscle cells, suggesting that they were probably ingested in food; thus, this represented an incidental finding rather than a true infection

The lesbian, gay, bisexual and transgender community online: discussions of bullying and self-disclosure in YouTube videos

Computer-mediated communication has become a popular platform for identity construction and experimentation as well as social interaction for those who identify as lesbian, gay, bisexual or transgender (LGBT). The creation of user-generated videos has allowed content creators to share experiences on LGBT topics. With bullying becoming more common amongst LGBT youth, it is important to obtain a greater understanding of this phenomenon. In our study, we report on the analysis of 151 YouTube videos which were identified as having LGBT- and bullying-related content. The analysis reveals how content creators openly disclose personal information about themselves and their experiences in a non-anonymous rhetoric with an unknown public. These disclosures could indicate a desire to seek friendship, support and provide empathy

Role of bulk and surface phonons in the decay of metal surface states

We present a comprehensive theoretical investigation of the electron-phonon contribution to the lifetime broadening of the surface states on Cu(111) and Ag(111), in comparison with high-resolution photoemission results. The calculations, including electron and phonon states of the bulk and the surface, resolve the relative importance of the Rayleigh mode, being dominant for the lifetime at small hole binding energies. Including the electron-electron interaction, the theoretical results are in excellent agreement with the measured binding energy and temperature dependent lifetime broadening.Comment: 4 pages, 3 figure

Optically enhanced acoustophoresis

Regenerative medicine has the capability to revolutionise many aspects of medical care, but for it to make the step from small scale autologous treatments to larger scale allogeneic approaches, robust and scalable label free cell sorting technologies are needed as part of a cell therapy bioprocessing pipeline. In this proceedings we describe several strategies for addressing the requirements for high throughput without labeling via: dimensional scaling, rare species targeting and sorting from a stable state. These three approaches are demonstrated through a combination of optical and ultrasonic forces. By combining mostly conservative and non-conservative forces from two different modalities it is possible to reduce the influence of flow velocity on sorting efficiency, hence increasing robustness and scalability. One such approach can be termed "optically enhanced acoustophoresis" which combines the ability of acoustics to handle large volumes of analyte with the high specificity of optical sorting