A comparative framework: how broadly applicable is a 'rigorous' critical junctures framework?

The paper tests Hogan and Doyle's (2007, 2008) framework for examining critical junctures. This framework sought to incorporate the concept of ideational change in understanding critical junctures. Until its development, frameworks utilized in identifying critical junctures were subjective, seeking only to identify crisis, and subsequent policy changes, arguing that one invariably led to the other, as both occurred around the same time. Hogan and Doyle (2007, 2008) hypothesized ideational change as an intermediating variable in their framework, determining if, and when, a crisis leads to radical policy change. Here we test this framework on cases similar to, but different from, those employed in developing the exemplar. This will enable us determine whether the framework's relegation of ideational change to a condition of crisis holds, or, if ideational change has more importance than is ascribed to it by this framework. This will also enable us determined if the framework itself is robust, and fit for the purposes it was designed to perform — identifying the nature of policy change

Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Colours and luminosities of z=0.1 simulated galaxies in the EAGLE simulations

We calculate the colours and luminosities of redshift z = 0.1 galaxies from the EAGLE simulation suite using the GALAXEV population synthesis models. We take into account obscuration by dust in birth clouds and diffuse ISM using a two-component screen model, following the prescription of Charlot and Fall. We compare models in which the dust optical depth is constant to models where it depends on gas metallicity, gas fraction and orientation. The colours of EAGLE galaxies for the more sophisticated models are in broad agreement with those of observed galaxies. In particular, EAGLE produces a red sequence of passive galaxies and a blue cloud of star forming galaxies, with approximately the correct fraction of galaxies in each population and with g-r colours within 0.1 magnitudes of those observed. Luminosity functions from UV to NIR wavelengths differ from observations at a level comparable to systematic shifts resulting from a choice between Petrosian and Kron photometric apertures. Despite the generally good agreement there are clear discrepancies with observations. The blue cloud of EAGLE galaxies extends to somewhat higher luminosities than in the data, consistent with the modest underestimate of the passive fraction in massive EAGLE galaxies. There is also a moderate excess of bright blue galaxies compared to observations. The overall level of agreement with the observed colour distribution suggests that EAGLE galaxies at z = 0.1 have ages, metallicities and levels of obscuration that are comparable to those of observed galaxies

Extended RDF: Computability and Complexity Issues

ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based on the undecidability result of ERDF stable model semantics, decidability under this semantics cannot be achieved, unless ERDF ontologies of restricted syntax are considered. Therefore, we propose a slightly modified semantics for ERDF ontologies, called ERDF #n- stable model semantics. We show that entailment under this semantics is, in general, decidable and also extends RDFS entailment. Equivalence statements between the two semantics are provided. Additionally, we provide algorithms that compute the ERDF #n-stable models of syntax-restricted and general ERDF ontologies. Further, we provide complexity results for the ERDF #nstable model semantics on syntax-restricted and general ERDF ontologies. Finally, we provide complexity results for the ERDF stable model semantics on syntax-restricted ERDF ontologies

Endometrial Cancer Presenting as Acute Urinary Retention: a Case Report and Review of the Literature

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

Endometrial Cancer Presenting as Acute Urinary Retention : a Case Report and Review of The Literature

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

Women's experiences of body image and baby feeding choices: Dealing with the pressure to be slender

This qualitative study was designed to assess postpartum women's body image in relation to feeding choices. Forty women aged 20–42 years, up to 3 years postpartum were interviewed through email. Participants were allocated to three groups; currently breastfeeding, former breastfeeding, or bottle-feeding. Data were analysed using thematic analysis, which revealed three key themes: attitude transition, celebrity comparisons, and emotional reactions to celebrity mothers. Analysis suggested that women with experience of breastfeeding viewed their body more functionally, which created feelings of appreciation and acceptance towards their bodies. The findings suggest that although breastfeeding does not necessarily protect women from body concerns and pressure for thinness, it allows women to see their body as an ‘instrument’ rather than an aesthetic ‘object’. Further research is required to confirm or challenge the current findings

Associations between cardiorespiratory fitness, physical activity and clustered cardiometabolic risk in children and adolescents: the HAPPY study

Clustering of cardiometabolic risk factors can occur during childhood and predisposes individuals to cardiometabolic disease. This study calculated clustered cardiometabolic risk in 100 children and adolescents aged 10-14 years (59 girls) and explored differences according to cardiorespiratory fitness (CRF) levels and time spent at different physical activity (PA) intensities. CRF was determined using a maximal cycle ergometer test, and PA was assessed using accelerometry. A cardiometabolic risk score was computed as the sum of the standardised scores for waist circumference, blood pressure, total cholesterol/high-density lipoprotein ratio, triglycerides and glucose. Differences in clustered cardiometabolic risk between fit and unfit participants, according to previously proposed health-related threshold values, and between tertiles for PA subcomponents were assessed using ANCOVA. Clustered risk was significantly lower (p < 0.001) in the fit group (mean 1.21 ± 3.42) compared to the unfit group (mean -0.74 ± 2.22), while no differences existed between tertiles for any subcomponent of PA. Conclusion These findings suggest that CRF may have an important cardioprotective role in children and adolescents and highlights the importance of promoting CRF in youth

Patient-Reported Outcome questionnaires for hip arthroscopy: a systematic review of the psychometric evidence

Abstract Background Hip arthroscopies are often used in the treatment of intra-articular hip injuries. Patient-reported outcomes (PRO) are an important parameter in evaluating treatment. It is unclear which PRO questionnaires are specifically available for hip arthroscopy patients. The aim of this systematic review was to investigate which PRO questionnaires are valid and reliable in the evaluation of patients undergoing hip arthroscopy. Methods A search was conducted in Pubmed, Medline, CINAHL, the Cochrane Library, Pedro, EMBASE and Web of Science from 1931 to October 2010. Studies assessing the quality of PRO questionnaires in the evaluation of patients undergoing hip arthroscopy were included. The quality of the questionnaires was evaluated by the psychometric properties of the outcome measures. The quality of the articles investigating the questionnaires was assessed by the COSMIN list. Results Five articles identified three questionnaires; the Modified Harris Hip Score (MHHS), the Nonarthritic Hip Score (NAHS) and the Hip Outcome Score (HOS). The NAHS scored best on the content validity, whereas the HOS scored best on agreement, internal consistency, reliability and responsiveness. The quality of the articles describing the HOS scored highest. The NAHS is the best quality questionnaire. The articles describing the HOS are the best quality articles. Conclusions This systematic review shows that there is no conclusive evidence for the use of a single patient-reported outcome questionnaire in the evaluation of patients undergoing hip arthroscopy. Based on available psychometric evidence we recommend using a combination of the NAHS and the HOS for patients undergoing hip arthroscopy.</p