119 research outputs found
The ReSIST Resilience Knowledge Base
We describe a prototype knowledge base that uses semantic web technologies to provide a service for querying a large and expanding collection of public data about resilience, dependability and security. We report progress and identify opportunities to support resilience-explicit computing by developing metadata-based descriptions of resilience mechanisms that can be used to support design time and, potentially, run-time decision making
Canadian Arctic–Beaufort Sea Rifted Margin Tectono-Sedimentary Element, SE Canada Basin
Peer reviewedPostprin
Verifiable Classroom Voting in Practice
Classroom voting is an important pedagogical technique in which students learn by voting on the answers to questions. The same voting platform is also often used for exercises such as rating lecturer performance and voting for prizes. In this paper, we present VCV, an end-to-end (E2E) verifiable classroom voting system built based on the DRE-i protocol. Our system provides E2E verifiability without tallying authorities; it supports voting through mobile phones with constrained computing resources; it reports the tallying results instantly after voting is finished along with cryptographic proofs that enable the public to verify the tallying integrity. Since 2013, the VCV system has been used regularly in real classroom teaching, as well as academic prize competitions, in Newcastle University with positive user feedback. Our experience suggests that E2E verifiable voting through the internet and using mobile phones is feasible for daily routine activities such as classroom voting
The Atomic Manifesto: a Story in Four Quarks
This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific communities: database and transaction processing systems, fault tolerance and dependable systems, formal methods for system design and correctness reasoning, and hardware architecture and programming languages. Each community presents its position in interpreting the notion of atomicity and the existing state of the art, and each community identifies scientific challenges that should be addressed in future work. In addition, the report discusses common themes across communities and strategic research problems that require multiple communities to team up for a viable solution.
The general theme of how to specify, implement, compose, and reason about extended
and relaxed notions of atomicity is viewed as a key piece in coping with
the pressing issue of building and maintaining highly dependable systems that
comprise many components with complex interaction patterns
A Unique 100 Meter Underwater Survey Method Documents Changes in Abundance, Richness, and Community Structure of Hawaiʹi Reef Fishes
Hawai′i coral reefs are essential ecosystems providing resources in the form of food and recreation as well as stabilizing nearshore biodiversity. The Seattle Aquarium has exhibited Hawai′i reef fishes and corals since the mid-1980s to educate guests about these critical ecosystems. In 2009, and in collaboration with Hawai′i’s Division of Aquatic Resources (DAR) and Washington State University, the aquarium expanded its conservation work in Hawai′i through annual surveying of eight reefs along the west coast of Hawai′i via SCUBA-based diver operated video (DOV). Five of the sites are in areas partially closed to most fishing while three sites are in areas partially open to most fishing. 100-meter DOV surveys took place a meter above a horizontal or vertical reef, and survey locations were marked with GPS and fixed underwater markings to enable annual surveys to occur in the same locations. Counts of fish species were subsequently made from the archived video. Over the 11 year dataset we documented increased total abundance at all sites and periods of increasing and decreasing species richness. Multivariate analyses comparing fish community structure before (2009-2012) and after an anomalous warm-water event (2013-2019) documented a persistent shift in community structure. This coincides with a documented marine heat wave in Hawai′i and associated coral bleaching events between 2013-2016. These results suggest that our long-term monitoring program captured a phase shift in community structure associated with changing environmental conditions. These persistent shifts may thus indicate hysteresis at relatively short temporal scales, and ongoing monitoring is required to observe whether the systems shift back to the pre-2013 community structure. As coral reef ecosystems face a multitude of stressors from warming waters to marine pollution, long-term monitoring programs are essential to illuminate trends that may inform conservation and management strategies to preserve these imperiled ecosystems
Airway Epithelial Progenitors Are Region Specific and Show Differential Responses to Bleomycin-Induced Lung Injury
Mechanisms that regulate regional epithelial cell diversity and pathologic remodeling in airways are poorly understood. We hypothesized that regional differences in cell composition and injury-related tissue remodeling result from the type and composition of local progenitors. We used surface markers and the spatial expression pattern of an SFTPC-GFP transgene to subset epithelial progenitors by airway region. Green fluorescent protein (GFP) expression ranged from undetectable to high in a proximal-to-distal gradient. GFPhi cells were subdivided by CD24 staining into alveolar (CD24neg) and conducting airway (CD24low) populations. This allowed for the segregation of three types of progenitors displaying distinct clonal behavior in vitro. GFPneg and GFPlow progenitors both yielded lumen containing colonies but displayed transcriptomes reflective of pseudostratified and distal conducting airways, respectively. CD24lowGFPhi progenitors were present in an overlapping distribution with GFPlow progenitors in distal airways, yet expressed lower levels of Sox2 and expanded in culture to yield undifferentiated self-renewing progeny. Colony-forming ability was reduced for each progenitor cell type after in vivo bleomycin exposure, but only CD24lowGFPhi progenitors showed robust expansion during tissue remodeling. These data reveal intrinsic differences in the properties of regional progenitors and suggest that their unique responses to tissue damage drive local tissue remodeling. Disclosure of potential conflicts of interest is found at the end of this article
Computerized clinical decision support systems for primary preventive care: A decision-maker-researcher partnership systematic review of effects on process of care and patient outcomes
The Impact of eHealth on the Quality and Safety of Health Care: A Systematic Overview
Aziz Sheikh and colleagues report the findings of their systematic overview that assessed the impact of eHealth solutions on the quality and safety of health care
Relationship between the Clinical Frailty Scale and short-term mortality in patients ≥ 80 years old acutely admitted to the ICU: a prospective cohort study.
BACKGROUND: The Clinical Frailty Scale (CFS) is frequently used to measure frailty in critically ill adults. There is wide variation in the approach to analysing the relationship between the CFS score and mortality after admission to the ICU. This study aimed to evaluate the influence of modelling approach on the association between the CFS score and short-term mortality and quantify the prognostic value of frailty in this context. METHODS: We analysed data from two multicentre prospective cohort studies which enrolled intensive care unit patients ≥ 80 years old in 26 countries. The primary outcome was mortality within 30-days from admission to the ICU. Logistic regression models for both ICU and 30-day mortality included the CFS score as either a categorical, continuous or dichotomous variable and were adjusted for patient's age, sex, reason for admission to the ICU, and admission Sequential Organ Failure Assessment score. RESULTS: The median age in the sample of 7487 consecutive patients was 84 years (IQR 81-87). The highest fraction of new prognostic information from frailty in the context of 30-day mortality was observed when the CFS score was treated as either a categorical variable using all original levels of frailty or a nonlinear continuous variable and was equal to 9% using these modelling approaches (p < 0.001). The relationship between the CFS score and mortality was nonlinear (p < 0.01). CONCLUSION: Knowledge about a patient's frailty status adds a substantial amount of new prognostic information at the moment of admission to the ICU. Arbitrary simplification of the CFS score into fewer groups than originally intended leads to a loss of information and should be avoided. Trial registration NCT03134807 (VIP1), NCT03370692 (VIP2)
- …