CHERI Concentrate: Practical Compressed Capabilities

We present CHERI Concentrate, a new fat-pointer compression scheme applied to CHERI, the most developed capability-pointer system at present. Capability fat-pointers are a primary candidate for enforcing fine-grained and non-bypassable security properties in future computer systems, although increased pointer size can severely affect performance. Thus, several proposals for capability compression have been suggested but these did not support legacy instruction sets, ignored features critical to the existing software base, and also introduced design inefficiencies to RISC-style processor pipelines. CHERI Concentrate improves on the state-of-the-art region-encoding efficiency, solves important pipeline problems, and eases semantic restrictions of compressed encoding, allowing it to protect a full legacy software stack. We analyze and extend logic from the open-source CHERI prototype processor design on FPGA to demonstrate encoding efficiency, minimize delay of pointer arithmetic, and eliminate additional load-to-use delay. To verify correctness of our proposed high-performance logic, we present a HOL4 machine-checked proof of the decode and pointer-modify operations. Finally, we measure a 50%-75% reduction in L2 misses for many compiled C-language benchmarks running under a commodity operating system using compressed 128-bit and 64-bit formats, demonstrating both compatibility with and increased performance over the uncompressed, 256-bit format

Upper atmospheres and ionospheres of planets and satellites

The upper atmospheres of the planets and their satellites are more directly exposed to sunlight and solar wind particles than the surface or the deeper atmospheric layers. At the altitudes where the associated energy is deposited, the atmospheres may become ionized and are referred to as ionospheres. The details of the photon and particle interactions with the upper atmosphere depend strongly on whether the object has anintrinsic magnetic field that may channel the precipitating particles into the atmosphere or drive the atmospheric gas out to space. Important implications of these interactions include atmospheric loss over diverse timescales, photochemistry and the formation of aerosols, which affect the evolution, composition and remote sensing of the planets (satellites). The upper atmosphere connects the planet (satellite) bulk composition to the near-planet (-satellite) environment. Understanding the relevant physics and chemistry provides insight to the past and future conditions of these objects, which is critical for understanding their evolution. This chapter introduces the basic concepts of upper atmospheres and ionospheres in our solar system, and discusses aspects of their neutral and ion composition, wind dynamics and energy budget. This knowledge is key to putting in context the observations of upper atmospheres and haze on exoplanets, and to devise a theory that explains exoplanet demographics.Comment: Invited Revie

Purification and functional characterisation of rhiminopeptidase A, a novel aminopeptidase from the venom of Bitis gabonica rhinoceros

This study describes the discovery and characterisation of a novel aminopeptidase A from the venom of B. g. rhinoceros and highlights its potential biological importance. Similar to mammalian aminopeptidases, rhiminopeptidase A might be capable of playing roles in altering the blood pressure and brain function of victims. Furthermore, it could have additional effects on the biological functions of other host proteins by cleaving their N-terminal amino acids. This study points towards the importance of complete analysis of individual components of snake venom in order to develop effective therapies for snake bites

A requirement for astrocyte IP3R2 signaling for whisker experience-dependent depression and homeostatic upregulation in the mouse barrel cortex.

Changes to sensory experience result in plasticity of synapses in the cortex. This experience-dependent plasticity (EDP) is a fundamental property of the brain. Yet, while much is known about neuronal roles in EDP, very little is known about the role of astrocytes. To address this issue, we used the well-described mouse whiskers-to-barrel cortex system, which expresses a number of forms of EDP. We found that all-whisker deprivation induced characteristic experience-dependent Hebbian depression (EDHD) followed by homeostatic upregulation in L2/3 barrel cortex of wild type mice. However, these changes were not seen in mutant animals (IP3R2-/-) that lack the astrocyte-expressed IP3 receptor subtype. A separate paradigm, the single-whisker experience, induced potentiation of whisker-induced response in both wild-type (WT) mice and IP3R2-/- mice. Recordings in ex vivo barrel cortex slices reflected the in vivo results so that long-term depression (LTD) could not be elicited in slices from IP3R2-/- mice, but long-term potentiation (LTP) could. Interestingly, 1 Hz stimulation inducing LTD in WT paradoxically resulted in NMDAR-dependent LTP in slices from IP3R2-/- animals. The LTD to LTP switch was mimicked by acute buffering astrocytic [Ca2+] i in WT slices. Both WT LTD and IP3R2-/- 1 Hz LTP were mediated by non-ionotropic NMDAR signaling, but only WT LTD was P38 MAPK dependent, indicating an underlying mechanistic switch. These results demonstrate a critical role for astrocytic [Ca2+] i in several EDP mechanisms in neocortex

Characteristics of outdoor falls among older people: A qualitative study

Background Falls are a major threat to older people’s health and wellbeing. Approximately half of falls occur in outdoor environments but little is known about the circumstances in which they occur. We conducted a qualitative study to explore older people’s experiences of outdoor falls to develop understanding of how they may be prevented. Methods We conducted nine focus groups across the UK (England, Wales, and Scotland). Our sample was from urban and rural settings and different environmental landscapes. Participants were aged 65+ and had at least one outdoor fall in the past year. We analysed the data using framework and content analyses. Results Forty-four adults aged 65 – 92 took part and reported their experience of 88 outdoor falls. Outdoor falls occurred in a variety of contexts, though reports suggested the following scenarios may have been more frequent: when crossing a road, in a familiar area, when bystanders were around, and with an unreported or unknown attribution. Most frequently, falls resulted in either minor or moderate injury, feeling embarrassed at the time of the fall, and anxiety about falling again. Ten falls resulted in fracture, but no strong pattern emerged in regard to the contexts of these falls. Anxiety about falling again appeared more prevalent among those that fell in urban settings and who made more visits into their neighbourhood in a typical week. Conclusions This exploratory study has highlighted several aspects of the outdoor environment that may represent risk factors for outdoor falls and associated fear of falling. Health professionals are recommended to consider outdoor environments as well as the home setting when working to prevent falls and increase mobility among older people

Large introns in relation to alternative splicing and gene evolution: a case study of Drosophila bruno-3

Background: Alternative splicing (AS) of maturing mRNA can generate structurally and functionally distinct transcripts from the same gene. Recent bioinformatic analyses of available genome databases inferred a positive correlation between intron length and AS. To study the interplay between intron length and AS empirically and in more detail, we analyzed the diversity of alternatively spliced transcripts (ASTs) in the Drosophila RNA-binding Bruno-3 (Bru-3) gene. This gene was known to encode thirteen exons separated by introns of diverse sizes, ranging from 71 to 41,973 nucleotides in D. melanogaster. Although Bru-3's structure is expected to be conducive to AS, only two ASTs of this gene were previously described. Results: Cloning of RT-PCR products of the entire ORF from four species representing three diverged Drosophila lineages provided an evolutionary perspective, high sensitivity, and long-range contiguity of splice choices currently unattainable by high-throughput methods. Consequently, we identified three new exons, a new exon fragment and thirty-three previously unknown ASTs of Bru-3. All exon-skipping events in the gene were mapped to the exons surrounded by introns of at least 800 nucleotides, whereas exons split by introns of less than 250 nucleotides were always spliced contiguously in mRNA. Cases of exon loss and creation during Bru-3 evolution in Drosophila were also localized within large introns. Notably, we identified a true de novo exon gain: exon 8 was created along the lineage of the obscura group from intronic sequence between cryptic splice sites conserved among all Drosophila species surveyed. Exon 8 was included in mature mRNA by the species representing all the major branches of the obscura group. To our knowledge, the origin of exon 8 is the first documented case of exonization of intronic sequence outside vertebrates. Conclusion: We found that large introns can promote AS via exon-skipping and exon turnover during evolution likely due to frequent errors in their removal from maturing mRNA. Large introns could be a reservoir of genetic diversity, because they have a greater number of mutable sites than short introns. Taken together, gene structure can constrain and/or promote gene evolution

Integrative miRNA-mRNA Profiling of Adipose Tissue Unravels Transcriptional Circuits Induced by Sleep Fragmentation

Obstructive sleep apnea (OSA) is a prevalent condition and strongly associated with metabolic disorders. Sleep fragmentation (SF) is a major consequence of OSA, but its contribution to OSA-related morbidities is not known. We hypothesized that SF causes specific perturbations in transcriptional networks of visceral fat cells, leading to systemic metabolic disturbances. We simultaneously profiled visceral adipose tissue mRNA and miRNA expression in mice exposed to 6 hours of SF during sleep, and developed a new computational framework based on gene set enrichment and network analyses to merge these data. This approach leverages known gene product interactions and biologic pathways to interrogate large-scale gene expression profiling data. We found that SF induced the activation of several distinct pathways, including those involved in insulin regulation and diabetes. Our integrative methodology identified putative controllers and regulators of the metabolic response during SF. We functionally validated our findings by demonstrating altered glucose and lipid homeostasis in sleep-fragmented mice. This is the first study to link sleep fragmentation with widespread disruptions in visceral adipose tissue transcriptome, and presents a generalizable approach to integrate mRNA-miRNA information for systematic mapping of regulatory networks

Analysis of the effectiveness of interventions used during the 2009 A/H1N1 influenza pandemic

<p>Abstract</p> <p>Background</p> <p>Following the emergence of the A/H1N1 2009 influenza pandemic, public health interventions were activated to lessen its potential impact. Computer modelling and simulation can be used to determine the potential effectiveness of the social distancing and antiviral drug therapy interventions that were used at the early stages of the pandemic, providing guidance to public health policy makers as to intervention strategies in future pandemics involving a highly pathogenic influenza strain.</p> <p>Methods</p> <p>An individual-based model of a real community with a population of approximately 30,000 was used to determine the impact of alternative interventions strategies, including those used in the initial stages of the 2009 pandemic. Different interventions, namely school closure and antiviral strategies, were simulated in isolation and in combination to form different plausible scenarios. We simulated epidemics with reproduction numbers R₀of 1.5, which aligns with estimates in the range 1.4-1.6 determined from the initial outbreak in Mexico.</p> <p>Results</p> <p>School closure of 1 week was determined to have minimal effect on reducing overall illness attack rate. Antiviral drug treatment of 50% of symptomatic cases reduced the attack rate by 6.5%, from an unmitigated rate of 32.5% to 26%. Treatment of diagnosed individuals combined with additional household prophylaxis reduced the final attack rate to 19%. Further extension of prophylaxis to close contacts (in schools and workplaces) further reduced the overall attack rate to 13% and reduced the peak daily illness rate from 120 to 22 per 10,000 individuals. We determined the size of antiviral stockpile required; the ratio of the required number of antiviral courses to population was 13% for the treatment-only strategy, 25% for treatment and household prophylaxis and 40% for treatment, household and extended prophylaxis. Additional simulations suggest that coupling school closure with the antiviral strategies further reduces epidemic impact.</p> <p>Conclusions</p> <p>These results suggest that the aggressive use of antiviral drugs together with extended school closure may substantially slow the rate of influenza epidemic development. These strategies are more rigorous than those actually used during the early stages of the relatively mild 2009 pandemic, and are appropriate for future pandemics that have high morbidity and mortality rates.</p

The Impact of Case Diagnosis Coverage and Diagnosis Delays on the Effectiveness of Antiviral Strategies in Mitigating Pandemic Influenza A/H1N1 2009

BACKGROUND: Neuraminidase inhibitors were used to reduce the transmission of pandemic influenza A/H1N1 2009 at the early stages of the 2009/2010 pandemic. Policies for diagnosis of influenza for the purposes of antiviral intervention differed markedly between and within countries, leading to differences in the timing and scale of antiviral usage. METHODOLOGY/PRINCIPAL FINDINGS: The impact of the percentage of symptomatic infected individuals who were diagnosed, and of delays to diagnosis, for three antiviral intervention strategies (each with and without school closure) were determined using a simulation model of an Australian community. Epidemic characteristics were based on actual data from the A/H1N1 2009 pandemic including reproduction number, serial interval and age-specific infection rate profile. In the absence of intervention an illness attack rate (AR) of 24.5% was determined from an estimated R(0) of 1.5; this was reduced to 21%, 16.5% or 13% by treatment-only, treatment plus household prophylaxis, or treatment plus household plus extended prophylaxis antiviral interventions respectively, assuming that diagnosis occurred 24 hours after symptoms arose and that 50% of symptomatic cases were diagnosed. If diagnosis occurred without delay, ARs decreased to 17%, 12.2% or 8.8% respectively. If 90% of symptomatic cases were diagnosed (with a 24 hour delay), ARs decreased to 17.8%, 11.1% and 7.6%, respectively. CONCLUSION: The ability to rapidly diagnose symptomatic cases and to diagnose a high proportion of cases was shown to improve the effectiveness of all three antiviral strategies. For epidemics with R(0)< = 1.5 our results suggest that when the case diagnosis coverage exceeds ∼70% the size of the antiviral stockpile required to implement the extended prophylactic strategy decreases. The addition of at least four weeks of school closure was found to further reduce cumulative and peak attack rates and the size of the required antiviral stockpile