The Buffered \pi-Calculus: A Model for Concurrent Languages

Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered $\pi$-calculus --- a variant of the $\pi$-calculus where channel names are classified into buffered and unbuffered: communication along buffered channels is asynchronous, and remains synchronous along unbuffered channels. We show that the buffered $\pi$-calculus can be fully simulated in the polyadic $\pi$-calculus with respect to strong bisimulation. In contrast to the $\pi$-calculus which is hard to use in practice, the new language enables easy and clear modeling of practical concurrent languages. We encode two real-world concurrent languages in the buffered $\pi$-calculus: the (core) Go language and the (Core) Erlang. Both encodings are fully abstract with respect to weak bisimulations

In situ electrokinetic (EK) remediation of the total and plant available cadmium (Cd) in paddy agricultural soil using low voltage gradients at pilot and full scales

Electrokinetic (EK) remediation has been widely studied at laboratory scales. However, field-scale research is far less. In this study, a 14-day EK remediation was carried out, in a field pilot (4 m2) test and a full-scale (200 m2) application for the first time, in a cadmium (Cd) contaminated paddy agricultural field near a mining area. A low voltage of 20 V was applied at both scales; voltage gradient was 20 V m & minus;1 and 4 V m & minus;1 at the pilot and full scales, respectively. Samples were taken from near the anode and cathode, and in the middle of the electric field, in the soil layers 0-10 cm, 10-20 cm, and 40-50 cm. After the EK remediation, a significant portion of the total Cd was removed in all the layers at the pilot scale, by 87%, 72%, and 54% from the top down, but only in the 0-10 cm layer at the full scale by 74%. As for the plant available (exchangeable and soluble) Cd, significant removal (64%) was only observed in the 0-10 cm layer at the pilot scale. The percentage reduction of the electrical conductivity and removal efficiency of the total Cd was higher near the anode than the cathode. The soil pH was elevated near the cathode but stayed below pH 6 due to the sufficient supply of lactic acid. After the EK remediation, the concentration of the total Cd dropped below the hazard threshold, i.e. 0.4 mg (kg dry wt soil)& minus;1 for agricultural paddy fields in China. A total energy of 2 kW & middot;h and 0.6 kW & middot;h was consumed at the pilot and full scales, respec-tively. This study showed a successful in situ EK remediation of Cd contaminated paddy agricultural soil, espe-cially in the surface layer, with low voltage and energy demand. (c) 2021 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).Peer reviewe

The association between type 2 diabetes and pulmonary cavitation revealed among IGRA-positive tuberculosis patients

The co-occurrence of tuberculosis (TB) and diabetes mellitus (DM) presents a significant obstacle to TB eradication. Pulmonary cavitation can occur in severe cases of TB, particularly in patients with DM. From 1 May 2014 through 30 June 2019, we conducted a cross-sectional study of 1,658 smear- or culture-confirmed pulmonary TB (PTB) patients at the Second Department of Pulmonary Medicine and Tuberculosis, Shenzhen, China. A total of 861 participants who satisfied the criteria (chest CT scan for cavitation, interferon-gamma release assay (IGRA), diagnosis of diabetes mellitus), with the median age of 36.7 years, 63.6% of male, 79.7% IGRA positive, 13.8% with diabetes, and 40.8% with pulmonary cavitation, were included in the study. The association between diabetes and pulmonary cavitation was confirmed in these TB patients (adjusted OR, 2.54; 95% CI, 1.66–3.94; p < 0.001). No associations were observed between diabetes and IGRA, as well as between lung cavitary and IGRA. Based on the criteria of IGRA+/–, pulmonary cavitation+/–, and DM+/–, the further analysis with univariate and multivariate logistic regression were conducted in six subgroups. The significant association between diabetes and pulmonary cavitation was further confirmed in the IGRA+ subgroup (adjusted OR, 3.07; 95% CI, 1.86–5.16; p < 0.001) but not observed in IGRA- individuals. This observation suggests that different immunological mechanisms of pulmonary cavitary/DM may be employed in IGRA+ TB patients from IGRA- TB patients

MicroRNA100 Inhibits Self-Renewal of Breast Cancer Stem–like Cells and Breast Tumor Development

miRNAs are essential for self-renewal and differentiation of normal and malignant stem cells by regulating the expression of key stem cell regulatory genes. Here, we report evidence implicating the miR100 in self-renewal of cancer stem-like cells (CSC). We found that miR100 expression levels relate to the cellular differentiation state, with lowest expression in cells displaying stem cell markers. Utilizing a tetracycline-inducible lentivirus to elevate expression of miR100 in human cells, we found that increasing miR100 levels decreased the production of breast CSCs. This effect was correlated with an inhibition of cancer cell proliferation in vitro and in mouse tumor xenografts due to attenuated expression of the CSC regulatory genes SMARCA5, SMARCD1, and BMPR2. Furthermore, miR100 induction in breast CSCs immediately upon their orthotopic implantation or intracardiac injection completely blocked tumor growth and metastasis formation. Clinically, we observed a significant association between miR100 expression in breast cancer specimens and patient survival. Our results suggest that miR100 is required to direct CSC self-renewal and differentiation

NANOG Reporter Cell Lines Generated by Gene Targeting in Human Embryonic Stem Cells

Background: Pluripotency and self-renewal of human embryonic stem cells (hESCs) is mediated by a complex interplay between extra- and intracellular signaling pathways, which regulate the expression of pluripotency-specific transcription factors. The homeodomain transcription factor NANOG plays a central role in maintaining hESC pluripotency, but the precise role and regulation of NANOG are not well defined. Methodology/Principal Findings: To facilitate the study of NANOG expression and regulation in viable hESC cultures, we generated fluorescent NANOG reporter cell lines by gene targeting in hESCs. In these reporter lines, the fluorescent reporter gene was co-expressed with endogenous NANOG and responded to experimental induction or repression of the NANOG promoter with appropriate changes in expression levels. Furthermore, NANOG reporter lines facilitated the separation of hESC populations based on NANOG expression levels and their subsequent characterization. Gene expression arrays on isolated hESC subpopulations revealed genes with differential expression in NANOG high and NANOG low hESCs, providing candidates for NANOG downstream targets hESCs. Conclusion/Significance: The newly derived NANOG reporter hESC lines present novel tools to visualize NANOG expression in viable hESCs. In future applications, these reporter lines can be used to elucidate the function and regulation of NANO