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.

Uses of expertise:Sources, quotes, and voice in the reporting of genetics in the news

Science journalists call upon experts for background and for clarification and comment on scientific findings. This paper examines how science writers choose and use experts, and it focuses on several cases of reporting about genetics and behavior. Our research included two sources of data: interviews with 15 science reporters and three print media samples of coverage of genetics and behavior - alcoholism (between 1980-1995), homosexuality (in 1993 and 1995), and mental illness (between 1970-1995). Science reporters seek relevant and specific experts for nearly every story. Good sources are knowledgeable, are connected to prestigious institutions, are direct and articulate and don't overqualify statements, and they return phone calls. The mean number of experts quoted was 2.8 per story, differing for alcoholism (3.5), homosexuality (2.8), and mental illness (2.6). Researchers and scientists predominated among experts quoted. Quotes were used to provide context, give legitimization, as explication, to provide a kind of balance, and to outline implications. For the homosexuality sample, a significantly greater percentage of activists and advocates were quoted (21 percent compared with 5 percent and 1 percent in other samples, X <0.0001). "Lay" quotes for alcoholism and mental illness were minimal. Except for homosexuality, whose advocates are organized, those "affected" do not have a voice in genetics news stories.

From theory to practice:Improving the impact of health services research

Background: While significant strides have been made in health research, the incorporation of research evidence into healthcare decision-making has been marginal. The purpose of this paper is to provide an overview of how the utility of health services research can be improved through the use of theory. Integrating theory into health services research can improve research methodology and encourage stronger collaboration with decision-makers. Discussion: Recognizing the importance of theory calls for new expectations in the practice of health services research. These include: the formation of interdisciplinary research teams; broadening the training for those who will practice health services research; and supportive organizational conditions that promote collaboration between researchers and decision makers. Further, funding bodies can provide a significant role in guiding and supporting the use of theory in the practice of health services research. Summary: Institutions and researchers should incorporate the use of theory if health services research is to fulfill its potential for improving the delivery of health care. © 2005 Brazil et al; licensee BioMed Central Ltd.

Corporate Governance in Canadian and US Credit Unions

This report, a collaborative effort between the Filene Research Institute and the Credit Union Central of Canada, with participation from the Desjardins Group, follows on two recent governance projects: Tracking the Relationship Between Credit Union Governance and Performance and a three-part series by Professor Robert Hoel about how boards can add more value. Beyond these, the academic literature of corporate governance is well developed, so this study includes an in-depth review of financial institution governance research and calls out the differences between credit unions and other firms. Also, because surveys can only go so far in teasing out insights, the authors followed up with a dozen interviews with credit unions of all sizes across all three major North American credit union systems.

Because the report is survey-based, large swaths of the findings compare major and minor details of different (and often not-so-different) approaches to governance in the three systems and among differently sized credit unions. From those comparisons, some interesting differences emerge. For example, as a federated system, Desjardins excels at some aspects of board development and system governance in ways that the more atomized US and Canadian credit union systems do not.

Reducing the psychological distress of family caregivers of home based palliative care patients: Longer term effects from a randomised controlled trial.

Background: Palliative care incorporates comprehensive support of family caregivers because many of them experience burden and distress. However, evidence-based support initiatives are few.

Purpose: We evaluated a one-to-one psychoeducational intervention aimed at mitigating the distress of caregivers of patients with advanced cancer receiving home-based palliative care. We hypothesised that caregivers would report decreased distress as assessed by the General Health Questionnaire (GHQ).

Method: A randomised controlled trial comparing two versions of the delivery of the intervention (one face-to-face home visit plus telephone calls versus two visits) plus standard care to a control group (standard care only) across four sites in Australia.

Results: Recruitment to the one visit condition was 57, the two visit condition 93, and the control 148. We previously reported non-significant changes in distress between times 1 (baseline) and 2 (1-week post-intervention) but significant gains in competence and preparedness. We report here changes in distress between times 1 and 3 (8-week post-death). There was significantly less worsening in distress between times 1 and 3 in the one visit intervention group than in the control group; however, no significant difference was found between the two visit intervention and the control group.

Conclusions: These results are consistent with the aim of the intervention, and they support existing evidence demonstrating that relatively short psychoeducational interventions can help family caregivers who are supporting a dying relative. The sustained benefit during the bereavement period may also have positive resource implications, which should be the subject of future inquiry. © 2014 The Authors. Psycho-Oncology published by John Wiley & Sons Ltd.

"From Indomania to Indophobia":Thomas De Quincey's Providential Orientalism

Thomas De Quincey’s terrifying oriental nightmares, reported to sensational acclaim in his Confessions of an English Opium-Eater (1821), have become a touchstone of romantic imperialism in recent studies of the literature of the period (Leask 1991; Barrell 1992 et al). De Quincey’s collocation of “all creatures, birds, beasts, reptiles, all trees and plants, usages and appearances, that are found in all tropical regions” in the hypnagogic hallucinations that characterized what he called “the pains of opium” seems to anticipate neatly Said’s theory of orientalism, whereby the orient was supplied by the west with “a mentality, a genealogy, an atmosphere,” the attitudinal basis as he argues for the continuing march of imperialism from the late eighteenth century. Yet, as Thomas Trautmann (1997) has pointed out, orientalist scholarship based in India and led by the influential Asiatic Society of Bengal in the late eighteenth century was extremely enthusiastic about Indian classical antiquity. The early orientalist scholarship posited ethnic, linguistic, cultural and religious links between Europe and India, while recognizing the greater antiquity of Indian civilization. This favourable attitude (which Trautmann calls “Indomania”) was overtaken in the nineteenth century by disavowal of that scholarship and repugnance (which he calls “Indophobia”), influenced by utilitarian and evangelical attitudes to colonialism. De Quincey’s lifespan covers this crucial period of change. My paper examines his evangelical upbringing and interest in biblical and orientalist scholarship to suggest his anxious investment in these modes of thinking. I will suggest that the bizarre orientalist fusions of his dreams can be better understood in the context of changing attitudes to the imperialism during the period. An examination of his work provides a far more dynamic understanding of the processes of orientalism than the binary model suggested by Said. The transformation implied from imperial scholarship to governance, I will suggest, is not irrelevant to a world which continues to pull apart on various grounds of race and ethnicity, and reflects on our own role in the academy today.

Cardiomyopathy and Diastolic Dysfunction in the Embryo and Neonate of a Type 1 Diabetic Mouse Model

Objective: The purpose of this study was to examine the effect of maternal type 1 diabetes on the structure and function of the embryonic and neonatal mouse heart.

Methods: Type 1 diabetes was induced in female C57BL6/J mice using streptozotocin. Embryonic (n = 105) and neonatal hearts (n = 46) were examined using high-frequency ultrasound (US) and a cohort of E18.5 (n = 34) and 1-day-old pup hearts (n = 27) underwent histological examination.

Results: Global cardiac hypertrophy in late gestation (E18.5) was evident on US in the diabetic group compared to controls with increased interventricular septal (IVS) thickness (0.44 ± 0.08 mm vs 0.36 ± 0.08 mm, P < .05) and increased left ventricular wall thickness (0.38 ± 0.04 mm vs 0.29 mm ± 0.05, P < .01). Isovolumetric relaxation time was initially prolonged in the diabetic group but resolved by E18.5 to control values. Histological examination at E18.5 demonstrated increased transverse measurements (2.42 ± 0.72 mm/g vs 1.86 ± 0.55 mm/g, P < .05) and increased IVS thickness (0.64 ± 0.20 mm/g vs 0.43 ± 0.15 mm/g, P < .05) in diabetic embryos compared to control embryos.

Conclusion: Maternal hyperglycemia has severe effects on offspring with evidence of cardiac impairment and cardiac hypertrophy in the embryo. These effects persisted in the 1-day old but attenuated in the 1-week old suggesting cardiac remodeling after the hyperglycemic milieu of pregnancy is removed

Just what is narrative urgency?

This article takes as its main point of departure a body of empirical research on reading and text processing, and makes particular reference to the type of experiments conducted in Egidi and Gerrig (2006) and Rapp and Gerrig (2006). Broadly put, these experiments (i) explore the psychology of readers’ preferences for narrative outcomes, (ii) examine the way readers react to characters’ goals and actions, and (iii) investigate how readers tend to identify with characters’ goals the more ‘urgently’ those goals are narrated. The present article signals how stylistics can productively enrich such experimental work. Stylistics, it is argued, is well equipped to deal with subtle and nuanced variations in textual patterns without losing sight of the broader cognitive and discoursal positioning of readers in relation to these patterns. Making particular reference to what might constitute narrative ‘urgency’, the article develops a model which amalgamates different strands of contemporary research in narrative stylistics. This model advances and elaborates three key components: a Stylistic Profile, a Burlesque Block and a Kuleshov Monitor. Developing analyses of, and informal informant tests on, examples of both fiction and film, the article calls for a more rounded and sophisticated understanding of style in empirical research on subjects’ responses to patterns in narrative.

Analysis of Bayesian classification-based approaches for Android malware detection

Mobile malware has been growing in scale and complexity spurred by the unabated uptake of smartphones worldwide. Android is fast becoming the most popular mobile platform resulting in sharp increase in malware targeting the platform. Additionally, Android malware is evolving rapidly to evade detection by traditional signature-based scanning. Despite current detection measures in place, timely discovery of new malware is still a critical issue. This calls for novel approaches to mitigate the growing threat of zero-day Android malware. Hence, the authors develop and analyse proactive machine-learning approaches based on Bayesian classification aimed at uncovering unknown Android malware via static analysis. The study, which is based on a large malware sample set of majority of the existing families, demonstrates detection capabilities with high accuracy. Empirical results and comparative analysis are presented offering useful insight towards development of effective static-analytic Bayesian classification-based solutions for detecting unknown Android malware.

Family, state, class and solidarity: re-conceptualising intergenerational solidarity through the grounded theory approach

The relationship between class and intergenerational solidarities in the public and private spheres calls for further conceptual and theoretical development. This article discusses the findings from the first wave of a qualitative longitudinal study entitled Changing Generations, conducted in Ireland in 2011–2012, comprising 100 in-depth interviews with men and women across the age and socioeconomic spectrums. Constructivist grounded theory analysis of the data gives rise to the following postulates: (1) intergenerational solidarity at the family level is strongly contoured by socioeconomic status (SES); (2) intergenerational solidarity evolves as family generations observe each others’ practices and adjust their expectations accordingly; (3) intergenerational solidarity within families is also shaped by the public sphere (the welfare state) that generates varying expectations and levels of solidarity regarding State supports for different age groups, again largely dependent on SES; (4) the liberal welfare state context, especially at a time of economic crisis, enhances the significance of intergenerational solidarity within families. We conclude by calling for research that is attuned to age/generation, gender and class, and how these operate across the family and societal levels.

Assessing the distribution of social-ecological resilience and risk: Ireland as a case study of the uneven impact of famine

Explanations for the causes of famine and food insecurity often reside at a high level of aggregation or abstraction. Popular models within famine studies have often emphasised the role of prime movers such as population stress, or the political-economic structure of access channels, as key determinants of food security. Explanation typically resides at the macro level, obscuring the presence of substantial within-country differences in the manner in which such stressors operate. This study offers an alternative approach to analyse the uneven nature of food security, drawing on the Great Irish famine of 1845–1852. Ireland is often viewed as a classical case of Malthusian stress, whereby population outstripped food supply under a pre-famine demographic regime of expanded fertility. Many have also pointed to Ireland's integration with capitalist markets through its colonial relationship with the British state, and country-wide system of landlordism, as key determinants of local agricultural activity. Such models are misguided, ignoring both substantial complexities in regional demography, and the continuity of non-capitalistic, communal modes of land management long into the nineteenth century. Drawing on resilience ecology and complexity theory, this paper subjects a set of aggregate data on pre-famine Ireland to an optimisation clustering procedure, in order to discern the potential presence of distinctive social–ecological regimes. Based on measures of demography, social structure, geography, and land tenure, this typology reveals substantial internal variation in regional social–ecological structure, and vastly differing levels of distress during the peak famine months. This exercise calls into question the validity of accounts which emphasise uniformity of structure, by revealing a variety of regional regimes, which profoundly mediated local conditions of food security. Future research should therefore consider the potential presence of internal variations in resilience and risk exposure, rather than seeking to characterise cases based on singular macro-dynamics and stressors alone.

Delivering Social Work Education on Case Reviews and Inquiry Reports: An Exploratory Study of Students' Perspectives in Northern Ireland

It is self-evident that we live in the age of inquiry where the negative impact of risk has been examined through numerous formal processes. In the wake of such scrutiny, there have been repeated recommendations for better training of the professionals charged with safeguarding the welfare of vulnerable individuals. Yet there has been very little examination of how student social workers, in particular, evaluate this training. This exploratory study responded to this gap through a mixed-methods design centring on the views of qualifying and post-qualifying social work students attending courses within two regional universities in Northern Ireland. The study found that, in the main, the cohorts responded favourably to certain aspects of the curriculum and how they were delivered. That said, the emotive nature of the case review and inquiry reports was inadequately addressed in the classroom and was not processed afterwards through a psycho-social framework. In effect, students were often left with residual anxieties that potentially hampered learning. On the basis of the findings, the study calls for further research into this highly significant area of professional competence.

The Human Rights Act 1998 – Future Prospects

It is now over fifteen years since the Human Rights Act was enacted in November 1998. Although in legal terms it is difficult to argue with the proposition that the Act is working in an effective manner, in political terms the Act remains one of the most highly debated pieces of legislation on the UK statute books. In recent years there have been numerous calls for the repeal of the Act, and for its replacement with a ‘UK Bill of Rights’. Such calls led to the establishment of a Commission on a Bill of Rights, which issued its final report in December 2012. Little progress has since been made on the issue. One notable occurrence however was the introduction of the Human Rights Act 1998 (Repeal and Substitution) Bill, a Private Member’s Bill which was eventually withdrawn in March 2013. This article seeks to assess the current situation regarding the bill of rights debate, and ultimately the question of the future prospects of the Human Rights Act, an issue of immense legal significance. Overall, it will be questioned whether the enactment of a UK Bill of Rights would constitute an improvement on the current position under the Human Rights Act.

Replacing the ASBO with the injunction to prevent nuisance and annoyance: a plea for legislative scrutiny and amendment

In May 2013, the Coalition Government introduced a Bill which if passed will streamline the tools available to tackle anti-social behaviour. One of their proposals is to replace the controversial anti-social behaviour order (ASBO) with what is termed an Injunction to Prevent Nuisance and Annoyance (IPNA). Although designed to tackle criminal and sub-criminal behaviour, this new intervention will be a purely civil order replacing the civil-criminal hybrid ASBO. This article explores some of the more troubling aspects of this part of the Bill including its expansive definition of anti-social behaviour, the avoidance of due process protections, the extensive restrictions that respondents may face and the likely impact of its use on young people. With legislation presently under Parliamentary scrutiny, this article calls for amendments to avoid the most problematic aspects of the ASBO being not just replicated but amplified.

Urinary excretion of arsenic following rice consumption

Patterns of arsenic excretion were followed in a cohort (n = 6) eating a defined rice diet, 300 g per day d.wt. where arsenic speciation was characterized in cooked rice, following a period of abstinence from rice, and other high arsenic containing foods. A control group who did not consume rice were also monitored. The rice consumed in the study contained inorganic arsenic and dimethylarsinic acid (DMA) at a ratio of 1:1, yet the urine speciation was dominated by DMA (90%). At steady state (rice consumption/urinary excretion) similar to 40% of rice derived arsenic was excreted via urine. By monitoring of each urine pass throughout the day it was observed that there was considerable variation (up to 13-fold) for an individual's total arsenic urine content, and that there was a time dependent variation in urinary total arsenic content. This calls into question the robustness of routinely used first pass/spot check urine sampling for arsenic analysis. (C) 2014 Elsevier Ltd. All rights reserved.