129 research outputs found
Structural changes in borosilicate glasses as a function of Fe2O3 content: A multi-technique approach
Three series of borosilicate glasses were prepared, ranging from simple ternary sodium borosilicate glasses (SCFe series), to complex borosilicate glasses (CCFe Series), to high-level radioactive waste analogue glasses (HAFe series). 57Fe Mössbauer and Fe K-edge XANES spectroscopies showed that the iron exists exclusively as Fe3+ in predominantly distorted tetrahedral structures ([4]Fe3+), with evidence for lower abundances of higher-coordinated [5 or 6]Fe3+. Raman, B K-edge XANES, and XPS spectroscopies qualitatively demonstrated that Fe3+ preferentially integrates into the borosilicate network through the silicate sub-network in the simple glasses, whereas in the complex glasses it preferentially integrates through the borate sub-network. The [4]B3+ fraction for the SCFe and CCFe glasses showed minimal changes as a function of Fe content, indicating that Fe concentration has no effect on boron coordination and is- therefore unlikely to be competing with [4]B3+ groups for charge compensation, qualitatively supporting the presence of competing tetrahedral avoidance hierarchies
Dynamic Cutoff Detection in Parameterized Concurrent Programs
Abstract. We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for this class is essential in software verification using predicate abstraction. While this problem is decidable via Petri net coverability analysis, techniques solely based on coverability suffer from the problem’s exponential-space complexity. In this paper, we present an alternative method based on a thread-state cutoff: a number n of threads that suffice to generate all reachable thread states. We give a condition, verifiable dynamically during reachability analysis for increasing n, that is sufficient to conclude that n is a cutoff. We then make the method complete, via a coverability query that is of low cost in practice. We demonstrate the efficiency of the approach on Petri net encodings of communication protocols, as well as on non-recursive Boolean programs run by arbitrarily many parallel threads.
Interleukin-7 deficiency in rheumatoid arthritis: consequences for therapy-induced lymphopenia
We previously demonstrated prolonged, profound CD4+ T-lymphopenia in rheumatoid arthritis (RA) patients following lymphocyte-depleting therapy. Poor reconstitution could result either from reduced de novo T-cell production through the thymus or from poor peripheral expansion of residual T-cells. Interleukin-7 (IL-7) is known to stimulate the thymus to produce new T-cells and to allow circulating mature T-cells to expand, thereby playing a critical role in T-cell homeostasis. In the present study we demonstrated reduced levels of circulating IL-7 in a cross-section of RA patients. IL-7 production by bone marrow stromal cell cultures was also compromised in RA. To investigate whether such an IL-7 deficiency could account for the prolonged lymphopenia observed in RA following therapeutic lymphodepletion, we compared RA patients and patients with solid cancers treated with high-dose chemotherapy and autologous progenitor cell rescue. Chemotherapy rendered all patients similarly lymphopenic, but this was sustained in RA patients at 12 months, as compared with the reconstitution that occurred in cancer patients by 3–4 months. Both cohorts produced naïve T-cells containing T-cell receptor excision circles. The main distinguishing feature between the groups was a failure to expand peripheral T-cells in RA, particularly memory cells during the first 3 months after treatment. Most importantly, there was no increase in serum IL-7 levels in RA, as compared with a fourfold rise in non-RA control individuals at the time of lymphopenia. Our data therefore suggest that RA patients are relatively IL-7 deficient and that this deficiency is likely to be an important contributing factor to poor early T-cell reconstitution in RA following therapeutic lymphodepletion. Furthermore, in RA patients with stable, well controlled disease, IL-7 levels were positively correlated with the T-cell receptor excision circle content of CD4+ T-cells, demonstrating a direct effect of IL-7 on thymic activity in this cohort
Modelling the sulfate capacity of simulated radioactive waste borosilicate glasses
The capacity of simulated high-level radioactive waste borosilicate glasses to incorporate sulfate has been studied as a function of glass composition. Combined Raman, 57Fe Mössbauer and literature evidence supports the attribution of coordination numbers and oxidation states of constituent cations for the purposes of modelling, and results confirm the validity of correlating sulfate incorporation in multicomponent borosilicate radioactive waste glasses with different models. A strong compositional dependency is observed and this can be described by an inverse linear relationship between incorporated sulfate (mol% SO42−) and total cation field strength index of the glass, Σ(z/a2), with a high goodness-of-fit (R2 ≈ 0.950). Similar relationships are also obtained if theoretical optical basicity, Λth (R2 ≈ 0.930) or non-bridging oxygen per tetrahedron ratio, NBO/T (R2 ≈ 0.919), are used. Results support the application of these models, and in particular Σ(z/a2), as predictive tools to aid the development of new glass compositions with enhanced sulfate capacities
Universality classes in Burgers turbulence
We establish necessary and sufficient conditions for the shock statistics to
approach self-similar form in Burgers turbulence with L\'{e}vy process initial
data. The proof relies upon an elegant closure theorem of Bertoin and Carraro
and Duchon that reduces the study of shock statistics to Smoluchowski's
coagulation equation with additive kernel, and upon our previous
characterization of the domains of attraction of self-similar solutions for
this equation
The Bristol CMIP6 Data Hackathon
The Bristol CMIP6 Data Hackathon formed part of the Met Office Climate Data Challenge Hackathon series during 2021, bringing together around 100 UK early career researchers from a wide range of environmental disciplines. The purpose was to interrogate the under-utilised but currently most advanced climate model inter-comparison project datasets to develop new research ideas, create new networks and outreach opportunities in the lead up to COP26. Experts in different science fields, supported by a core team of scientists and data specialists at Bristol, had the unique opportunity to explore together interdisciplinary environmental topics summarised in this article
On limit theorems for continued fractions
It is shown that for sums of functionals of digits in continued fraction
expansion the Kolmogorov-Feller weak laws of large numbers and the
Khinchine-L\'evy-Feller-Raikov characterization of the domain of attraction of
the normal law hold.Comment: 16 page
Perspectives in visual imaging for marine biology and ecology: from acquisition to understanding
Durden J, Schoening T, Althaus F, et al. Perspectives in Visual Imaging for Marine Biology and Ecology: From Acquisition to Understanding. In: Hughes RN, Hughes DJ, Smith IP, Dale AC, eds. Oceanography and Marine Biology: An Annual Review. 54. Boca Raton: CRC Press; 2016: 1-72
Common variants near MC4R are associated with fat mass, weight and risk of obesity.
To identify common variants influencing body mass index (BMI), we analyzed genome-wide association data from 16,876 individuals of European descent. After previously reported variants in FTO, the strongest association signal (rs17782313, P = 2.9 x 10(-6)) mapped 188 kb downstream of MC4R (melanocortin-4 receptor), mutations of which are the leading cause of monogenic severe childhood-onset obesity. We confirmed the BMI association in 60,352 adults (per-allele effect = 0.05 Z-score units; P = 2.8 x 10(-15)) and 5,988 children aged 7-11 (0.13 Z-score units; P = 1.5 x 10(-8)). In case-control analyses (n = 10,583), the odds for severe childhood obesity reached 1.30 (P = 8.0 x 10(-11)). Furthermore, we observed overtransmission of the risk allele to obese offspring in 660 families (P (pedigree disequilibrium test average; PDT-avg) = 2.4 x 10(-4)). The SNP location and patterns of phenotypic associations are consistent with effects mediated through altered MC4R function. Our findings establish that common variants near MC4R influence fat mass, weight and obesity risk at the population level and reinforce the need for large-scale data integration to identify variants influencing continuous biomedical traits
- …