Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin proof-of-work consensus protocol. We use a model-checking tool (UPPAALSMC) to examine the concrete security of proof-ofwork consensus by varying protocol parameters and using an adversary that leverages the selfish mining strategy introduced in [GKL15]. We provide insights into modeling proof-of-work protocols and demonstrate tradeoffs between operating parameters. Applying this methodology to protocol design options, we show that the uniform tie-breaking rule from [ES18] decreases the failure rate of the chain quality property, but increases the failure rate of the common prefix property. This tradeoff illustrates how design decisions affect protocol properties, within a range of concrete operating conditions, in a manner that is not evident from prior asymptotic analysis

Caring for Others, but Not Themselves: Implications for Health Care Interventions in Women with Cardiovascular Disease

Cardiovascular disease is the largest killer of women internationally and women often suffer inferior outcomes following an acute cardiac event as compared to men. A gendered approach to investigating cardiovascular disease in women incorporates the unique social, cultural, and economic circumstances that being a woman brings to the health encounter. The multiple roles enacted by many women may be important factors in this health discrepancy. In order to more fully understand the impact of the roles of women on health, a questionnaire was administered to participants of the Heart Awareness for Women group cardiac rehabilitation program which assessed women's role perceptions followed by discussions. We found that caregiving can be both positive and negative. It gives a sense of purpose, meaning, and community connection as well as burden and conflict. Emphasis must be placed on promoting strategies in women to achieve a balance between caregiving responsibilities and prioritisation of cardiovascular health

Assessment of Changes of Complex Shoreline from Medium‑Resolution Satellite Imagery

The imagery collected by medium-resolution earth-observing satellites is a powerful and cost-effective tool for the quantitative assessment of shoreline dynamics for water bodies of different spatial scales. In this study, we utilize imagery collected in 1984–2021 on the Middle Peninsula, Virginia, bordering the Chesapeake Bay, USA, by medium-resolution (10–30 m) satellites Landsat-5/7/8 and Sentinel-2A/B. The data was managed in the Earth Analytics Interoperability Lab (EAIL) Data Cube built and configured by the Commonwealth Scientific and Industrial Research Organization (CSIRO, Australia and Chile). The assessments of shoreline change demonstrate adequate agreement with assessments based on aerial photography collected during 1937–2009 by the Virginia Institute of Marine Science, with reasonable disagreement attributed to the differences in the analyzed periods and in the accuracy of land/ water edge detection. Most of the studied coastline was subject to land loss (erosion), in some locations exceeding 3 m year− 1, usually along low-lying sandy beaches. The shoreline segments with man-made structures such as marinas, bulkheads, revetments, and offshore breakwaters demonstrated a significantly lower range of changes as compared to natural reaches. Regular analysis of medium resolution satellite imagery appears to be an effective method for routine assessment of shoreline changes along the land/water edge

Clinician Perspectives of Barriers to Effective Implementation of a Rapid Response System in an Academic Health Centre: A Focus Group Study

Background: Systemic and structural issues of rapid response system (RRS) models can hinder implementation. This study sought to understand the ways in which acute care clinicians (physicians and nurses) experience and negotiate care for deteriorating patients within the RRS. Methods: Physicians and nurses working within an Australian academic health centre within a jurisdictional-based model of clinical governance participated in focus group interviews. Verbatim transcripts were analysed using thematic content analysis. Results: Thirty-four participants (21 physicians and 13 registered nurses [RNs]) participated in six focus groups over five weeks in 2014. Implementing the RRS in daily practice was a process of informal communication and negotiation in spite of standardised protocols. Themes highlighted several systems or organisational-level barriers to an effective RRS, including (1) responsibility is inversely proportional to clinical experience; (2) actions around system flexibility contribute to deviation from protocol; (3) misdistribution of resources leads to perceptions of inadequate staffing levels inhibiting full optimisation of the RRS; and (4) poor communication and documentation of RRS increases clinician workloads. Conclusion: Implementing a RRS is complex and multifactorial, influenced by various inter- and intra-professional factors, staffing models and organisational culture. The RRS is not a static model; it is both reflexive and iterative, perpetually transforming to meet healthcare consumer and provider demands and local unit contexts and needs. Requiring more than just a strong initial implementation phase, new models of care such as a RRS demand good governance processes, ongoing support and regular evaluation and refinement. Cultural, organizational and professional factors, as well as systems-based processes, require consideration if RRSs are to achieve their intended outcomes in dynamic healthcare settings

An Introduction to the \u27Oceans and Society: Blue Planet\u27 Initiative

We live on a blue planet, and Earth’s waters benefit many sectors of society. The future of our blue planet is increasingly reliant on the services delivered by marine, coastal and inland waters and on the advancement of effective, evidence-based decisions on sustainable development. ‘Oceans and Society: Blue Planet’ is an initiative of the Group on Earth Observations (GEO) that aims to ensure the sustained development and use of ocean and coastal observations for the benefit of society. The initiative works to advance and exploit synergies among the many observational programmes devoted to ocean and coastal waters; to improve engagement with a variety of stakeholders for enhancing the timeliness, quality and range of information delivered; and to raise awareness of the societal benefits of ocean observations at the public and policy levels. This paper summarises the role of the initiative, current activities and considerations for future directions

Eddy-resolving simulation of plankton ecosystem dynamics in the California Current System

Author Posting. © Elsevier B.V., 2006. This is the author's version of the work. It is posted here by permission of Elsevier B.V. for personal use, not for redistribution. The definitive version was published in Deep Sea Research Part I: Oceanographic Research Papers 53 (2006): 1483-1516, doi:10.1016/j.dsr.2006.06.005.We study the dynamics of the planktonic ecosystem in the coastal upwelling zone within the California Current System using a three-dimensional, eddy-resolving circulation model coupled to an ecosystem/biogeochemistry model. The physical model is based on the Regional Oceanic Modeling System (ROMS), configured at a resolution of 15 km for a domain covering the entire U.S. West Coast, with an embedded child grid covering the central California upwelling region at a resolution of 5 km. The model is forced with monthly mean boundary conditions at the open lateral boundaries as well as at the surface. The ecological/biogeochemical model is nitrogen based, includes single classes for phytoplankton and zooplankton, and considers two detrital pools with different sinking speeds. The model also explicitly simulates a variable chlorophyll-to-carbon ratio. Comparisons of model results with either remote sensing observations (AVHRR, SeaWiFS) or in situ measurements from the CalCOFI program indicate that our model is capable of replicating many of the large-scale, time averaged features of the coastal upwelling system. An exception is the underestimation of the chlorophyll levels in the northern part of the domain, perhaps because of the lack of short-term variations in the forcing from the atmosphere. Another shortcoming is that the modeled thermocline is too diffuse, and that the upward slope of the isolines toward the coast is too small. Detailed time-series comparisons with observations from Monterey Bay reveal similar agreements and discrepancies. We attribute the good agreement between the modeled and observed ecological properties in large part to the accuracy of the physical fields. In turn, many of the discrepancies can be traced back to our use of monthly mean forcing. Analysis of the ecosystem structure and dynamics reveal that the magnitude and pattern of phytoplankton biomass in the nearshore region are determined largely by the balance of growth and zooplankton grazing, while in the offshore region, growth is balanced by mortality. The latter appears to be inconsistent with in situ observations and is a result of our consideration of only one zooplankton size class (mesozooplankton), neglecting the importance of microzooplankton grazing in the offshore region. A comparison of the allocation of nitrogen into the different pools of the ecosystem in the 3-D results with those obtained from a box model configuration of the same ecosystem model reveals that only a few components of the ecosystem reach a local steady-state, i.e. where biological sources and sinks balance each other. The balances for the majority of the components are achieved by local biological source and sink terms balancing the net physical divergence, confirming the importance of the 3-D nature of circulation and mixing in a coastal upwelling system.Most of this work has been made possible by two grants from NASA. Additional support is acknowledged from NSF’s ITR program

Prevalence of Influenza A viruses in wild migratory birds in Alaska: Patterns of variation in detection at a crossroads of intercontinental flyways

<p>Abstract</p> <p>Background</p> <p>The global spread of the highly pathogenic avian influenza H5N1 virus has stimulated interest in a better understanding of the mechanisms of H5N1 dispersal, including the potential role of migratory birds as carriers. Although wild birds have been found dead during H5N1 outbreaks, evidence suggests that others have survived natural infections, and recent studies have shown several species of ducks capable of surviving experimental inoculations of H5N1 and shedding virus. To investigate the possibility of migratory birds as a means of H5N1 dispersal into North America, we monitored for the virus in a surveillance program based on the risk that wild birds may carry the virus from Asia.</p> <p>Results</p> <p>Of 16,797 birds sampled in Alaska between May 2006 and March 2007, low pathogenic avian influenza viruses were detected in 1.7% by rRT-PCR but no highly pathogenic viruses were found. Our data suggest that prevalence varied among sampling locations, species (highest in waterfowl, lowest in passerines), ages (juveniles higher than adults), sexes (males higher than females), date (highest in autumn), and analytical technique (rRT-PCR prevalence = 1.7%; virus isolation prevalence = 1.5%).</p> <p>Conclusion</p> <p>The prevalence of low pathogenic avian influenza viruses isolated from wild birds depends on biological, temporal, and geographical factors, as well as testing methods. Future studies should control for, or sample across, these sources of variation to allow direct comparison of prevalence rates.</p

Influence of nutrients and currents on the genomic composition of microbes across an upwelling mosaic

Metagenomic data sets were generated from samples collected along a coastal to open ocean transect between Southern California Bight and California Current waters during a seasonal upwelling event, providing an opportunity to examine the impact of episodic pulses of cold nutrient-rich water into surface ocean microbial communities. The data set consists of ∼5.8 million predicted proteins across seven sites, from three different size classes: 0.1–0.8, 0.8–3.0 and 3.0–200.0 μm. Taxonomic and metabolic analyses suggest that sequences from the 0.1–0.8 μm size class correlated with their position along the upwelling mosaic. However, taxonomic profiles of bacteria from the larger size classes (0.8–200 μm) were less constrained by habitat and characterized by an increase in Cyanobacteria, Bacteroidetes, Flavobacteria and double-stranded DNA viral sequences. Functional annotation of transmembrane proteins indicate that sites comprised of organisms with small genomes have an enrichment of transporters with substrate specificities for amino acids, iron and cadmium, whereas organisms with larger genomes have a higher percentage of transporters for ammonium and potassium. Eukaryotic-type glutamine synthetase (GS) II proteins were identified and taxonomically classified as viral, most closely related to the GSII in Mimivirus, suggesting that marine Mimivirus-like particles may have played a role in the transfer of GSII gene functions. Additionally, a Planctomycete bloom was sampled from one upwelling site providing a rare opportunity to assess the genomic composition of a marine Planctomycete population. The significant correlations observed between genomic properties, community structure and nutrient availability provide insights into habitat-driven dynamics among oligotrophic versus upwelled marine waters adjoining each other spatially

The role of stakeholders in creating societal value from coastal and ocean observations

The importance of stakeholder engagement in ocean observation and in particular the realization of economic and societal benefits is discussed, introducing a number of overarching principles such as the convergence on common goals, effective communication, co-production of information and knowledge and the need for innovation. A series of case studies examine the role of coordinating frameworks such as the United States’ Interagency Ocean Observing System (IOOS®), and the European Ocean Observing System (EOOS), public–private partnerships such as Project Azul and the Coastal Data Information Program (CDIP) and finally the role of the “third” or voluntary sector. The paper explores the value that stakeholder engagement can bring as well as making recommendations for the future