Prediction of water–rock interaction and porosity evolution in a granitoid-hosted enhanced geothermal system, using constraints from the 5 km Basel-1 well

Numerical simulations based on plans for a deep geothermal system in Basel, Switzerland are used here to understand chemical processes that occur in an initially dry granitoid reservoir during hydraulic stimulation and long-term water circulation to extract heat. An important question regarding the sustainability of such enhanced geothermal systems (EGS), is whether water–rock reactions will eventually lead to clogging of flow paths in the reservoir and thereby reduce or even completely block fluid throughput. A reactive transport model allows the main chemical reactions to be predicted and the resulting evolution of porosity to be tracked over the expected 30-year operational lifetime of the system. The simulations show that injection of surface water to stimulate fracture permeability in the monzogranite reservoir at 190 °C and 5000 m depth induces redox reactions between the oxidised surface water and the reduced wall rock. Although new calcite, chlorite, hematite and other minerals precipitate near the injection well, their volumes are low and more than compensated by those of the dissolving wall-rock minerals. Thus, during stimulation, reduction of injectivity by mineral precipitation is unlikely. During the simulated long-term operation of the system, the main mineral reactions are the hydration and albitization of plagioclase, the alteration of hornblende to an assemblage of smectites and chlorites and of primary K-feldspar to muscovite and microcline. Within a closed-system doublet, the composition of the circulated fluid changes only slightly during its repeated passage through the reservoir, as the wall rock essentially undergoes isochemical recrystallization. Even after 30 years of circulation, the calculations show that porosity is reduced by only ∼0.2%, well below the expected fracture porosity induced by stimulation. This result suggests that permeability reduction owing to water–rock interaction is unlikely to jeopardize the long-term operation of deep, granitoid-hosted EGS systems. A peculiarity at Basel is the presence of anhydrite as fracture coatings at ∼5000 m depth. Simulated exposure of the circulating fluid to anhydrite induces a stronger redox disequilibrium in the reservoir, driving dissolution of ferrous minerals and precipitation of ferric smectites, hematite and pyrite. However, even in this scenario the porosity reduction is at most 0.5%, a value which is unproblematic for sustainable fluid circulation through the reservoir.

Naive B-cell trafficking is shaped by local chemokine availability and LFA-1-independent stromal interactions.

It is not known how naive B cells compute divergent chemoattractant signals of the T-cell area and B-cell follicles during in vivo migration. Here, we used two-photon microscopy of peripheral lymph nodes (PLNs) to analyze the prototype G-protein-coupled receptors (GPCRs) CXCR4, CXCR5, and CCR7 during B-cell migration, as well as the integrin LFA-1 for stromal guidance. CXCR4 and CCR7 did not influence parenchymal B-cell motility and distribution, despite their role during B-cell arrest in venules. In contrast, CXCR5 played a nonredundant role in B-cell motility in follicles and in the T-cell area. B-cell migration in the T-cell area followed a random guided walk model, arguing against directed migration in vivo. LFA-1, but not α4 integrins, contributed to B-cell motility in PLNs. However, stromal network guidance was LFA-1 independent, uncoupling integrin-dependent migration from stromal attachment. Finally, we observed that despite a 20-fold reduction of chemokine expression in virus-challenged PLNs, CXCR5 remained essential for B-cell screening of antigen-presenting cells. Our data provide an overview of the contribution of prototype GPCRs and integrins during naive B-cell migration and shed light on the local chemokine availability that these cells compute.

Assessment of smoking behaviour in a dental setting: a 1-year follow-up study using self-reported questionnaire data and exhaled carbon monoxide levels.

OBJECTIVES This study analyses the changes in smoking habits over the course of 1 year in a group of patients referred to an oral medicine unit. MATERIALS AND METHODS Smoking history and behaviour were analysed at baseline and after 1 year based on a self-reported questionnaire and on exhaled carbon monoxide levels [in parts per million (ppm)]. During the initial examination, all smokers underwent tobacco use prevention and cessation counselling. RESULTS Of the initial group of 121 patients, 98 were examined at the follow-up visit. At the baseline examination, 33 patients (33.67 %) indicated that they were current smokers. One year later, 14 patients (42.24 % out of the 33 smokers of the initial examination) indicated that they had attempted to stop smoking at least once over the follow-up period and 15.15 % (5 patients) had quit smoking. The mean number of cigarettes smoked per day by current smokers decreased from 13.10 to 12.18 (p = 0.04). The exhaled CO level measurements showed very good correlation with a Spearman's coefficient 0.9880 for the initial visit, and 0.9909 for the follow-up examination. For current smokers, the consumption of one additional cigarette per day elevated the CO measurements by 0.77 ppm (p < 0.0001) at the baseline examination and by 0.84 ppm (p < 0.0001) at the 1-year follow-up. CONCLUSIONS In oral health care, where smoking cessation is an important aspect of the treatment strategy, the measurement of exhaled carbon monoxide shows a very good correlation with a self-reported smoking habit. CLINICAL RELEVANCE Measurement of exhaled carbon monoxide is a non-invasive, simple and objective measurement technique for documenting and monitoring smoking cessation and reduction.

Comparative assessment of ELISAs using recombinant saposin-like protein 2 and recombinant cathepsin L-1 from Fasciola hepatica for the serodiagnosis of human Fasciolosis.

Two recombinant Fasciola hepatica antigens, saposin-like protein-2 (recSAP2) and cathepsin L-1 (recCL1), were assessed individually and in combination in enzyme-linked immunosorbent assays (ELISA) for the specific serodiagnosis of human fasciolosis in areas of low endemicity as encountered in Central Europe. Antibody detection was conducted using ProteinA/ProteinG (PAG) conjugated to alkaline phosphatase. Test characteristics as well as agreement with results from an ELISA using excretory-secretory products (FhES) from adult stage liver flukes was assessed by receiver operator characteristic (ROC) analysis, specificity, sensitivity, Youdens J and overall accuracy. Cross-reactivity was assessed using three different groups of serum samples from healthy individuals (n=20), patients with other parasitic infections (n=87) and patients with malignancies (n=121). The best combined diagnostic results for recombinant antigens were obtained using the recSAP2-ELISA (87% sensitivity, 99% specificity and 97% overall accuracy) employing the threshold (cut-off) to discriminate between positive and negative reactions that maximized Youdens J. The findings showed that recSAP2-ELISA can be used for the routine serodiagnosis of chronic fasciolosis in clinical laboratories; the use of the PAG-conjugate offers the opportunity to employ, for example, rabbit hyperimmune serum for the standardization of positive controls.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.