1,552 research outputs found
He Scores Through a Screen: Mediating Masculinities Through Hockey Video Games
Hockey video games highlight the ways in which the video game medium shapes and conditions the experience of producing and/or performing the sport βin real life.β Indeed, the accumulation of advanced statistics in and through the constant evaluation, measurement, and surveillance which are inherent to video gamesβand increasingly seen as foundational for sportβreveals important contradictions not only in the way the embodied sport is played and understood, but also in terms of the proofs of masculinity upon which the sport is built. It then becomes clear that the building of masculinity and the empowerment of the character become one and the same. The ludic function reinforces the cultural imperative and vice versa. Thus, our chapter prizes apart the conflation of masculinity with hockey while showing the ways that video game studies can contribute to existing disciplines
Concurrent Kleene Algebra: Free Model and Completeness
Concurrent Kleene Algebra (CKA) was introduced by Hoare, Moeller, Struth and
Wehrman in 2009 as a framework to reason about concurrent programs. We prove
that the axioms for CKA with bounded parallelism are complete for the semantics
proposed in the original paper; consequently, these semantics are the free
model for this fragment. This result settles a conjecture of Hoare and
collaborators. Moreover, the techniques developed along the way are reusable;
in particular, they allow us to establish pomset automata as an operational
model for CKA.Comment: Version 2 includes an overview section that outlines the completeness
proof, as well as some extra discussion of the interpolation lemma. It also
includes better typography and a number of minor fixes. Version 3
incorporates the changes by comments from the anonymous referees at ESOP.
Among other things, these include a worked example of computing the syntactic
closure by han
Not all systematic reviews are systematic: A meta-review of the quality of systematic reviews for non-invasive remote monitoring in heart failure
We carried out a critical appraisal and synthesis of the systematic reviews and meta-analyses of remote monitoring for heart failure. A comprehensive literature search identified 65 relevant publications from 3333 citations. Seventeen studies fulfilled the inclusion and exclusion criteria. Seven (41%) systematic reviews pooled results for meta-analysis. Eight (47%) considered all non-invasive remote monitoring strategies. Five (29%) focused on telemonitoring. Four (24%) included both non-invasive and invasive technologies. The reviews were appraised by two independent reviewers for their quality and risk of bias using the AMSTAR tool. According to the AMSTAR criteria, ten (58%) systematic reviews were of poor methodological quality. In the high quality reviews, the relative risk of mortality in patients who received remote monitoring ranged from 0.53 to 0.88. The high quality reviews also reported that remote monitoring reduced the relative risk of all-cause (0.52 to 0.96) and heart failure-related hospitalizations (0.72 to 0.79) and, as a consequence, healthcare costs. However, further research is required before considering widespread implementation of remote monitoring. The subset of the heart failure population that derives the most benefit from intensive monitoring, the best technology, and the optimum duration of monitoring, all need to be identified. Β© The Author(s) 2013
Recommended from our members
Revisiting global fossil fuel and biofuel emissions of ethane
Recent measurements over the Northern Hemisphere indicate that the long-term decline in the atmospheric burden of ethane (C2H6) has ended and the abundance increased dramatically between 2010 and 2014. The rise in C2H6 atmospheric abundances has been attributed to oil and natural gas extraction in North America. Existing global C2H6 emission inventories are based on outdated activity maps that do not account for current oil and natural gas exploitation regions. We present an updated global C2H6 emission inventory based on 2010 satellite-derived CH4 fluxes with adjusted C2H6 emissions over the U.S. from the National Emission Inventory (NEI 2011). We contrast our global 2010 C2H6 emission inventory with one developed for 2001. The C2H6 difference between global anthropogenic emissions is subtle (7.9 versus 7.2βTgβyrβ1), but the spatial distribution of the emissions is distinct. In the 2010 C2H6 inventory, fossil fuel sources in the Northern Hemisphere represent half of global C2H6 emissions and 95% of global fossil fuel emissions. Over the U.S., unadjusted NEI 2011 C2H6 emissions produce mixing ratios that are 14β50% of those observed by aircraft observations (2008β2014). When the NEI 2011 C2H6 emission totals are scaled by a factor of 1.4, the Goddard Earth Observing System Chem model largely reproduces a regional suite of observations, with the exception of the central U.S., where it continues to underpredict observed mixing ratios in the lower troposphere. We estimate monthly mean contributions of fossil fuel C2H6 emissions to ozone and peroxyacetyl nitrate surface mixing ratios over North America of ~1% and ~8%, respectively
Point-of-care screening for a current Hepatitis C virus infection: influence on uptake of a concomitant offer of HIV screening
Eliminating hepatitis C as a public health threat requires an improved understanding of how to increase testing uptake. We piloted point-of-care testing (POCT) for a current HCV infection in an inner-city Emergency Department (ED) and assessed the influence on uptake of offering concomitant screening for HIV. Over four months, all adults attending ED with minor injuries were first invited to complete an anonymous questionnaire then invited to test in alternating cycles offering HCV POCT or HCV+HIV POCT. Viral RNA was detected in finger-prick blood by GeneXpert. 814/859 (94.8%) questionnaires were returned and 324/814 (39.8%) tests were accepted, comprising 211 HCV tests and 113 HCV+HIV tests. Offering concomitant HIV screening reduced uptake after adjusting for age and previous HCV testing (odds ratio 0.51; 95% confidence interval [CI] 0.38β0.68; pβ<β0.001). HCV prevalence was 1/324 (0.31%; 95% CI 0.05β1.73); no participant tested positive for HIV. 167/297 (56.2%) POCT participants lived in the most deprived neighbourhoods in England. HCV RNA testing using finger-prick blood was technically feasible. Uptake was moderate and the offer of concomitant HIV screening showed a detrimental impact on acceptability in this low prevalence population. The findings should be confirmed in a variety of other community settings
Change Actions: Models of Generalised Differentiation
Cai et al. have recently proposed change structures as a semantic framework
for incremental computation. We generalise change structures to arbitrary
cartesian categories and propose the notion of change action model as a
categorical model for (higher-order) generalised differentiation. Change action
models naturally arise from many geometric and computational settings, such as
(generalised) cartesian differential categories, group models of discrete
calculus, and Kleene algebra of regular expressions. We show how to build
canonical change action models on arbitrary cartesian categories, reminiscent
of the F\`aa di Bruno construction
Water induced sediment levitation enhances downslope transport on Mars
On Mars, locally warm surface temperatures (~293 K) occur, leading to the possibility of (transient) liquid water on the surface. However, water exposed to the martian atmosphere will boil, and the sediment transport capacity of such unstable water is not well understood. Here, we present laboratory studies of a newly recognized transport mechanism: βlevitationβ of saturated sediment bodies on a cushion of vapor released by boiling. Sediment transport where this mechanism is active is about nine times greater than without this effect, reducing the amount of water required to transport comparable sediment volumes by nearly an order of magnitude. Our calculations show that the effect of levitation could persist up to ~48 times longer under reduced martian gravity. Sediment levitation must therefore be considered when evaluating the formation of recent and present-day martian mass wasting features, as much less water may be required to form such features than previously thought
Is nebulized saline a placebo in COPD?
BACKGROUND: Many trials of nebulized therapy have used nebulized saline as a "placebo". However, nebulized isotonic saline is sometimes used to assist sputum expectoration and relieve breathlessness in COPD patients. We designed this study to establish if nebulized saline had a placebo effect or a clinical effect. METHODS: 40 patients were studied following hospital admission for exacerbated COPD (mean FEV1 30% predicted). Patients were randomised to single-blind administration of either 4 mls of nebulized isotonic saline using an efficient nebulizer (active group n = 20) or an inefficient nebulizer (placebo group n = 20). Spirometry and subjective breathlessness scores (Modified Likert Scale) were measured before nebulized treatment and 10 minutes after treatment. RESULTS: There was no significant change in FEV1 after active or placebo nebulized saline treatment. Patients reported a 4% improvement in mean breathlessness score following placebo (Wilcoxon test; p = 0.37) compared with 23% improvement following active nebulized saline (p = 0.0001). 65% of patients given active nebulized saline but only 5% of the placebo group reported that mucus expectoration was easier after the treatment. CONCLUSIONS: This study lends support to the current use of nebulized saline to relieve breathlessness (possibly by facilitating sputum clearance) in COPD patients. Lung function was not affected. Nebulized saline can therefore be used as a placebo in bronchodilator studies involving COPD patients but it cannot be used as a placebo in trials assessing symptom relief
Structure of the hDmc1-ssDNA filament reveals the principles of its architecture
In eukaryotes, meiotic recombination is a major source of genetic diversity, but its defects in humans lead to abnormalities such as Down's, Klinefelter's and other syndromes. Human Dmc1 (hDmc1), a RecA/Rad51 homologue, is a recombinase that plays a crucial role in faithful chromosome segregation during meiosis. The initial step of homologous recombination occurs when hDmc1 forms a filament on single-stranded (ss) DNA. However the structure of this presynaptic complex filament for hDmc1 remains unknown. To compare hDmc1-ssDNA complexes to those known for the RecA/Rad51 family we have obtained electron microscopy (EM) structures of hDmc1-ssDNA nucleoprotein filaments using single particle approach. The EM maps were analysed by docking crystal structures of Dmc1, Rad51, RadA, RecA and DNA. To fully characterise hDmc1-DNA complexes we have analysed their organisation in the presence of Ca2+, Mg2+, ATP, AMP-PNP, ssDNA and dsDNA. The 3D EM structures of the hDmc1-ssDNA filaments allowed us to elucidate the principles of their internal architecture. Similar to the RecA/Rad51 family, hDmc1 forms helical filaments on ssDNA in two states: extended (active) and compressed (inactive). However, in contrast to the RecA/Rad51 family, and the recently reported structure of hDmc1-double stranded (ds) DNA nucleoprotein filaments, the extended (active) state of the hDmc1 filament formed on ssDNA has nine protomers per helical turn, instead of the conventional six, resulting in one protomer covering two nucleotides instead of three. The control reconstruction of the hDmc1-dsDNA filament revealed 6.4 protein subunits per helical turn indicating that the filament organisation varies depending on the DNA templates. Our structural analysis has also revealed that the N-terminal domain of hDmc1 accomplishes its important role in complex formation through domain swapping between adjacent protomers, thus providing a mechanistic basis for coordinated action of hDmc1 protomers during meiotic recombination
Predictability of evolutionary trajectories in fitness landscapes
Experimental studies on enzyme evolution show that only a small fraction of
all possible mutation trajectories are accessible to evolution. However, these
experiments deal with individual enzymes and explore a tiny part of the fitness
landscape. We report an exhaustive analysis of fitness landscapes constructed
with an off-lattice model of protein folding where fitness is equated with
robustness to misfolding. This model mimics the essential features of the
interactions between amino acids, is consistent with the key paradigms of
protein folding and reproduces the universal distribution of evolutionary rates
among orthologous proteins. We introduce mean path divergence as a quantitative
measure of the degree to which the starting and ending points determine the
path of evolution in fitness landscapes. Global measures of landscape roughness
are good predictors of path divergence in all studied landscapes: the mean path
divergence is greater in smooth landscapes than in rough ones. The
model-derived and experimental landscapes are significantly smoother than
random landscapes and resemble additive landscapes perturbed with moderate
amounts of noise; thus, these landscapes are substantially robust to mutation.
The model landscapes show a deficit of suboptimal peaks even compared with
noisy additive landscapes with similar overall roughness. We suggest that
smoothness and the substantial deficit of peaks in the fitness landscapes of
protein evolution are fundamental consequences of the physics of protein
folding.Comment: 14 pages, 7 figure
- β¦