385 research outputs found

    A Paraconsistent Higher Order Logic

    Full text link
    Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens.Comment: Originally in the proceedings of PCL 2002, editors Hendrik Decker, Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Correcte

    Weakening the glass ceiling: does organizational growth reduce gender segregation in the upper tiers of Danish local government?

    Get PDF
    The theory of representative bureaucracy highlights gender segregation in the public sector and its detrimental implications for public policy outcomes. Focusing attention on organisational responses to this protracted problem, we supply evidence on whether organizational growth provides potential for change in the upper echelons of the public sector. An evaluation of the relationship between new hires and gender representation within the management tiers of Danish local government reveals an association between the recruitment of additional employees and improved gender integration. This is particularly pronounced for public organizations that employ fewer women. Implications for theory and practice are discussed

    Pushing nanoparticles with light - A femtonewton resolved measurement of optical scattering forces

    Get PDF
    Optomechanical manipulation of plasmonic nanoparticles is an area of current interest, both fundamental and applied. However, no experimental method is available to determine the forward-directed scattering force that dominates for incident light of a wavelength close to the plasmon resonance. Here, we demonstrate how the scattering force acting on a single gold nanoparticle in solution can be measured. An optically trapped 80 nm particle was repetitively pushed from the side with laser light resonant to the particle plasmon frequency. A lock-in analysis of the particle movement provides a measured value for the scattering force. We obtain a resolution of less than 3 femtonewtons which is an order of magnitude smaller than any measurement of switchable forces performed on nanoparticles in solution with single beam optical tweezers to date. We compared the results of the force measurement with Mie simulations of the optical scattering force on a gold nanoparticle and found good agreement between experiment and theory within a few fN. (C) 2016 Author(s)

    Changes in the behavioural determinants of health during the COVID-19 pandemic: gender, socioeconomic and ethnic inequalities in five British cohort studies

    Get PDF
    BACKGROUND: The COVID-19 pandemic is expected to have far-reaching consequences on population health. We investigated whether these consequences included changes in health-impacting behaviours which are important drivers of health inequalities. METHODS: Using data from five representative British cohorts (born 2000-2002, 1989-1990, 1970, 1958 and 1946), we investigated sleep, physical activity (exercise), diet and alcohol intake (N=14 297). We investigated change in each behaviour (pre/during the May 2020 lockdown), and differences by age/cohort, gender, ethnicity and socioeconomic position (childhood social class, education attainment and adult financial difficulties). Logistic regression models were used, accounting for study design and non-response weights, and meta-analysis used to pool and test cohort differences in association. RESULTS: Change occurred in both directions-shifts from the middle part of the distribution to both declines and increases in sleep, exercise and alcohol use. Older cohorts were less likely to report changes in behaviours while the youngest reported more frequent increases in sleep, exercise, and fruit and vegetable intake, yet lower alcohol consumption. Widening inequalities in sleep during lockdown were more frequent among women, socioeconomically disadvantaged groups and ethnic minorities. For other outcomes, inequalities were largely unchanged, yet ethnic minorities were at higher risk of undertaking less exercise and consuming lower amounts of fruit and vegetables. CONCLUSIONS: Our findings provide new evidence on the multiple changes to behavioural outcomes linked to lockdown, and the differential impacts across generation, gender, socioeconomic circumstances across life, and ethnicity. Lockdown appeared to widen some (but not all) forms of health inequality

    Right time to join? Organizational imprinting and women's careers in public service organizations

    Get PDF
    Women across the economy continue to encounter difficulties in progressing their careers as occupational segregation and precarious conditions symbolized by the “glass ceiling” and “glass cliff” indicate. Theories of imprint‐organization fit indicate that organizational munificence at the time of appointment may be an important influence on individual careers. Prosperous conditions at the time of hire might generate confidence and capability, whilst scarcity may prompt resourcefulness and resilience. While these effects have been examined in small private firms, they have been relatively unexplored in the context of public service organizations. Moreover, there has been little attention to the study of organizational munificence in the context of women's careers. Drawing on the Integrated Database for Labor Market Research in Denmark, this study evaluates the impact of organizational munificence at appointment on subsequent financial career benefits for women in Danish public services. Results indicate that resource scarcity at the time of appointment is related to enhanced career outcomes, and that the influence of conditions at the outset of a woman's career is more pronounced for women with lower levels of experience and education. The theoretical and practical implications of these findings are discussed

    Physical activity across age and study: a guide to data in six CLOSER studies

    Get PDF
    Explore the measures used to assess diverse aspects of physical activity within and across six CLOSER partner studie

    Using Spinning Dust Emission To Constrain The Abundance Of Very Small Dust Grains In Dense Cores

    Get PDF
    We present the first analysis of using spinning dust emission as a method to characterise the properties of very small interstellar dust grains in dense cores

    Corporatisation and the emergence of (under-managered) managed organisations: The case of English public hospitals

    Get PDF
    An enduring feature of new public management (NPM) in many countries has been the move to create more autonomous, ‘complete’ organisations such as universities, hospitals and social service agencies. Often referred to as ‘corporatisation’, this process is assumed to be leading to the emergence of new organisational forms with dedicated management functions and a greater focus on strategy. However, these assumptions remain largely untested and rely heavily on ‘technical’ accounts of organisational restructuring, ignoring the potential influence of institutional pressures and internal political dynamics. In this paper, we address this concern focusing on the case of acute care public hospitals that have undergone corporatisation (to become Foundation Trusts) in the English National Health Service. Using administrative data spanning six years (2007-2012), the analysis shows that corporatisation is having mixed effects. While it is associated with a shift in the focus of managers to strategic concerns, it has not led to an expansion of management functions overall. Both tendencies are found to be mediated by institutional pressures, in the form of media scrutiny, and, indirectly, by the involvement of clinical professions in management. These results advance ongoing debates about the emergence of new organisational forms in the public sector, highlighting the limitations of technical accounts of change and raising the possibility that corporatisation is leading to organisations that are both more managed and undermanagered at the same time
    • …
    corecore