Differential effects of high fat diet-induced obesity on oocyte mitochondrial functions in inbred and outbred mice

Maternal obesity can cause reduced oocyte quality and subfertility. Mitochondrial dysfunction plays a central role here, and most often inbred mouse models are used to study these pathways. We hypothesized that the mouse genetic background can influence the impact of high fat diet (HFD)-induced obesity on oocyte quality. We compared the inbred C57BL/6 (B6) and the outbred Swiss strains after feeding a HFD for 13w. HFD-mice had increased body weight gain, hypercholesterolemia, and increased oocyte lipid droplet (LD) accumulation in both strains. LD distribution was strain-dependent. In Swiss mouse oocytes, HFD significantly increased mitochondrial inner membrane potential (MMP), reactive oxygen species concentrations, mitochondrial ultrastructural abnormalities (by 46.4%), and endoplasmic reticulum (ER) swelling, and decreased mtDNA copy numbers compared with Swiss controls (P0.1). Interestingly, mtDNA in B6-HFD oocytes was increased suggesting defective mitophagy. In conclusion, we show evidence that the genetic background or inbreeding can affect mitochondrial functions in oocytes and may influence the impact of HFD on oocyte quality. These results should create awareness when choosing and interpreting data obtained from different mouse models before extrapolating to human applications

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Elevated Non-Esterified Fatty Acid Concentrations during Bovine Oocyte Maturation Compromise Early Embryo Physiology

Elevated concentrations of serum non-esterified fatty acids (NEFA), associated with maternal disorders such as obesity and type II diabetes, alter the ovarian follicular micro-environment and have been associated with subfertility arising from reduced oocyte developmental competence. We have asked whether elevated NEFA concentrations during oocyte maturation affect the development and physiology of zygotes formed from such oocytes, using the cow as a model. The zygotes were grown to blastocysts, which were evaluated for their quality in terms of cell number, apoptosis, expression of key genes, amino acid turnover and oxidative metabolism. Oocyte maturation under elevated NEFA concentrations resulted in blastocysts with significantly lower cell number, increased apoptotic cell ratio and altered mRNA abundance of DNMT3A, IGF2R and SLC2A1. In addition, the blastocysts displayed reduced oxygen, pyruvate and glucose consumption, up-regulated lactate consumption and higher amino acid metabolism. These data indicate that exposure of maturing oocytes to elevated NEFA concentrations has a negative impact on fertility not only through a reduction in oocyte developmental capacity but through compromised early embryo quality, viability and metabolism

Transmission Heterogeneity and Control Strategies for Infectious Disease Emergence

The control of emergence and spread of infectious diseases depends critically on the details of the genetic makeup of pathogens and hosts, their immunological, behavioral and ecological traits, and the pattern of temporal and spatial contacts among the age/stage-classes of susceptible and infectious host individuals.We show that failing to acknowledge the existence of heterogeneities in the transmission rate among age/stage-classes can make traditional eradication and control strategies ineffective, and in some cases, policies aimed at controlling pathogen emergence can even increase disease incidence in the host. When control strategies target for reduction in numbers those subsets of the population that effectively limit the production of new susceptible individuals, then control can produce a flush of new susceptibles entering the population. The availability of a new cohort of susceptibles may actually increase disease incidence. We illustrate these general points using Classical Swine Fever as a reference disease.Negative effects of culling are robust to alternative formulations of epidemiological processes and underline the importance of better assessing transmission structure in the design of wildlife disease control strategies

What Will It Take to Eliminate Pediatric HIV? Reaching WHO Target Rates of Mother-to-Child HIV Transmission in Zimbabwe: A Model-Based Analysis

Using a simulation model, Andrea Ciaranello and colleagues find that the latest WHO PMTCT (prevention of mother to child transmission of HIV) guidelines plus better access to PMTCT programs, better retention of women in care, and better adherence to drugs are needed to eliminate pediatric HIV in Zimbabwe

WHO 2010 Guidelines for Prevention of Mother-to-Child HIV Transmission in Zimbabwe: Modeling Clinical Outcomes in Infants and Mothers

The Zimbabwean national prevention of mother-to-child HIV transmission (PMTCT) program provided primarily single-dose nevirapine (sdNVP) from 2002-2009 and is currently replacing sdNVP with more effective antiretroviral (ARV) regimens.Published HIV and PMTCT models, with local trial and programmatic data, were used to simulate a cohort of HIV-infected, pregnant/breastfeeding women in Zimbabwe (mean age 24.0 years, mean CD4 451 cells/µL). We compared five PMTCT regimens at a fixed level of PMTCT medication uptake: 1) no antenatal ARVs (comparator); 2) sdNVP; 3) WHO 2010 guidelines using "Option A" (zidovudine during pregnancy/infant NVP during breastfeeding for women without advanced HIV disease; lifelong 3-drug antiretroviral therapy (ART) for women with advanced disease); 4) WHO "Option B" (ART during pregnancy/breastfeeding without advanced disease; lifelong ART with advanced disease); and 5) "Option B+:" lifelong ART for all pregnant/breastfeeding, HIV-infected women. Pediatric (4-6 week and 18-month infection risk, 2-year survival) and maternal (2- and 5-year survival, life expectancy from delivery) outcomes were projected.Eighteen-month pediatric infection risks ranged from 25.8% (no antenatal ARVs) to 10.9% (Options B/B+). Although maternal short-term outcomes (2- and 5-year survival) varied only slightly by regimen, maternal life expectancy was reduced after receipt of sdNVP (13.8 years) or Option B (13.9 years) compared to no antenatal ARVs (14.0 years), Option A (14.0 years), or Option B+ (14.5 years).Replacement of sdNVP with currently recommended regimens for PMTCT (WHO Options A, B, or B+) is necessary to reduce infant HIV infection risk in Zimbabwe. The planned transition to Option A may also improve both pediatric and maternal outcomes

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Capillary Regeneration in Scleroderma: Stem Cell Therapy Reverses Phenotype?

BACKGROUND. Scleroderma is an autoimmune disease with a characteristic vascular pathology. The vasculopathy associated with scleroderma is one of the major contributors to the clinical manifestations of the disease. METHODOLOGY/PRINCIPAL FINDINGS. We used immunohistochemical and mRNA in situ hybridization techniques to characterize this vasculopathy and showed with morphometry that scleroderma has true capillary rarefaction. We compared skin biopsies from 23 scleroderma patients and 24 normal controls and 7 scleroderma patients who had undergone high dose immunosuppressive therapy followed by autologous hematopoietic cell transplant. Along with the loss of capillaries there was a dramatic change in endothelial phenotype in the residual vessels. The molecules defining this phenotype are: vascular endothelial cadherin, a supposedly universal endothelial marker required for tube formation (lost in the scleroderma tissue), antiangiogenic interferon α (overexpressed in the scleroderma dermis) and RGS5, a signaling molecule whose expression coincides with the end of branching morphogenesis during development and tumor angiogenesis (also overexpressed in scleroderma skin. Following high dose immunosuppressive therapy, patients experienced clinical improvement and 5 of the 7 patients with scleroderma had increased capillary counts. It was also observed in the same 5 patients, that the interferon α and vascular endothelial cadherin had returned to normal as other clinical signs in the skin regressed, and in all 7 patients, RGS5 had returned to normal. CONCLUSION/SIGNIFICANCE. These data provide the first objective evidence for loss of vessels in scleroderma and show that this phenomenon is reversible. Coordinate changes in expression of three molecules already implicated in angiogenesis or anti-angiogenesis suggest that control of expression of these three molecules may be the underlying mechanism for at least the vascular component of this disease. Since rarefaction has been little studied, these data may have implications for other diseases characterized by loss of capillaries including hypertension, congestive heart failure and scar formation.Scleroderma Research Foundatio

Measurement of VH, H → b b ¯ production as a function of the vector-boson transverse momentum in 13 TeV pp collisions with the ATLAS detector

Cross-sections of associated production of a Higgs boson decaying into bottom-quark pairs and an electroweak gauge boson, W or Z, decaying into leptons are measured as a function of the gauge boson transverse momentum. The measurements are performed in kinematic fiducial volumes defined in the `simplified template cross-section' framework. The results are obtained using 79.8 fb-1 of proton-proton collisions recorded by the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 13 TeV. All measurements are found to be in agreement with the Standard Model predictions, and limits are set on the parameters of an effective Lagrangian sensitive to modifications of the Higgs boson couplings to the electroweak gauge bosons

Combination of searches for heavy spin-1 resonances using 139 fb−1 of proton-proton collision data at s = 13 TeV with the ATLAS detector

A combination of searches for new heavy spin-1 resonances decaying into different pairings of W, Z, or Higgs bosons, as well as directly into leptons or quarks, is presented. The data sample used corresponds to 139 fb−1 of proton-proton collisions at = 13 TeV collected during 2015–2018 with the ATLAS detector at the CERN Large Hadron Collider. Analyses selecting quark pairs (qq, bb, , and tb) or third-generation leptons (τν and ττ) are included in this kind of combination for the first time. A simplified model predicting a spin-1 heavy vector-boson triplet is used. Cross-section limits are set at the 95% confidence level and are compared with predictions for the benchmark model. These limits are also expressed in terms of constraints on couplings of the heavy vector-boson triplet to quarks, leptons, and the Higgs boson. The complementarity of the various analyses increases the sensitivity to new physics, and the resulting constraints are stronger than those from any individual analysis considered. The data exclude a heavy vector-boson triplet with mass below 5.8 TeV in a weakly coupled scenario, below 4.4 TeV in a strongly coupled scenario, and up to 1.5 TeV in the case of production via vector-boson fusion