649 research outputs found

    Fibrational induction meets effects

    Get PDF
    This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

    Development of a Map Viewer for Archipielago de Cabrera National Park, Balearic Islands, Spain

    Get PDF
    This chapter describes the development of a map viewer (accessible in Spanish at http://www .ideo-cabrera.ieo.es) for the Archipelago de Cabrera National Park, Balearic Islands, Spain. The park is a region with various forms of protection, demonstrating the importance of this area and the need to expand knowledge about it and facilitate the management and monitoring of a wide range of environmental threats and hazards. The development of the map viewer (leveraging ArcGIS Viewer for Flex software) is one of the pioneering initiatives in Spain relating GIS technology to the marine environment. It is the result of extensive interinstitutional collaboration between the EU-US Marine Biodiversity research group of the Instituto Franklin-Universidad de Alcalá, the Instituto Español de Oceanografía, and the Organismo Autónomo de Parques Nacionales. Keywords for this chapter include GIS, web mapping, map viewer, Visor, metadata, WMS, INSPIRE, ArcGIS, Geoportal, Cabrera, parque nacional, national park, Islas Baleares, Balearic Islands, España, Spain.Postprin

    THE ACCUSED IS ENTERING THE COURTROOM: THE LIVE-TWEETING OF A MURDER TRIAL.

    Get PDF
    © 2017 Informa UK Limited, trading as Taylor & Francis GroupThe use of social media is now widely accepted within journalism as an outlet for news information. Live tweeting of unfolding events is standard practice. In March 2014, Oscar Pistorius went on trial in the Gauteng High Court for murder. Hundreds of journalists present began live-tweeting coverage, an unprecedented combination of international interest, permission to use technology and access which resulted in massive streams of consciousness reports of events as they unfolded. Based on a corpus of Twitter feeds of twenty-four journalists covering the trial, this study analyses the content and strategies of these feeds in order to present an understanding of how microblogging is used as a live reporting tool. This study shows the development of standardised language and strategies in reporting on Twitter, concluding that journalists adopt a narrow range of approaches, with no significant variation in terms of gender, location, or medium. This is in contrast to earlier studies in the field (Awad, 2006, Hedman, 2015; Kothari, 2010; Lariscy, Avery, Sweetser, & Howes, 2009 Lasorsa, 2012; Lasorsa, Lewis, & Holton, 2011; Sigal, 1999, Vis, 2013).Peer reviewe

    Generic Fibrational Induction

    Full text link
    This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, a sound induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of a particular syntactic form. We establish the soundness of our generic induction rule by reducing induction to iteration. We then show how our generic induction rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The first of these lies outside the scope of Hermida and Jacobs' work because it is not polynomial, and as far as we are aware, no induction rules have been known to exist for the second and third in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set.Comment: For Special Issue from CSL 201

    Marine GIS Applications: GIS Spanish Institute of Oceanography

    Get PDF
    Poster presentado en el SIEBM XVIII Simposio Ibérico de Biología MarinaSince 1998 in the IEO is developing a MARINE GIS with the objective of organize, harmonize, standardize, integrated the geo-information of IEO. GIS tools are used in several projects carried out in the IEO related to study of living resources, natural resources, studies of evolution of natural phenomena, collecting data, marine spatial planning, etc

    Dealing with the mess (we made): Unraveling hybridity, normativity, and complexity in journalism studies

    Get PDF
    In this article, we discuss the rise and use of the concept of hybridity in journalism studies. Hybridity afforded a meaningful intervention in a discipline that had the tendency to focus on a stabilized and homogeneous understanding of the field. Nonetheless, we now need to reconsider its deployment, as it only partially allows us to address and understand the developments in journalism. We argue that if scholarship is to move forward in a productive manner, we need, rather than denote everything that is complex as hybrid, to develop new approaches to our object of study. Ultimately, this is an open invitation to the field to adopt experientialist, practice-based approaches that help us overcome the ultimately limited binary dualities that have long governed our theoretical and empirical work in the field

    Association of increased fibrinogen concentration with impaired activation of anticoagulant protein C

    Get PDF
    BACKGROUND: Low levels of activated protein C (APC) are a risk factor for venous thrombosis. The mechanisms leading to interindividual differences in APC are not totally elucidated. Protein C is activated by the thrombin-thrombomodulin complex. As thrombin binds to fibrinogen and thrombomodulin through a common region, it is conceivable that fibrinogen influences the activation of protein C. This would help to explain the association between high levels of fibrinogen and an increased thrombotic risk. METHODS: We analyzed the association between circulating APC levels and fibrinogen concentration in 382 healthy subjects. Subsequently, we studied the effect of increasing fibrinogen concentrations on the APC generation on cultured endothelial cells. RESULTS: An independent inverse association between circulating APC levels and fibrinogen was found [betacoefficient, -0.16; 95% confidence interval (95% CI) -0.26, -0.06; P = 0.001]. For each 100 mg dL(-1) increase in fibrinogen, the independent risk of having low APC levels (<0.7 ng mL(-1)) was almost three times higher (OR 2.8; 95% CI 1.1, 7.2; P = 0.04). Accordingly, a notable association between increasing fibrinogen concentrations and the reduction in the thrombin-thrombomodulin dependent activation of protein C on endothelial cells was found (r = -0.57; P = 0.002). CONCLUSIONS: We present evidence of an inverse association between circulating APC and fibrinogen levels. According to this finding together with the results of our in vitro experiments, we propose that the impairment in the generation of APC on endothelial cells constitutes a new prothrombotic mechanism of fibrinogen

    Electroconvulsive Therapy Practice Changes in Older Individuals Due to COVID-19: Expert Consensus Statement

    Get PDF
    © 2020 American Association for Geriatric Psychiatry The ubiquitous coronavirus 2019 (COVID-19) pandemic has required healthcare providers across all disciplines to rapidly adapt to public health guidelines to reduce risk while maintaining quality of care. Electroconvulsive therapy (ECT), which involves an aerosol-generating procedure from manual ventilation with a bag mask valve while under anesthesia, has undergone drastic practice changes in order to minimize disruption of treatment in the midst of COVID-19. In this paper, we provide a consensus statement on the clinical practice changes in ECT specific to older adults based on expert group discussions of ECT practitioners across the country and a systematic review of the literature. There is a universal consensus that ECT is an essential treatment of severe mental illness. In addition, there is a clear consensus on what modifications are imperative to ensure continued delivery of ECT in a manner that is safe for patients and Northwell Health, while maintaining the viability of ECT services. Approaches to modifications in ECT to address infection control, altered ECT procedures, and adjusting ECT operations are almost uniform across the globe. With modified ECT procedures, it is possible to continue to meet the needs of older patients while mitigating risk of transmission to this vulnerable population
    • …
    corecore