2,032 research outputs found

    Taser and Social, Ethnic and Racial Disparities research programme

    Get PDF
    Report from the 'Taser use and its association with social, ethnic and racial disparities in policing (TASERD)' research project. The research project was initiated by the National Police Chiefsā€™ Council and commissioned by the College of Policing, after their Officer and Staff Safety Review (OSSR) in 2019 found there was growing evidence to suggest that Tasers were being used disproportionately in society. It was carried out by researchers from Keele University, UCL, The University of Exeter and Staffordshire University.National Police Chiefsā€™ CouncilLondonā€™s Mayor's Office for Policing and Crime (MOPAC

    UMSL Bulletin 2023-2024

    Get PDF
    The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp

    Climate Change and Critical Agrarian Studies

    Full text link
    Climate change is perhaps the greatest threat to humanity today and plays out as a cruel engine of myriad forms of injustice, violence and destruction. The effects of climate change from human-made emissions of greenhouse gases are devastating and accelerating; yet are uncertain and uneven both in terms of geography and socio-economic impacts. Emerging from the dynamics of capitalism since the industrial revolution ā€” as well as industrialisation under state-led socialism ā€” the consequences of climate change are especially profound for the countryside and its inhabitants. The book interrogates the narratives and strategies that frame climate change and examines the institutionalised responses in agrarian settings, highlighting what exclusions and inclusions result. It explores how different people ā€” in relation to class and other co-constituted axes of social difference such as gender, race, ethnicity, age and occupation ā€” are affected by climate change, as well as the climate adaptation and mitigation responses being implemented in rural areas. The book in turn explores how climate change ā€“ and the responses to it - affect processes of social differentiation, trajectories of accumulation and in turn agrarian politics. Finally, the book examines what strategies are required to confront climate change, and the underlying political-economic dynamics that cause it, reflecting on what this means for agrarian struggles across the world. The 26 chapters in this volume explore how the relationship between capitalism and climate change plays out in the rural world and, in particular, the way agrarian struggles connect with the huge challenge of climate change. Through a huge variety of case studies alongside more conceptual chapters, the book makes the often-missing connection between climate change and critical agrarian studies. The book argues that making the connection between climate and agrarian justice is crucial

    Complete and easy type Inference for first-class polymorphism

    Get PDF
    The Hindley-Milner (HM) typing discipline is remarkable in that it allows statically typing programs without requiring the programmer to annotate programs with types themselves. This is due to the HM system offering complete type inference, meaning that if a program is well typed, the inference algorithm is able to determine all the necessary typing information. Let bindings implicitly perform generalisation, allowing a let-bound variable to receive the most general possible type, which in turn may be instantiated appropriately at each of the variableā€™s use sites. As a result, the HM type system has since become the foundation for type inference in programming languages such as Haskell as well as the ML family of languages and has been extended in a multitude of ways. The original HM system only supports prenex polymorphism, where type variables are universally quantified only at the outermost level. This precludes many useful programs, such as passing a data structure to a function in the form of a fold function, which would need to be polymorphic in the type of the accumulator. However, this would require a nested quantifier in the type of the overall function. As a result, one direction of extending the HM system is to add support for first-class polymorphism, allowing arbitrarily nested quantifiers and instantiating type variables with polymorphic types. In such systems, restrictions are necessary to retain decidability of type inference. This work presents FreezeML, a novel approach for integrating first-class polymorphism into the HM system, focused on simplicity. It eschews sophisticated yet hard to grasp heuristics in the type systems or extending the language of types, while still requiring only modest amounts of annotations. In particular, FreezeML leverages the mechanisms for generalisation and instantiation that are already at the heart of ML. Generalisation and instantiation are performed by let bindings and variables, respectively, but extended to types beyond prenex polymorphism. The defining feature of FreezeML is the ability to freeze variables, which prevents the usual instantiation of their types, allowing them instead to keep their original, fully polymorphic types. We demonstrate that FreezeML is as expressive as System F by providing a translation from the latter to the former; the reverse direction is also shown. Further, we prove that FreezeML is indeed a conservative extension of ML: When considering only ML programs, FreezeML accepts exactly the same programs as ML itself. # We show that type inference for FreezeML can easily be integrated into HM-like type systems by presenting a sound and complete inference algorithm for FreezeML that extends Algorithm W, the original inference algorithm for the HM system. Since the inception of Algorithm W in the 1970s, type inference for the HM system and its descendants has been modernised by approaches that involve constraint solving, which proved to be more modular and extensible. In such systems, a term is translated to a logical constraint, whose solutions correspond to the types of the original term. A solver for such constraints may then be defined independently. To this end, we demonstrate such a constraint-based inference approach for FreezeML. We also discuss the effects of integrating the value restriction into FreezeML and provide detailed comparisons with other approaches towards first-class polymorphism in ML alongside a collection of examples found in the literature

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    UMSL Bulletin 2022-2023

    Get PDF
    The 2022-2023 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1087/thumbnail.jp

    Differences in well-being:the biological and environmental causes, related phenotypes, and real-time assessment

    Get PDF
    Well-being is a complex, and multifaceted construct that includes feeling good and functioning well. There is a growing global recognition of well-being as an important research topic and public policy goal. Well-being is related to less behavioral and emotional problems, and is associated with many positive aspects of daily life, including longevity, higher educational achievement, happier marriage, and more productivity at work. People differ in their levels of well-being, i.e., some people are in general happier or more satisfied with their lives than others. These individual differences in well-being can arise from many different factors, including biological (genetic) influences and environmental influences. To enhance the development of future mental health prevention and intervention strategies to increase well-being, more knowledge about these determinants and factors underlying well-being is needed. In this dissertation, I aimed to increase the understanding of the etiology in a series of studies using different methods, including systematic reviews, meta-analyses, twin designs, and molecular genetic designs. In part I, we brought together all published studies on the neural and physiological factors underlying well-being. This overview allowed us to critically investigate the claims made about the biology involved in well-being. The number of studies on the neural and physiological factors underlying well-being is increasing and the results point towards potential correlates of well-being. However, samples are often still small, and studies focus mostly on a single biomarker. Therefore, more well-powered, data-driven, and integrative studies across biological categories are needed to better understand the neural and physiological pathways that play a role in well-being. In part II, we investigated the overlap between well-being and a range of other phenotypes to learn more about the etiology of well-being. We report a large overlap with phenotypes including optimism, resilience, and depressive symptoms. Furthermore, when removing the genetic overlap between well-being and depressive symptoms, we showed that well-being has unique genetic associations with a range of phenotypes, independently from depressive symptoms. These results can be helpful in designing more effective interventions to increase well-being, taking into account the overlap and possible causality with other phenotypes. In part III, we used the extreme environmental change during the COVID-19 pandemic to investigate individual differences in the effects of such environmental changes on well-being. On average, we found a negative effect of the pandemic on different aspects of well-being, especially further into the pandemic. Whereas most previous studies only looked at this average negative effect of the pandemic on well-being, we focused on the individual differences as well. We reported large individual differences in the effects of the pandemic on well-being in both chapters. This indicates that one-size-fits-all preventions or interventions to maintain or increase well-being during the pandemic or lockdowns will not be successful for the whole population. Further research is needed for the identification of protective factors and resilience mechanisms to prevent further inequality during extreme environmental situations. In part IV, we looked at the real-time assessment of well-being, investigating the feasibility and results of previous studies. The real-time assessment of well-being, related variables, and the environment can lead to new insights about well-being, i.e., results that we cannot capture with traditional survey research. The real-time assessment of well-being is therefore a promising area for future research to unravel the dynamic nature of well-being fluctuations and the interaction with the environment in daily life. Integrating all results in this dissertation confirmed that well-being is a complex human trait that is influenced by many interrelated and interacting factors. Future directions to understand individual differences in well-being will be a data-driven approach to investigate the complex interplay of neural, physiological, genetic, and environmental factors in well-being

    Second-Order Hyperproperties

    Full text link
    We introduce Hyper2^2LTL, a temporal logic for the specification of hyperproperties that allows for second-order quantification over sets of traces. Unlike first-order temporal logics for hyperproperties, such as HyperLTL, Hyper2^2LTL can express complex epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous hyperproperties. The model checking problem of Hyper2^2LTL is, in general, undecidable. For the expressive fragment where second-order quantification is restricted to smallest and largest sets, we present an approximate model-checking algorithm that computes increasingly precise under- and overapproximations of the quantified sets, based on fixpoint iteration and automata learning. We report on encouraging experimental results with our model-checking algorithm, which we implemented in the tool~\texttt{HySO}

    AI: Limits and Prospects of Artificial Intelligence

    Get PDF
    The emergence of artificial intelligence has triggered enthusiasm and promise of boundless opportunities as much as uncertainty about its limits. The contributions to this volume explore the limits of AI, describe the necessary conditions for its functionality, reveal its attendant technical and social problems, and present some existing and potential solutions. At the same time, the contributors highlight the societal and attending economic hopes and fears, utopias and dystopias that are associated with the current and future development of artificial intelligence
    • ā€¦
    corecore