13,306 research outputs found

    The estimated prevalence and incidence of late stage age related macular degeneration in the UK

    Get PDF
    BACKGROUND: UK estimates of age related macular degeneration (AMD) occurrence vary. AIMS: To estimate prevalence, number and incidence of AMD by type in the UK population aged ≥50 years. METHODS: Age-specific prevalence rates of AMD obtained from a Bayesian meta-analysis of AMD prevalence were applied to UK 2007-2009 population data. Incidence was estimated from modelled age-specific prevalence. RESULTS: Overall prevalence of late AMD was 2.4% (95% credible interval (CrI) 1.7% to 3.3%), equivalent to 513 000 cases (95% CrI 363 000 to 699 000); estimated to increase to 679 000 cases by 2020. Prevalences were 4.8% aged ≥65 years, 12.2% aged ≥80 years. Geographical atrophy (GA) prevalence rates were 1.3% (95% CrI 0.9% to 1.9%), 2.6% (95% CrI 1.8% to 3.7%) and 6.7% (95% CrI 4.6% to 9.6%); neovascular AMD (NVAMD) 1.2% (95% CrI 0.9% to 1.7%), 2.5% (95% CrI 1.8% to 3.4%) and 6.3% (95% CrI 4.5% to 8.6%), respectively. The estimated number of prevalent cases of late AMD were 60% higher in women versus men (314 000 cases in women, 192 000 men). Annual incidence of late AMD, GA and NVAMD per 1000 women was 4.1 (95% CrI 2.4% to 6.8%), 2.4 (95% CrI 1.5% to 3.9%) and 2.3 (95% CrI 1.4% to 4.0%); in men 2.6 (95% CrI 1.5% to 4.4%), 1.7 (95% CrI 1.0% to 2.8%) and 1.4 (95% CrI 0.8% to 2.4%), respectively. 71 000 new cases of late AMD were estimated per year. CONCLUSIONS: These estimates will guide health and social service provision for those with late AMD and enable estimation of the cost of introducing new treatments

    Fragile phase stability in (1-x)Pb(Mg1/3Nb2/3O3)-xPbTiO3 crystals: A comparisons of [001] and [110] field-cooled phase diagrams

    Full text link
    Phase diagrams of [001] and [110] field-cooled (FC) (1-x)Pb(Mg1/3Nb2/3O3)-xPbTiO3 or PMN-xPT crystals have been constructed, based on high-resolution x-ray diffraction data. Comparisons reveal several interesting findings. First, a region of abnormal thermal expansion above the dielectric maximum was found, whose stability range extended to higher temperatures by application of electric field (E). Second, the rhombohedral (R) phase of the ZFC state was replaced by a monoclinic MA in the [001] FC diagram, but with monoclinic MB in the [110] FC. Third, the monoclinic MC phase in ZFC and [001] FC diagram was replaced by an orthorhombic (O) phase in the [110] FC. Finally, in the [001] FC diagram, the phase boundary between tetragonal (T) and MA was extended to lower PT contents (x=0.25); whereas in the [110] FC diagram, this extended region was entirely replaced by the O phase. These results clearly demonstrate that the phase stability of PMN-xPT crystals is quite fragile, depending not only on modest changes in E, but also on the direction along which that E is applied.Comment: 13 pages, 8 figures, 1 tabl

    The deduction theorem for strong propositional proof systems

    Get PDF
    This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs

    A Tight Karp-Lipton Collapse Result in Bounded Arithmetic

    Get PDF
    Cook and Krajíček [9] have obtained the following Karp-Lipton result in bounded arithmetic: if the theory proves , then collapses to , and this collapse is provable in . Here we show the converse implication, thus answering an open question from [9]. We obtain this result by formalizing in a hard/easy argument of Buhrman, Chang, and Fortnow [3]. In addition, we continue the investigation of propositional proof systems using advice, initiated by Cook and Krajíček [9]. In particular, we obtain several optimal and even p-optimal proof systems using advice. We further show that these p-optimal systems are equivalent to natural extensions of Frege systems

    The psychometric properties of the Smartphone Application-Based Addiction Scale (SABAS)

    Get PDF
    The goal of the study was to validate the English version of the Smartphone Application-Based Addiction Scale (SABAS; Csibi et al. 2016), which is a short and easy-to-use tool for screening the risk of smartphone application-based addiction. Another aim was to identify the most frequently used smartphone applications and their perceived importance by the participants. Data were collected online from 240 English-speaking volunteers, aged 18 to 69 years. The instruments used were the SABAS, the Nomophobia Questionnaire (NMP-Q), the Brief Sensation Seeking Scale (BSSS), the Deprivation Sensation Scale (DSS), and the Patient Health Questionnaire (PHQ- 9). Participants also ranked the importance of their most frequently used smartphone applications. The six items of the SABAS yielded one component, which accounted for 52.38% of the total variance. The internal reliability of the scale was good (Cronbach’s alpha 0.81). NMP-Q was a significant predictor of SABAS, explaining 17.6% of the total variance. The regression analysis, with SABAS score as the dependent variable and NMP-Q, DSS, PHQ-9, and BSSS scores as predictors, indicated that approximately 47% of the variance in SABAS was accounted for by the predictors (R2 = 0.47). The English version of the SABAS appears to be a valid and reliable ultra-brief tool for a quick and easy assessment of smartphone application-based addiction symptoms

    Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes.

    Get PDF
    In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise class C? For concrete languages L (such as TAUT or SAT) and concrete promise classes C (such as NP∩coNP, UP, BPP, disjoint NP-pairs etc.), these ques-tions have been intensively studied during the last years, and a number of characterizations have been obtained. Here we provide new character-izations for Q1 and Q2 that apply to almost all promise classes C and languages L, thus creating a unifying framework for the study of these practically relevant questions. While questions Q1 and Q2 are left open by our results, we show that they receive affirmative answers when a small amount on advice is avail-able in the underlying machine model. This continues a recent line of research on proof systems with advice started by Cook and Kraj́ıček [6]

    Optical shaping of gas targets for laser plasma ion sources

    Get PDF
    We report on the experimental demonstration of a technique to generate steep density gradients in gas-jet targets of interest to laser–plasma ion acceleration. By using an intentional low-energy prepulse, we generated a hydrodynamic blast wave in the gas to shape the target prior to the arrival of an intense CO2_{2} (λ10 μm{\it\lambda}\approx 10~{\rm\mu}\text{m}) drive pulse. This technique has been recently shown to facilitate the generation of ion beams by shockwave acceleration (Tresca et al., Phys. Rev. Lett., vol. 115 (9), 2015, 094802). Here, we discuss and introduce a model to understand the generation of these blast waves and discuss in depth the experimental realisation of the technique, supported by hydrodynamics simulations. With appropriate prepulse energy and timing, this blast wave can generate steepened density gradients as short as l20 μml\approx 20~{\rm\mu}\text{m} (1/e1/e), opening up new possibilities for laser–plasma studies with near-critical gaseous targets.</jats:p

    Binary black holes in circular orbits. II. Numerical methods and first results

    Get PDF
    We present the first results from a new method for computing spacetimes representing corotating binary black holes in circular orbits. The method is based on the assumption of exact equilibrium. It uses the standard 3+1 decomposition of Einstein equations and conformal flatness approximation for the 3-metric. Contrary to previous numerical approaches to this problem, we do not solve only the constraint equations but rather a set of five equations for the lapse function, the conformal factor and the shift vector. The orbital velocity is unambiguously determined by imposing that, at infinity, the metric behaves like the Schwarzschild one, a requirement which is equivalent to the virial theorem. The numerical scheme has been implemented using multi-domain spectral methods and passed numerous tests. A sequence of corotating black holes of equal mass is calculated. Defining the sequence by requiring that the ADM mass decrease is equal to the angular momentum decrease multiplied by the orbital angular velocity, it is found that the area of the apparent horizons is constant along the sequence. We also find a turning point in the ADM mass and angular momentum curves, which may be interpreted as an innermost stable circular orbit (ISCO). The values of the global quantities at the ISCO, especially the orbital velocity, are in much better agreement with those from third post-Newtonian calculations than with those resulting from previous numerical approaches.Comment: 27 pages, 20 PostScript figures, improved presentation of the regularization procedure for the shift vector, new section devoted to the check of the momentum constraint, references added + minor corrections, accepted for publication in Phys. Rev.
    corecore