Computer Theorem Proving and HoTT

Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms chosen for the particular logic and the ‘moves’ are the rules of inference. Now, the Univalent Foundations Program at IAS Princeton and the resulting ‘HoTT’ book on Homotopy Type Theory have demonstrated the success of a new kind of experimental mathematics using computer theorem proving.

Do smart grids offer a new incentive for SME carbon reduction?

Collectively small and medium sized enterprises (SMEs) are significant energy users although many are unregulated by existing policies due to their low carbon emissions. Carbon reduction is often not a priority but smart grids may create a new opportunity. A smart grid will give electricity suppliers a picture of real-time energy flows and the opportunity for consumers to receive financial incentives for engaging in demand side management. As well as creating incentives for local carbon reduction, engaging SMEs with smart grids has potential for contributing to wider grid decarbonisation. Modelling of buildings, business activities and technology solutions is needed to identify opportunities for carbon reduction. The diversity of the SME sector complicates strategy development. SMEs are active in almost every business area and occupy the full range of property types. This paper reviews previous modelling work, exposing valuable data on floor space and energy consumption associated with different business activities. Limitations are seen with the age of this data and an inability to distinguish SME energy use. By modelling SME energy use, electrical loads are identified which could be shifted on demand, in a smart network. Initial analysis of consumption, not constrained by existing policies, identifies heating and cooling in retail and commercial offices as having potential for demand response. Hot water in hotel and catering and retail sectors may also be significant because of the energy storage potential. Areas to consider for energy efficiency schemes are also indicated.

“There’s something very familiar about all this”: generic play and performance in the Back to the Future trilogy (Robert Zemeckis, 1985, 1989, 1990)

The Back to the Future Trilogy incorporates several different generic elements, including aspects of the fifties teen movie, science fiction, comedy and the western. These different modes playfully intertwine with each other creating a complex world of repetitions, echoes and modulations. This essay seeks to interrogate the construction of generic elements and the play between them through a close analysis of a repeated performance. Genre is signalled through various strategies employed within the construction of mise-en-scène, a significant portion of this, as I would like to argue, is transmitted through performance. The material detail of a performance – incorporating gesture, movement, voice, and even surrounding elements such as costume – as well as the way it its presented within a film is key to the establishment, invocation and coherence of genre. Furthermore, attention to the complexity of performance details, particularly in the manner in which they reverberate across texts, demonstrates the intricacy of genre and its inherent mutability. The Back to the Future trilogy represents a specific interest in the flexibility of genre. Within each film, and especially across all three, aspects of various genres are interlaced through both visual and narrative detail, thus constructing a dense layer of references both within and without the texts. To explore this patterning in more detail I will interrogate the contribution of performance to generic play through close analysis of Thomas F. Wilson’s performance of Biff/Griff/Burford Tannen and his central encounter with Marty McFly (Michael J. Fox) in each film. These moments take place in a fifties diner, a 1980s retro diner and a saloon respectively, each space contributing the similarities and differences in each repetition. Close attention to Wilson’s performance of each related character, which contains both modulations and repetitions used specifically to place each film’s central generic theme, demonstrates how embedded the play between genres and their flexibility is within the trilogy.

Maternal postnatal depression predicts altered offspring biological stress reactivity in adulthood

The offspring of depressed parents have been found to show elevated basal levels of the stress hormone cortisol. Whether heightened cortisol stress reactivity is also present in this group has yet to be clearly demonstrated. We tested whether postnatal maternal depression predicts subsequent increases in offspring biological sensitivity to social stress, as indexed by elevated cortisol reactivity. Participants (mean age 22.4-years) derived from a 22-year prospective longitudinal study of the offspring of mothers who had postnatal depression (PND group; n=38) and a control group (n=38). Salivary cortisol response to a social-evaluative threat (Trier Social Stress Test) was measured. Hierarchical linear modelling indicated that PND group offspring showed greater cortisol reactivity to the stress test than control group participants. Group differences were not explained by offspring depressive or anxiety symptoms, experiences of negative life events, elevated basal cortisol at age 13-years, subsequent exposure to maternal depression, or other key covariates. The findings indicate that the presence of early maternal depression can predict offspring biological sensitivity to social stress in adulthood, with potential implications for broader functioning.

The Operation of the Crichel Down Rules (Final Report to the DETR by The University of Reading and Gerald Eve)

Report for the DETR on the operation of the Crichel Down Rules (July 2000). The Crichel Down Rules are non-statutory rules relating to the offer back to the previous owners of surplus government land that was acquired from the previous owners by, or under the threat of, compulsory purchase.