160 research outputs found

    Trees over Infinite Structures and Path Logics with Synchronization

    Full text link
    We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures. More precisely, we deal with the tree iteration of a relational structure M in the sense of Shelah-Stupp. In contrast to classical results where model-checking is shown decidable for MSO-logic, we show decidability of the tree model-checking problem for logics that allow only path quantifiers and chain quantifiers (where chains are subsets of paths), as they appear in branching time logics; however, at the same time the tree is enriched by the equal-level relation (which holds between vertices u, v if they are on the same tree level). We separate cleanly the tree logic from the logic used for expressing properties of the underlying structure M. We illustrate the scope of the decidability results by showing that two slight extensions of the framework lead to undecidability. In particular, this applies to the (stronger) tree iteration in the sense of Muchnik-Walukiewicz.Comment: In Proceedings INFINITY 2011, arXiv:1111.267

    Long-range transport pathways of tropospheric source gases originating in Asia into the northern lower stratosphere during the Asian monsoon season 2012

    Get PDF
    Global simulations with the Chemical Lagrangian Model of the Stratosphere (CLaMS) using artificial tracers of air mass origin are used to analyze transport mechanisms from the Asian monsoon region into the lower stratosphere. In a case study, the transport of air masses from the Asian monsoon anticyclone originating in India/China by an eastward-migrating anticyclone which broke off from the main anticyclone on 20 September 2012 and filaments separated at the northeastern flank of the anticyclone are analyzed. Enhanced contributions of young air masses (younger than 5 months) are found within the separated anticyclone confined at the top by the thermal tropopause. Further, these air masses are confined by the anticyclonic circulation and, on the polar side, by the subtropical jet such that the vertical structure resembles a bubble within the upper troposphere. Subsequently, these air masses are transported eastwards along the subtropical jet and enter the lower stratosphere by quasi-horizontal transport in a region of double tropopauses most likely associated with Rossby wave breaking events. As a result, thin filaments with enhanced signatures of tropospheric trace gases were measured in the lower stratosphere over Europe during the TACTS/ESMVal campaign in September 2012 in very good agreement with CLaMS simulations. Our simulations demonstrate that source regions in Asia and in the Pacific Ocean have a significant impact on the chemical composition of the lower stratosphere of the Northern Hemisphere. Young, moist air masses, in particular at the end of the monsoon season in September/October 2012, flooded the extratropical lower stratosphere in the Northern Hemisphere with contributions of up to ≈30% at 380K (with the remaining fraction being aged air). In contrast, the contribution of young air masses to the Southern Hemisphere is much lower. At the end of October 2012, approximately 1.5 ppmv H2_{2}O is found in the lower Northern Hemisphere stratosphere (at 380 K) from source regions both in Asia and in the tropical Pacific compared to a mean water vapor content of ≈5 ppmv. In addition to this main transport pathway from the Asian monsoon anticyclone to the east along the subtropical jet and subsequent transport into the northern lower stratosphere, a second horizontal transport pathway out of the anticyclone to the west into the tropics (TTL) is found in agreement with MIPAS HCFC-22 measurements

    How Can Doctors Help Their Patients to Return to Work?

    Get PDF
    Getting back to work is important for most patients but doctors are often unsure how best to help. The article reviews evidence for the effectiveness of the interventions now available

    A Guided Workbook Intervention (WorkPlan) to Support Work-Related Goals Among Cancer Survivors: Protocol of a Feasibility Randomized Controlled Trial

    Get PDF
    Background: Returning to and staying at work following illness is associated with better physical and psychological functioning. Not working has been shown to be associated with reduced self-esteem, lowered self-efficacy, and decreased belief in one's ability to return to the workplace. Although there is a growing body of research looking at what predicts return to work following cancer treatment, there are fewer studies examining interventions targeting return to work. Objective: The primary objective is to assess the feasibility and acceptability of a theoretically led workbook intervention designed to support cancer patients in returning to work to inform a fully powered randomized controlled trial (RCT). Methods: This is a multicenter feasibility RCT where the main analysis uses a qualitative approach. Sixty participants (aged 18-65 years) who have received a diagnosis of cancer and who intend to return to work will be randomized to either the WorkPlan intervention group or a usual care group (ratio 1:1). Participants in the intervention group will receive a guided workbook intervention (which contains activities aimed at eliciting thoughts and beliefs, identifying targets and actions, and concrete steps to achieve goals) and will receive telephone support over a 4-week period. The primary outcome measure is time taken to return to work (in days), and secondary outcome measures include mood, quality of life, illness perceptions, and job satisfaction. Data will be collected through postal questionnaires administered immediately postintervention and at 6- and 12-month follow-ups. In addition, interviews will be undertaken immediately postintervention (to explore acceptability of the intervention and materials) and at 12-month follow-up (to explore perceptions of participation in the trial and experiences of returning to work). Results: Enrollment for the study will be completed in May 2016. Data analysis will commence in April 2017, and the first results are expected to be submitted for publication in late 2017. Conclusions: Currently no standardized return-to-work intervention based on targeting cancer patient beliefs is in existence. If the intervention is shown to be feasible and acceptable, the results of this study will inform a future full RCT with the potential to provide a valuable and cost-efficient tool in supporting cancer survivors in the return-to-work process

    Employment status and work-related difficulties in stomach cancer survivors compared with the general population

    Get PDF
    Little was known about work situation and work-related difficulties, including housework after stomach cancer diagnosis. We aimed to compare employment status and work-related difficulties between stomach cancer survivors and the general population. We enrolled 408 stomach cancer survivors from two hospitals 28 months after diagnosis and 994 representative volunteers from the general population from 15 geographic districts. Working was defined as being employed (including self-employed) and nonworking as being retired or a homemaker. Nonworking was significantly higher among stomach cancer survivors (46.6%) than in the general population (36.5%). Compared with the general population, the survivors had more fatigue in performing both housework (adjusted odds ratio (aOR)=2.08; 95% confidence interval (95% CI)=1.01–4.29) and gainful work (aOR=4.02; 2.55–6.33). More cancer survivors had reduced working hours (aOR=1.42; 95% CI=4.60–28.35) and reduced work-related ability (aOR=6.11; 95% CI=3.64–10.27) than did the general population. The association of nonworking with older age and being female was significantly more positive for survivors than for the general population. Among survivors, poorer Eastern Cooperation Oncology Group Performance Status and receiving total gastrectomy were positively associated with nonworking. Stomach cancer survivors experienced more difficulties in both housework and gainful employment than did the general population. Our findings on stomach cancer survivors' work-related difficulties and the predictors of nonworking will help physicians guide patients towards more realistic postsurgical employment plans
    corecore