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.

Young Women’s Positive and Negative Perceptions of Self in Northern Ireland

This paper represents analysis of one aspect of a larger research project examining the everyday lives and experiences of young women in Northern Ireland. As an introductory exercise within focus groups, 48 young women considered and discussed the good and not so good things about being a young woman in Northern Ireland. Through these accounts many issues emerged, some in direct contrast and contradiction to one another. The area focused upon for the purpose of this paper is the body, particularly with regard to body image (self-expression versus pressure) and becoming a woman (growing up versus menarche). The aim is to illustrate that what young women cite as being potentially positive aspects of growing up or being a young woman often have negative experiences and implications attached to them. In light of the advancements made by young women in Northern Irish society, an opening of opportunities and their awareness of the persistence of gendered messages regarding their bodies, many young women are of the belief that such messages have less impact upon them today and that gender is a barrier that can be overcome. It is illustrated and argued here, however, that dominant cultural messages regarding women’s bodies are more subtle, confusing and perhaps pervasive than they ever have been. As a consequence, this has created more pressure and confusion for young women and tensions exist in terms of young women’s beliefs and their actions. In light of these research findings, this paper considers practice implications for those working with and for young women.

Creative Activism: a pedagogical and research tool

Environmental activism has a long history in protest, addressing issues of degradation and segregation that threaten existing ecologies, social and built fabrics. Environmental activism is traditionally understood as a reaction, chiefly by groups of people, against a perceived external threat. In the 60’s and 70’s, an activist stance began to emerge in the work of some artists and architects, who used creative methods such as performances, happenings, temporary spatial interventions etc to convey their political/aesthetic messages. Some of this work engaged directly with communities but predominantly it was the production of one individual working ‘outside’ society. However such actions demonstrated not only the power of the visual in conveying a political message but also the potential of conceptual creative approaches to reveal alternative values and hidden potentials. This marked a shift from activism as protestation towards an activism of reconceptualisation. Recently, activist groups have developed a more politically informed process. Whilst their ‘tools’ may resemble work from the 60’s and 70’s , their methodologies are non-traditional, ’rhizomatic’, pedagogical and fluid; working alongside, rather than against, the established power and funding structures. Such creative processes build new, often unexpected, stakeholder networks; offer neutral spaces in which contentious issues can be faced; and create better understanding of values and identities. They can also lead to permanent improvements and development in the physical fabric. This paper will discuss a pedagogical example of activism in architectural education. The event (www.fourdaysontheoutside.com) is in its fifth year of existence and as such has revealed a value and impulse beyond its learning and teaching value. The paper will discuss how the event contributes to the university’s outreach programme and how its structure acts as a seedbed for potential research projects and partnerships. UK Universities talk extensively about applied research but have few actual strategies by which to generate it. Fourdaysontheoutside offers some potential ways forward.

An exploration of the experience of cancer cachexia: What patients and their families want from health care professionals

The aim of this paper is to investigate the perceptions of patients and family members with regard to care received for cancer cachexia. A qualitative study recruited 27 participants, of which 15 were patients with advanced cancer who had primary cachexia and 12 were family members. Participants were recruited from a regional cancer centre in the UK. All participants took part in a domiciliary interview, which was transcribed verbatim for analysis. A major finding from analysis was ‘lack of response from health care professionals’ in relation to cancer cachexia management. This finding illuminated that patients and their family members wanted three things from healthcare professionals. They wanted their profound weight loss acknowledged, they wanted information about it and why it was happening and they wanted interventions to deal with it. This paper provides powerful messages for healthcare professionals and highlights the needs of patients and their family regarding cancer cachexia management. Patients and their families want this problem addressed by healthcare professionals. This client group requires supportive healthcare interventions, so that they can understand the nature and impact of this syndrome.

A programming model for BSP with partitioned synchronisation

A BSP superstep is a distributed computation comprising a number of simultaneously executing processes which may generate asynchronous messages. A superstep terminates with a barrier which enforces a global synchronisation and delivers all ongoing communications. Multilevel supersteps can utilise barriers in which subsets of processes, interacting through shared memories, are locally synchronised (partitioned synchronisation). In this paper a state-based semantics, closely related to the classical sequential programming model, is derived for distributed BSP with partitioned synchronisation.

Performance Analysis of Novel Randomly Shifted Certification Authority Authentication Protocol for MANETs

The provision of security in mobile ad hoc networks is of paramount importance due to their wireless nature. However, when conducting research into security protocols for ad hoc networks it is necessary to consider these in the context of the overall system. For example, communicational delay associated with the underlying MAC layer needs to be taken into account. Nodes in mobile ad hoc networks must strictly obey the rules of the underlying MAC when transmitting security-related messages while still maintaining a certain quality of service. In this paper a novel authentication protocol, RASCAAL, is described and its performance is analysed by investigating both the communicational-related effects of the underlying IEEE 802.11 MAC and the computational-related effects of the cryptographic algorithms employed. To the best of the authors' knowledge, RASCAAL is the first authentication protocol which proposes the concept of dynamically formed short-lived random clusters with no prior knowledge of the cluster head. The performance analysis demonstrates that the communication losses outweigh the computation losses with respect to energy and delay. MAC-related communicational effects account for 99% of the total delay and total energy consumption incurred by the RASCAAL protocol. The results also show that a saving in communicational energy of up to 12.5% can be achieved by changing the status of the wireless nodes during the course of operation. Copyright (C) 2009 G. A. Safdar and M. P. O'Neill (nee McLoone).

Interview with Paul DeMarinis

Since the early 1970s, the American electronic media artist Paul DeMarinis (b. 1948, Cleveland, Ohio, USA) has created works that re-imagine modes of communication and reinvent the technologies that enable communication. His works (see Table 1) have taken shape as recordings, performances, electronic inventions, and site-specific and interactive installations; many are considered landmarks in the histories of electronic music and media art. Paul DeMarinis pioneered live performance with computers, collaborated on landmark works with artists like David Tudor and Robert Ashley, undertook several tours with the Merce Cunningham Dance Company, and brought to life obscure technologies such as the flame loudspeaker (featured in his 2004 sculpture Firebirds). His interactive installation The Music Room (1982), commissioned by Frank Oppenheimer for the Exploratorium in San Francisco, was the first automatic music work to reach a significant audience. His album Music As A Second Language (1991) marks one of the most extensive explorations of the synthesized voice and speech melodies to date. Installations like The Edison Effect (1989-1993), in which lasers scan ancient recordings to produce music, and The Messenger (1998/2005), in which electronic mail messages are displayed on alphabetic telegraph receivers, illustrate a creative process that Douglas Kahn (1994) has called "reinventing invention." [etc]

Making Sense of Leaving Care: The contribution of Bridges Model of Transition to Understanding the Psycho-social process.

This paper is based on research into the transition of young people leaving public care in Romania. Using this specific country example, the paper aims to contribute to present understandings of the psycho-social transition of young people from care to independent living by introducing the use of Bridges (2002) to build on existing theories and literature. The research discussed involved mixed methods design and was implemented in three phases: semi-structured interviews with 34 care leavers, focus groups with 32 professionals, and a professional-service user working group. The overall findings confirmed that young people experience two different, but interconnected transitions - social and psychological - which take place at different paces. A number of theoretical perpectives are explored to make sense of this transition including attachment theory, focal theory and identity. In addition, a new model for understanding the complex process of transitions was adapted from Bridges’ (2002) to capture the clear complexity of transition which the findings demonstrated in terms of their psycho-social transition. The paper concludes with messages for leaving and after care services with an emphasis on managing the psycho-social transition from care to independent living.

The Critical Reading of the Images Associated with Science-Related News Reports: Establishing a knowledge, skills, and attitudes framework

For the majority of adults, the media constitute their main source of information about science and science-related matters impacting on society. To help prepare young people to engage with science in the media, teachers are being exhorted to equip their students with the knowledge, skills, and attitudes to respond critically to science-related news reports. Typically, such reports comprise not only text, but also visual elements. These images are not simply adjuncts to the written word; they are integral to meaning-making. Though science teachers make considerable use of newspaper images, they tend to view these representations unproblematically, underestimating their potential ambiguity, complexity, and role in framing media messages. They rarely aim to develop students’ ability to ‘read’, critically, such graphics. Moreover, research into how this might be achieved is limited and, consequently, research-informed guidance which could support this instruction is lacking. This paper describes a study designed to formulate a framework for such teaching. Science communication scholars, science journalists and media educators with acknowledged relevant expertise were surveyed to ascertain what knowledge, skills, and attitudes they deemed useful to engagement with science related news images. Their proposals were recast as learning intentions (instructional objectives), and science and English teachers collaborated to suggest which could be addressed with secondary school students and the age group best suited to their introduction. The outcome is an inventory of learning intentions on which teachers could draw to support their planning of instructional sequences aimed at developing students’ criticality in respect of the totality of science news reports.

Perceived relevance and foods with health-related claims

Although consumer perception of the health claims and nutrition information has been studied widely there is relatively little understanding about the motivational factors underpinning claim perception. The objective of this study is to investigate how levels of perceived relevance influence consumers’ responses to health claims that either promise to reduce a targeted disease risk or improve well-being in comparison to other types of health-related messages, and how attitudes towards nutritionally healthy eating, functional food and previous experience relating to products with health claims affect the consumers’ perceptions of nutrition and health claims. The data (N=2385) were collected by paper and pencil surveys in Finland, the UK, Germany and Italy on a target group of consumers over 35 year old, solely or jointly responsible for the family’s food shopping. The results showed that relevance has a strong influence on perceptions of personal benefit and willingness to buy products with health claims. However the impact of relevance is much stronger when the health risks are relevant to self than when it is relevant to those close to oneself, especially when the claim promises a targeted risk reduction with detailed information about function and health outcome. Previous experience with products with health claims and interest in nutritionally healthy eating promoted the utility of all claims, regardless of whether they were health or nutrition claims. However, to be influenced by health claims consumers also need to have a positive attitude towards functional food products.

An Examination of Volunteer Motivation in Credit Unions: Informing Volunteer Resource Management

Volunteer recruitment and retention is a problem that most credit unions experience. Research suggests that knowledge of volunteer motivation can inform volunteer management strategies. This paper uses a survey approach to determine whether current volunteers in credit unions in Northern Ireland are more motivated by the actual act of volunteering, by the output from the volunteering activity (including altruism) or because the volunteering activity increases their human capital value. Altruistic reasons are found to be the most influential, with the act of volunteering also scoring highly. This knowledge should inform volunteer recruitment programmes and internal appraisal processes as management can reinforce messages that provide positive feedback to volunteers on the social benefits being achieved by the credit union. This will further motivate current volunteers, ensuring retention. When motivation was analyzed by volunteer characteristics we found that older volunteers, retired volunteers and volunteers who are less educated are more motivated in their role. There was little evidence that individuals volunteer to improve their human capital worth.

In Demand: Therapeutic Services for Children and Young People Who Have Experienced Sexual Abuse

This paper describes the key findings of an NSPCC study estimating need, in the UK, for therapeutic services for children who have experienced sexual abuse. This is based upon current estimates of the prevalence and impact of sexual abuse towards children and young people against the availability of therapeutic services in the UK. Data were collected on service location, availability, scope and coverage across England, Wales, Northern Ireland and Scotland. Researchers: (1) mapped 508 services; (2) collected data from 195 services via a structured questionnaire; (3) followed up 21 service managers and 11 service commissioners with a semi-structured interview; and (4) carried out two focus groups with young people. Data were collected on service location, availability, scope and coverage The overall level of specialist provision is low, with less than one service available per 10 000 children and young people in the UK. Calculations of need indicate that 57 156 children across the UK in the last year may have been unable to access a service. Findings from services support the view that need outstrips availability; that referral routes are limited, leaving few options for young people who have been raped or seriously sexually assaulted to directly access support; that significant waiting lists mean services must focus on reactive, rather than preventive, work; and that services are less accessible for certain groups, especially sexually abused teenagers, children with disabilities and those from Black, Asian, Minority Ethnic and Refugee backgrounds. Copyright (c) 2012 John Wiley & Sons, Ltd. Key Practitioner Messages Relevant professionals must be adequately trained to talk to children about sexual abuse and to identify those vulnerable in order to identify need. Expert specialist services are well placed to share learning on early help and identification with broader children's service providers. Active steps need to be taken by commissioners in consultation with young people, voluntary sector and adult sexual violence service providers to meet the shortfall at the level of local authorities.

International on-line reciprocal peer tutoring to promote modern language development in primary schools

The paper reports data from an on-line peer tutoring project. In the project 78, 9–12-year-old students from Scotland and Catalonia peer tutored each other in English and Spanish via a managed on-line envi- ronment. Significant gains in first language (Catalonian pupils) modern language (Scottish pupils) and attitudes towards modern languages (both Catalonian and Scottish pupils) were reported for the exper- imental group as compared to the control group. Results indicated that pupils tutored each other in using Piagetian techniques of error correction during the project. Error correction provided by tutors to tutees focussed on morph syntaxys, more specifically the correction of verbs. Peer support provided via the on- line environment was predominantly based on the tutor giving the right answer to the tutee. High rates of impact on tutee corrected messages were observed. The implications for peer tutoring initiative taking place via on-line environments are discussed. Implications for policy and practice are explored

On the Complexity of Universal Leader Election

Electing a leader is a fundamental task in distributed computing. In its implicit version, only the leader must know who is the elected leader. This paper focuses on studying the message and time complexity of randomized implicit leader election in synchronous distributed networks. Surprisingly, the most "obvious" complexity bounds have not been proven for randomized algorithms. The "obvious" lower bounds of O(m) messages (m is the number of edges in the network) and O(D) time (D is the network diameter) are non-trivial to show for randomized (Monte Carlo) algorithms. (Recent results that show that even O(n) (n is the number of nodes in the network) is not a lower bound on the messages in complete networks, make the above bounds somewhat less obvious). To the best of our knowledge, these basic lower bounds have not been established even for deterministic algorithms (except for the limited case of comparison algorithms, where it was also required that some nodes may not wake up spontaneously, and that D and n were not known).

We establish these fundamental lower bounds in this paper for the general case, even for randomized Monte Carlo algorithms. Our lower bounds are universal in the sense that they hold for all universal algorithms (such algorithms should work for all graphs), apply to every D, m, and n, and hold even if D, m, and n are known, all the nodes wake up simultaneously, and the algorithms can make anyuse of node's identities. To show that these bounds are tight, we present an O(m) messages algorithm. An O(D) time algorithm is known. A slight adaptation of our lower bound technique gives rise to an O(m) message lower bound for randomized broadcast algorithms.

An interesting fundamental problem is whether both upper bounds (messages and time) can be reached simultaneously in the randomized setting for all graphs. (The answer is known to be negative in the deterministic setting). We answer this problem partially by presenting a randomized algorithm that matches both complexities in some cases. This already separates (for some cases) randomized algorithms from deterministic ones. As first steps towards the general case, we present several universal leader election algorithms with bounds that trade-off messages versus time. We view our results as a step towards understanding the complexity of universal leader election in distributed networks.

Sublinear Bounds for Randomized Leader Election

This paper concerns randomized leader election in synchronous distributed networks. A distributed leader election algorithm is presented for complete n-node networks that runs in O(1) rounds and (with high probability) takes only O(n-vlog3/2n) messages to elect a unique leader (with high probability). This algorithm is then extended to solve leader election on any connected non-bipartiten-node graph G in O(t(G)) time and O(t(G)n-vlog3/2n) messages, where t(G) is the mixing time of a random walk on G. The above result implies highly efficient (sublinear running time and messages) leader election algorithms for networks with small mixing times, such as expanders and hypercubes. In contrast, previous leader election algorithms had at least linear message complexity even in complete graphs. Moreover, super-linear message lower bounds are known for time-efficientdeterministic leader election algorithms. Finally, an almost-tight lower bound is presented for randomized leader election, showing that O(n-v) messages are needed for any O(1) time leader election algorithm which succeeds with high probability. It is also shown that O(n 1/3) messages are needed by any leader election algorithm that succeeds with high probability, regardless of the number of the rounds. We view our results as a step towards understanding the randomized complexity of leader election in distributed networks.