Linear Tabulated Resolution Based on Prolog Control Strategy

Infinite loops and redundant computations are long recognized open problems in Prolog. Two ways have been explored to resolve these problems: loop checking and tabling. Loop checking can cut infinite loops, but it cannot be both sound and complete even for function-free logic programs. Tabling seems to be an effective way to resolve infinite loops and redundant computations. However, existing tabulated resolutions, such as OLDT-resolution, SLG- resolution, and Tabulated SLS-resolution, are non-linear because they rely on the solution-lookup mode in formulating tabling. The principal disadvantage of non-linear resolutions is that they cannot be implemented using a simple stack-based memory structure like that in Prolog. Moreover, some strictly sequential operators such as cuts may not be handled as easily as in Prolog. In this paper, we propose a hybrid method to resolve infinite loops and redundant computations. We combine the ideas of loop checking and tabling to establish a linear tabulated resolution called TP-resolution. TP-resolution has two distinctive features: (1) It makes linear tabulated derivations in the same way as Prolog except that infinite loops are broken and redundant computations are reduced. It handles cuts as effectively as Prolog. (2) It is sound and complete for positive logic programs with the bounded-term-size property. The underlying algorithm can be implemented by an extension to any existing Prolog abstract machines such as WAM or ATOAM.Comment: To appear as the first accepted paper in Theory and Practice of Logic Programming (http://www.cwi.nl/projects/alp/TPLP

SPECTRAL ANALYSIS OF SURFACE EMG OF ISOKINETIC VOLUNTARY CONTRACTION UNDER FATIGUE PROTOCOL

The objective of this study was to extract the indices of muscle fatigue from surface electromyographic signal sEMG. Five male subjects participated in the study. . The sEMG of biceps and triceps was measured when subjects performed consecutive right elbow flexion and extension at the required contraction levels until the contraction levels could no longer be maintained. The significant findings of this particular study are that the difference of the mean frequency of sEMG between non-fatigued and fatigued muscle increases with the speed of contraction. This phenomenon has potential for further study

Single cell epigenomic and transcriptomic analysis uncovers potential transcription factors regulating mitotic/meiotic switch

In order to reveal the complex mechanism governing the mitotic/meiotic switch in female germ cells at epigenomic and genomic levels, we examined the chromatin accessibility (scATAC-seq) and the transcriptional dynamics (scRNA-seq) in germ cells of mouse embryonic ovary between E11.5 to 13.5 at single-cell resolution. Adopting a strict transcription factors (TFs) screening framework that makes it easier to understand the single-cell chromatin signature and a TF interaction algorithm that integrates the transcript levels, chromatin accessibility, and motif scores, we identified 14 TFs potentially regulating the mitotic/meiotic switch, including TCFL5, E2F1, E2F2, E2F6, E2F8, BATF3, SP1, FOS, FOXN3, VEZF1, GBX2, CEBPG, JUND, and TFDP1. Focusing on TCFL5, we constructed Tcfl5(+/-) mice which showed significantly reduced fertility and found that decreasing TCFL5 expression in cultured E12.5 ovaries by RNAi impaired meiotic progression from leptotene to zygotene. Bioinformatics analysis of published results of the embryonic germ cell transcriptome and the finding that in these cells central meiotic genes (Stra8, Tcfl5, Sycp3, and E2f2) possess open chromatin status already at the mitotic stage together with other features of TCFL5 (potential capability to interact with core TFs and activate meiotic genes, its progressive activation after preleptotene, binding sites in the promoter region of E2f2 and Sycp3), indicated extensive amplification of transcriptional programs associated to mitotic/meiotic switch with an important contribution of TCFL5. We conclude that the identified TFs, are involved in various stages of the mitotic/meiotic switch in female germ cells, TCFL5 primarily in meiotic progression. Further investigation on these factors might give a significant contribution to unravel the molecular mechanisms of this fundamental process of oogenesis and provide clues about pathologies in women such as primary ovarian insufficiency (POI) due at least in part to meiotic defects

Excitonic Photoluminescence properties of nanocrystalline GaSb and Ga0.62In0.38Sb embedded in silica films

The GaSb and Ga0.62In0.38Sb nanocrystals were embedded in the SiO2 films by radio-frequency magnetron co-sputtering and were grown on GaSb and Si substrates at different temperatures. We present results on the 10K excitonic photoluminescence (PL) properties of nanocrystalline GaSb and Ga0.62In0.38Sb as a function of their size. The measurements show that the PL of the GaSb and Ga0.62In0.38Sb nanocrystallites follows the quantum confinement model very closely. By using deconvolution of PL spectra, origins of structures in photoluminescence were identified.Comment: 20 pages, 7 figures Submitted to Journal of Luminescenc

Digenean parasites of Chinese marine fishes: a list of species, hosts and geographical distribution

In the literature, 630 species of Digenea (Trematoda) have been reported from Chinese marine fishes. These belong to 209 genera and 35 families. The names of these species, along with their hosts, geographical distribution and records, are listed in this paper

A simulation study on the measurement of D0-D0bar mixing parameter y at BES-III

We established a method on measuring the \dzdzb mixing parameter $y$ for BESIII experiment at the BEPCII $e^+e^-$ collider. In this method, the doubly tagged $\psi(3770) \to D^0 \overline{D^0}$ events, with one $D$ decays to CP-eigenstates and the other $D$ decays semileptonically, are used to reconstruct the signals. Since this analysis requires good $e/\pi$ separation, a likelihood approach, which combines the $dE/dx$, time of flight and the electromagnetic shower detectors information, is used for particle identification. We estimate the sensitivity of the measurement of $y$ to be 0.007 based on a $20fb^{-1}$ fully simulated MC sample.Comment: 6 pages, 7 figure

Molecular phylogeny and morphology reveal two new entomopathogenic species of Ophiocordyceps (Ophiocordycipitaceae, Hypocreales) parasitic on termites from China

Two new termite-pathogenic species, Ophiocordyceps globiperitheciata and O. longistipes, are described from Yunnan Province, China. Six-locus (ITS, nrSSU, nrLSU, tef-1α, rpb1 and rpb2) phylogenetic analyses in combination with morphological observations were employed to characterize these two species. Phylogenetically, O. globiperitheciata is most closely related to Hirsutella cryptosclerotium and O. communis, whereas O. longistipes shares a sister relationship with O. fusiformis. However, O. globiperitheciata differs from H. cryptosclerotium by parasitizing Blattodea and producing clavate, unbifurcated stromata. Ophiocordyceps globiperitheciata is distinguished from O. communis by multiple stromata, shorter asci and ascospores. Ophiocordyceps longistipes differs from O. fusiformis in producing larger stromata, perithecia, asci and ascospores, as well as smaller citriform or oval conidia. Morphological descriptions of the two new species and a dichotomous key to the 19 termite-pathogenic Ophiocordyceps species are presented

Single-cell analysis reveals the COL11A1+ fibroblasts are cancer-specific fibroblasts that promote tumor progression

Background: Cancer-associated fibroblasts (CAFs) promote tumor progression through extracellular matrix (ECM) remodeling and extensive communication with other cells in tumor microenvironment. However, most CAF-targeting strategies failed in clinical trials due to the heterogeneity of CAFs. Hence, we aimed to identify the cluster of tumor-promoting CAFs, elucidate their function and determine their specific membrane markers to ensure precise targeting.Methods: We integrated multiple single-cell RNA sequencing (scRNA-seq) datasets across different tumors and adjacent normal tissues to identify the tumor-promoting CAF cluster. We analyzed the origin of these CAFs by pseudotime analysis, and tried to elucidate the function of these CAFs by gene regulatory network analysis and cell-cell communication analysis. We also performed cell-type deconvolution analysis to examine the association between the proportion of these CAFs and patients’ prognosis in TCGA cancer cohorts, and validated that through IHC staining in clinical tumor tissues. In addition, we analyzed the membrane molecules in different fibroblast clusters, trying to identify the membrane molecules that were specifically expressed on these CAFs.Results: We found that COL11A1+ fibroblasts specifically exist in tumor tissues but not in normal tissues and named them cancer-specific fibroblasts (CSFs). We revealed that these CSFs were transformed from normal fibroblasts. CSFs represented a more activated CAF cluster and may promote tumor progression through the regulation on ECM remodeling and antitumor immune responses. High CSF proportion was associated with poor prognosis in bladder cancer (BCa) and lung adenocarcinoma (LUAD), and IHC staining of COL11A1 confirmed their specific expression in tumor stroma in clinical BCa samples. We also identified that CSFs specifically express the membrane molecules LRRC15, ITGA11, SPHK1 and FAP, which could distinguish CSFs from other fibroblasts.Conclusion: We identified that CSFs is a tumor specific cluster of fibroblasts, which are in active state, may promote tumor progression through the regulation on ECM remodeling and antitumor immune responses. Membrane molecules LRRC15, ITGA11, SPHK1 and FAP could be used as therapeutic targets for CSF-targeting cancer treatment

Observation of a ppb mass threshoud enhancement in \psi^\prime\to\pi^+\pi^-J/\psi(J/\psi\to\gamma p\bar{p}) decay

The decay channel $\psi^\prime\to\pi^+\pi^-J/\psi(J/\psi\to\gamma p\bar{p})$ is studied using a sample of $1.06\times 10^8$ $\psi^\prime$ events collected by the BESIII experiment at BEPCII. A strong enhancement at threshold is observed in the $p\bar{p}$ invariant mass spectrum. The enhancement can be fit with an $S$-wave Breit-Wigner resonance function with a resulting peak mass of $M=1861^{+6}_{-13} {\rm (stat)}^{+7}_{-26} {\rm (syst)} {\rm MeV/}c^2$ and a narrow width that is $\Gamma<38 {\rm MeV/}c^2$ at the 90% confidence level. These results are consistent with published BESII results. These mass and width values do not match with those of any known meson resonance.Comment: 5 pages, 3 figures, submitted to Chinese Physics