BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.

Attachment Style in Adults who Failed to Thrive as Children: Outcomes of a 20 Year Follow-up Study of Factors Influencing Maintenance or Change in Attachment Style

A group of children identified as non-organic failure-to-thrive between 1977 and 1980 were investigated, assessed and provided with social work intervention and treatment. Those children and their families have been followed up for the last 20 years. The current paper examines the stability of an internal working model in a sample of individuals who had failed to thrive as children, by comparing each individual's adult attachment style with their childhood attachment to their mother. In this sample, several cases showed changes from insecure to secure attachment styles. Possible reasons are discussed for positive and negative changes, as well as cases when there was no change in attachment style. These include the effectiveness of intervention in addition to changes in life circumstances. The findings suggest that when appropriate support and intervention is provided, or when different circumstances or relationships are experienced, internal working models can change.

Optic variables used to judge future ball arrival position in expert and novice soccer players

Although many studies have looked at the perceptual-cognitive strategies used to make anticipatory judgments in sport, few have examined the informational invariants that our visual system may be attuned to. Using immersive interactive virtual reality to simulate the aerodynamics of the trajectory of a ball with and without sidespin, the present study examined the ability of expert and novice soccer players to make judgments about the ball's future arrival position. An analysis of their judgment responses showed how participants were strongly influenced by the ball's trajectory. The changes in trajectory caused by sidespin led to erroneous predictions about the ball's future arrival position. An analysis of potential informational variables that could explain these results points to the use of a first-order compound variable combining optical expansion and optical displacement.