14,022 research outputs found

    Non-omega-overlapping TRSs are UN

    Get PDF
    This paper solves problem #79 of RTA’s list of open problems [14] — in the positive. If the rules of a TRS do not overlap w.r.t. substitutions of infinite terms then the TRS has unique normal forms. We solve the problem by reducing the problem to one of consistency for “similar” constructor term rewriting systems. For this we introduce a new proof technique. We define a relation ⇓ that is consistent by construction, and which — if transitive — would coincide with the rewrite system’s equivalence relation =R. We then prove the transitivity of ⇓ by coalgebraic reasoning. Any concrete proof for instances of this relation only refers to terms of some finite coalgebra, and we then construct an equivalence relation on that coalgebra which coincides with ⇓

    Relations Between Personality and Coping: A Meta-Analysis

    Full text link
    Personality may directly facilitate or constrain coping, but relations of personality to coping have been inconsistent across studies, suggesting a need for greater attention to methods and samples. This meta-analysis tested moderators of relations between Big Five personality traits and coping using 2,653 effect sizes drawn from 165 samples and 33,094 participants. Personality was weakly related to broad coping (e.g., Engagement or Disengagement), but all 5 traits predicted specific strategies. Extraversion and Conscientiousness predicted more problem-solving and cognitive restructuring, Neuroticism less. Neuroticism predicted problematic strategies like wishful thinking, withdrawal, and emotion-focused coping but, like Extraversion, also predicted support seeking. Personality more strongly predicted coping in young samples, stressed samples, and samples reporting dispositional rather than situation-specific coping. Daily versus retrospective coping reports and self-selected versus researcher-selected stressors also moderated relations between personality and coping. Cross-cultural differences were present, and ethnically diverse samples showed more protective effects of personality. Richer understanding of the role of personality in the coping process requires assessment of personality facets and specific coping strategies, use of laboratory and daily report studies, and multivariate analyses

    Introduction:Mortality in Design

    Get PDF
    Digital design for mortals. Precisely what is unsettling about modern technological construction is that, instead of holding together earth and sky, mortals and divinities, it penetrates the earth to extract resources, pushes beyond the sky with rockets and satellites, attempts to suppress mortality with medicine and drugs, and precisely in this attempt to control the body, rejects the art of dying, and thereby and in the very process the remembering of the divinities that is the most intimate part of human suffering. More than ten years old now, Carl Mitcham’s reflection on the performance of vernacular architecture (the building of his own house in fact) is a powerful statement about the tendency of modern technology to suppress human mortality and with it the expression of the human spirit. Precisely what is unsettling about modern technological construction is that, instead of holding together earth and sky, mortals and divinities, it penetrates the earth to extract resources, pushes beyond the sky with rockets and satellites, attempts to suppress mortality with medicine and drugs, and precisely in this attempt to control the body, rejects the art of dying, and thereby and in the very process the remembering of the divinities that is the most intimate part of human suffering

    Companion planting to attract pollinators increases the yield and quality of strawberry fruit in gardens and allotments

    Get PDF
    1. Global pollinator declines have led to concern that crop yields might fall as a result of a pollination deficit. Companion planting is a traditional practice thought to increase yield of insect pollinated crops by planting a co-flowering species next to the crop. 2. Using a combination of conventional researcher-led experiments and observational citizen scientist data, we tested the effectiveness of bee-friendly borage (Borago officinalis) as a companion plant to strawberry (Fragaria x ananassa). Insect visitors to the ‘Test’ (strawberry + borage) versus ‘Control’ (strawberry only) plants were observed, and strawberry fruit collected. Strawberries collected during the researcher-led experiment were also subject to fruit measurements and assessments of market quality. 3. Companion plants were found to significantly increase both yield and market quality of strawberries, suggesting an increase in insect pollination per plant. Test strawberries companion planted with borage produced an average of 35% more fruits, and 32% increased yield by weight. Test strawberry plants produced significantly more fruit of higher aesthetic quality when assessed by Marketing Standards for Strawberries. 4. Although there was no significant difference in the overall insect visits, when broken down by broad insect group there were significantly more flies visiting the test strawberries than controls. 5. These results could have implications for both gardeners and commercial growers. As consumers prefer a cosmetically perfect fruit, the production of fruit with increased aesthetics aids food waste reduction

    Brexit Report - Impact on Business Models of Scottish Companies

    Get PDF
    The Brexit Business Model Report is a preliminary assessment of research, interviews and survey results regarding the impact of Brexit on the business models of Scottish companies as they prepare for post-Brexit scenarios. The survey was used to compile data to support research questions gathered during the research and interview process for this graduate class project. Questions were designed to assess how Brexit is impacting the ability of Scottish companies in the areas of business model, contingency planning, supply chain, staffing, innovation, global reach, risk assessment, and opportunities. The questions reflected areas of the business model that may have present and future implications. The answers help measure the Brexit impact on Scottish firms’ business models and the potential for international growth. The upper management of Scottish companies from the “Insider Top 500” list, “FactSet list, and various trade organizations were selected to receive the survey. The focus of this study was on the potential impact of Brexit on Scottish companies’ business models. The survey findings show the importance of understanding the elements of a business model in the Brexit context (see Additional File, Executive Summary below for Business Model Brexit Implications on Scottish Companies based on Key Findings table)

    One future or many? November 14, 15, and 16, 2002

    Full text link
    This repository item contains a single issue of the Pardee Conference Series, a publication series that began publishing in 2006 by the Boston University Frederick S. Pardee Center for the Study of the Longer-Range Future. This was the Center's 2nd annual Conference that took place during November 14, 15, and 16, 2002.The conference brought together some 30 experts from various disciplines to discuss whether the trajectories of the future will be ‘global’ or ‘regional’ in nature. Different panels looks at the future trajectories for Europe, the Western Hemisphere, Central Asia and the Former Soviet Union, and on Asia and in each case the discussion looked at the relative importance of the regional and of global dynamics on teh forces shaping the future of these regions.Carnegie Council on Ethics and International Affair

    Neuroticism, extraversion, stressful life events and asthma: a cohort study of middle-aged adults

    Get PDF
    ABSTRACT Background: Stressful life events can trigger asthma exacerbations, but could also contribute to the development of incident asthma. However, only few studies have investigated the association between stressful life events and adult asthma prospectively. Likewise, stress-related personality traits (e.g. neuroticism and extraversion) may increase asthma risk, but this has been examined in only one prospective study. We therefore aimed to investigate the association between neuroticism, extraversion, stressful life events and incident asthma. Methods: A population-based sample of 5114 middle-aged adults completed questionnaires between 1992 and 1995. Among those alive in 2002/2003, 4010 (83%) were followed-up by questionnaires. Exposures of interest included neuroticism, extraversion and three stressful life events (unemployment, having broken off a life partnership and death of a close person). Associations with incident asthma were estimated by multivariable risk ratios (RR) and 95% confidence intervals (95% CI) using Poisson regression. Results: High vs low neuroticism predisposed to developing asthma (RR = 3.07, 95% CI = 1.71–5.48), but high extraversion did not (RR = 1.30, 95% CI = 0.79–2.15). Having broken off a life partnership significantly increased asthma risk (RR = 2.24, 95% CI = 1.20–4.21) in contrast to death of a close person (RR = 1.06, 95% CI = 0.64–1.75) or unemployment (RR = 1.65, 95% CI = 0.72–3.78). Conclusions: High levels of neuroticism may increase the risk of asthma in middle-aged adults. Having broken off a life partnership was the only stressful event, which was associated with incident asthma. Synthesized with evidence from earlier studies, this could reflect that interpersonal conflicts may increase asthma risk, possibly along an immunological pathway
    corecore