Structural Refinement for the Modal nu-Calculus

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. Using our translations, we also transfer the structural operations of composition and quotient from disjunctive modal transition systems to the modal nu-calculus. This shows that the modal nu-calculus supports composition and decomposition of specifications.Comment: Accepted at ICTAC 201

Diffusion of digital innovation in construction: a case study of a UK engineering firm

The UK government is mandating the use of building information modelling (BIM) in large public projects by 2016. As a result, engineering firms are faced with challenges related to embedding new technologies and associated working practices for the digital delivery of major infrastructure projects. Diffusion of innovations theory is used to investigate how digital innovations diffuse across complex firms. A contextualist approach is employed through an in-depth case study of a large, international engineering project-based firm. The analysis of the empirical data, which was collected over a four-year period of close interaction with the firm, reveals parallel paths of diffusion occurring across the firm, where both the innovation and the firm context were continually changing. The diffusion process is traced over three phases: centralization of technology management, standardization of digital working practices, and globalization of digital resources. The findings describe the diffusion of a digital innovation as multiple and partial within a complex social system during times of change and organizational uncertainty, thereby contributing to diffusion of innovations studies in construction by showing a range of activities and dynamics of a non-linear diffusion process

Decrease in heathland soil labile organic carbon under future atmospheric and climatic conditions

Characterization of the impacts of climate change on terrestrial carbon (C) cycling is important due to possible feedback mechanisms to atmospheric CO2 concentrations. We investigated soil organic matter (SOM) dynamics in the A1 and A2 horizons (~0–5.1 and ~5.1–12.3 cm depth, respectively) of a shrubland grass (Deschampsia flexuosa) after 8 years of exposure to: elevated CO2 (CO2), summer drought (D), warming (T) and all combinations hereof, with TDCO2 simulating environmental conditions for Denmark in 2075. The mean C residence time was highest in the heavy fraction (HF), followed by the occluded light fraction and the free light fraction (fLF), and it increased with soil depth, suggesting that C was stabilized on minerals at depth. A2 horizon SOM was susceptible to climate change whereas A1 horizon SOM was largely unaffected. The A2 horizon fLF and HF organic C stocks decreased by 43 and 23% in response to warming, respectively. Organic nitrogen (N) stocks of the A2 horizon fLF and HF decreased by 50 and 17%, respectively. Drought decreased the A2 horizon fLF N stock by 38%. Elevated CO2 decreased the A2 horizon fLF C stock by 39% and the fLF N stock by 50%. Under TDCO2, A2 horizon fLF C and N stocks decreased by 22 and 40%, respectively. Overall, our results indicate that shrubland SOM will be susceptible to increased turnover and associated net C and N losses in the future

Direct observation by resonant tunneling of the B^+ level in a delta-doped silicon barrier

We observe a resonance in the conductance of silicon tunneling devices with a delta-doped barrier. The position of the resonance indicates that it arises from tunneling through the B^+ state of the boron atoms of the delta-layer. Since the emitter Fermi level in our devices is a field-independent reference energy, we are able to directly observe the diamagnetic shift of the B^+ level. This is contrary to the situation in magneto-optical spectroscopy, where the shift is absorbed in the measured ionization energy.Comment: submitted to PR

Revision and 90-day mortality following hip arthroplasty in patients with inflammatory arthritis and ankylosing spondylitis enrolled in the National Joint Registry for England and Wales

Aim: To assess revision rates and postoperative mortality in patients undergoing hip arthroplasty (HA) for inflammatory arthritis compared to hip osteoarthritis (OA). Methods: The analysis was conducted among cases of HA that were recorded in the National Joint Registry for England and Wales (NJR) between April 2003 and December 2012 and linked to Office for National Statistics mortality records. Procedures were identified where the indication for surgery was listed as seropositive rheumatoid arthritis (RA), ankylosing spondylitis (AS), other inflammatory arthritis (otherIA), or OA. 5-year revision risk and 90-day postoperative mortality according to indication were compared using Cox regression models adjusted for age, sex, American Society of Anaesthesiologists (ASA) grade, year of operation, implant type, and surgical approach. Results: The cohort included 1457 HA procedures conducted for RA, 615 for AS, 1000 for otherIA, and 183,108 for OA. When compared with OA, there was no increased revision risk for any form of inflammatory arthritis (adjusted HRs: RA: 0.93 (0.64–1.35); AS: 1.14 (0.73–1.79); otherIA: 1.08 (0.73–1.59)). Postoperative 90-day mortality was increased for RA when compared with OA (adjusted HR: 2.86 (1.68–4.88)), but not for AS (adjusted HR: 1.56 (0.59–4.18)) or otherIA (adjusted HR: 0.64 (0.16–2.55)). Conclusions: The revision risk in HA performed for all types of inflammatory arthritis is similar to that for HA performed for OA. The 3-fold increased risk of 90-day mortality in patients with RA compared with OA highlights the need for active management of associated comorbidities in RA patients during the perioperative period

Moderate to vigorous physical activity interactions with genetic variants and body mass index in a large US ethnically diverse cohort

Summary What is already known about this subject Genome-Wide Association Studies have successfully identified numerous genetic loci that influence body mass index in European-descent middle-aged adults. Adolescence is a high-risk period for the development of adult obesity and severe obesity. Physical activity is one of the most promising behavioural candidates for preventing and reducing weight gain, particularly among youth. What this study adds An examination of the joint association between 41 of the well-established obesity susceptibility single-nucleotide polymorphisms with <5 vs. ≥5 bouts of moderate to vigorous physical activity (MVPA) per week in relation to body mass index (BMI)-for-age Z-score in a nationally representative sample of European American, African-American and Hispanic American adolescents. Three nominally significant interactions (P < 0.05) varied by race/ethnicity. Overall, the estimated effect of the risk allele on BMI-for-age Z-score was greater in individuals with <5 than those with ≥5 bouts MVPA per week. Background Little is known about the interaction between genetic and behavioural factors during lifecycle risk periods for obesity and how associations vary across race/ethnicity. Objective The objective of this study was to examine joint associations of adiposity-related single-nucleotide polymorphisms (SNPs) and moderate to vigorous physical activity (MVPA) with body mass index (BMI) in a diverse adolescent cohort. Methods Using data from the National Longitudinal Study of Adolescent Health (n = 8113: Wave II 1996; ages 12-21, Wave III; ages 18-27), we assessed interactions of 41 well-established SNPs and MVPA with BMI-for-age Z-scores in European Americans (EA; n = 5077), African-Americans (AA; n = 1736) and Hispanic Americans (HA; n = 1300). Results Of 97 assessed, we found nominally significant SNP-MVPA interactions on BMI-for-age Z-score in EA at GNPDA2 and FTO and in HA at LZTR2/SEC16B. In EA, the estimated effect of the FTO risk allele on BMI-for-age Z-score was lower (β = -0.13; 95% confidence interval [CI]: 0.08, 0.18) in individuals with ≥5 vs. <5 (β = 0.24; CI: 0.16, 0.32) bouts of MVPA per week (P for interaction 0.02). Race/ethnicity-pooled meta-analysis showed nominally significant interactions for SNPs at TFAP2B, POC5 and LYPLAL1. Conclusions High MVPA may attenuate underlying genetic risk for obesity during adolescence, a high-risk period for adult obesity

Evidence for Association between SH2B1 Gene Variants and Glycated Hemoglobin in Nondiabetic European American Young Adults: The Add Health Study

Glycated hemoglobin (HbA1c) is used to classify glycaemia and type 2 diabetes (T2D). Body mass index (BMI) is a predictor of HbA1c levels and T2D. We tested 43 established BMI and obesity loci for association with HbA1c in a nationally representative multiethnic sample of young adults from the National Longitudinal Study of Adolescent to Adult Health [Add Health: age 24–34 years; n = 5641 European Americans (EA); 1740 African Americans (AA); 1444 Hispanic Americans (HA)] without T2D, using two levels of covariate adjustment (Model 1: age, sex, smoking, and geographic region; Model 2: Model 1 covariates plus BMI). Bonferroni adjustment was made for 43 SNPs and we considered P &lt; 0.0011 statistically significant. Means (SD) for HbA1c were 5.4% (0.3) in EA, 5.7% (0.4) in AA, and 5.5% (0.3) in HA. We observed significant evidence for association with HbA1c for two variants near SH2B1 in EA (rs4788102, P = 2.2 × 10−4; rs7359397, P = 9.8 × 10−4) for Model 1. Both results were attenuated after adjustment for BMI (rs4788102, P = 1.7 × 10−3; rs7359397, P = 4.6 × 10−3). No variant reached Bonferroni-corrected significance in AA or HA. These results suggest that SH2B1 polymorphisms are associated with HbA1c, largely independent of BMI, in EA young adults

Screen time behaviours may interact with obesity genes, independent of physical activity, to influence adolescent BMI in an ethnically diverse cohort

Background There has been little investigation of gene-by-environment interactions related to sedentary behaviour, a risk factor for obesity defined as leisure screen time (ST; i.e. television, video and computer games). Objective To test the hypothesis that limiting ST use attenuates the genetic predisposition to increased body mass index (BMI), independent of physical activity. Design Using 7642 wave II participants of the National Longitudinal Study of Adolescent Health, (Add Health; mean=16.4 years, 52.6% female), we assessed the interaction of ST (hweek-1) and 41 established obesity single nucleotide polymorphisms (SNPs) with age- and sex-specific BMI Z-scores in 4788 European-American (EA), 1612 African-American (AA) and 1242 Hispanic American (HA) adolescents. Results Nominally significant SNP ST interaction were found for FLJ35779 in EA, GNPDA2 in AA and none in HA (EA: beta [SE]=0.016[0.007]), AA: beta [SE]=0.016[0.011]) per 7hweek-1 ST and one risk allele in relation to BMI Z-score. Conclusions While for two established BMI loci, we find evidence that high levels of ST exacerbate the influence of obesity susceptibility variants on body mass; overall, we do not find strong evidence for interactions between the majority of established obesity loci. However, future studies with larger sample sizes, or that may build on our current study and the growing published literature, are clearly warranted