Formal Analysis of MPI-based Parallel Programs

Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard © 2011 ACM.

Form Follows Media::What is The Matrix as Film, Animation, Game and Comics?

In the digital age, the hyperspace of virtual reality systems stands out as a new spatial notion creating a parallel world to the space we live in. In this alternative realm, the body transforms into a hyperbody, and begins to follow the white rabbit. Not only in real world but also in the Matrix world. The Matrix project of Andy and Larry Wachowski started with a feature film released in 1999. However, The Matrix is not only a film (trilogy). It is a concept, a universe that brings real space and hyperspace together. It is a world represented not only in science fiction films but also in The Animatrix that includes nine animated Matrix films directed by Peter Chung, Andy Jones, Yoshiaki Kawajiri and others, four of which are written by the Wachowskis. The same universe is used in Enter the Matrix, a digital game whose script was written and directed by the brothers and a comic book, The Matrix Comics, which includes twelve different stories by artists like Neil Gaiman and Goef Darrow. The Wachowskis played an active role in the creation and realization of all these “products” of different media. The comic book came last (November 2003), however it is possible to argue that everything came out of comics – the storyboards of the original film. After all the Wachowskis have a background in comics.

In this study, I will focus on the formal analysis of the science fiction world of The Matrix - as a representation of hyperspace - in different media, feature film, animated film, digital game and comic book, focusing on diverse forms of space that come into being as a result of medium differences. To unfold the different formal characters of film, animation, game and comics, concepts and features including framing, flattening, continuity, movement, montage, sound/text, light and color will be discussed. An analysis of these products will help to open up a discussion on the relation of form, media and representation.

Econometric analysis of microscopic simulation models

Microscopic simulation models are often evaluated based on visual inspection of the results. This paper presents formal econometric techniques to compare microscopic simulation (MS) models with real-life data. A related result is a methodology to compare different MS models with each other. For this purpose, possible parameters of interest, such as mean returns, or autocorrelation patterns, are classified and characterized. For each class of characteristics, the appropriate techniques are presented. We illustrate the methodology by comparing the MS model developed by He and Li [J. Econ. Dynam. Control, 2007, 31, 3396-3426, Quant. Finance, 2008, 8, 59-79] with actual data.

Tongue-tied?: An Active Analysis of Brian Friel's Translations

This article has arisen from a research-led production of Translations by Brian Friel for Queen’s University’s Tyrone Guthrie Society in February 2010. Drawing partly on a review of the existing critical literature and also from questions left unresolved by a previous experience of directing the play, the production sought to address through ‘active analysis’ (Merlin 2001) a number of research questions relating to the embodied nature of the rehearsal process and the historicity of Friel’s play. The analysis invokes Bergson (1910), Lefebvre (1991) and Worthern (2006) in establishing a performative correlative for insightful but more literary studies by Connolly (1993), Lojek (1994) and McGrath (1989 & 1999). A detailed account of the rehearsal process helps reveal the extent to which the idea of failure of communication is embedded in the text and embodied in performance, while an experiment with the partial use of the Irish language casts further light on Friel’s extraordinary device of rendering two languages through the medium of one. The use of music to counterpoint, rather than underscore the action, together with an achronological sequence of projected historical images inspired by Andrews (1983) provided me as director a means to challenge the audience’s presuppositions about the play. The sense of palimpsest, of the layered histories, that this evoked also served to highlight Friel’s use of the wider stylistic palette of Anglo-Irish drama, revealing Translations as a forerunner for Stewart Parker’s more explicit formal experiments in Northern Star. In rehearsal and performance Friel’s place in the continuum of the Irish theatrical canon became clear, as stylistic allusions to O’Casey, Shaw, Wilde and Beckett were embodied by the actors on the rehearsal room floor.

The role of formal structure in liking for popular music

The effect of restructuring the form of three unfamiliar pop/rock songs was investigated in two experiments. In the first experiment, listeners' judgements of the likely location of sections of novel popular songs were explored by requiring participants to place the eight sections (Intro - Verse 1 - Chorus 1 - Verse 2 - Chorus 2 - Bridge (solo) - Chorus 3 - Extro) of the songs into the locations they thought them most likely to occur within the song. Results revealed that participants were able to place the sections in approximately the right location with some accuracy, though they were unable to differentiate between choruses. In Experiment 2, three versions of each of the songs were presented in three different structures: intact (original form), medium restructured (the sections in a moderately changed order), and highly restructured (more severe restructuring). The results show that listeners' judgments of predictability and liking were largely uninfluenced by the restructuring of the songs, in line with findings for classical music. Moment-by-moment liking judgements of the songs demonstrated a change in liking judgements with repeated exposure, though the trend was downwards with repeated exposure rather than upwards. Detailed analysis of moment-by-moment judgements at the ends and beginnings of sections showed that listeners were able to respond quickly to intact songs, but not to restructured songs. The results suggest that concatenism prevails in listening to popular song at the expense of paying attention to larger structural features. © 2012 by the regents of the university of california all rights reserved.

Improving Patient Safety Through Formal and Informal Learning Networks

This paper explores a novel perspective on patient safety improvements, which draws on
contemporary social network and learning theories. A case study was conducted at a Portuguese
acute university hospital. Data collection followed a staged approach, whereby 46 interviews
were conducted involving 49 respondents from a broad array of departments and professional
backgrounds. This case study highlights the importance of two major interlinked factors in
contributing to patient safety improvements. The first of these is the crucial role of formal and
informal, internal and external social networks. The second is the importance and the possible
advantage of combining formal and informal learning. The analysis suggests that initiatives
rooted in formal learning approaches alone do not necessarily lead to the creation of long-term
grounded internal safety networks, and that patient safety improvements can crucially depend on
bottom-up initiatives of communities of practice and informal learning. Traditional research on
patient safety places a strong emphasis on top-down and managerialist approaches and is often
based on the assumption that „safety? learning is primarily formal and context-independent. This
paper suggests that bottom-up initiatives and a combination of formal and informal learning can
make a major contribute to patient safety improvements.

Formal calibration methodology for CFD models of naturally ventilated indoor environments

Well planned natural ventilation strategies and systems in the built environments may provide healthy and comfortable indoor conditions, while contributing to a significant reduction in the energy consumed by buildings. Computational Fluid Dynamics (CFD) is particularly suited for modelling indoor conditions in naturally ventilated spaces, which are difficult to predict using other types of building simulation tools. Hence, accurate and reliable CFD models of naturally ventilated indoor spaces are necessary to support the effective design and operation of indoor environments in buildings. This paper presents a formal calibration methodology for the development of CFD models of naturally ventilated indoor environments. The methodology explains how to qualitatively and quantitatively verify and validate CFD models, including parametric analysis utilising the response surface technique to support a robust calibration process. The proposed methodology is demonstrated on a naturally ventilated study zone in the library building at the National University of Ireland in Galway. The calibration process is supported by the on-site measurements performed in a normally operating building. The measurement of outdoor weather data provided boundary conditions for the CFD model, while a network of wireless sensors supplied air speeds and air temperatures inside the room for the model calibration. The concepts and techniques developed here will enhance the process of achieving reliable CFD models that represent indoor spaces and provide new and valuable information for estimating the effect of the boundary conditions on the CFD model results in indoor environments. © 2012 Elsevier Ltd.

Management in distributed systems: A semi-formal approach

The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Ore notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Ore is particularly suited to this role as this type of management is essentially an orchestration activity. The Ore specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.

Reducing child conduct disordered behaviour and improving parent mental health in disadvantaged families: a 12 month follow-up and cost analysis of a parenting intervention

The effectiveness of the Incredible Years Basic parent programme (IYBP) in reducing child conduct problems and improving parent competencies and mental health was examined in a 12-month follow-up. Pre- to post-intervention service use and related costs were also analysed. A total of 103 families and their children (aged 32–88 months), who previously participated in a randomised controlled trial of the IYBP, took part in a 12-month follow-up assessment. Child and parent behaviour and well-being were measured using psychometric and observational measures. An intention-to-treat analysis was carried out using a one-way repeated measures ANOVA. Pairwise comparisons were subsequently conducted to determine whether treatment outcomes were sustained 1 year post-baseline assessment. Results indicate that post-intervention improvements in child conduct problems, parenting behaviour and parental mental health were maintained. Service use and associated costs continued to decline. The results indicate that parent-focused interventions, implemented in the early years, can result in improvements in child and parent behaviour and well-being 12 months later. A reduced reliance on formal services is also indicated.