Miracle-dz/UniFAR-FTUs huggingface dataset:
Constructive Many-One Reduction from the Halting Problem to Semi-Unification

Semi-unification is the combination of first-order unification and first-order matching. The undecidability of semi-unification has been proven by Kfoury, Tiuryn, and Urzyczyn in the 1990s by Turing reduction from Turing machine immortality (existence of a diverging configuration). The particular Turing reduction is intricate, uses non-computational principles, and involves various intermediate models of computation. The present work gives a constructive many-one reduction from the Turing machine halting problem to semi-unification. This establishes RE-completeness of semi-unification under many-one reductions. Computability of the reduction function, constructivity of the argument, and correctness of the argument is witnessed by an axiom-free mechanization in the Coq proof assistant. Arguably, this serves as comprehensive, precise, and surveyable evidence for the result at hand. The mechanization is incorporated into the existing, well-maintained Coq library of undecidability proofs. Notably, a variant of Hooper's argument for the undecidability of Turing machine immortality is part of the mechanization.
Evidence of Differences in Covariation Among Root Traits Across Plant Growth Forms, Mycorrhizal Types, and Biomes

Fine roots play an important role in plant ecological strategies, adaptation to environmental constraints, and ecosystem functions. Covariation among root traits influence the physiological and ecological processes of plants and ecosystems. Root trait covariation in multiple dimensions at the global scale has been broadly discussed. How fine-root traits covary at the regional scale and whether the covariation is generalizable across plant growth forms, mycorrhizal types, and biomes are largely unknown. Here, we collected six key traits – namely root diameter (RD), specific root length (SRL), root tissue density (RTD), root C content (RCC), root N content (RNC), and root C:N ratio (RCN) – of first- and second-order roots of 306 species from 94 sampling sites across China. We examined the covariation in root traits among different plant growth forms, mycorrhizal types, and biomes using the phylogenetic principal component analysis (pPCA). Three independent dimensions of the covariation in root traits were identified, accounting for 39.0, 26.1, and 20.2% of the total variation, respectively. The first dimension was represented by SRL, RNC, RTD, and RCN, which was in line with the root economics spectrum (RES). The second dimension described a negative relationship between RD and SRL, and the third dimension was represented by RCC. These three main principal components were mainly influenced by biome and mycorrhizal type. Herbaceous and ectomycorrhizal species showed a more consistent pattern with the RES, in which RD, RTD, and RCN were negatively correlated with SRL and RNC within the first axis compared with woody and arbuscular mycorrhizal species, respectively. Our results highlight the roles of plant growth form, mycorrhizal type, and biome in shaping root trait covariation, suggesting that root trait relationships in specific regions may not be generalized from global-scale analyses.
Micro-Technologies for Assessing Microbial Dynamics in Controlled Environments

With recent advances in microfabrication technologies, the miniaturization of traditional culturing techniques has provided ideal methods for interrogating microbial communities in a confined and finely controlled environment. Micro-technologies offer high-throughput screening and analysis, reduced experimental time and resources, and have low footprint. More importantly, they provide access to culturing microbes in situ in their natural environments and similarly, offer optical access to real-time dynamics under a microscope. Utilizing micro-technologies for the discovery, isolation and cultivation of “unculturable” species will propel many fields forward; drug discovery, point-of-care diagnostics, and fundamental studies in microbial community behaviors rely on the exploration of novel metabolic pathways. However, micro-technologies are still largely proof-of-concept, and scalability and commercialization of micro-technologies will require increased accessibility to expensive equipment and resources, as well as simpler designs for usability. Here, we discuss three different miniaturized culturing practices; including microarrays, micromachined devices, and microfluidics; advancements to the field, and perceived challenges.
Exploring Trust Formation and Antecedents in Social Commerce

With the rapid increase in social media users and netizens globally, the proclivity for online shopping using social commerce (SC) platforms cannot be ignored. Trust has been recognised as a constant challenge in the context of social commerce due to the lack of face-to-face interaction. Therefore, there is a dire need to enhance the trust of consumers in social commerce platforms. However, the research in the formation of trust in social commerce and antecedents remains limited. In addition, the existing SC research failed to include its multidimensional view to investigate user behaviour. This study fills this gap and extends existing knowledge by developing a model exploring the antecedents of trust in social commerce. Drawing upon the social-technical theory and trust lens, this study attempts to identify the role of (i) structural assurance (SA) and SC platforms as an institution-based trust, (ii) trust in sellers and trust in SC community as trusting beliefs, and (iii) trust in online payment as a cognitive trust on trust and intention of the social commerce. This research employs a dataset (n = 406) collected using an online survey; the research subjects were recruited from Australia, the United States, and the United Kingdom. This study uses the partial least squares structural equation modeling (PLS-SEM) approach to analyse the data and to confirm the hypothesis proposed in the research model. The empirical findings show that trust in social commerce influences behavioural intention. In addition, trust in the SC platform, the SC community, and online payment influence the trust in SC. Likewise, SA and trust in the SC platform have a significant relationship with trust in sellers, the SC community, and online payment. Finally, this study discusses the theoretical contributions and practical insights to several limitations and suggests directions for future research.
Factorial Invariance and Internal Structure of the Scale of the Students’ Role in the Cycle of School Violence (ERECVE)

The purpose of this study was to analyze evidence of construct validity of internal structure and factorial invariance for the Scale of the Students’ Role in the Cycle of School Violence (ERECVE, in Spanish). To that end, we relied on a database of 13,389 participants with a sample of Mexican low secondary education students: 6,935 female and 6,454 male. Participants had a mean age of 13.08 years (SD = 0.98). The dimensionality and fit of a reconfigured five-factor model were analyzed using Confirmatory Factor Analysis (CFA); nested models sequencing methods were applied subsequently to validate invariance between genders. The results from the dimensionality analysis support the reconfigured five-factor structure for the dimensions referring to the roles of victim, defender or conciliator, sole bully, social bully and bystander. Moreover, acceptable fit indices were obtained for the configurational, weak, strong and strict models after comparing the nested models. It was concluded that the reconfigured five-factor model is useful for measuring the roles of students in the cycle of school violence, and that the ERECVE achieves a simultaneous measurement invariance, thereby favoring the analysis of mean differences between genders.
Relationship Between Dental Caries and Erosive Tooth Wear in Adolescents

Background Our aim was to investigate the relationship between caries experience and erosive tooth wear of adolescents. Methods We compared the Decayed, Missing, and Filled Teeth (dmft/DMFT) data of 795 adolescents to their erosive tooth wear scores using diet as a covariate and determined if dental caries and erosive tooth wear scores are associated using linear regression analysis. Diet data and oral hygiene habits were collected using self-reported surveys and erosive tooth wear scores were previously collected. We also compared patients' genotypes and phenotypes and looked for an association between erosive tooth wear experience and different single nucleotide polymorphisms (SNPs). A Bonferroni correction was implemented to correct multiple comparisons. Two-group comparisons were made depending on the phenotype definitions implemented, and both chi-square and linear regression analyses were used to test association between genetic variants and caries definitions. All covariates were included in each model. Results For four SNPs (rs17159702, rs10246939, rs1800972, and rs1676303), there was an association between a spike in caries experience of DMFT 4 or more between two time points and increased frequency of fruit juice intake. A fifth SNP rs2860216 was shown to be a protective factor toward a spike in caries when coupled with more frequently eating yogurt. We did not find significant associations between our dental caries phenotypes or our demographic data and erosive tooth wear status in our linear regression. Conclusions Dental caries and erosive tooth wear are two diseases that differ in mechanism and heritability.
Promoting Active Learning and Student Engagement in Two Different Graduate Courses for Veterinary and Animal Sciences: Cases From Mexico and Denmark

Citation: Ruiz-Romero RA and Vargas-Bello-Pérez E (2022) Promoting Active Learning and Student Engagement in Two Different Graduate Courses for Veterinary and Animal Sciences: Cases From Mexico and Denmark. Front. Vet. Sci. 9:822409. doi: 10.3389/fvets.2022. 822409 Promoting Active Learning and Student Engagement in Two Different Graduate Courses for Veterinary and Animal Sciences: Cases From Mexico and Denmark
Predicted HLA Class I and Class II Epitopes From Licensed Vaccines Are Largely Conserved in New SARS-CoV-2 Omicron Variant of Concern

The potential effect of emerging SARS-CoV-2 variants on vaccine efficacy is an issue of critical importance. In this study, the possible impact of mutations that facilitate virus escape from the cytotoxic and the helper cellular immune responses in the new SARS-CoV-2 Omicron variant of concern was analyzed for the 551 and 41 most abundant HLA class I and II alleles, respectively. Computational prediction showed that almost all of these 592 alleles, which cover >90% of the human population, contain enough epitopes without escape mutations in the emerging SARS-CoV-2 Omicron variant of concern. These data suggest that both cytotoxic and helper cellular immune protection elicited by currently licensed vaccines are virtually unaffected by the highly contagious SARS-CoV-2 Omicron variant of concern.
SARS-CoV-2 Infection Triggers Auto-Immune Response in ARDS

Acute respiratory distress syndrome (ARDS) is a severe pulmonary disease, which is one of the major complications in COVID-19 patients. Dysregulation of the immune system and imbalances in cytokine release and immune cell activation are involved in SARS-CoV-2 infection. Here, the inflammatory, antigen, and auto-immune profile of patients presenting COVID-19-associated severe ARDS has been analyzed using functional proteomics approaches. Both, innate and humoral responses have been characterized through acute-phase protein network and auto-antibody signature. Severity and sepsis by SARS-CoV-2 emerged to be correlated with auto-immune profiles of patients and define their clinical progression, which could provide novel perspectives in therapeutics development and biomarkers of COVID-19 patients. Humoral response in COVID-19 patients’ profile separates with significant differences patients with or without ARDS. Furthermore, we found that this profile can be correlated with COVID-19 severity and results more common in elderly patients.
Using Proteomic Approaches to Unravel the Response of Ctenocephalides felis felis to Blood Feeding and Infection With Bartonella henselae

Among the Ctenocephalides felis felis-borne pathogens, Bartonella henselae, the main aetiological agent of cat scratch disease (CSD), is of increasing comparative biomedical importance. Despite the importance of B. henselae as an emergent pathogen, prevention of the diseases caused by this agent in cats, dogs and humans mostly relies on the use of ectoparasiticides. A vaccine targeting both flea fitness and pathogen competence is an attractive choice requiring the identification of flea proteins/metabolites with a dual effect. Even though recent developments in vector and pathogen -omics have advanced the understanding of the genetic factors and molecular pathways involved at the tick-pathogen interface, leading to discovery of candidate protective antigens, only a few studies have focused on the interaction between fleas and flea-borne pathogens. Taking into account the period of time needed for B. henselae replication in flea digestive tract, the present study investigated flea-differentially abundant proteins (FDAP) in unfed fleas, fleas fed on uninfected cats, and fleas fed on B. henselae-infected cats at 24 hours and 9 days after the beginning of blood feeding. Proteomics approaches were designed and implemented to interrogate differentially expressed proteins, so as to gain a better understanding of proteomic changes associated with the initial B. henselae transmission period (24 hour timepoint) and a subsequent time point 9 days after blood ingestion and flea infection. As a result, serine proteases, ribosomal proteins, proteasome subunit α-type, juvenile hormone epoxide hydrolase 1, vitellogenin C, allantoinase, phosphoenolpyruvate carboxykinase, succinic semialdehyde dehydrogenase, glycinamide ribotide transformylase, secreted salivary acid phosphatase had high abundance in response of C. felis blood feeding and/or infection by B. henselae. In contrast, high abundance of serpin-1, arginine kinase, ribosomal proteins, peritrophin-like protein, and FS-H/FSI antigen family member 3 was strongly associated with unfed cat fleas. Findings from this study provide insights into proteomic response of cat fleas to B. henselae infected and uninfected blood meal, as well as C. felis response to invading B. henselae over an infection time course, thus helping understand the complex interactions between cat fleas and B. henselae at protein levels.
Potential Mechanisms of Quercetin Influence the ClfB Protein During Biofilm Formation of Staphylococcus aureus

This study aimed to establish the mode of binding between Quercetin (QEN) and an essential protein called ClfB in forming biofilm in Staphylococcus aureus (S. aureus). In this study, the raw data of GSE163153 were analyzed for quality control, alignment, and gene counts, and the differential analysis detected the key differentially expressed genes (DEGs) assisting in the formation of the S. aureus biofilm. Then, the protein-protein interaction (PPI) and gene function enrichment analyses of the target genes, identified a gene called clfB to be closely related to biofilm formation. ClfB was structurally characterized, molecularly docked, and kinetically simulated to unravel the mode of binding of QEN to ClfB. Meanwhile, the growth curve and transmission electron microscopy methods examined the effect of QEN on the S. aureus growth. Results indicated that the clfB gene was increasingly expressed during biofilm formation and was involved in cell adhesion, pathogenicity, and infection. We identified 5 amino acid sites of ClfB (D272, R331, I379, K391, E490) as potential sites for binding QEN, which would indirectly influence the changes in the functional sites N234, D270, Y273, F328, inhibiting the formation of biofilm. Meanwhile, 128 μg/ml of QEN could significantly inhibit the S. aureus biofilm formation. This manuscript serves as a molecular foundation for QEN as an antibacterial drug providing a new perspective for developing antibacterial drugs.
Do Different Types of Intelligence and Its Implicit Theories Vary Based on Gender and Grade Level?

The current study investigated correlations among gifted students’ academic performance; emotional, social, analytical, creative, and practical intelligence; and their implicit theories of intelligence. Furthermore, it studied the effect of gender and grade on these variables. The participants included 174 gifted fifth (41.4%) and sixth (58.6%) grade students, comprising 53.4% male and 46.6% female. The following analytical, creative, and practical intelligence tests were administered: Aurora Battery, the emotional intelligence scale, the implicit theories of intelligence scale, and an assessment scale of students’ performances. The results revealed significant correlations among academic performance, kinds of intelligence, and implicit theories of intelligence. There were no significant differences between the male and female students in these measures. There were, however, significant differences between the fifth and sixth grade students, with the sixth-grade students showing higher levels of all kinds of intelligence, except emotional intelligence. Moreover, the results indicated that the intelligence measures were non-significantly affected by either gender or gender–grade interaction. Overall, our results showed that most types of intelligence are related to giftedness, and that there were no gender differences among gifted students on measures of intelligence.
An Erythropoietin-Independent Mechanism of Erythrocytic Precursor Proliferation Underlies Hypoxia Tolerance in Sea Nomads

The Bajau Sea Nomads were recently demonstrated to have evolved larger spleens as an adaptation to millennia of a marine foraging lifestyle. The large-spleen phenotype appears to derive from increases in thyroid hormone (TH) production as a result of reduced expression of phosphodiesterase 10A (PDE10A), though the exact mechanism remains unknown. Through pharmacological inhibition of PDE10A using the selective inhibitor MP-10 in mice, we were able to mimic the Bajau adaptation and show that treated mice had significantly larger spleens than control animals. This difference appears connected to an excess of early stage erythrocytes and an apparent increase in red blood cell (RBC) precursor proliferation in response to increased TH. However, we determined that the stimulation of RBC production in the mouse model via TH is Erythropoietin (EPO)-independent, unlike in the altitude (chronic hypoxemia) response. We confirmed this using human GWAS data; although the Bajau PDE10A variants are significantly associated with increased TH levels and RBC count, they are not associated with EPO levels, nor are other strongly thyroid-associated SNPs. We therefore suggest that an EPO-independent mechanism of stimulating RBC precursor proliferation via TH upregulation underlies the increase in spleen size observed in Sea Nomad populations.
A SNARE Protein Identification Method Based on iLearnPlus to Efficiently Solve the Data Imbalance Problem

Machine learning has been widely used to solve complex problems in engineering applications and scientific fields, and many machine learning-based methods have achieved good results in different fields. SNAREs are key elements of membrane fusion and required for the fusion process of stable intermediates. They are also associated with the formation of some psychiatric disorders. This study processes the original sequence data with the synthetic minority oversampling technique (SMOTE) to solve the problem of data imbalance and produces the most suitable machine learning model with the iLearnPlus platform for the identification of SNARE proteins. Ultimately, a sensitivity of 66.67%, specificity of 93.63%, accuracy of 91.33%, and MCC of 0.528 were obtained in the cross-validation dataset, and a sensitivity of 66.67%, specificity of 93.63%, accuracy of 91.33%, and MCC of 0.528 were obtained in the independent dataset (the adaptive skip dipeptide composition descriptor was used for feature extraction, and LightGBM with proper parameters was used as the classifier). These results demonstrate that this combination can perform well in the classification of SNARE proteins and is superior to other methods.
Gaming Technology for Pediatric Neurorehabilitation: A Systematic Review

Introduction The emergence of gaming technologies, such as videogames and virtual reality, provides a wide variety of possibilities in intensively and enjoyably performing rehabilitation for children with neurological disorders. Solid evidence-based results are however required to promote the use of different gaming technologies in pediatric neurorehabilitation, while simultaneously exploring new related directions concerning neuro-monitoring and rehabilitation in familiar settings. Aim of the Study and Methods In order to analyze the state of the art regarding the available gaming technologies for pediatric neurorehabilitation, Scopus and Pubmed Databases have been searched by following: PRISMA statements, PICOs classification, and PEDro scoring. Results 43 studies have been collected and classified as follows: 11 feasibility studies; six studies proposing home-system solutions; nine studies presenting gamified robotic devices; nine longitudinal intervention trials; and eight reviews. Most of them rely on feasibility or pilot trials characterized by small sample sizes and short durations; different methodologies, outcome assessments and terminologies are involved; the explored spectrum of neurological conditions turns out to be scanty, mainly including the most common and wider debilitating groups of conditions in pediatric neurology: cerebral palsy, brain injuries and autism. Conclusion Even though it highlights reduced possibilities of drawing evidence-based conclusions due to the above outlined biases, this systematic review raises awareness among pediatricians and other health professionals about gaming technologies. Such a review also points out a definite need of rigorous studies that clearly refer to the underlying neuroscientific principles.