Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings

Despite the great success of neural visual generative models in recent years, integrating them with strong symbolic knowledge reasoning systems remains a challenging task. The main challenges are two-fold: one is symbol assignment, i.e. bonding latent factors of neural visual generators with meaningful symbols from knowledge reasoning systems. Another is rule learning, i.e. learning new rules, which govern the generative process of the data, to augment the knowledge reasoning systems. To deal with these symbol grounding problems, we propose a neural-symbolic learning approach, Abductive Visual Generation (AbdGen), for integrating logic programming systems with neural visual generative models based on the abductive learning framework. To achieve reliable and efficient symbol assignment, the quantized abduction method is introduced for generating abduction proposals by the nearest-neighbor lookups within semantic codebooks. To achieve precise rule learning, the contrastive meta-abduction method is proposed to eliminate wrong rules with positive cases and avoid less-informative rules with negative cases simultaneously. Experimental results on various benchmark datasets show that compared to the baselines, AbdGen requires significantly fewer instance-level labeling information for symbol assignment. Furthermore, our approach can effectively learn underlying logical generative rules from data, which is out of the capability of existing approaches

Molecular Cloning, Expression Profile and 5′ Regulatory Region Analysis of Two Chemosensory Protein Genes from the Diamondback Moth, Plutella xylostella

Chemosensory proteins play an important role in transporting chemical compounds to their receptors on dendrite membranes. In this study, two full-length cDNA codings for chemosensory proteins of Plutella xylostella (Lepidoptera: Plutellidae) were obtained by RACE-PCR. PxylCSP3 and Pxyl-CSP4, with GenBank accession numbers ABM92663 and ABM92664, respectively, were cloned and sequenced. The gene sequences both consisted of three exons and two introns. RT-PCR analysis showed that Pxyl-CSP3 and Pxyl-CSP4 had different expression patterns in the examined developmental stages, but were expressed in all larval stages. Phylogenetic analysis indicated that lepidopteran insects consist of three branches, and Pxyl-CSP3 and Pxyl-CSP4 belong to different branches. The 5′regulatory regions of Pxyl-CSP3 and Pxyl-CSP4 were isolated and analyzed, and the results consist of not only the core promoter sequences (TATA-box), but also several transcriptional elements (BR-C Z4, Hb, Dfd, CF2-II, etc.). This study provides clues to better understanding the various physiological functions of CSPs in P. xylostella and other insects

Effects of two ecological earthworm species on atrazine degradation performance and bacterial community structure in red soil

Vermicomposting is an effective and environmentally friendly approach for eliminating soil organic contamination. Atrazine is one of the most commonly applied triazinic herbicides and frequently detected in agricultural soils. This study investigated the roles and mechanisms of two earthworm species (epigeic Eisenia foetida and endogeic Amynthas robustus) in microbial degradation of atrazine. Both earthworms accelerated atrazine degradation performance from 39.0% in sterile soils to 94.9%–95.7%, via neutralizing soil pH, consuming soil humus, altering bacterial community structure, enriching indigenous atrazine degraders and excreting the intestinal atrazine-degrading bacteria. Rhodoplanes and Kaistobacter were identified as soil indigenous degraders for atrazine mineralization and stimulated by both earthworm species. A. robustus excreted the intestinal Cupriavidus and Pseudomonas, whereas Flavobacterium was released by E. foetida. This study provides a comprehensive understanding of the distinct effects of two earthworm species on soil microbial community and atrazine degradation, offering technical supports to apply vermicomposting in effective soil bioremediation

Interference bands in decays of doubly-charged Higgs bosons to dileptons in the minimal type-II seesaw model at the TeV scale

The dileptonic decays of doubly-charged Higgs bosons H^{\pm\pm} are investigated in the minimal type-II seesaw model with one Higgs triplet \Delta and one heavy Majorana neutrino N_1 at the TeV scale. We show that the branching ratios {\cal B}(H^{\pm\pm} \to l^\pm_\alpha l^\pm_\beta) depend not only on the mass and mixing parameters of three light neutrinos \nu_i (for i=1,2,3), but also on those of N_1. Assuming the mass of N_1 to lie in the range 200 GeV--1 TeV, we figure out the generous interference bands for the contributions of \nu_i and N_1 to {\cal B}(H^{\pm\pm} \to l^\pm_\alpha l^\pm_\beta): \sqrt{|\sin\theta_{i4} \sin\theta_{j4}|} \sim 10^{-8}--10^{-5}, where \theta_{i4} and \theta_{j4} measure the strength of charged-current interactions of N_1. We illustrate some salient features of the interference bands by considering three typical mass patterns of \nu_i, and stress that it is very difficult to distinguish the type-II seesaw model from the triplet seesaw model in such a parameter region at the Large Hadron Collider.Comment: RevTex 14 pages, 3 figures, more discussions added, accepted for publication in Phys. Lett.

Mechanisms and regulations of ferroptosis

Regulation of cell mortality for disease treatment has been the focus of research. Ferroptosis is an iron-dependent regulated cell death whose mechanism has been extensively studied since its discovery. A large number of studies have shown that regulation of ferroptosis brings new strategies for the treatment of various benign and malignant diseases. Iron excess and lipid peroxidation are its primary metabolic features. Therefore, genes involved in iron metabolism and lipid metabolism can regulate iron overload and lipid peroxidation through direct or indirect pathways, thereby regulating ferroptosis. In addition, glutathione (GSH) is the body’s primary non-enzymatic antioxidants and plays a pivotal role in the struggle against lipid peroxidation. GSH functions as an auxiliary substance for glutathione peroxidase 4 (GPX4) to convert toxic lipid peroxides to their corresponding alcohols. Here, we reviewed the researches on the mechanism of ferroptosis in recent years, and comprehensively analyzed the mechanism and regulatory process of ferroptosis from iron metabolism and lipid metabolism, and then described in detail the metabolism of GPX4 and the main non-enzymatic antioxidant GSH in vivo

A Preliminary Investigation of PVT1 on the Effect and Mechanisms of Hepatocellular Carcinoma: Evidence from Clinical Data, a Meta-Analysis of 840 Cases, and In Vivo Validation

Background/Aims: Hepatocellular carcinoma (HCC) remains a difficult problem that significantly affects the survival of the afflicted patients. Accumulating evidence has demonstrated the functions of long non-coding RNA (lncRNA) in HCC. In the present study, we aimed to explore the potential roles of PVT1 in the tumorigenesis and progression of HCC. Methods: In this study, quantitative reverse transcription-polymerase chain reaction (RT-qPCR) was applied to detect the differences between PVT1 expression in HCC tissues and cell lines. Then, the Cancer Genome Atlas (TCGA) and Gene Expression Omnibus (GEO) databases were searched to confirm the relationship between PVT1 expression and HCC. Moreover, a meta-analysis comprising TCGA, GEO, and RT-qPCR was applied to estimate the expression of PVT1 in HCC. Then, cell proliferation was evaluated in vitro. A chicken chorioallantoic membrane (CAM) model of HCC was constructed to measure the effect on tumorigenicity in vivo. To further explore the sponge microRNA (miRNA) of PVT1 in HCC, we used TCGA, GEO, a gene microarray, and target prediction algorithms. TCGA and GEO and the gene microarray were used to select the differentially expressed miRNAs, and the different target prediction algorithms were applied to predict the target miRNAs of PVT1. Results: We found that PVT1 was markedly overexpressed in HCC tissue than in normal liver tissues based on both RT-qPCR and data from TCGA, and the overexpression of PVT1 was closely related to the gender and race of the patient as well as to higher HCC tumor grades. Also, a meta-analysis of 840 cases from multiple sources (TCGA, GEO and the results of our in-house RT-qPCR) showed that PVT1 gained moderate value in discriminating HCC patients from normal controls, confirming the results of RT-qPCR. Additionally, the upregulation of PVT1 could promote HCC cell proliferation in vitro and vivo. Based on the competing endogenous RNA (ceRNA) theory, the PVT1/miR-424-5p/INCENP axis was finally selected for further research. The in silico prediction revealed that there were complementary sequences between PVT1 and miR-424-5p as well as between miR-424-5p and INCENP. Furthermore, a negative correlation trend was found between miR-424-5p and PVT1 based on RT-qPCR, whereas a positive correlation trend was found between PVT1 and INCENP based on data from TCGA. Also, INCENP small interfering RNA (siRNA) could significantly inhibit cell proliferation and viability. Conclusions: We hypothesized that PVT1 could affect the biological function of HCC cells via targeting miR-424-5p and regulating INCENP. Focusing on the new insight of the PVT1/miR-424-5p/INCENP axis, this study provides a novel perspective for HCC therapeutic strategies

Superconductivity at 53.5 K in GdFeAsO1-delta

Here we report the fabrication and superconductivity of the iron-based arsenic-oxide GdFeAsO1-delta compound with oxygen-deficiency, which has an onset resistivity transition temperature at 53.5 K. This material has a same crystal structure as the newly discovered high-Tc ReFeAsO1-delta family (Re = rare earth metal) and a further reduced crystal lattice, while the Tc starts to decrease compared with the SmFeAsO1-delta system