Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis explores all behaviors of a concurrent program up to some fixed number of context switches between threads. This definition is inadequate for programs that create threads dynamically because bounding the number of context switches in a computation also bounds the number of threads involved in the computation. In this paper, we propose a more general definition of context-bounded analysis useful for programs with dynamic thread creation. The idea is to bound the number of context switches for each thread instead of bounding the number of switches of all threads. We consider several variants based on this new definition, and we establish decidability and complexity results for the analysis induced by them

Investigating child participation in the everyday talk of a teacher and children in a preparatory year

In early years research, policy and education, a democratic perspective that positions children as participants and citizens is increasingly emphasized. These ideas take seriously listening to children’s opinions and respecting children’s influence over their everyday affairs. While much political and social investment has been paid to the inclusion of participatory approaches little has been reported on the practical achievement of such an approach in the day to day of early childhood education within school settings. This paper investigates talk and interaction in the everyday activities of a teacher and children in an Australian preparatory class (for children age 4-6 years) to see how ideas of child participation are experienced. We use an interactional analytic approach to demonstrate how participatory methods are employed in practical ways to manage routine interactions. Analysis shows that whilst the teacher seeks the children’s opinion and involves them in decision-making, child participation is at times constrained by the context and institutional categories of “teacher” and “student” that are jointly produced in their talk. The paper highlights tensions that arise for teachers as they balance a pedagogical intent of “teaching” and the associated institutional expectations, with efforts to engage children in decision-making. Recommendations include adopting a variety of conversational styles when engaging with children; consideration of temporal concerns and the need to acknowledge the culture of the school

Distributional impact of taxes and social transfers in Russia over the downturn

Low oil prices and the recession in Russia which started in 2014 are increasing pressures for fiscal consolidation, after more than a decade of prosperity. This paper assesses the distributional impact of the main tax and social spending programs in Russia in 2014 by applying a state-of-the-art incidence analysis. Overall, the Russian welfare state achieves a moderate reduction in inequality through tax-benefit policies by international standards. Most redistribution occurs through pensions. Major limits on the redistributive effect of tax-benefit policy include the large share of tax revenues that come from (regressive) indirect taxes, the neutral impact of personal income taxes and the low share of spending that goes on social assistance targeted to low-income groups. Tax-benefit policy also has an important impact on the age distribution of income, as households of working-age people (with and without children) subsidize pensioner households

Evaluating the impact of career management skills module and internship programme within a university business school

This study evaluates the impact of an intervention on business school graduates’ employability comprising of a curriculum-based career management skills (CMS) module and an industrial placement year. The study uses data from the destinations of leavers of higher education survey to examine the employability of different groups within the cohort (no intervention, CMS module only and CMS module plus structured work experience). It finds that structured work experience has clear, positive effects on the ability of graduates to secure employment in ‘graduate level’ jobs within six months of graduation. Furthermore, participation in the CMS module also has a clear, positive effect upon the ability of participants to secure employment

Smart homes and their users:a systematic analysis and key challenges

Published research on smart homes and their users is growing exponentially, yet a clear understanding of who these users are and how they might use smart home technologies is missing from a field being overwhelmingly pushed by technology developers. Through a systematic analysis of peer-reviewed literature on smart homes and their users, this paper takes stock of the dominant research themes and the linkages and disconnects between them. Key findings within each of nine themes are analysed, grouped into three: (1) views of the smart home-functional, instrumental, socio-technical; (2) users and the use of the smart home-prospective users, interactions and decisions, using technologies in the home; and (3) challenges for realising the smart home-hardware and software, design, domestication. These themes are integrated into an organising framework for future research that identifies the presence or absence of cross-cutting relationships between different understandings of smart homes and their users. The usefulness of the organising framework is illustrated in relation to two major concerns-privacy and control-that have been narrowly interpreted to date, precluding deeper insights and potential solutions. Future research on smart homes and their users can benefit by exploring and developing cross-cutting relationships between the research themes identified

The Mesozoic along-strike tectono-metamorphic segmentation of Longmen Shan (eastern Tibetan plateau)

The Longmen Shan belt (eastern border of the Tibetan plateau) constitutes a tectonically active region as demonstrated by the occurrence of the unexpected 2008 Mw 7.9 Wenchuan and 2013 Mw 6.6 Lushan earthquakes in the central and southern parts of the belt respectively. These events revealed the necessity of a better understanding of the long‐term geological evolution of the belt and its effect on the present dynamics and crustal structure. New structural and thermobarometric data offer a comprehensive dataset of the paleo‐temperatures across the belt and P‐T estimates for low‐grade metamorphic domains. In the central Longmen Shan, two metamorphic jumps of 150‐200°C, 5‐6 kbar and ~50 °C, 3‐5 kbar acquired during the Early Mesozoic are observed across the Wenchuan and Beichuan faults respectively, attesting to their thrusting movement and unrevealing a major decollement between the allochtonous Songpan‐Garze metasedimentary cover (at T > 500°C) and the autochtonous units and the basement (T < 400°C). In the southern Longmen Shan, the only greenschist‐facies metamorphism is observed both in the basement (360 ± 30°C, 6 ± 2 kbar) and in the metasedimentary cover (350 ± 30°C, 3 ± 1 kbar). Peak conditions were reached at c. 80‐60 Ma in the basement and c. 55‐33 Ma in the cover, c. 50 Ma after the greenschist‐facies metamorphic overprint observed in the central Longmen Shan (c. 150‐120 Ma). This along‐strike metamorphic segmentation coincides well with the present fault segmentation and reveals that the central and southern Longmen Shan experienced different tectono‐metamorphic histories since the Mesozoic

Relating Therapist Characteristics to Client Engagement and the Therapeutic Alliance in an Adolescent Custodial Group Substance Misuse Treatment Program

Background: Client engagement in substance misuse treatment programs is directly associated with positive treatment outcomes. The nature of these programs means there are often difficulties engaging and retaining clients, but authors have consistently found a strong therapeutic alliance is associated with client engagement. While research has focused on the association between the alliance and engagement, the factors that influence the therapeutic alliance have received less attention. Objective: To examine therapists’ characteristics, namely therapists’ stress and empathy levels, as potential predictors of client engagement and the therapeutic alliance, within an adolescent substance misuse group treatment program. Method: The sample included 84 adolescent clients and 14 therapists from a Secure Training Centre in England. Client engagement in the treatment program was observed, while self-reporting measures assessed the therapeutic alliance (client and therapist-rated), and therapists’ stress and empathy levels. Results: Multiple regression analysis revealed that therapists’ stress levels negatively influenced the therapeutic alliance and had a curvilinear relationship with client engagement, indicating that stress is not exclusively negatively related to engagement. Although stress was found to negatively impact both cognitive and affective empathy, neither cognitive nor affective empathy were significantly related to client engagement or the therapeutic alliance.Conclusions: This study demonstrates the importance of therapist characteristics on client engagement and the TA. Within practice stress can have a positive impact on clients’ engagement. Nevertheless, therapists may need additional support to deal with stress effectively. Therapists’ empathy may too be fundamental to client engagement, but only it if is perceived by clients.<br/

Erasmus Language students in a British University – a case study

Students’ assessment of their academic experience is actively sought by Higher Education institutions, as evidenced in the National Student Survey introduced in 2005. Erasmus students, despite their growing numbers, tend to be excluded from these satisfaction surveys, even though they, too, are primary customers of a University. This study aims to present results from bespoke questionnaires and semi-structured interviews with a sample of Erasmus students studying languages in a British University. These methods allow us insight into the experience of these students and their assessment as a primary customer, with a focus on language learning and teaching, university facilities and student support. It investigates to what extent these factors influence their levels of satisfaction and what costs of adaptation if any, they encounter. Although excellent levels of satisfaction were found, some costs affect their experience. They relate to difficulties in adapting to a learning methodology based on a low number of hours and independent learning and to a guidance and support system seen as too stifling. The results portray this cohort’s British University as a well-equipped and well-meaning but ultimately overbearing institution, which may indicate that minimising costs can eliminate some sources of dissatisfaction

A Prospective Study of the Association of Metacognitive Beliefs and Processes with Persistent Emotional Distress After Diagnosis of Cancer

Two hundred and six patients, diagnosed with primary breast or prostate cancer completed self-report questionnaires on two occasions: before treatment (T1) and 12 months later (T2). The questionnaires included: the Hospital Anxiety and Depression Scale; Impact of Events Scale; the Metacognitions Questionnaire-30 (MCQ-30) and the Illness Perceptions Questionnaire-revised. A series of regression analyses indicated that metacognitive beliefs at T1 predicted between 14 and 19 % of the variance in symptoms of anxiety, depression and trauma at T2 after controlling for age and gender. For all three outcomes, the MCQ-30 subscale ‘negative beliefs about worry’ made the largest individual contribution with ‘cognitive confidence’ also contributing in each case. For anxiety, a third metacognitive variable, ‘positive beliefs about worry’ also predicted variance in T2 symptoms. In addition, hierarchical analyses indicated that metacognitive beliefs explained a small but significant amount of variance in T2 anxiety (2 %) and T2 depression (4 %) over and above that explained by demographic variables, T1 symptoms and T1 illness perceptions. The findings suggest that modifying metacognitive beliefs and processes has the potential to alleviate distress associated with cancer

Treating symptomatic uterine fibroids with myomectomy: current practice and views of UK consultants

Background: The demand for uterus-sparing treatments is increasing as more women postpone childbirth to their 30–40s, when fibroids are more symptomatic. With an increasing choice of treatment options and changing care-provider profiles, now is an opportune time to survey current practices and opinions. Using a 25-stem questionnaire, a web-based survey was used to capture the practices and opinions of UK consultant gynecologists on the treatment of symptomatic fibroids, including the types of procedure most frequently used, methods used to reduce blood loss, and awareness and acceptability of treatment options, and to assess the impact of gender and experience of the treating gynecologist. Results: The response rate was 22%. Laparascopic myomectomy is used least frequently, with 80% of the respondents using GnRHa preoperatively to minimize blood loss and correct anemia, while vasopressin is most frequently used to reduce intraoperative blood loss. Female consultants operate significantly less frequently than males. Those with more than 10 years consultant experience are more likely to perform an open myomectomy compared to those with less than 10 years experience. Conclusions: Compared to a similar survey performed 10 years ago, surgical methods remain to be the most common treatments, but use of less invasive treatments such as UAE has increased. Consultants’ attitudes appear to be responding to the patient demand for less radical treatments. However, it is yet to be seen if the changing consultant demographics will keep up with this demand. The low response rate warrants cautious interpretation of the results, but they provide an interesting snapshot of current views and practices