Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Ethics in neuroscience graduate training programs:Views and models from Canada

Consideration of the ethical, social, and policy implications of research has become increasingly important to scientists and scholars whose work focuses on brain and mind, but limited empirical data exist on the education in ethics available to them. We examined the current landscape of ethics training in neuroscience programs, beginning with the Canadian context specifically, to elucidate the perceived needs of mentors and trainees and offer recommendations for resource development to meet those needs. We surveyed neuroscientists at all training levels and interviewed directors of neuroscience programs and training grants. A total of 88% of survey respondents reported general interest in ethics, and 96% indicated a desire for more ethics content as it applies to brain research and clinical translation. Expert interviews revealed formal ethics education in over half of programs and in 90% of grants-based programs. Lack of time, resources, and expertise, however, are major barriers to expanding ethics content in neuroscience education. We conclude with an initial set of recommendations to address these barriers which includes the development of flexible, tailored ethics education tools, increased financial support for ethics training, and strategies for fostering collaboration between ethics experts, neuroscience program directors, and funding agencies. © 2010 the Authors. Journal Compilation © 2010 International Mind, Brain, and Education Society and Blackwell Publishing, Inc.

Maternal Religiosity, Family Resources and Stressors, and Parent-Child Attachment Security in Northern Ireland

This study explores the associations between mothers' religiosity, and families' and children's functioning in a stratified random sample of 695 Catholic and Protestant motherchild dyads in socially deprived areas in Belfast, Northern Ireland, a region which has experienced centuries of sectarian conflict between Protestant Unionists and Catholics Nationalists. Findings based on mother and child surveys indicated that even in this context of historical political violence associated with religious affiliation, mothers' religiosity played a consistently positive role, including associations with multiple indicators of better family functioning (i.e., more cohesion and behavioral control and less conflict, psychological distress, and adjustment problems) and greater parentchild attachment security. Mothers' religiosity also moderated the association between parentchild attachment security and family resources and family stressors, enhancing positive effects of cohesion and mother behavioral control on motherchild attachment security, and providing protection against risks associated with mothers' psychological distress. Findings are discussed in terms of implications for understanding the role of religiosity in serving as a protective or risk factor for children and families.

Detection of visual-field deterioration by Glaucoma Progression Analysis and Threshold Noiseless Trend programs

BACKGROUND: To compare the ability of Glaucoma Progression Analysis (GPA) and Threshold Noiseless Trend (TNT) programs to detect visual-field deterioration.

METHODS: Patients with open-angle glaucoma followed for a minimum of 2 years and a minimum of seven reliable visual fields were included. Progression was assessed subjectively by four masked glaucoma experts, and compared with GPA and TNT results. Each case was judged to be stable, deteriorated or suspicious of deterioration

RESULTS: A total of 56 eyes of 42 patients were followed with a mean of 7.8 (SD 1.0) tests over an average of 5.5 (1.04) years. Interobserver agreement to detect progression was good (mean kappa = 0.57). Progression was detected in 10-19 eyes by the experts, in six by GPA and in 24 by TNT. Using the consensus expert opinion as the gold standard (four clinicians detected progression), the GPA sensitivity and specificity were 75% and 83%, respectively, while the TNT sensitivity and specificity was 100% and 77%, respectively.

CONCLUSION: TNT showed greater concordance with the experts than GPA in the detection of visual-field deterioration. GPA showed a high specificity but lower sensitivity, mainly detecting cases of high focality and pronounced mean defect slopes.

Inference and Declaration of Independence in Task-Parallel Programs

The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel models add implicit synchronization, where the system automatically detects and satisfies data dependencies among spawned tasks. However, dynamic dependence analysis incurs significant runtime overheads, because the runtime must track task resources and use this information to schedule tasks while avoiding conflicts and races.
We present SCOOP, a compiler that effectively integrates static and dynamic analysis in code generation. SCOOP combines context-sensitive points-to, control-flow, escape, and effect analyses to remove redundant dependence checks at runtime. Our static analysis can work in combination with existing dynamic analyses and task-parallel runtimes that use annotations to specify tasks and their memory footprints. We use our static dependence analysis to detect non-conflicting tasks and an existing dynamic analysis to handle the remaining dependencies. We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.

Gay men and intimate partner violence: a gender analysis

Though intimate partner violence (IPV) is predominately understood as a women’s health issue most often emerging within heterosexual relationships, there is increasing recognition of the existence of male victims of IPV. In this qualitative study we explored connections between masculinities and IPV among gay men. The findings show how recognising IPV was based on an array of participant experiences, including the emotional, physical and sexual abuse inflicted by their partner, which in turn led to three processes. Normalising and concealing violence referred to the participants’ complicity in accepting violence as part of their relationship and their reluctance to disclose that they were victims of IPV. Realising a way out included the participants’ understandings that the triggers for, and patterns of, IPV would best be quelled by leaving the relationship. Nurturing recovery detailed the strategies employed by participants to mend and sustain their wellbeing in the aftermath of leaving an abusive relationship. In terms of masculinities and men’s health research, the findings reveal the limits of idealising hegemonic masculinities and gender relations as heterosexual, while highlighting a plurality of gay masculinities and the need for IPV support services that bridge the divide between male and female as well as between homosexual and heterosexual.

Psychic Distance, its Business Impact and Modes of Coping: A Study of British and Indian Partner SMEs

This paper reports one of the first investigations to analyze inter-partner perceptions of psychic distance between two countries. Its empirical focus is British and Indian SMEs engaged in business with each other. It examines different dimensions of psychic distance, their impact and modes of coping with them. Potential firm-level and individual influences are also taken into account. The paper aims to transcend some of the conceptual and methodological limitations of previous research on the subject and to identify the theoretical and practical implications that arise. A ‘mirror’ approach is applied, accessing both partners’ perceptions. These are assessed through a ‘mixed’ method combining quantitative measurement with qualitative interpretations. Psychic distance dimensions are found to vary in their impact on doing business with the other country, and there is also variation according to the firm’s sector. There is considerable asymmetry in British and Indian partners’ perceptions of psychic distance but the degree of difference between their psychic distance evaluations lacks predictive power. Culturally embedded psychic distance dimensions tend to have less impact and to be easier to cope with than institutionally embedded dimensions. Four categories of coping are identified. The principal theoretical implication of this study is that a contingency perspective needs to be adopted in the field of ‘distance’ research, taking account of factors such as a firm’s sector, and that this will require a more complex analytical framework that hitherto.

Paraphrasing:Generating parallel programs using refactoring

Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules. © 2013 Springer-Verlag Berlin Heidelberg.

The presence of a culturally similar or dissimilar social partner affects neural responses to emotional stimuli

Background: Emotional responding is sensitive to social context; however, little emphasis has been placed on the mechanisms by which social context effects changes in emotional responding.

Objective: We aimed to investigate the effects of social context on neural responses to emotional stimuli to inform on the mechanisms underpinning context-linked changes in emotional responding.

Design: We measured event-related potential (ERP) components known to index specific emotion processes and self-reports of explicit emotion regulation strategies and emotional arousal. Female Chinese university students observed positive, negative, and neutral photographs, whilst alone or accompanied by a culturally similar (Chinese) or dissimilar researcher (British).

Results: There was a reduction in the positive versus neutral differential N1 amplitude (indexing attentional capture by positive stimuli) in the dissimilar relative to alone context. In this context, there was also a corresponding increase in amplitude of a frontal late positive potential (LPP) component (indexing engagement of cognitive control resources). In the similar relative to alone context, these effects on differential N1 and frontal LPP amplitudes were less pronounced, but there was an additional decrease in the amplitude of a parietal LPP component (indexing motivational relevance) in response to positive stimuli. In response to negative stimuli, the differential N1 component was increased in the similar relative to dissimilar and alone (trend) context.

Conclusion: These data suggest that neural processes engaged in response to emotional stimuli are modulated by social context. Possible mechanisms for the social-context-linked changes in attentional capture by emotional stimuli include a context-directed modulation of the focus of attention, or an altered interpretation of the emotional stimuli based on additional information proportioned by the context.

Experimental Evaluations of Elementary Science Programs: A Best-Evidence Synthesis

This article presents a systematic review of research on the achievement outcomes of all types of approaches to teaching science in elementary schools. Study inclusion criteria included use of randomized or matched control groups, a study duration of at least 4 weeks, and use of achievement measures independent of the experimental treatment. A total of 23 studies met these criteria. Among studies evaluating inquiry-based teaching approaches, programs that used science kits did not show positive outcomes on science achievement measures (weighted ES=+0.02 in 7 studies), but inquiry-based programs that emphasized professional development but not kits did show positive outcomes (weighted ES=+0.36 in 10 studies). Technological approaches integrating video and computer resources with teaching and cooperative learning showed positive outcomes in a few small, matched studies (ES=+0.42 in 6 studies). The review concludes that science teaching methods focused on enhancing teachers’ classroom instruction throughout the year, such as cooperative learning and science-reading integration, as well as approaches that give teachers technology tools to enhance instruction, have significant potential to improve science learning.

An accelerated method of developing DBT projects using CDIO partner institutions as parallel processors

The cycle of the academic year impacts on efforts to refine and improve major group design-build-test (DBT) projects since the time to run and evaluate projects is generally a full calendar year. By definition these major projects have a high degree of complexity since they act as the vehicle for the application of a range of technical knowledge and skills. There is also often an extensive list of desired learning outcomes which extends to include professional skills and attributes such as communication and team working. It is contended that student project definition and operation, like any other designed product, requires a number of iterations to achieve optimisation. The problem however is that if this cycle takes four or more years then by the time a project’s operational structure is fine tuned it is quite possible that the project theme is no longer relevant. The majority of the students will also inevitably experience a sub-optimal project experience over the 5 year development period. It would be much better if the ratio were flipped so that in 1 year an optimised project definition could be achieved which had sufficient longevity that it could run in the same efficient manner for 4 further years. An increased number of parallel investigators would also enable more varied and adventurous project concepts to be examined than a single institution could undertake alone in the same time frame.
This work-in-progress paper describes a parallel processing methodology for the accelerated definition of new student DBT project concepts. This methodology has been devised and implemented by a number of CDIO partner institutions in the UK & Ireland region. An agreed project theme was operated in parallel in one academic year with the objective of replacing a multi-year iterative cycle. Additionally the close collaboration and peer learning derived from the interaction between the coordinating academics facilitated the development of faculty teaching skills in line with CDIO standard 10.