Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Learning to Teach About Ideas and Evidence in Science : The Student Teacher as Change Agent

A collaborative curriculum development project was set up to address the lack of good examples of teaching about ideas and evidence and the nature of science encountered by student teachers training to teach in the age range 11-16 in schools in England. Student and teacher-mentor pairs devised, taught and evaluated novel lessons and approaches. The project design required increasing levels of critique through cycles of teaching, evaluation and revision of lessons. Data were gathered from interviews and students' reports to assess the impact of the project on student teachers and to what extent any influences survived when they gained their first teaching posts. A significant outcome was the perception of teaching shifting from the delivery of standard lessons in prescribed ways to endeavours demanding creativity and decision-making. Although school-based factors limited newly qualified teachers' chances to use new lessons and approaches and therefore act as change-agents in schools, the ability to critique curriculum materials and the recognition of the need to create space for professional dialogue were durable gains

Addressing Inequity to Achieve the Maternal and Child Health Millennium Development Goals: Looking Beyond Averages.

Inequity in access to and use of child and maternal health interventions is impeding progress towards the maternal and child health Millennium Development Goals. This study explores the potential health gains and equity impact if a set of priority interventions for mothers and under fives were scaled up to reach national universal coverage targets for MDGs in Tanzania. We used the Lives Saved Tool (LiST) to estimate potential reductions in maternal and child mortality and the number of lives saved across wealth quintiles and between rural and urban settings. High impact maternal and child health interventions were modelled for a five-year scale up, by linking intervention coverage, effectiveness and cause of mortality using data from Tanzania. Concentration curves were drawn and the concentration index estimated to measure the equity impact of the scale up. In the poorest population quintiles in Tanzania, the lives of more than twice as many mothers and under-fives were likely to be saved, compared to the richest quintile. Scaling up coverage to equal levels across quintiles would reduce inequality in maternal and child mortality from a pro rich concentration index of -0.11 (maternal) and -0.12 (children) to a more equitable concentration index of -0,03 and -0.03 respectively. In rural areas, there would likely be an eight times greater reduction in maternal deaths than in urban areas and a five times greater reduction in child deaths than in urban areas. Scaling up priority maternal and child health interventions to equal levels would potentially save far more lives in the poorest populations, and would accelerate equitable progress towards maternal and child health MDGs

Families' social backgrounds matter : socio-economic factors, home learning and young children's language, literacy and social outcomes

Parental support with children's learning is considered to be one pathway through which socio-economic factors influence child competencies. Utilising a national longitudinal sample from the Millennium Cohort Study, this study examined the relationship between home learning and parents' socio-economic status and their impact on young children's language/literacy and socio-emotional competence. The findings consistently showed that, irrespective of socio-economic status, parents engaged with various learning activities (except reading) roughly equally. The socio-economic factors examined in this study, i.e., family income and maternal educational qualifications, were found to have a stronger effect on children's language/literacy than on social-emotional competence. Socio-economic disadvantage, lack of maternal educational qualifications in particular, remained powerful in influencing competencies in children aged three and at the start of primary school. For children in the first decade of this century in England, these findings have equity implications, especially as the socio-economic gap in our society widens

Correlates of psychological distress and major depressive disorder among African American men

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/88155/1/lincoln_taylor_watkins_chatters2011.pd

Political strategies of external support for democratization

Political strategies of external support to democratization are contrasted and critically examined in respect of the United States and European Union. The analysis begins by defining its terms of reference and addresses the question of what it means to have a strategy. The account briefly notes the goals lying behind democratization support and their relationship with the wider foreign policy process, before considering what a successful strategy would look like and how that relates to the selection of candidates. The literature's attempts to identify strategy and its recommendations for better strategies are compared and assessed. Overall, the article argues that the question of political strategies of external support for democratization raises several distinct but related issues including the who?, what?, why?, and how? On one level, strategic choices can be expected to echo the comparative advantage of the "supporter." On a different level, the strategies cannot be divorced from the larger foreign policy framework. While it is correct to say that any sound strategy for support should be grounded in a theoretical understanding of democratization, the literature on strategies reveals something even more fundamental: divergent views about the nature of politics itself. The recommendations there certainly pinpoint weaknesses in the actual strategies of the United States and Europe but they have their own limitations too. In particular, in a world of increasing multi-level governance strategies for supporting democratization should go beyond preoccupation with just an "outside-in" approach

Grouping practices in the primary school: what influences change?

During the 1990s, there was considerable emphasis on promoting particular kinds of pupil grouping as a means of raising educational standards. This survey of 2000 primary schools explored the extent to which schools had changed their grouping practices in responses to this, the nature of the changes made and the reasons for those changes. Forty eight percent of responding schools reported that they had made no change. Twenty two percent reported changes because of the literacy hour, 2% because of the numeracy hour, 7% because of a combination of these and 21% for other reasons. Important influences on decisions about the types of grouping adopted were related to pupil learning and differentiation, teaching, the implementation of the national literacy strategy, practical issues and school self-evaluation

Work-Unit Absenteeism: Effects of Satisfaction, Commitment, Labor Market Conditions, and Time

Prior research is limited in explaining absenteeism at the unit level and over time. We developed and tested a model of unit-level absenteeism using five waves of data collected over six years from 115 work units in a large state agency. Unit-level job satisfaction, organizational commitment, and local unemployment were modeled as time-varying predictors of absenteeism. Shared satisfaction and commitment interacted in predicting absenteeism but were not related to the rate of change in absenteeism over time. Unit-level satisfaction and commitment were more strongly related to absenteeism when units were located in areas with plentiful job alternatives

A high-resolution map of human evolutionary constraint using 29 mammals.

The comparison of related genomes has emerged as a powerful lens for genome interpretation. Here we report the sequencing and comparative analysis of 29 eutherian genomes. We confirm that at least 5.5% of the human genome has undergone purifying selection, and locate constrained elements covering ∼4.2% of the genome. We use evolutionary signatures and comparisons with experimental data sets to suggest candidate functions for ∼60% of constrained bases. These elements reveal a small number of new coding exons, candidate stop codon readthrough events and over 10,000 regions of overlapping synonymous constraint within protein-coding exons. We find 220 candidate RNA structural families, and nearly a million elements overlapping potential promoter, enhancer and insulator regions. We report specific amino acid residues that have undergone positive selection, 280,000 non-coding elements exapted from mobile elements and more than 1,000 primate- and human-accelerated elements. Overlap with disease-associated variants indicates that our findings will be relevant for studies of human biology, health and disease

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13