bluuebunny/crossref_metadata_2025_split huggingface dataset:
CSE - A Automated Theorem Prover Based on Standard Contradiction Separation Dynamic Deduction
Authors: Cao Feng , Wang Jiafan , Xu Yang , Liu Jun , Yi Jianbing 
Published: March 2024

Abstract

Contradiction Separation Extension (CSE in short), an automated theorem prover for first-order logic without equality, which is based on a novel standard contradiction separation (S-CS) inference rule. Different from binary resolution or its refinements, the biggest difference and characteristic of S-CS rule is that each resolution step can handle multiple (two or more) clauses for synergized deduction. This paper mainly describes problem format conversion, clause set preprocessing, deduction framework, distinctive heuristic strategies, S-CS dynamic inference mechanism in CSE. CSE is evaluated through benchmarks and the deduction characteristics of this multi-clause dynamic deduction are demonstrated, e.g., FOF division problems of CASC-26, CASC-J9. In addition, the CASC-J9 is also tested by combined systems, which combine CSE and other prover (Prover9, Eprover, Vampire), and the combined systems is applied to test on the hard problems with rating of 1. Experimental results show the CSE shows a competitive performance and can play a role in first-order logic automated theorem proving.
TRIP13 regulates progression of gastric cancer through mediating ubiquitination modification of DDX21
Authors: Zhang Guanghui , Yang Rui , Wang Baiyan , Yan Qiujin , Zhao Peiyuan , Zhang Jiaming , Su Weiyu , Yang Lianhe , Cui Hongjuan 
Published: March 2024

Abstract

GC (Gastric cancer) is one of the most common malignant tumors, with over 95% of gastric cancer patients being adenocarcinoma and most gastric cancer patients having no obvious symptoms in the early stages. Therefore, finding biomarkers for early screening of gastric cancer and exploring new targets for gastric cancer treatment are urgent problems to be solved in the treatment of gastric cancer, it has important clinical significance in improving the survival rate of gastric cancer patients. The AAA + family ATPase thyroid hormone receptor interacting protein 13 (TRIP13) has been reported to play an important role in the development of various tumors, however, the biological function and mechanism of TRIP13 in gastric cancer are remain unclear. Here, our study confirms that TRIP13 is highly expressed in gastric cancer tissue samples, and that TRIP13 participates in the proliferation, migration, and invasion of gastric cancer cells. Mechanistically, our study confirms that TRIP13 directly interacts with DDX21 and stabilizes its expression by restraining its ubiquitination degradation, thereby promoting the progression of gastric cancer. Additionally, we found that histone deacetylase 1 (HDAC1) is an upstream factor of TRIP13, which could target the TRIP13 promoter region to promote the proliferation, migration, and invasion of gastric cancer cells. These results indicate that TRIP13 serve as a promising biomarker for the treatment of gastric cancer patients, and the HDAC1-TRIP13/DDX21 axis might provide solid theoretical basis for clinical treatment of gastric cancer patients.
Identification and verification of circRNA biomarkers for coronary artery disease based on WGCNA and the LASSO algorithm
Authors: Zhong Qilong , Jin Shaoyue , Zhang Zebo , Qian Haiyan , Xie Yanqing , Yan Peiling , He Wenming , Zhang Lina 
Published: March 2024

Abstract

Background: The role of circular RNAs (circRNAs) as biomarkers of coronary artery disease (CAD) remains poorly explored. The aim of the current study was to identify and validate potential circulating circRNA as biomarkers for the diagnosis of CAD.
Methods:CircRNAs expression profile data of CAD was acquired from Gene Expression Omnibus (GEO) database. Differential gene expression analysis, weighted gene coexpression network analysis (WGCNA) and least absolute shrinkage and selection operation (LASSO) were used to screen CAD-related hub circRNAs. The expression levels of hub circRNAs were further verified by qRT-PCR in the blood of 100 CAD patients and 100 control individuals. The diagnostic potential of circRNAs was evaluated using logistic regression analysis, receiver operator characteristic (ROC) analysis, integrated discrimination improvement (IDI), and net reclassification improvement (NRI). Functional enrichment analysis were performed to predict the possible mechanisms of circRNAs in CAD.
Results:Herein, 10 CAD-related hub circRNAs were revealed byWGCNA and Lasso analysis. Among these, hsa_circ_0069972 and hsa_circ_0021509 were highly expressed in blood samples of CAD patients, and they were identified as independent predictors after adjusting for relevant confounders. The area under the ROC curve of hsa_circ_0069972 and hsa_circ_0021509 were 0.760 and 0.717, respectively. The classification of patients was improved with the incorporation of circRNAs into the clinical model composed of conventional cardiovascular risk factors, showing an IDI of 0.131 and NRI of 0.170 for hsa_circ_0069972, and an IDI of 0.111 and NRI of 0.150 for hsa_circ_0021509. Functional enrichment analysis showed that hsa_circ_0069972-miRNA-mRNA network was enriched in TGF-β、FoxO and Hippo signaling pathways, and hsa_circ_0021509-miRNA-mRNA network was enriched in PI3K/Akt and MAPK signaling pathways.
Conclusion: Hsa_circ_0069972 and hsa_circ_0021509 are identified by integrated analysis, and they are highly expressed in CAD patients. They may serve as novel biomarkers for CAD.
Antibacterial and antioxidant properties of sumac aqueous extract on methicillin-resistant Staphylococcus aureus
Authors: Farazandehnia Nafiseh , Sotoudegan Farzaneh , Sepahy Abbas Akhavan , Fazeli Mohammad reza 
Published: March 2024

Abstract

The research aimed to evaluate the antioxidative and antibacterial characteristics of aqueous sumac extract on methicillin-resistant Staphylococcus aureus (MRSA) through in vitro and in vivo study. Sumac extract has been obtained through the soaking method, and its antioxidant properties were gauged using the DPPH free radical scavenging method. The minimum inhibitory concentration (MIC) of sumac extract was determined on S. aureus obtained from hospitalized patients, as well as an assessment of biofilm-formation and the release of bacterial intracellular compounds. in vivo experimentation involved injecting bacteria (108 cfu/ml) into mice, which subsequently manifested indicators of symptoms of infection, and the number of bacteria within their bloodstream was quantified. The Sumac extract demonstrated strong antioxidant properties at concentrations of 1000 mg/ml. The study identified 190 bacterial samples as Staphylococcus aureus using the gram, mannitol, coagulase, and DNase agar tests. These bacteria were resistant to clindamycin, ciprofloxacin, and methicillin antibiotics, but sensitive to erythromycin and penicillin antibiotics. Additionally, the bacteria displayed significant methicillin resistance and formed a strong biofilm (65.78%). The sumac extract showed a MIC range of 125–1000 µg/ml against Staphylococcus aureus. Treatment with concentrations below the MIC was found to prevent the formation of biofilm and increase the release of bacterial intracellular compounds. Sumac extract led to a decrease in bacterial count in the blood of mice and reduced signs of infection. Sumac extract demonstrated powerful antioxidant and antibacterial effects against resistant microorganisms, suggesting its potential as a promising compound for the treatment of resistant infections in future research.
Unveiling the Hidden Dangers: Enteropathogens Carried by Flies in Pudong New Area
Authors: Lin Chen , Liu Jun , Yuan Yongting , Yu Siyu , Feng Lei , Gu Yingpei , Lu Xinchen , Liu Jingyi , Li Huihui , Hu Chenxi , Liu Hongxia , Liu Hanzhao 
Published: March 2024

Abstract

Background: Flies are acknowledged as vectors of diseases transmitted through mechanical means and represent a significant risk to human health. The study aimed to determine the prevalence of enteropathogens carried by flies in Pudong New Area to inform strategies for preventing and controlling flies.
Methods: Samples were collected from various locations in the area using cage trappingtechniques between April and November 2021，encompassing various habitats such as parks, residential areas, farmers' markets. The main fly species were identified using cryomicrography and taxonomic enumeration, with 20 samples per tube collected from different habitats. 25 enteropathogens were also screened using GI_Trial v3 TaqManTM microbial arrays.
Results: A total of 3,875 flies were collected from 6,400 placements, resulting in an average fly density of 0.61 flies per cage. Musca M. domestica were the most common species at 39.85%, followed by L. sericata at 16.57% and B. peregrina at 13.14%. Out of 189 samples, 92 tested positive for enteropathogens, with nine different pathogens found. 12.70% of samples exclusively had parasites, a higher percentage than those with only bacteria and viruses. The study discovered that M. domestica had fewer enteropathogens compared to L. sericata and B. peregrina, which mainly carried B. hominis instead of bacteria and viruses like Escherichia coli(E. coli), Astrovirus and Sapovirus. In spring testing, all three fly species showed low rates of detecting enteropathogens. M. domestica were found in residential areas with the highest number of pathogen species, totaling six, whereas the L. sericata and B. peregrina were identified in farmers' markets with the highest number of pathogen species, totaling six and seven, respectively.
Conclusions: Flies have the potential to serve as vectors for the transmission of enteropathogens, thereby posing a substantial risk to public health.
CO2 emissions during the 2023 eruption in Reykjanes, Iceland: δ13C tracks magma degassing
Authors: Fischer Tobias , Mandon Celine , Nowicki Scott , Ericksen John , Vilches Felipe Rojas , Pfeffer Melissa , Aiuppa Alessandro , Bitetto Marcello , Vitale Angelo , Fricke Matthew , Moses Melanie , Stefánsson Andri 
Published: March 2024

Abstract
We report CO2 emission rates and plume δ13C during the July 2023 eruption at Litli Hrútur in the Fagradalsfjall region of the Reykjanes Peninsula. The CO2 emission rates were measured by UAV utilizing a new method of data extrapolation that enables obtaining rapid flux results of dynamic eruption plumes. The δ13C values are consistent with extensive magma degassing fractionation during and after the eruption. Our results show that rapid, real-time CO2 flux measurements coupled with isotopic values of samples collected at the same time provide key insights into the dynamics of volcanic eruptions and have the potential of forecasting the onset and termination of activity.
A novel histidine functionalized chitosan nanoformulation: Synthesis, characterization and its bioactivity in tomato plant
Authors: Meena Mahendra , Saharan Vinod , Meena K. K. , Singh Balraj , Pilania Shalini , Gupta N. K. , Pal Ajay , Garhwal O. P. , Sharma Y. K. , Singh Uadal , Bagri Rajesh , Sharma M. K. , Sharma Rachna , Jakhar B. L. , Chandel Piyush , Prajapati Damyanti , Mondal Kinjal , Mahala Mital , Bairwa D. K. , Meena Madhu Bai 
Published: March 2024

Abstract
The use of novel active ingredients for the functional modification of chitosan nanoformulations has attracted global attention. In this study, chitosan has been functionalized via histidine to craft novel chitosan-histidine nanoformulation (C-H NF) via the ionic gelation method. C-H NF exhibited elite physico-biochemical properties, influencing physiological and biochemical dynamics in tomato crops. Elite properties include homogenous-sized nanoparticles, lower PDI, viscosity, higher zeta potential, nanoparticle concentration/ml, conductivity, encapsulation efficiency, and yield. FTIR spectroscopy revealed histidine interaction with C-H NF, while SEM and TEM exposed its porous structure. Application of C-H NF to tomato seedling and potted plants via seed treatment and foliar spray positively impacts growth parameters, antioxidant-defense enzyme activities, reactive oxygen species (ROS) content, and chlorophyll and nitrogen content. We claim that the histidine-functionalized chitosan nanoformulation enhances physico-biochemical properties, highlighting its potential to elevate biochemical and physiological processes of tomato plant.
Pollen dispersal distance is determined by phenology and ancillary traits but not floral gender in an andromonoecious, fly-pollinated alpine herb
Authors: Chen Kai-Hsiu , Pannell John R. 
Published: March 2024

Abstract

Pollen-mediated gene flow and spatial genetic structure have rarely been studied in alpine plants pollinated by Dipteran insects. Furthermore, it is not clear how different floral traits, such as floral gender, phenology, and ancillary traits, may affect pollen dispersal distance within a population. In this study, we conducted a paternity analysis to track pollen flow in a population of Pulsatilla alpina, an andromonoecious alpine herb producing male and bisexual flowers. We found that the pollen was dispersed over short distances (mean = 3.16 meters) with a dispersal kernel of Weibull distribution. Nonetheless, spatial genetic structure was weak in the population (Sp statistic = 0.013), pointing to effective seed dispersal. The pollen dispersal distance was independent of the gender of the flower of origin but depended positively on floral stalk height and negatively on flowering date and tepal length. Although male siring success did not correlate with pollen dispersal distance, selection may favor traits increasing pollen dispersal distance as a result of reduced bi-parental inbreeding. Our study has not only provided new insights into the nature of pollen dispersal, especially of alpine plants, but has also revealed the effects of floral traits on an important component of male reproductive success.
The Trend of Neglected Tropical Diseases in Gonji Kollela District in Amhara Region, Northwest Ethiopia: A Retrospective Study (2013-2022).
Authors: Damtie Destaw , Ambelu Gizew Chekol , Belay Denekew Bitew 
Published: March 2024

Abstract
This study aimed to assess the trends of diseases, including Neglected Tropical Diseases (NTDs) among 1266 patients enrolled in three health centers from 2013-2022, in Gonji Kollela district of the Amhara region, Ethiopia. Sixty-one diseases ((56 non-NTDs (91.7%) and 5 NTDs (8.3%)) were reported. The top 13 most prevalent diseases in the research area were: Pneumonia (9.2%), Acute Febrile illness (8.8%), Upper Respiratory Tract Infection (7.4%), Intestinal Parasites (7.3%), Dyspepsia (6.7%), Trauma (6%), Helminthiasis (4.7%), Malaria (4.3%), Urinary Tract Infection (3.7%), Tonsilitis (3.1%), Skin Infection (2.7%), and Scabies and Muscle Disease (2.4%). The prevalence of NTDs was Helminthiasis (4.7%), Scabies (2.4%), Eye Disease (0.9%), Rabies (0.2%), and Podoconiosis (0.1%). Males (62.3%) had higher infection rates than females (37.7%). NTD prevalence was highest among males (5.2%), ages 18-64 (5%), at Geregera Health Center (3.1%), and in rural areas (6.6%). Statistical analyses revealed significant mean differences among the five NTDs, with Helminthiasis consistently higher. Scabies also showed higher means than Eye Disease and Rabies, while Eye Disease surpassed Podoconiosis. No significant differences are found between Scabies and Eye Disease, Eye Disease and Rabies, or Rabies and Podoconiosis.
Impact of rhizosphere bacterial strains usage as biofertilizers inhibiting fungal growth and enhance the growth and immunity of sprouted barely an alternative feed for livestock
Authors: HUSSEIN WALAA , FAHIM SAMEH , Ramadan Walaa A. , Mahmoud Fatma E. 
Published: March 2024

Abstract

Egypt faces challenge in supplementing animal feed requirements which add huge pressure on the budget and foreign currency reserves annually leading to the importance of finding alternative solutions. The sprouted barley is considered one of these recent alternatives to animal feed which faces challenges in controlling the rate of seed germination due to the growth of fungi that consume the oxygen necessary for germination in addition to aflatoxins formation and its harmful effect on animal health. Biofertilizers plant growth promoting bacteria PGPB is considered a practice and safe solution. In this work, five tomato rhizobacterial strains were isolated and identified using 16S rRNA gene and were closely related to Bacillus amyloliquefaciens, Peribacillus frigoritolerans, Pseudomonas flourescens, Bacillus pumilus, and Paenibacillus uliginis, respectively. We reported here that most of these five isolates exhibited multiple PGP characteristics (PGPC), including the production of ACC deaminase, Indole-Acetic Acid (IAA), chelating siderophores and phosphate solubilization. Bacillus amyloliquefaciens BMG150 isolate exhibited the highest values for all the PGPC except siderophores production (1457 nmol, 37.4 µg/ ml, and 3.7 mg/ml, respectively). We also scanned the presence/ absence of the non-ribosomal peptide gene clusters in the five isolates as an important PGPC using bioinformatics tools and NRPs degenerate primers. All five isolates showed the presence of NRPs gene clusters with the superiority of NRPs number for the strain Bacillus amyloliquefaciens BMG150 (surfactin, fengycin or plipastatin, iturin and bacillibactin siderophore). According to these results, we used this latter strain, Pseudomonas flourescens PMG01 separately and a formula of the other three isolated strains as biofertilizers in sprouted barley cultivation which proved their efficiency in promoting their growth characteristics and reduced fungal growth which reflected on protein pattern.
IGF-1 c.258 A &gt; G synonymous mutation ameliorates senile osteoporosis
Authors: Hao Linlin , Wang Zhaoguo , Dai Dayou , Wang Siyao , Zhang Libo , Li Yi , Zhang Xunming , Cheng Yunyun 
Published: March 2024

Abstract

Senile osteoporosis SOP is a multifactorial, age-related progressive phenomenon that leads to an increased susceptibility to fragility fractures. IGF-1 is an important regulator of bone reconstruction and metabolism. Nevertheless, we unexpectedly found IGF-1 c.258A>G synonymous mutation did not alter bone growth at sexual maturation under expression change of IGF-1. Considering the RNA-seq results that c.258A>G involved in cellular senescence, we suspected c.258A>G may participate in SOP. Therefore, the effect of IGF-1 c.258A>G on SOP was firstly detected by in vivo assays, the changes of BMD, bone formation and resorption index as well as the expression of related genes in Gal-induced SOP mice with two genotypes indicated it resisted SOP. Then, the in vitro study of H2O2-induced primary osteoblasts and MC3T3-E1 cells confirmed the IGF-1 c.258A>G ameliorates SOP by promoting the proliferation, migration, differentiation and mineralization. At last, co-culture system of two genotypes osteoblast and osteoclast further verified the mutation prevents SOP by increasing the bone formation capacity. Collectively, this study illuminated the role of IGF-1 c.258A>G in ameliorating SOP, which may be identified as an adjuvant therapy target for SOP. To our knowledge, this is one of the few studies that have been done in animals on the function of synonymous mutations.
The efficacy of Memantine combined with Speech language therapy for post stroke non-fluent aphasia rehabilitation: A randomized controlled clinical study
Authors: Li Chaojinzi , Mi Haixia , Tao Yuanyuan , Lei Xingxing , Sun Rong , Xiao Lin , Le Jie , Xu Shu , Song Luping , Du Xiaoxia 
Published: March 2024

Abstract

Background
Aphasia is a common complication after stroke, and traditional speech or language therapy has a limited effect on post-stroke aphasia. This randomized, controlled, open-label study aimed to evaluate the effectiveness of intensive speech and language therapy together with memantine on speech and cognitive function in patients with non-fluent aphasia after stroke.
Methods
Fifty post stroke non-fluent aphasia patients with unilateral left hemispheric infarction or hemorrhage were recruited and randomly divided into speech language therapy (SLT) group or Memantine group. The SLT group will receive only SLT treatment and placebo, while Memantine group will receive memantine combined with SLT treatment. Primary outcome measure will include the Western Aphasia Battery (WAB)-Aphasia Quotient from baseline to endpoint, Secondary outcomes measure will include Mini-Mental State Examination score. Assessment data were collected at baseline, Week4(Visit 1), Week 8 (Visit 2), Week 12 (Visit 3), and Week 16 (Visit 4).
Results
On the basis of consistent baseline data, the language function of the two groups improved after treatment (p < 0.001). Compared with the control group, the memantine group had significant benefits in auditory comprehension-AQ at week 4 (p = 0.04), WAB-AQ (p = 0.04) and spontaneous speech-AQ(p = 0.006) at week 8, WAB-AQ(p = 0.01) and spontaneous speech-AQ(p < 0.001), auditory comprehension-AQ(p = 0.03) at week 12, WAB-AQ (p = 0.01) and spontaneous speech-AQ(p < 0.001), auditory comprehension-AQ(p = 0.04) at week 16. The increase in the change of MMSE scores was higher in Memantine group at week 8 (p = 0.04) and week 12(p = 0.048).
Conclusion
Memantine combined with SLT are useful for improving non-fluency aphasia after stroke, especially spontaneous speech and auditory comprehension. Cognitive function has also improved.
Trial registration: www.clinicaltrials.gov ; TRN: NCT00196703;
Chip removal mechanism and hole plugging in back-drilling of high-speed printed circuit board
Authors: Chen Zhuangpei , Shi Hongyan , Zhu Tao , Liu Xianwen , Wang Zhaoguo , Zhou Qian 
Published: March 2024

Abstract
Micro-holes are channels for signal connection between layers of printed circuit boards (PCBs), and excess invalid hole copper in through holes can destroy the integrity of signal, which is usually removed by back-drilling. However, as high-speed PCBs evolve towards miniaturization and high density, it is difficult to remove chips during back-drilling and easily cause micro-holes plugging, seriously affecting the performance of high-speed PCBs and even leading to scrap. Therefore, the chip removal mechanism of high-speed PCB back-drilling is studied to solve hole plugging in this paper. Firstly, kinematics method is used to analyze the mechanical behavior and motion law of chip formation, and then the expressions of chip removal force and chip moving speed are proposed. Secondly, the chip removal model of backdrilling is established, an evaluation index of chip removal capability is put forward, and the influence rule of machining parameters on chip removal of back-drilling is analyzed afterwards. Finally, back-drilling experiments of high-speed PCB are carried out to observe the chips winding around drill bit and calculated the hole plugging rate of back-drilling. The experimental result demonstrates that the number and density of winding chips in the drill bit slightly decrease with the increase of feed rate, and the hole plugging rate rises almost proportionally. Increasing the spindle speed can greatly improve the chip winding of tools and hole plugging, and effectively reduce the chip removal force of back-drilling. The research presented provides theoretical guidance for solving the bottleneck problem of micro-holes plugging during backdrilling in the high-speed PCB industry.