Stepwise refinement of interrupt-driven real-time programs

Embedded real-time programs rely on external interrupts to respond to events in their physical environment in a timely fashion. Formal program verification theories, such as the refinement calculus, are intended for development of sequential, block-structured code and do not allow for asynchronous control constructs such as interrupt service routines. In this article we extend the refinement calculus to support formal development of interrupt-dependent programs. To do this we: use a timed semantics, to support reasoning about the occurrence of interrupts within bounded time intervals; introduce a restricted form of concurrency, to model composition of interrupt service routines with the main program they may preempt; introduce a semantics for shared variables, to model contention for variables accessed by both interrupt service routines and the main program; and use real-time scheduling theory to discharge timing requirements on interruptible program code.

Gatekeeping, gatewatching, real-time feedback : new challenges for Journalism

How bloggers and other independent online commentators criticise, correct, and otherwise challenge conventional journalism has been known for years, but has yet to be fully accepted by journalists; hostilities between the media establishment and the new generation of citizen journalists continue to flare up from time to time. The old gatekeeping monopoly of the mass media has been challenged by the new practice of gatewatching: by individual bloggers and by communities of commentators which may not report the news first-hand, but curate and evaluate the news and other information provided by official sources, and thus provide an important service. And this now takes place ever more rapidly, almost in real time: using the latest social networks, which disseminate, share, comment, question, and debunk news reports within minutes, and using additional platforms that enable fast and effective ad hoc collaboration between users. When hundreds of volunteers can prove within a few days that a German minister has been guilty of serious plagiarism, when the world first learns of earthquakes and tsunamis via Twitter – how does journalism manage to keep up?

It's only temporary: Time frame and the dynamics of creative project teams

The success of many knowledge-intensive industries depends on creative projects that lie at the heart of their logic of production. The temporality of such projects, however, is an issue that is insufficiently understood. To address this, we study the perceived time frame of teams that work on creative projects and its effects on project dynamics. An experiment with 267 managers assigned to creative project teams with varying time frames demonstrates that compared to creative project teams with a relatively longer time frame, project teams with a shorter time frame focus more on the immediate present, are less immersed in their task, and utilize a more heuristic mode of information processing. Furthermore, we find that time frame moderates the negative effect of team conflict on team cohesion. These results are consistent with our theory that the temporary nature of creative projects shapes different time frames among project participants, and that it is this time frame that is an important predictor of task and team processes.

State convergence and the effectiveness of time-memory-data tradeoffs

Various time-memory tradeoffs attacks for stream ciphers have been proposed over the years. However, the claimed success of these attacks assumes the initialisation process of the stream cipher is one-to-one. Some stream cipher proposals do not have a one-to-one initialisation process. In this paper, we examine the impact of this on the success of time-memory-data tradeoff attacks. Under the circumstances, some attacks are more successful than previously claimed while others are less. The conditions for both cases are established.

Event-related brain potentials dissociate the developmental time-course of automatic numerical magnitude analysis and cognitive control functions during the first three years of primary school

In this study we set out to dissociate the developmental time course of automatic symbolic number processing and cognitive control functions in grade 1-3 British primary school children. Event-related potential (ERP) and behavioral data were collected in a physical size discrimination numerical Stroop task. Task-irrelevant numerical information was processed automatically already in grade 1. Weakening interference and strengthening facilitation indicated the parallel development of general cognitive control and automatic number processing. Relationships among ERP and behavioral effects suggest that control functions play a larger role in younger children and that automaticity of number processing increases from grade 1 to 3.

The question concerning (Internet) time

Spatial representations, metaphors and imaginaries (cyberspace, web pages) have been the mainstay of internet research for a long time. Instead of repeating these themes, this paper seeks to answer the question of how we might understand the concept of time in relation to internet research. After a brief excursus on the general history of the concept, this paper proposes three different approaches to the conceptualisation of internet time. The common thread underlying all the approaches is the notion of time as an assemblage of elements such as technical artefacts, social relations and metaphors. By drawing out time in this way, the paper addresses the challenge of thinking of internet time as coexistence, a clash of fluxes, metaphors, lived experiences and assemblages. In other words, this paper proposes a way to articulate internet time as a multiplicity.

Finitude (Mallee:Time)

An interactive installation with full body interface, digital projection, multi-touch sensitive screen surfaces, interactive 3D gaming software, motorised dioramas, 4.1 spatial sound & new furniture forms - investigating the cultural dimensions of sustainability through the lens of 'time'. “Time is change, time is finitude. Humans are a finite species. Every decision we make today brings that end closer, or alternatively pushes it further away. Nothing can be neutral”. Tony Fry DETAILS: Finitude (Mallee:Time) is a major new media/sculptural hybrid work premiered in 2011 in version 1 at the Ka-rama Motel for the Mildura Palimpsest #8 ('Collaborators and Saboteurs'). Each participant/viewer lies comfortably on their back on the double bed of Room 22. Directly above them, supported by a wooden structure, not unlike a house frame, is a semi-transparent Perspex screen that displays projected 3D imagery and is simultaneously sensitive to the lightest of finger touches. Depending upon the ever changing qualities of the projected image on this screen the participant can see through its surface to a series of physical dioramas suspended above, lit by subtle LED spotlighting. This diorama consists of a slowly rotating series of physical environments, which also include several animatronic components, allowing the realtime composition of whimsical ‘landscapes’ of both 'real' and 'virtual' media. Through subtle, non-didactic touch-sensitive interactivity the participant then has influence over both the 3D graphic imagery, the physical movements of the diorama and the 4.1 immersive soundscape, creating an uncanny blend of physical and virtual media. Five speakers positioned around the room deliver a rich interactive soundscape that responds both audibly and physically to interactions. VERSION 1, CONTEXT/THEORY: Finitude (Mallee: Time) is Version 1 of a series of presentations during 2012-14. This version has been inspired through a series of recent visits and residencies in the SW Victoria Mallee country. Further drawing on recent writings by post colonial author Paul Carter, the work is envisaged as an evolving ‘personal topography’ of place-discovery. By contrasting and melding readily available generalisations of the Mallee regions’ rational surfaces, climatic maps and ecological systems with what Carter calls “a fine capillary system of interconnected words, places, memories and sensations” generated through my own idiosyncratic research processes, Finitude (Mallee Time) invokes a “dark writing” of place through outside eyes - an approach that avoids concentration upon what 'everyone else knows', to instead imagine and develop a sense how things might be. This basis in re-imagining and re-invention becomes the vehicle for the work’s more fundamental intention - as a meditative re-imagination of 'time' (and region) as finite resources: Towards this end, every object, process and idea in the work is re-thought as having its own ‘time component’ or ‘residue’ that becomes deposited into our 'collective future'. Thought this way Finitude (Mallee Time) suggests the poverty of predominant images of time as ‘mechanism’ to instead envisage time as a plastic cyclical medium that we can each choose to ‘give to’ or ‘take away from’ our future. Put another way - time has become finitude.

Interim bills and costs assessment : was the application in or out of time?

This article examines the decision in Turner v Mitchells Solicitors [2011] QDC 61 and the issue whether an application for assessment of costs under an interim bill at the time of a final bill is subject to the usual 12-month restriction.

Top Ten Box Office Blockbusters of All Time

‘Top Ten Box Office Blockbusters in Dollars’, is an ongoing series of works that represent the production budgets and worldwide gross profits of the top ten grossing films of all time. By displaying this data on top of the full running time of each blockbuster, the viewer’s attention is drawn back and forth between the amassing dollar figures, and the original film’s highly polished presentation. In doing so, the work aims to provide a new opportunity to enjoy these immensely popular films with a new sense of value. The exhibition was selected for the Artistic Program at MetroArts, Brisbane in 2010

Predictors of and reasons for pacifier use in first-time mothers : an observational study

Background: The use of pacifiers is commonplace in Australia and has been shown to be negatively associated with breastfeeding duration. In order to influence behaviour related to the use of pacifiers it is important to understand the reasons for their use. The primary aim of this observational study was to investigate who (if anyone) advises first-time mothers to give a pacifier and the reasons for which they first give (or try to give) a pacifier to their infant. Additionally, this study investigated the predictors of pacifier use and the relationship between pacifier use and breastfeeding duration. Methods: In total, 670 Australian first-time mothers recruited as part of the NOURISH trial completed a questionnaire regarding infant feeding and pacifier use. Results: Pacifiers were introduced by 79% of mothers, of whom 28.7% were advised to use a pacifier by their mother/mother-in-law with a further 22.7% being advised by a midwife. The majority of mothers used a pacifier in order to soothe their infant (78.3%), to help put them to sleep (57.4%) and to keep them comforted and quiet (40.4%). Pacifiers given to infants before four weeks (adjHR 3.67; 95%CI 2.14–6.28) and used most days (adjHR 3.28; 95%CI 1.92–5.61) were significantly associated with shorter duration of breastfeeding. Conclusions: This study identifies an opportunity for educating new mothers and their support network, particularly their infant’s grandmothers, with regards to potential risks associated with the early and frequent use of a pacifier, and alternative methods for soothing their infant, in order to reduce the use of pacifiers and their potentially negative effect on breastfeeding duration

Comparison of three-dimensional profiles over time

In this paper, we describe an analysis for data collected on a three-dimensional spatial lattice with treatments applied at the horizontal lattice points. Spatial correlation is accounted for using a conditional autoregressive model. Observations are defined as neighbours only if they are at the same depth. This allows the corresponding variance components to vary by depth. We use the Markov chain Monte Carlo method with block updating, together with Krylov subspace methods, for efficient estimation of the model. The method is applicable to both regular and irregular horizontal lattices and hence to data collected at any set of horizontal sites for a set of depths or heights, for example, water column or soil profile data. The model for the three-dimensional data is applied to agricultural trial data for five separate days taken roughly six months apart in order to determine possible relationships over time. The purpose of the trial is to determine a form of cropping that leads to less moist soils in the root zone and beyond.We estimate moisture for each date, depth and treatment accounting for spatial correlation and determine relationships of these and other parameters over time.

Demanding a change : time to act on statutory demands

The statutory demand procedure has been a part of our corporate law from its earliest modern formulations and it has been suggested, albeit anecdotally, that under the current regime, it gives rise to more litigation than any other part of the Corporations Act. Despite this there has been a lack of consideration of the underlying policy behind the procedure in both the case law and literature; both of which are largely centred on the technical aspects of the process. The purpose of this article is to examine briefly the process of the statutory demand in the context of the current insolvency law in Australia. This paper argues that robust analysis of the statutory demand regime is overdue. The paper first sets out to discover if there is a policy justification for the process and to articulate what that may be. Second, it will briefly examine the current legislation and argue that the structure actually encourages litigation which is arguably undesirable in the context of insolvency. In particular we will ask if the current rigid legal regime is appropriate for dealing efficiently with the highly charged atmosphere of contested insolvency. Third, it will examine suggested reforms in this area as to whether they might be a way forward.

Parenting behaviours and maternal infant-feeding practices in first-time Australian mothers

Introduction: There is emerging evidence that parenting style and early feeding practices are associated with child intake, eating behaviours and weight status. The aim of this cross sectional study was to examine the relationships between general maternal parenting behaviour and feeding practices and beliefs. Methods: Participants were 421 first-time mothers of 9-22 week old healthy term infants (49% male, mean±sd age 19±4 weeks) enrolled in the NOURISH trial. At baseline mothers self-reported their parenting behaviours (self-efficacy, warmth, irritability) and infant-feeding beliefs using questions from the Longitudinal Study of Australian Children and the Infant Feeding Questionnaire (Baughcum, 2001), respectively. Multivariable regression analyses were used with feeding practices (four factors) as the dependent variables, Independent variables were maternal BMI, weight concern, age, education level perception of infant weight status, feeding mode (breast vs formula) and infant gender, age and weight gain z-score. Results: Parenting behaviours partly were associated with feeding beliefs (adjusted R2 =0.21-0.30). Higher maternal parenting self-efficacy was inversely associated with concerns that the baby would become underweight (p=0.006); become overweight (p<0.001); and lack of awareness of infant hunger/satiety cues (p<0.001). Higher maternal irritability was positively associated with lack of awareness of cues (p<0.05). Maternal warmth was not associated with any feeding beliefs. Infant weight- gain (from birth) z-score and age, maternal BMI and education level and mothers’ perception of infant weight status and feeding mode were covariates. Conclusions: These findings suggest strategies to improve early feeding practices need to be address broader parenting approaches, particularly self-efficacy and irritability.

The association between maternal infant feeding practices and child weight at 11-17 months in first-time Australian mothers

Introduction: Emerging evidence reveals that early feeding practices are associated with child food intake, eating behaviour and weight status. This cross-sectional analysis examined the association between maternal infant feeding practices/beliefs and child weight in Australian infants aged 11-17 months. Methods: Participants were 293 first-time mothers of healthy term infants (144 boys, mean age 14±1 months) enrolled in the NOURISH RCT. Mothers self-reported infant feeding practices and beliefs using the Infant Feeding Questionnaire (Baughcum, 2001). Anthropometric data were also measured at baseline (infants aged 4 months). Multiple regression analysis was used, adjusting for infant age, gender, birth weight, infant feeding mode (breast vs. formula), maternal perceptions of infant weight status, pre-pregnancy weight, weight concern, age and education. Results: The average child weight-for-age z-score (WAZ) was 0.62±0.83 (range:-1.56 to 2.94) and the mean change in WAZ (WAZ change) from 4 to 14 months was 0.62±0.69 (range:-1.50 to 2.76). Feeding practices/beliefs partly explained child WAZ (R2=0.28) and WAZ change (R2=0.13) in the adjusted models. While child weight status at 14 months was inversely associated with responsive feeding (e.g. baby feeds whenever she wants, feeding to stop baby being unsettled) (β=-0.104, p=0.06) and maternal concern about the child becoming underweight (β=-0.224, p<0.001), it was positively associated with mother’s concern about child overweight (β=0.197, p<0.05). Birth weight, infant’s age, maternal weight concern and perceiving her child as overweight were significant covariates. WAZ change was only significantly associated with responsive feeding (β=-0.147, p<0.05). Conclusion: Responsive feeding may be an important strategy to promote healthy child weight.