We revisit the communication primitive in ambient calculi. Previously, such communication was confined to first-order (FO) mode (e.g., merely names or capabilities of ambients can be sent), local mode (e.g., the communication only occurs inside an ambient), or particular cross-hierarchy mode (e.g., parent-child communication). In this work, we explore further higher-order (HO) communication in ambient calculi. Specifically, such a communication mechanism allows sending a whole piece of a program across the borders of ambients and is the only form of communication that can happen exactly between ambients. Since ambients are basically of HO nature (i.e., those being moved may be ambients themselves), in a sense, it appears more natural to have HO communication than FO communication. We stipulate that communications merely occur between equally positioned ambients in a peer-to-peer fashion (e.g., between sibling ambients). Following this line, we drop the local or other forms of communication that violate this criterion. As the workbench, we work on a variant of Fair Ambients extended with HO communication, FAHO. This variant also strengthens the original version in that entirely real-identity interaction is guaranteed. We study the semantics, bisimulation, and expressiveness of FAHO. Particularly, we provide the operational semantics using a labeled transition system. Over the semantics, we define the bisimulation in line with the standard notion of bisimulation for ambients and prove that the bisimulation equivalence (i.e., bisimilarity) is a congruence. In addition, we demonstrate that bisimilarity coincides with observational congruence (i.e., barbed congruence). Moreover, we show that FAHO can encode a minimal Turing-complete HO calculus and thus is computationally complete.

Although it is well established that gestational diabetes mellitus (GDM) is associated with fetal overgrowth in singleton pregnancies, little is known about its role in twins. We aimed to explore the relationship between GDM and the longitudinal fetal growth in twin pregnancies. This was a retrospective matched cohort study of GDM and non-GDM twin pregnancies delivered ≥36 weeks without other complications. All the women performed ≥3 ultrasounds after 22 weeks. Linear mixed models (LMMs) were used to explore the relationships between longitudinal fetal growth trajectories and GDM. Group-based trajectory modeling (GBTM) and generalized estimating equation (GEE) were applied to identify the latent growth patterns and investigate their relationships with GDM. In total, 215 GDM and 645 non-GDM twins were included, the majority of the patients did not require medication therapy (n = 202, GDMA1). LMM revealed that, compared with non-GDM, GDM was associated with an average increase in fetal weight of 4.36 g (95% CI [1.25, 7.48]) per week. GBTM and GEE further revealed that GDM increased the odds of fetal weight trajectory to nearly 40% of the total fetal weight trajectory, classified into the high-speed group (aOR = 1.39, 95% CI [1.03, 1.88]), associating with a 49.44 g (95% CI [11.41, 87.48]) increase in birth weight. Subgroup analysis revealed that all these differences were only significant among the GDMA1 pregnancies (p < .05). GDM (GDMA1) is significantly associated with an increase in fetal weight during gestation in twin pregnancies. However, this acceleration is mild, and its significance requires further exploration.

This study aimed to develop a predictive tool for identifying individuals with high antibody titers crucial for recruiting COVID-19 convalescent plasma (CCP) donors and to assess the quality and storage changes of CCP. A convenience sample of 110 plasma donors was recruited, of which 75 met the study criteria. Using univariate logistic regression and random forest, 6 significant factors were identified, leading to the development of a nomogram. Receiver operating characteristic curves, calibration plots, and decision curve analysis (DCA) evaluated the nomogram’s discrimination, calibration, and clinical utility. The nomogram indicated that females aged 18 to 26, blood type O, receiving 1 to 2 COVID-19 vaccine doses, experiencing 2 symptoms during infection, and donating plasma 41 to 150 days after symptom onset had higher likelihoods of high antibody titres. Nomogram’s AUC was 0.853 with good calibration. DCA showed clinical benefit within 9% ~ 90% thresholds. CCP quality was qualified, with stable antibody titres over 6 months (P > 0.05). These findings highlight developing predictive tools to identify suitable CCP donors and emphasize the stability of CCP quality over time, suggesting its potential for long-term storage.

The traditional model of family relationships is undergoing significant changes in contemporary China. Nevertheless, little research has delved into the dynamic evolution of intergenerational relationships. To address this research gap, we utilise data from the Chinese Longitudinal Aging Social Survey (CLASS) conducted between 2016 and 2018 (N = 7,009) to analyse the transitions in intergenerational relationships over a two-year period, alongside the predictive factors. Employing Latent Transition Analysis, we unveil three distinct typologies: ‘Tight-Knit’, ‘Intimate-Distant’ and ‘Ambivalent-Distant’, which undergo changes over time. Our study captures the tendency of the integration of tradition and modernity within intergenerational relationship patterns in China, as well as the intricate dynamics of these relationships. Furthermore, we identify the predictive roles of age, gender, household registration, health conditions, life events, family composition and filial piety on relationship transitions. This study expands upon previous typological research on intergenerational relationships and enriches our comprehension of their intricate and dynamic nature.

In the absence of the necessary valley topography, karst depressions are sometimes used to construct conventional impoundments in order to contain tailings. Leakage is a primary concern for such impoundments. The purpose of the current study was to determine the characteristics and barrier performance of laterite mantling karst depressions, using, as an example, the Wujiwatang (WJWT) tailings impoundment, located in the Gejiu mining area, southwestern China. The geotechnical-hydrogeological properties, geochemistry, mineral compositions, and particle shapes of the laterite were investigated by geotechnical techniques, chemical analysis, X-ray diffraction (XRD), and scanning electron microscopy (SEM). The results showed that the laterite contained poorly sorted particles that covered a wide spectrum of grain sizes (<5 mm to <50 nm), and was unexpectedly categorized as silty clay or silt with a high liquid limit. The continuous gradation and small D90 value helped the laterite achieve saturated hydraulic conductivities in the range of <10–6 cm/s required for impoundment liners. The laterite beneath the tailings impoundment was finer-grained and had a lower permeability than that of the laterite on the depression walls within the same depression. Geochemically and mineralogically, the laterite was classified as true laterite and its major mineralogical constituents were gibbsite and goethite with chlorite occurring in trace amounts. The laterite was dominated by subspherolitic–spherolitic cohesionless grains (concretions) made up of Al, Fe, Ti, and Mn oxides and hydroxides. The laterite did not have plasticity indices in the clay range. Fortunately, slopewash prior to tailings containment selectively transported the finer oxide concretions to the depression floor, creating a natural low-permeability barrier for the WJWT tailings impoundment. This is undoubtedly important for the planning and design of future karst depression-type tailings impoundments around the world.

Photo-assisted selective catalytic reduction (photo-SCR) has been considered as a promising strategy for NOx removal in recent decades. The purpose of the present work was to test the effectiveness of La1–xPrxCoO3, supported on the surface of natural palygorskite (Pal) by a facile sol-gel method, as a photo-SCR for the removal of NOx from wastewaters. The structure, acidity, and the redox property of the prepared La1–xPrxCoO3/Pal nanocomposite were characterized using X-ray diffraction (XRD), scanning electron microscopy (SEM), transmission electron microscopy (TEM), UV-Visible diffuse reflectance spectroscopy (UV-Vis DRS), and X-ray photoelectron spectroscopy (XPS). Density functional theory (DFT) calculations were employed to determine the valence bands. The La1–xPrxCoO3/Pal catalysts were then tested for SCR removal of NOx with the assistance of photo-irradiation. The photo-SCR results revealed that the NOx conversion and the N2-selectivity were greatly improved by this method and reached >95% when carried out at the relatively low temperature of 200°C and with the Pr doping at x = 0.5. The improvements were attributed to the co-precipitation of a PrCoO3 phase as in a solid solution forming a coherent heterojunction of PrCoO3/La0.5Pr0.5CoO3 on the Pal surface.

Fast neutron absorption spectroscopy is widely used in the study of nuclear structure and element analysis. However, due to the traditional neutron source pulse duration being of the order of nanoseconds, it is difficult to obtain a high-resolution absorption spectrum. Thus, we present a method of ultrahigh energy-resolution absorption spectroscopy via a high repetition rate, picosecond duration pulsed neutron source driven by a terawatt laser. The technology of single neutron count is used, which results in easily distinguishing the width of approximately 20 keV at 2 MeV and an asymmetric shape of the neutron absorption peak. The absorption spectroscopy based on a laser neutron source has one order of magnitude higher energy-resolution power than the state-of-the-art traditional neutron sources, which could be of benefit for precisely measuring nuclear structure data.

The lift generation mechanism of leading-edge vortex (LEV) in the case of a pitching and plunging plate is studied using an experimental approach and the improved discrete vortex method in this research. A formation condition of the secondary structure is introduced into the traditional discrete vortex method to compensate for the shortcomings in the simulation of the viscous effect between LEV and plate. The simulation of the secondary structure helps the improved method perform better in flow-field reconstruction and lift prediction. Accordingly, the lift generation mechanism of the LEV and influence of the secondary structure are studied. The lift contribution of the vortex structure is isolated and linearly decomposed into two parts according to sources of flow field: the quasi-potential flow part and the vortex-induced flow part. The vortex lift is defined as the lift contribution of the vortex structure in vortex-induced flow, which gives a new insight into the production of lift of the LEV. The lift generation mechanism through the discrete vortex method is verified and extended in viscous flow through experimental measurement. In addition, a vortex lift indicator based on the reverse flow of the LEV is proposed to examine the change of vortex lift in experimental measurement. The flow mechanism for the decline of vortex lift for different maximum effective angles of attack is revealed based on the vortex lift indicator. Furthermore, for the LEV-dominating flow, the indicator can also be applied in estimating the maximum value and corresponding critical time of overall lift in experiments.

Menaquinone-7 (MK-7), a multipotent vitamin K2, possesses a wide range of biological activities, a precise curative effect and excellent safety. A simple and rapid LC-APCI-MS/MS method for the determination of MK-7 in human plasma with single liquid–liquid extraction (LLE) extraction and 4·5-min analysis time has been developed and validated. Four per cent bovine serum albumin (BSA) was used as surrogate matrix for standard curves and endogenous baseline subtraction. This method was reproducible and reliable and was used to analyse of MK-7 in human plasma. The endogenous circadian rhythm and bioavailability of MK-7 were investigated in two randomised single-dose, open, one-way clinical trials (Study I and Study II). A total of five healthy male subjects were enrolled in Study I and 12 healthy male subjects in Study II. Single-dose (1 mg) of MK-7 was given to each subject under fasting condition, and all eligible subjects were given a restricting VK2 diet for 4 d prior to drug administration and during the trial. The experiment results of Study I demonstrated that endogenous MK-7 has no circadian rhythm in individuals. Both studies showed MK-7 are absorbed with peak plasma concentrations at about 6 h after intake and has a very long half-life time.

Spectral observations with high temporal and frequency resolution are of great significance for studying the fine structures of solar radio bursts. In addition, it is helpful to understand the physical processes of solar eruptions. In this paper, we present the design of a system to observe solar radio bursts with high temporal and frequency resolutions at frequencies of 25–110 MHz. To reduce the impact of analog devices and improve the system flexibility, we employ various digital signal processing methods to achieve the function of analog devices, such as polarisation synthesis and beamforming. The resourceful field programmable gate array is used to process radio signals. The system has a frequency resolution of $\sim$30 kHz and a temporal resolution of up to 0.2 ms. The left/right circular polarisation signals can be simultaneously observed. At present, the system has been installed at Chashan Solar Observatory operated by the Institute of Space Science, Shandong University. The system is running well, multiple bursts have been observed, and relevant data have been obtained.

Human papillomavirus (HPV) has been confirmed as the causative agent for cervical cancer. In this study, a total of 301 880 women were recruited from four different regions of Western China, with 301 880 exfoliated cervical cell samples collected from women for DNA isolation and purification. The HPV genotype was tested by polymerase chain reaction. The overall HPV prevalence rate, high-risk (HR) HPV infection rate, low-risk (LR) HPV infection rate and mixed HPV infection rate was 18.24%, 79.14%, 12.56% and 8.30%, respectively. The four most common HR HPV subtypes were HPV-52, 16, 58 and 53, which accounted for 20.49%, 19.93%, 14.54% and 10.01%, respectively. In LR HPV genotype, HPV-6 ranked the highest (28.17%), followed by HPV-81 (9.09%) and HPV-11 (3.78%). HPV genotype subgroup analysis also showed that single-type infection was the most common (77.26%) among HPV-positive individuals. Among multi-infection genotypes, double infection was the most common with frequencies of 76.04%. The overall prevalence of HPV is high in Western China, whose distribution demonstrates different patterns across different ages and regions. Viral genotypes HPV 53, 6 were frequently detected in this population, which is worth of significant clinical attention.

Bacterial dysentery (BD) brings a major disease burden to developing countries. Exploring the influence of temperature and its interaction with other meteorological factors on BD is significant for the prevention and early warning of BD in the context of climate change. Daily BD cases and meteorological data from 2008 to 2018 were collected in all nine prefecture-level cities in Jilin Province. A one-stage province-level model and a two-stage city-specific multivariate meta-pooled level distributed lag non-linear model were established to explore the correlation between temperature and BD, then the weather-stratified generalised additive model was used to test the interaction. During the study period, a total of 26 971 cases of BD were developed. The one-stage and two-stage cumulative dose-response ‘J’ curves overlapped, and results showed a positive correlation between temperature and BD with a 1–6 days lag effect. Age group ⩾5 years was found to be more sensitive to the effects. Moreover, there was a significant interaction between temperature, humidity and precipitation (P = 0.004, 0.002, respectively) on BD under high temperature (>0 °C), reminding residents and policymakers to pay attention to the prevention of BD in situations with both high temperature and humidity, high temperature and precipitation during the temperate monsoon climate.

Echinococcus shiquicus is currently limited to the Qinghai–Tibet plateau, a large mountainous region in China. Although the zoonotic potential remains unknown, progress is being made on the distribution and intermediate host range. In this study, we report E. shiquicus within Gansu and Qinghai provinces in regions located not only around the central areas but also the southeast edge of the plateau and describe their genetic relationship with previous isolates from the plateau. From 1879 plateau pikas examined, 2.39% (95% CI 1.79–3.18) were infected with E. shiquicus. The highest prevalence of 10.26% (4.06–23.58) was recorded in Makehe town, Qinghai province. Overall the prevalence was marginally higher in Qinghai (2.5%, CI 1.82–3.43) than in Gansu (2%, CI 1.02–3.89). The cox1 and nad1 genes demonstrated high and low haplotype and nucleotide diversities, respectively. The median-joining network constructed by the cox1–nad1 gene sequences demonstrated a star-like configuration with a median vector (unsampled haplotype) occupying the centre of the network. No peculiar distinction or common haplotype was observed in isolates originating from the different provinces. The presence of E. shiquicus in regions of the southeast and northeast edges of the Qinghai–Tibet plateau and high genetic variation warrants more investigation into the haplotype distribution and genetic polymorphism by exploring more informative DNA regions of the mitochondrial genome to provide epidemiologically useful insight into the population structure of E. shiquicus across the plateau and its axis.