The emergence of intersectional disadvantage

Intersectionality theory explores the peculiar disadvantages that arise as the result of occupying multiple disadvantaged demographic categories. Addressing intersectionality theory through quantitative methods has proven difficult. Concerns have been raised about the sample size one would need in order to responsibly tease out evidence for the claims of intersectionality theorists. What is more, theorists have expressed concern about our ability to formulate novel intersectional hypotheses in a non-ad-hoc manner. We argue that simulation methods can help address these, and other, methodological problems, because they can generate novel hypotheses about causal dependencies in a relatively cheap way, and can thus guide future empirical work. We illustrate this point using models which show that intersectional oppression can arise under conditions where social groups are disadvantaged in the emergence of bargaining norms. As we show, intersectional disadvantage can arise even when actors from all social categories are completely identical in terms of preferences and abilities. And when actors behave in ways that reflect stronger intersectional identities, the potential for disadvantage increases. As we note, this exploration illustrates the usefulness of idealized models to real world inquiry

Shoggoth: A Formal Foundation for Strategic Rewriting

Rewriting is a versatile and powerful technique used in many domains. Strategic rewriting allows programmers to control the application of rewrite rules by composing individual rewrite rules into complex rewrite strategies. These strategies are semantically complex, as they may be nondeterministic, they may raise errors that trigger backtracking, and they may not terminate.Given such semantic complexity, it is necessary to establish a formal understanding of rewrite strategies and to enable reasoning about them in order to answer questions like: How do we know that a rewrite strategy terminates? How do we know that a rewrite strategy does not fail because we compose two incompatible rewrites? How do we know that a desired property holds after applying a rewrite strategy?In this paper, we introduce Shoggoth: a formal foundation for understanding, analysing and reasoning about strategic rewriting that is capable of answering these questions. We provide a denotational semantics of System S, a core language for strategic rewriting, and prove its equivalence to our big-step operational semantics, which extends existing work by explicitly accounting for divergence. We further define a location-based weakest precondition calculus to enable formal reasoning about rewriting strategies, and we prove this calculus sound with respect to the denotational semantics. We show how this calculus can be used in practice to reason about properties of rewriting strategies, including termination, that they are well-composed, and that desired postconditions hold. The semantics and calculus are formalised in Isabelle/HOL and all proofs are mechanised

Implantable Therapeutic Reservoir Systems for Diverse Clinical Applications in Large Animal Models

Regenerative medicine approaches, specifically stem cell technologies, have demonstrated significant potential to treat a diverse array of pathologies. However, such approaches have resulted in a modest clinical benefit, which may be attributed to poor cell retention/survival at the disease site. A delivery system that facilitates regional and repeated delivery to target tissues can provide enhanced clinical efficacy of cell therapies when localized delivery of high doses of cells is required. In this study, a new regenerative reservoir platform (Regenervoir) is described for use in large animal models, with relevance to cardiac, abdominal, and soft tissue pathologies. Regenervoir incorporates multiple novel design features essential for clinical translation, with a focus on scalability, mechanism of delivery, fixation to target tissue, and filling/refilling with a therapeutic cargo, and is demonstrated in an array of clinical applications that are easily translated to human studies. Regenervoir consists of a porous reservoir fabricated from a single material, a flexible thermoplastic polymer, capable of delivering cargo via fill lines to target tissues. A radiopaque shear thinning hydrogel can be delivered to the therapy reservoir and multiple fixation methods (laparoscopic tacks and cyanoacrylate bioadhesive) can be used to secure Regenervoir to target tissues through a minimally invasive approach.In this study, a new regenerative reservoir platform (Regenervoir) is described for use in large animal models that are easily translated to human studies, with relevance to cardiac, abdominal, and soft tissue pathologies. Regenervoir incorporates multiple novel design features essential for clinical translation, with a focus on scalability, mechanism of delivery, fixation, and filling/refilling with a therapeutic cargo.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/155890/1/adhm202000305.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/155890/2/adhm202000305_am.pd

International Society of Sports Nutrition Position Stand: Nutritional recommendations for single-stage ultra-marathon; training and racing

Background. In this Position Statement, the International Society of Sports Nutrition (ISSN) provides an objective and critical review of the literature pertinent to nutritional considerations for training and racing in single-stage ultra-marathon. Recommendations for Training. i) Ultra-marathon runners should aim to meet the caloric demands of training by following an individualized and periodized strategy, comprising a varied, food-first approach; ii) Athletes should plan and implement their nutrition strategy with sufficient time to permit adaptations that enhance fat oxidative capacity; iii) The evidence overwhelmingly supports the inclusion of a moderate-to-high carbohydrate diet (i.e., ~60% of energy intake, 5 – 8 g⸱kg−1·d−1) to mitigate the negative effects of chronic, training-induced glycogen depletion; iv) Limiting carbohydrate intake before selected low-intensity sessions, and/or moderating daily carbohydrate intake, may enhance mitochondrial function and fat oxidative capacity. Nevertheless, this approach may compromise performance during high-intensity efforts; v) Protein intakes of ~1.6 g·kg−1·d−1 are necessary to maintain lean mass and support recovery from training, but amounts up to 2.5 g⸱kg−1·d−1 may be warranted during demanding training when calorie requirements are greater; Recommendations for Racing. vi) To attenuate caloric deficits, runners should aim to consume 150 - 400 kcal⸱h−1 (carbohydrate, 30 – 50 g⸱h−1; protein, 5 – 10 g⸱h−1) from a variety of calorie-dense foods. Consideration must be given to food palatability, individual tolerance, and the increased preference for savory foods in longer races; vii) Fluid volumes of 450 – 750 mL⸱h−1 (~150 – 250 mL every 20 min) are recommended during racing. To minimize the likelihood of hyponatraemia, electrolytes (mainly sodium) may be needed in concentrations greater than that provided by most commercial products (i.e., >575 mg·L−1 sodium). Fluid and electrolyte requirements will be elevated when running in hot and/or humid conditions; viii) Evidence supports progressive gut-training and/or low-FODMAP diets (fermentable oligosaccharide, disaccharide, monosaccharide and polyol) to alleviate symptoms of gastrointestinal distress during racing; ix) The evidence in support of ketogenic diets and/or ketone esters to improve ultra-marathon performance is lacking, with further research warranted; x) Evidence supports the strategic use of caffeine to sustain performance in the latter stages of racing, particularly when sleep deprivation may compromise athlete safety

Microplastics in sewage sludge: effects of treatment

Waste Water Treatment Plants (WWTPs) are receptors for the cumulative loading of microplastics (MPs) derived from industry, landfill, domestic waste water and storm water. The partitioning of MPs through the settlement processes of waste water treatment results in the majority becoming entrained in the sewage sludge. This study characterised MPs in sludge samples from seven WWTPs in Ireland, which use anaerobic digestion (AD), thermal drying (TD), or lime stabilisation (LS) treatment processes. Abundances ranged from 4,196 to 15,385 particles kg-1 (dry weight). Results of a general linear mixed model (GLMM) showed significantly higher abundances of MPs in smaller size classes in the LS samples, suggesting that the treatment process of LS shear MP particles. In contrast, lower abundances of MPs found in the AD samples suggest that this process may reduce MP abundances. Surface morphologies examined using Scanning Electron Microscopy (SEM) showed characteristics of melting and blistering of TD MPs and shredding and flaking of LS MPs. This study highlights the potential for sewage sludge treatment processes to affect the risk of MP pollution prior to land spreading and may have implications for legislation governing the application of biosolids to agricultural land.We acknowledge the Environmental Protection Agency of Ireland for funding this research.peer-reviewed2017-12-1

Provably trustworthy systems

We present recent work on building and scaling trustworthy systems with formal, machine-checkable proof from the ground up, including the operating system kernel, at the level of binary machine code. We first give a brief overview of the seL4 microkernel verification and how it can be used to build verified systems. We then show two complementary techniques for scaling these methods to larger systems: proof engineering, to estimate verification effort; and code/proof co-generation, for scalable development of provably trustworthy applications. This article is part of the themed issue ‘Verified trustworthy software systems’