4,175 research outputs found

    Effectiveness of Hindman's theorem for bounded sums

    Full text link
    We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let HTkn\mathsf{HT}^{\leq n}_k denote the assertion that for each kk-coloring cc of N\mathbb{N} there is an infinite set XNX \subseteq \mathbb{N} such that all sums xFx\sum_{x \in F} x for FXF \subseteq X and 0<Fn0 < |F| \leq n have the same color. We prove that there is a computable 22-coloring cc of N\mathbb{N} such that there is no infinite computable set XX such that all nonempty sums of at most 22 elements of XX have the same color. It follows that HT22\mathsf{HT}^{\leq 2}_2 is not provable in RCA0\mathsf{RCA}_0 and in fact we show that it implies SRT22\mathsf{SRT}^2_2 in RCA0\mathsf{RCA}_0. We also show that there is a computable instance of HT33\mathsf{HT}^{\leq 3}_3 with all solutions computing 00'. The proof of this result shows that HT33\mathsf{HT}^{\leq 3}_3 implies ACA0\mathsf{ACA}_0 in RCA0\mathsf{RCA}_0

    Mindfulness-based stress reduction in Parkinson’s disease: a systematic review

    Get PDF
    Background: Mindfulness based stress reduction (MBSR) is increasingly being used to improve outcomes such as stress and depression in a range of long-term conditions (LTCs). While systematic reviews on MBSR have taken place for a number of conditions there remains limited information on its impact on individuals with Parkinson’s disease (PD). Methods: Medline, Central, Embase, Amed, CINAHAL were searched in March 2016. These databases were searched using a combination of MeSH subject headings where available and keywords in the title and abstracts. We also searched the reference lists of related reviews. Study quality was assessed based on questions from the Cochrane Collaboration risk of bias tool. Results: Two interventions and three papers with a total of 66 participants were included. The interventions were undertaken in Belgium (n = 27) and the USA (n = 39). One study reported significantly increased grey matter density (GMD) in the brains of the MBSR group compared to the usual care group. Significant improvements were reported in one study for a number of outcomes including PD outcomes, depression, mindfulness, and quality of life indicators. Only one intervention was of reasonable quality and both interventions failed to control for potential confounders in the analysis. Adverse events and reasons for drop-outs were not reported. There was also no reporting on the costs/benefits of the intervention or how they affected health service utilisation. Conclusion: This systematic review found limited and inconclusive evidence of the effectiveness of MBSR for PD patients. Both of the included interventions claimed positive effects for PD patients but significant outcomes were often contradicted by other results. Further trials with larger sample sizes, control groups and longer follow-ups are needed before the evidence for MBSR in PD can be conclusively judged

    Infant arterial stiffness and maternal iron status in pregnancy: A UK birth cohort (Baby VIP study)

    Get PDF
    Background In animal studies, iron deficiency during pregnancy has been linked to increased offspring cardiovascular risk. No previous population studies have measured arterial stiffness early in life to examine its association with maternal iron status. Objective This study aimed to examine the association between maternal iron status in early pregnancy with infant brachio-femoral pulse wave velocity (PWV). Methods The Baby VIP (Baby’s Vascular health and Iron in Pregnancy) study is a UK-based birth cohort which recruited 362 women after delivery from the Leeds Teaching Hospitals postnatal wards. Ferritin and transferrin receptor levels were measured in maternal serum samples previously obtained in the first trimester. Infant brachio-femoral PWV was measured during a home visit at 2-6 weeks. Results Iron depletion (ferritin <15 ug/L) was detected in 79 (23%) women in early pregnancy. Infant PWV (m=6.7 m/s, sd=1.3, n=284) was not associated with maternal ferritin (adjusted change per 10 ug/L= 0.02, 95% CI -0.01, 0.1), nor with iron depletion (adjusted change = -0.2, 95% CI -0.6, 0.2). No evidence of association was observed between maternal serum transferrin receptor level or its ratio to ferritin with infant PWV. Maternal anaemia (<11 g/dL) at ≤20 weeks gestation was associated with a 1.0 m/s increase in infant PWV (adjusted 95% CI 0.1, 1.9). Conclusion This is the largest study to-date which assessed peripheral PWV as a measure of arterial stiffness in infants. There was no evidence of an association between markers of maternal iron status early in pregnancy and infant PWV

    How and When Socially Entrepreneurial Nonprofit Organizations Benefit From Adopting Social Alliance Management Routines to Manage Social Alliances?

    Get PDF
    Social alliance is defined as the collaboration between for-profit and nonprofit organizations. Building on the insights derived from the resource-based theory, we develop a conceptual framework to explain how socially entrepreneurial nonprofit organizations (SENPOs) can improve their social alliance performance by adopting strategic alliance management routines. We test our framework using the data collected from 203 UK-based SENPOs in the context of cause-related marketing campaign-derived social alliances. Our results confirm a positive relationship between social alliance management routines and social alliance performance. We also find that relational mechanisms, such as mutual trust, relational embeddedness, and relational commitment, mediate the relationship between social alliance management routines and social alliance performance. Moreover, our findings suggest that different types of social alliance motivation can influence the impact of social alliance management routines on different types of the relational mechanisms. In general, we demonstrate that SENPOs can benefit from adopting social alliance management routines and, in addition, highlight how and when the social alliance management routines–social alliance performance relationship might be shaped. Our study offers important academic and managerial implications, and points out future research directions

    Increased insolation threshold for runaway greenhouse processes on Earth like planets

    Full text link
    Because the solar luminosity increases over geological timescales, Earth climate is expected to warm, increasing water evaporation which, in turn, enhances the atmospheric greenhouse effect. Above a certain critical insolation, this destabilizing greenhouse feedback can "runaway" until all the oceans are evaporated. Through increases in stratospheric humidity, warming may also cause oceans to escape to space before the runaway greenhouse occurs. The critical insolation thresholds for these processes, however, remain uncertain because they have so far been evaluated with unidimensional models that cannot account for the dynamical and cloud feedback effects that are key stabilizing features of Earth's climate. Here we use a 3D global climate model to show that the threshold for the runaway greenhouse is about 375 W/m2^2, significantly higher than previously thought. Our model is specifically developed to quantify the climate response of Earth-like planets to increased insolation in hot and extremely moist atmospheres. In contrast with previous studies, we find that clouds have a destabilizing feedback on the long term warming. However, subsident, unsaturated regions created by the Hadley circulation have a stabilizing effect that is strong enough to defer the runaway greenhouse limit to higher insolation than inferred from 1D models. Furthermore, because of wavelength-dependent radiative effects, the stratosphere remains cold and dry enough to hamper atmospheric water escape, even at large fluxes. This has strong implications for Venus early water history and extends the size of the habitable zone around other stars.Comment: Published in Nature. Online publication date: December 12, 2013. Accepted version before journal editing and with Supplementary Informatio

    Does inter-vertebral range of motion increase after spinal manipulation? A prospective cohort study.

    Get PDF
    Background: Spinal manipulation for nonspecific neck pain is thought to work in part by improving inter-vertebral range of motion (IV-RoM), but it is difficult to measure this or determine whether it is related to clinical outcomes. Objectives: This study undertook to determine whether cervical spine flexion and extension IV-RoM increases after a course of spinal manipulation, to explore relationships between any IV-RoM increases and clinical outcomes and to compare palpation with objective measurement in the detection of hypo-mobile segments. Method: Thirty patients with nonspecific neck pain and 30 healthy controls matched for age and gender received quantitative fluoroscopy (QF) screenings to measure flexion and extension IV-RoM (C1-C6) at baseline and 4-week follow-up between September 2012-13. Patients received up to 12 neck manipulations and completed NRS, NDI and Euroqol 5D-5L at baseline, plus PGIC and satisfaction questionnaires at follow-up. IV-RoM accuracy, repeatability and hypo-mobility cut-offs were determined. Minimal detectable changes (MDC) over 4 weeks were calculated from controls. Patients and control IV-RoMs were compared at baseline as well as changes in patients over 4 weeks. Correlations between outcomes and the number of manipulations received and the agreement (Kappa) between palpated and QF-detected of hypo-mobile segments were calculated. Results: QF had high accuracy (worst RMS error 0.5o) and repeatability (highest SEM 1.1o, lowest ICC 0.90) for IV-RoM measurement. Hypo-mobility cut offs ranged from 0.8o to 3.5o. No outcome was significantly correlated with increased IV-RoM above MDC and there was no significant difference between the number of hypo-mobile segments in patients and controls at baseline or significant increases in IV-RoMs in patients. However, there was a modest and significant correlation between the number of manipulations received and the number of levels and directions whose IV-RoM increased beyond MDC (Rho=0.39, p=0.043). There was also no agreement between palpation and QF in identifying hypo-mobile segments (Kappa 0.04-0.06). Conclusions: This study found no differences in cervical sagittal IV-RoM between patients with non-specific neck pain and matched controls. There was a modest dose-response relationship between the number of manipulations given and number of levels increasing IV-RoM - providing evidence that neck manipulation has a mechanical effect at segmental levels. However, patient-reported outcomes were not related to this
    corecore