Mouse maternal systemic inflammation at the zygote stage causes blunted cytokine responsiveness in lipopolysaccharide-challenged adult offspring

These results demonstrate for the first time that the preimplantation embryo in vivo is sensitive to maternal systemic inflammation, with effects on blastocyst cell lineage allocation and consequences for behaviour, adiposity and innate immune response in adult offspring. Critically, we identify a novel mechanism mediated through maternal-embryonic interactions that confers plasticity in the development of the innate immune system, which is potentially important in setting postnatal tolerance to environmental pathogens. Our study extends the concept of developmental programming of health and disease to include maternal health at the time of conceptio

Incremental bounded model checking for embedded software

Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain

The duration of embryo culture after mouse IVF differentially affects cardiovascular and metabolic health in male offspring

Study question: Do the long-term health outcomes following IVF differ depending upon the duration of embryo culture before transfer?Summary answer: Using a mouse model, we demonstrate that in male but not female offspring, adverse cardiovascular (CV) health was more likely with prolonged culture to the blastocyst stage, but metabolic dysfunction was more likely if embryo transfer (ET) occurred at the early cleavage stage.What is known already: ART associate with increased risk of adverse CV and metabolic health in offspring, and these findings have been confirmed in animal models in the absence of parental infertility issues. It is unclear which specific ART treatments may cause these risks. There is increasing use of blastocyst, versus cleavage-stage, transfer in clinical ART which does not appear to impair perinatal health of children born, but the longer-term health implications are unknown.Study design, size, duration: Five mouse groups were generated comprising: (i) natural mating (NM)-naturally mated, non-superovulated and undisturbed gestation; (ii) IV-ET-2Cell-in-vivo derived two-cell embryos collected from superovulated mothers, with immediate ET to recipients; (iii) IVF-ET-2Cell-IVF generated embryos, from oocytes from superovulated mothers, cultured to the two-cell stage before ET to recipients; (iv) IV-ET-BL-in-vivo derived blastocysts collected from superovulated mothers, with immediate ET to recipients; (v) IVF-ET-BL-IVF generated embryos, from oocytes from superovulated mothers, cultured to the blastocyst stage before ET to recipients. Both male and female offspring were analysed for growth, CV and metabolic markers of health. There were 8-13 litters generated for each group for analyses; postnatal data were analysed by multilevel random effects regression to take account of between-mother and within-mother variation and litter size.Participants/materials, settings, methods: C57/BL6 female mice (3-4 weeks old) were used for oocyte production; CBA males for sperm with human tubal fluid medium were used for IVF. Embryos were transferred (ET) to MF1 pseudo-pregnant recipients at the two-cell stage or cultured in synthetic oviductal medium enriched with potassium medium to the blastocyst stage before ET. Control in-vivo embryos from C57BL6 × CBA matings were collected and immediately transferred at the two-cell or blastocyst stage. Postnatal assays included growth rate up to 27 weeks; systolic blood pressure (SBP) at 9, 15 and 21 weeks; lung and serum angiotensin-converting enzyme (ACE) activity at time of cull (27 weeks); glucose tolerance test (GTT; 27 weeks); basal glucose and insulin levels (27 weeks); and lipid accumulation in liver cryosections using Oil Red O imaging (27 weeks).Main results and the role of chance: Blastocysts formed by IVF developed at a slower rate and comprised fewer cells that in-vivo generated blastocysts without culture (P < 0.05). Postnatal growth rate was increased in all four experimental treatments compared with NM group (P < 0.05). SBP, serum and lung ACE and heart/body weight were higher in IVF-ET-BL versus IVF-ET-2Cell males (P < 0.05) and higher than in other treatment groups, with SBP and lung ACE positively correlated (P < 0.05). Glucose handling (GTT AUC) was poorer and basal insulin levels were higher in IVF-ET-2Cell males than in IVF-ET-BL (P < 0.05) with the glucose:insulin ratio more negatively correlated with body weight in IVF-ET-2Cell males than in other groups. Liver/body weight and liver lipid droplet diameter and density in IVF-ET-2Cell males were higher than in IVF-ET-BL males (P < 0.05). IVF groups had poorer health characteristics than their in-vivo control groups, indicating that outcomes were not caused specifically by background techniques (superovulation, ET). No consistent health effects from duration of culture were identified in female offspring.Large scale data: N/A.Limitations, reasons for caution: Results from experimental animal models cannot be extrapolated to humans. Nevertheless, they are valuable to develop conceptual models, in this case, in the absence of confounding parental infertility, in assessing the safety of ART manipulations.Wider implications of the findings: The study indicates that longer duration of embryo culture after IVF up to blastocyst before ET leads to increased dysfunction of CV health in males compared with IVF and shorter cleavage-stage ET. However, the metabolic health of male offspring was poorer after shorter versus longer culture duration. This distinction indicates that the origin of CV and metabolic health phenotypes after ART may be different. The poorer metabolic health of males after cleavage-stage ET coincides with embryonic genome activation occurring at the time of ET

Lime stabilisation for earthworks: a UK perspective

Lime stabilisation is a versatile technique applied during earthworks operations. Modern soil recycling units are much more efficient at pulverising fill material and intermixing the added binder/water than machinery available 20 years ago. While supplier innovation adds flexibility to the site working method, specifications have not been sufficiently updated to permit optimal application. This review paper details the physico-chemical changes instigated through the lime-clay soil reaction, updating previous reviews. It aims to assist scientific debate, current practitioners and future specification changes. For example, the application of the minimum 24 h mellowing periods (mandatory to UK specifications) with high reactivity, quicklime powders is concluded to cause increased air voids in the compacted fill. Increased air voids are associated with reduced long-term strength and potential volume change from water ingress, which is of particular concern for sulfate swelling. Shorter mellowing periods and/or use of hydrated lime may lesson this issue; however, a 'one size fits all' approach is discouraged in preference to site-specific methodologies refined to suit the fill material and project requirements. The discussion also summarises working methods which may lower the risk of sulfate swell and defines areas requiring further practical research

Screening and brief interventions for hazardous and harmful alcohol use in primary care: a cluster randomised controlled trial protocol

A large number of randomised controlled trials in health settings have consistently reported positive effects of brief intervention in terms of reductions in alcohol use. However,although alcohol misuse is common amongst offenders, there is limited evidence of alcohol brief interventions in the criminal justice field. This factorial pragmatic cluster randomised controlledtrial with Offender Managers (OMs) as the unit of randomisation will evaluate the effectiveness and cost-effectiveness of different models of screening to identify hazardous and harmful drinkers in probation and different intensities of brief intervention to reduce excessive drinking in probation clients. Ninety-six OMs from 9 probation areas across 3 English regions (the NorthEast Region (n = 4) and London and the South East Regions (n = 5)) will be recruited. OMs will berandomly allocated to one of three intervention conditions: a client information leaflet control condition (n = 32 OMs); 5-minute simple structured advice (n = 32 OMs) and 20-minute brieflifestyle counselling delivered by an Alcohol Health Worker (n = 32 OMs). Randomisation will be stratified by probation area. To test the relative effectiveness of different screening methods all OMs will be randomised to either the Modified Single Item Screening Questionnaire (M-SASQ) orthe Fast Alcohol Screening Test (FAST). There will be a minimum of 480 clients recruited into the trial. There will be an intention to treat analysis of study outcomes at 6 and 12 months postintervention. Analysis will include client measures (screening result, weekly alcohol consumption,alcohol-related problems, re-offending, public service use and quality of life) and implementation measures from OMs (the extent of screening and brief intervention beyond the minimum recruitment threshold will provide data on acceptability and feasibility of different models of brief intervention). We will also examine the practitioner and organisational factors associated with successful implementation.The trial will evaluate the impact of screening and brief alcohol intervention in routine probation work and therefore its findings will be highly relevant to probation teams and thus the criminal justice system in the UK

Maternal nutrition modifies trophoblast giant cell phenotype and fetal growth in mice

Mammalian placentation is dependent upon the action of trophoblast cells at the time of implantation. Appropriate fetal growth, regulated by maternal nutrition and nutrient transport across the placenta, is a critical factor for adult offspring long-term health. We have demonstrated that a mouse maternal low-protein diet (LPD) fed exclusively during preimplantation development (Emb-LPD) increases offspring growth but programmes adult cardiovascular and metabolic disease. In this study, we investigate the impact of maternal nutrition on post-implantation trophoblast phenotype and fetal growth. Ectoplacental cone explants were isolated at day 8 of gestation from female mice fed either normal protein diet (NPD: 18% casein), LPD (9% casein) or Emb-LPD and cultured in vitro. We observed enhanced spreading and cell division within proliferative and secondary trophoblast giant cells (TGCs) emerging from explants isolated from LPD-fed females when compared with NPD and Emb-LPD explants after 24 and 48 h. Moreover, both LPD and Emb-LPD explants showed substantial expansion of TGC area during 24-48 h, not observed in NPD. No difference in invasive capacity was observed between treatments using Matrigel transwell migration assays. At day 17 of gestation, LPD- and Emb-LPD-fed conceptuses displayed smaller placentas and larger fetuses respectively, resulting in increased fetal:placental ratios in both groups compared with NPD conceptuses. Analysis of placental and yolk sac nutrient signalling within the mammalian target of rapamycin complex 1 pathway revealed similar levels of total and phosphorylated downstream targets across groups. These data demonstrate that early post-implantation embryos modify trophoblast phenotype to regulate fetal growth under conditions of poor maternal nutrition

Do little embryos make big decisions? How maternal dietary protein restriction can permanently change an embryo's potential, affecting adult health

Periconceptional environment may influence embryo development, ultimately affecting adult health. Here, we review the rodent model of maternal low-protein diet specifically during the preimplantation period (Emb-LPD) with normal nutrition during subsequent gestation and postnatally. This model, studied mainly in the mouse, leads to cardiovascular, metabolic and behavioural disease in adult offspring, with females more susceptible. We evaluate the sequence of events from diet administration that may lead to adult disease. Emb-LPD changes maternal serum and/or uterine fluid metabolite composition, notably with reduced insulin and branched-chain amino acids. This is sensed by blastocysts through reduced mammalian target of rapamycin complex 1 signalling. Embryos respond by permanently changing the pattern of development of their extra-embryonic lineages, trophectoderm and primitive endoderm, to enhance maternal nutrient retrieval during subsequent gestation. These compensatory changes include stimulation in proliferation, endocytosis and cellular motility, and epigenetic mechanisms underlying them are being identified. Collectively, these responses act to protect fetal growth and likely contribute to offspring competitive fitness. However, the resulting growth adversely affects long-term health because perinatal weight positively correlates with adult disease risk. We argue that periconception environmental responses reflect developmental plasticity and 'decisions' made by embryos to optimise their own development, but with lasting consequences

Beyond gene-disease validity: capturing structured data on inheritance, allelic requirement, disease-relevant variant classes, and disease mechanism for inherited cardiac conditions

Background: As the availability of genomic testing grows, variant interpretation will increasingly be performed by genomic generalists, rather than domain-specific experts. Demand is rising for laboratories to accurately classify variants in inherited cardiac condition (ICC) genes, including secondary findings. // Methods: We analyse evidence for inheritance patterns, allelic requirement, disease mechanism and disease-relevant variant classes for 65 ClinGen-curated ICC gene-disease pairs. We present this information for the first time in a structured dataset, CardiacG2P, and assess application in genomic variant filtering. // Results: For 36/65 gene-disease pairs, loss of function is not an established disease mechanism, and protein truncating variants are not known to be pathogenic. Using the CardiacG2P dataset as an initial variant filter allows for efficient variant prioritisation whilst maintaining a high sensitivity for retaining pathogenic variants compared with two other variant filtering approaches. // Conclusions: Access to evidence-based structured data representing disease mechanism and allelic requirement aids variant filtering and analysis and is a pre-requisite for scalable genomic testing

Origins of Lifetime Health Around the Time of Conception: Causes and Consequences

(Abstracted from Lancet 2018;391:1842–1852) This review and meta-analysis discusses periconceptional environmental exposures that have been shown to adversely affect humans and animal models and discusses mechanistic causes and consequences. The researchers also report on the relative contributions of maternal and paternal factors on long-term periconceptional influences, in an established low-protein diet (LPD) model of parental undernutrition

The Fourteenth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the extended Baryon Oscillation Spectroscopic Survey and from the second phase of the Apache Point Observatory Galactic Evolution Experiment

The fourth generation of the Sloan Digital Sky Survey (SDSS-IV) has been in operation since July 2014. This paper describes the second data release from this phase, and the fourteenth from SDSS overall (making this, Data Release Fourteen or DR14). This release makes public data taken by SDSS-IV in its first two years of operation (July 2014-2016). Like all previous SDSS releases, DR14 is cumulative, including the most recent reductions and calibrations of all data taken by SDSS since the first phase began operations in 2000. New in DR14 is the first public release of data from the extended Baryon Oscillation Spectroscopic Survey (eBOSS); the first data from the second phase of the Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE-2), including stellar parameter estimates from an innovative data driven machine learning algorithm known as "The Cannon"; and almost twice as many data cubes from the Mapping Nearby Galaxies at APO (MaNGA) survey as were in the previous release (N = 2812 in total). This paper describes the location and format of the publicly available data from SDSS-IV surveys. We provide references to the important technical papers describing how these data have been taken (both targeting and observation details) and processed for scientific use. The SDSS website (www.sdss.org) has been updated for this release, and provides links to data downloads, as well as tutorials and examples of data use. SDSS-IV is planning to continue to collect astronomical data until 2020, and will be followed by SDSS-V.Comment: SDSS-IV collaboration alphabetical author data release paper. DR14 happened on 31st July 2017. 19 pages, 5 figures. Accepted by ApJS on 28th Nov 2017 (this is the "post-print" and "post-proofs" version; minor corrections only from v1, and most of errors found in proofs corrected