The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

The Desert of the Real in Spec Ops: The Line. A Study of Simultaneous Hyperreal Experiences by Protagonist and Player : A Study of Simultaneous Hyperreal Experiences by Protagonist and Player

As an anomaly on the market of military shooters of the 21st century, Spec Ops: The Line entails a journey of undetermined realities and modern warfare consequences. In this study, the narrative is analyzed from the perspective of Jean Baudrillard’s idea that simulations have replaced our conception of reality. Both the protagonist and the player of Spec Ops will unavoidably descend into a state of the hyperreal. They experience multiple possible realities within the game narrative and end up unable to comprehend what has transpired. The hyperreal is defined as the state in which it is impossible to discern reality from simulation. The simulation of reality has proliferated itself into being the reality, and the original has been lost. The excessive use of violence, direct approach of the player through a break with the 4th wall and a deceitful narrator contribute to this loss of reality within the game. Although the game represents simulacra, being a simulation in itself, the object of study is the coexisting state of hyperreal shared between protagonist and player when comprehending events in the game. In the end, neither part can understand or discern with any certainty what transpired within the game.

Psychology in the real world: Community-based groupwork Guy Holmes. (2010). PCCS Books: Herefordshire; 311 pp. ISBN 978 1 906254 13 1

Book Review

Lessons learned from INTAMAP, an interoperable web service for the real-time interpolation of environmental variables

Interpolated data are an important part of the environmental information exchange as many variables can only be measured at situate discrete sampling locations. Spatial interpolation is a complex operation that has traditionally required expert treatment, making automation a serious challenge. This paper presents a few lessons learnt from INTAMAP, a project that is developing an interoperable web processing service (WPS) for the automatic interpolation of environmental data using advanced geostatistics, adopting a Service Oriented Architecture (SOA). The “rainbow box” approach we followed provides access to the functionality at a whole range of different levels. We show here how the integration of open standards, open source and powerful statistical processing capabilities allows us to automate a complex process while offering users a level of access and control that best suits their requirements. This facilitates benchmarking exercises as well as the regular reporting of environmental information without requiring remote users to have specialized skills in geostatistics.

Top-down or bottom-up: the real choice for public services

This article considers two contrasting approaches to reforming public services in order to meet the needs of people living in poverty. The first approach is top-down, involves categorising individuals (as 'hard to help', 'at risk', etc) and invokes scientific backing for justification. The second approach is bottom-up, emancipatory, relates to people as individuals and treats people who have experience of poverty and social exclusion as experts. The article examines each approach through providing brief examples in the fields of unemployment and parenting policy - two fields that have been central to theories of 'cycles of deprivation'. It is suggested here that the two approaches differ in terms of their scale, type of user involvement and type of evidence that is used for their legitimation. While the article suggests that direct comparison between the two approaches is difficult, it highlights the prevalence of top-down approaches towards services for people living in poverty, despite increasing support for bottom-up approaches in other policy areas.

Scintillation proximity assays for the real-time detection and quantification of the progress of reactions upon solid supports

A scintillation proximity assay (SPA) has been used successfully to detect and quantify, in real-time, the kinetic progress of hydrolysis of [ H]acetate esters from scintillant-containing styrenic and poly(ethylene glycol) (PEG)-based polymer supports in both organic and aqueous media.

An investigation of the prevalence and measurement of teams in organisations:the development and validation of the real team scale

This thesis begins with a review of the literature on team-based working in organisations, highlighting the variations in research findings, and the need for greater precision in our measurement of teams. It continues with an illustration of the nature and prevalence of real and pseudo team-based working, by presenting results from a large sample of secondary data from the UK National Health Service. Results demonstrate that ‘real teams’ have an important and significant impact on the reduction of many work-related safety outcomes. Based on both theoretical and methodological limitations of existing approaches, the thesis moves on to provide a clarification and extension of the ‘real team’ construct, demarcating this from other (pseudo-like) team typologies on a sliding scale, rather than a simple dichotomy. A conceptual model for defining real teams is presented, providing a theoretical basis for the development of a scale on which teams can be measured for varying extents of ‘realness’. A new twelve-item scale is developed and tested with three samples of data comprising 53 undergraduate teams, 52 postgraduate teams, and 63 public sector teams from a large UK organisation. Evidence for the content, construct and criterion-related validity of the real team scale is examined over seven separate validation studies. Theoretical, methodological and practical implications of the real team scale are then discussed.