Impact of exercise training on gut microbiome imbalance in obese individuals: a study based on Mendelian randomization analysis

Objective: The aim of this study was to investigate the relationship between exercise and gut Microbiome and to assess its possible causality.Methods: Using Mendelian randomization (MR) research methods, we collected genetic data from different populations, including genetic variants associated with relative abundance or presence of microbial taxa as instrumental variables. At the same time, we extracted results related to obesity and gut Microbiome from existing relevant studies and used inverse variance weighting (IVW), weighted median, and MR-Egger regression to assess the causal relationship between obesity and gut Microbiome. We plotted forest plots and scatter plots of the association between obesity and gut Microbiome.Results: Gut Microbiome was positively associated with obesity, and four bacterial genera (Akkermansia, RuminococcaceaeUCG011, Holdemania, and Intestinimonas) were associated with obesity according to inverse variance-weighted estimation in at least one MR method. Inverse variance weighted estimation showed that obesity was associated with obesity in Akkermansia (OR = 0.810, 95% CI 0.608–1.079, p = 0.04), RuminococcaceaeUCG011 (OR = 1.238, 95% CI 0. 511–2.999, p = 0.04), Holdemania Intestinimonas (OR = 1.214, 95% CI 1.002–1.470, p = 0.03), and Intestinimonas (OR = 0.747, 95% CI 0.514–1.086, p = 0.01) had a relevant effect. Obesity decreased the abundance of Akkermansia, Intestinimonas microbiome and increased the abundance of RuminococcaceaeUCG011, Holdemania microbiome.Conclusion: The results of this study, conducted using a two-sample Mendelian randomization method, suggest a causal relationship between obesity and intestinal microbiome. Obesity decreased the abundance of Akkermansia, Intestinimonas microbiome and increased the abundance of RuminococcaceaeUCG011, Holdemania microbiome. More randomized controlled trials are necessary to elucidate the protective effects of exercise on gut Microbiome and its unique protective mechanisms

Cia Zeaxanthin Biosynthesis, OsZEP and OsVDE Regulate Striped Leaves Occurring in Response to Deep Transplanting of Rice

The rice leaf color mutant B03S was previously generated from the photoperiod- and thermo-sensitive genic male sterile (PTGMS) rice line Efeng 1S, of which male sterility manifests by photoperiod and temperature but exhibits mainly temperature-sensitive characteristics. After these plants were deeply transplanted, the new leaves manifested typical zebra stripe patterns. Here, B03S was subjected to deep and shallow transplanting, shading with soil and aluminum foil, and control conditions in situ to determine the cause of the striped-leaf trait. The direct cause of striped leaves is the base of the leaf sheath being under darkness during deep transplanting, of which the critical shading range reached or exceeds 4 cm above the base. Moreover, typical striped leaves were analyzed based on the targeted metabolome method by ultra-performance liquid chromatography/tandem mass spectrometry (UPLC–MS/MS) combined with transcriptome and real-time quantitative PCR (qPCR)-based verification to clarify the metabolic pathways and transcriptional regulation involved. Carotenoids enter the xanthophyll cycle, and the metabolites that differentially accumulate in the striped leaves include zeaxanthin and its derivatives for photooxidative stress protection, driven by the upregulated expression of OsZEP. These findings improve the understanding of the physiological and metabolic mechanisms underlying the leaf color mutation in rice plants, enrich the theoretical foundation of the nonuniform leaf color phenomenon widely found in nature and highlight key advancements concerning rice production involving the transplanting of seedlings or direct broadcasting of seeds

UV-Triggered Drug Release from Mesoporous Titanium Nanoparticles Loaded with Berberine Hydrochloride: Enhanced Antibacterial Activity

Mesoporous titanium nanoparticles (MTN) have always been a concern and are considered to have great potential for overcoming antibiotic-resistant bacteria. In our study, MTN modified with functionalized UV-responsive ethylene imine polymer (PEI) was synthesized. The characterization of all products was performed by different analyses, including SEM, TEM, FT-IR, TGA, XRD, XPS, and N2 adsorption-desorption isotherms. The typical antibacterial drug berberine hydrochloride (BH) was encapsulated in MTN-PEI. The process exhibited a high drug loading capacity (22.71 ± 1.12%) and encapsulation rate (46.56 ± 0.52%) due to its high specific surface area of 238.43 m2/g. Moreover, UV-controlled drug release was achieved by utilizing the photocatalytic performance of MTN. The antibacterial effect of BH@MTN-PEI was investigated, which showed that it could be controlled to release BH and achieve a corresponding antibacterial effect by UV illumination for different lengths of time, with bacterial lethality reaching 37.76% after only 8 min of irradiation. The minimum inhibitory concentration (MIC) and minimum bactericidal concentration (MBC) of the nanoparticles have also been studied. The MIC of BH@MTN-PEI was confirmed as 1 mg/mL against Escherichia coli (E. coli), at which the growth of bacteria was completely inhibited during 24 h and the concentration of 5 mg/mL for BH@MTN-PEI was regarded as MBC against E. coli. Although this proof-of-concept study is far from a real-life application, it provides a possible route to the discovery and application of antimicrobial drugs

A Method to Deduce and Synthesize the Dafny Programs

We propose a systematic method to deduce and synthesize the Dafny programs. First, the specification of problem is described in strict mathematical language. Then, the derivation process uses program specification transformation technology to perform equivalent transformation. Furthermore, Dafny program is synthesized through the obtained recursive relationship and loop invariants. Finally, the functional correctness of Dafny program is automatically verified by Dafny verifier or online tool. Through this method, we deduce and synthesize Dafny programs for many typical problems such as the cube sum problem, the minimum (or maximum) contiguous subarray problems, several searching problems, several sorting problems, and so on. Due to space limitation, we only illustrate the development process of Dafny programs for two typical problems: the minimum contiguous subarray problem and the new local bubble sorting problem. It proves that our method can effectively improve the correctness and reliability of Dafny program developed. What’s more, we demonstrate the potential of the deductive synthesis method by developing a new local bubble Sorting program