662 research outputs found

    Effects of cooling before and during simulated match play on thermoregulatory responses of athletes with tetraplegia

    Get PDF
    Objectives: Athletes with high level spinal cord injuries (tetraplegia) are under greater thermal strain during exercise than the able-bodied. The purpose of this study was to investigate the effectiveness of pre-cooling using an ice vest and the combination of pre-cooling and cooling during play using water sprays in athletes with tetraplegia. Design: Counter-balanced, cross-over design. Methods: Eight wheelchair rugby players with tetraplegia completed a 60 min intermittent sprint protocol (ISP) on a wheelchair ergometer in 20.2 °C ± 0.2 °C and 33.0% ± 3.1% relative humidity. The ISP was conducted on three occasions; no cooling (NC), pre-cooling with an ice vest (P) and pre-cooling with an ice vest and water sprays between quarters (PW). Gastrointestinal (Tgi) temperature, mean skin temperature (Tsk) and perceptual responses were measured throughout. Results: At the end of pre-cooling, the change in Tgi was not significantly different between conditions (P > 0.05) but the change in Tsk was significantly greater in P and PW compared to NC (P 0.05). Conclusions: Water spraying between quarters combined with pre-cooling using an ice vest lowers thermal strain to a greater degree than pre-cooling only in athletes with tetraplegia, but has no effect on simulated wheelchair rugby performance or perceptual responses

    Automating Recursive Type Definitions in Higher Order Logic

    Full text link

    Predicting live birth, preterm and low birth weight infant after in-vitro fertilisation: a prospective study of 144018 treatment cycles

    Get PDF
    Background The extent to which baseline couple characteristics affect the probability of live birth and adverse perinatal outcomes after assisted conception is unknown. Methods and Findings We utilised the Human Fertilisation and Embryology Authority database to examine the predictors of live birth in all in vitro fertilisation (IVF) cycles undertaken in the UK between 2003 and 2007 (n = 144,018). We examined the potential clinical utility of a validated model that pre-dated the introduction of intracytoplasmic sperm injection (ICSI) as compared to a novel model. For those treatment cycles that resulted in a live singleton birth (n = 24,226), we determined the associates of potential risk factors with preterm birth, low birth weight, and macrosomia. The overall rate of at least one live birth was 23.4 per 100 cycles (95% confidence interval [CI] 23.2–23.7). In multivariable models the odds of at least one live birth decreased with increasing maternal age, increasing duration of infertility, a greater number of previously unsuccessful IVF treatments, use of own oocytes, necessity for a second or third treatment cycle, or if it was not unexplained infertility. The association of own versus donor oocyte with reduced odds of live birth strengthened with increasing age of the mother. A previous IVF live birth increased the odds of future success (OR 1.58, 95% CI 1.46–1.71) more than that of a previous spontaneous live birth (OR 1.19, 95% CI 0.99–1.24); p-value for difference in estimate <0.001. Use of ICSI increased the odds of live birth, and male causes of infertility were associated with reduced odds of live birth only in couples who had not received ICSI. Prediction of live birth was feasible with moderate discrimination and excellent calibration; calibration was markedly improved in the novel compared to the established model. Preterm birth and low birth weight were increased if oocyte donation was required and ICSI was not used. Risk of macrosomia increased with advancing maternal age and a history of previous live births. Infertility due to cervical problems was associated with increased odds of all three outcomes—preterm birth, low birth weight, and macrosomia. Conclusions Pending external validation, our results show that couple- and treatment-specific factors can be used to provide infertile couples with an accurate assessment of whether they have low or high risk of a successful outcome following IVF

    Lactobacillus rhamnosus GG-supplemented formula expands butyrate-producing bacterial strains in food allergic infants.

    Get PDF
    Dietary intervention with extensively hydrolyzed casein formula supplemented with Lactobacillus rhamnosus GG (EHCF+LGG) accelerates tolerance acquisition in infants with cow's milk allergy (CMA). We examined whether this effect is attributable, at least in part, to an influence on the gut microbiota. Fecal samples from healthy controls (n=20) and from CMA infants (n=19) before and after treatment with EHCF with (n=12) and without (n=7) supplementation with LGG were compared by 16S rRNA-based operational taxonomic unit clustering and oligotyping. Differential feature selection and generalized linear model fitting revealed that the CMA infants have a diverse gut microbial community structure dominated by Lachnospiraceae (20.5±9.7%) and Ruminococcaceae (16.2±9.1%). Blautia, Roseburia and Coprococcus were significantly enriched following treatment with EHCF and LGG, but only one genus, Oscillospira, was significantly different between infants that became tolerant and those that remained allergic. However, most tolerant infants showed a significant increase in fecal butyrate levels, and those taxa that were significantly enriched in these samples, Blautia and Roseburia, exhibited specific strain-level demarcations between tolerant and allergic infants. Our data suggest that EHCF+LGG promotes tolerance in infants with CMA, in part, by influencing the strain-level bacterial community structure of the infant gut

    Hypoxia Regulates BMP4 Expression in the Murine Spleen during the Recovery from Acute Anemia

    Get PDF
    Bone marrow erythropoiesis is primarily homeostatic, producing new erythrocytes at a constant rate. However at times of acute anemia, new erythrocytes must be rapidly produced much faster than bone marrow steady state erythropoiesis. At these times stress erythropoiesis predominates. Stress erythropoiesis occurs in the fetal liver during embryogenesis and in the adult spleen and liver. In adult mice, stress erythropoiesis utilizes a specialized population of stress erythroid progenitors that are resident in the spleen. In response to acute anemia, these progenitors rapidly expand and differentiate in response to three signals, BMP4, SCF and hypoxia. In absence of acute anemic stress, two of these signals, BMP4 and hypoxia, are not present and the pathway is not active. The initiating event in the activation of this pathway is the up-regulation of BMP4 expression in the spleen.In this paper we analyze the regulation of BMP4 expression in the spleen by hypoxia. Using stromal cell lines, we establish a role for hypoxia transcription factor HIFs (Hypoxia Inducible Factors) in the transcription of BMP4. We identified putative Hypoxia Responsive Elements (HREs) in the BMP4 gene using bioinformatics. Analysis of these elements showed that in vivo, Hif2alpha binds two cis regulatory sites in the BMP4 gene, which regulate BMP4 expression during the recovery from acute anemia.These data show that hypoxia plays a key role in initiating the BMP4 dependent stress erythropoiesis pathway by regulating BMP4 expression

    Understanding the Role of the Josephin Domain in the PolyUb Binding and Cleavage Properties of Ataxin-3

    Get PDF
    Ataxin-3, the disease protein in the neurodegenerative disorder Spinocerebellar Ataxia Type 3 or Machado Joseph disease, is a cysteine protease implicated in the ubiquitin proteasome pathway. It contains multiple ubiquitin binding sites through which it anchors polyubiquitin chains of different linkages that are then cleaved by the N-terminal catalytic (Josephin) domain. The properties of the ubiquitin interacting motifs (UIMs) in the C-terminus of ataxin-3 are well established. Very little is known, however, about how two recently identified ubiquitin-binding sites in the Josephin domain contribute to ubiquitin chain binding and cleavage. In the current study, we sought to define the specific contribution of the Josephin domain to the catalytic properties of ataxin-3 and assess how the topology and affinity of these binding sites modulate ataxin-3 activity. Using NMR we modeled the structure of diUb/Josephin complexes and showed that linkage preferences are imposed by the topology of the two binding sites. Enzymatic studies further helped us to determine a precise hierarchy between the sites. We establish that the structure of Josephin dictates specificity for K48-linked chains. Site 1, which is close to the active site, is indispensable for cleavage. Our studies open the way to understand better the cellular function of ataxin-3 and its link to pathology

    Assessment of Blood Hemodynamics by USPIO-Induced R1 Changes in MRI of Murine Colon Carcinoma

    Get PDF
    The objective of this study is to assess whether ultrasmall superparamagnetic iron oxide (USPIO)-induced changes of the water proton longitudinal relaxation rate (R1) provide a means to assess blood hemodynamics of tumors. Two types of murine colon tumors (C26a and C38) were investigated prior to and following administration of USPIO blood-pool contrast agent with fast R1 measurements. In a subpopulation of mice, R1 was measured following administration of hydralazine, a well-known blood hemodynamic modifier. USPIO-induced R1 increase in C38 tumors (ΔR1 = 0.072 ± 0.0081 s−1) was significantly larger than in C26a tumors (ΔR1 = 0.032 ± 0.0018 s−1, N = 9, t test, P < 0.001). This was in agreement with the immunohistochemical data that showed higher values of relative vascular area (RVA) in C38 tumors than in C26a tumors (RVA = 0.059 ± 0.015 vs. 0.020 ± 0.011; P < 0.05). Following administration of hydralazine, a decrease in R1 value was observed. This was consistent with the vasoconstriction induced by the steal effect mechanism. In conclusion, R1 changes induced by USPIO are sensitive to tumor vascular morphology and to blood hemodynamics. Thus, R1 measurements following USPIO administration can give novel insight into the effects of blood hemodynamic modifiers, non-invasively and with a high temporal resolution

    A formally verified abstract account of Gödel's incompleteness theorems

    Get PDF
    We present an abstract development of Gödel’s incompleteness theorems, performed with the help of the Isabelle/HOL theorem prover. We analyze sufficient conditions for the theorems’ applicability to a partially specified logic. In addition to the usual benefits of generality, our abstract perspective enables a comparison between alternative approaches from the literature. These include Rosser’s variation of the first theorem, Jeroslow’s variation of the second theorem, and the S ́wierczkowski–Paulson semantics-based approach. As part of our framework’s validation, we upgrade Paulson’s Isabelle proof to produce a mech- anization of the second theorem that does not assume soundness in the standard model, and in fact does not rely on any notion of model or semantic interpretation
    corecore