The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi _1$$\end{document}-Foundation + V=L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V=L$$\end{document} is enough to carry out finite injury arguments in α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory, proving both the Friedberg-Muchnik theorem and the Sacks splitting theorem in this theory. In addition, we compare the strengths of some fragments of KP. (shrink)

Teacher support makes students feel loved and cared for because they believe that their teachers will provide them with opportunities to make choices, support them in independent problem solving, and understand their inner feelings. High TS levels reduce depression and anxiety, thereby improving students' mental well-being. This cross-sectional study involved 3,573 students from 29 schools in 16 counties/cities of six provinces, namely, Guizhou, Hubei, Jiangxi, Shanxi, Sichuan, and Yunnan. The aim was to examine the impact of TS on students' level (...) of depression. The results indicated that for children in elementary schools, their status as left-behind children played a moderating role between TS and depression. The level of depression in non-LBC children decreased significantly with increases in TS, but the reduction for LBC children was not significant. For children in middle/junior high schools, their LBC status did not play a moderating role between TS and depression. TS was negatively correlated with the children's level of depression, but there was a significant positive relationship between their LBC status and depression. The theoretical and practical significance of the research findings were further discussed. (shrink)

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.

BackgroundThe underrepresentation of scholarly works from low- and middle-income countries (LMICs) in academic literature is a documented concern, attributed partly to editorial biases. This trend, prevalent across various disciplines, has been less explored in the context of medical ethics journals. This study aimed to examine the composition of editorial board members (EBM) in high-impact medical ethics journals and to evaluate the extent of international diversity within these editorial teams.MethodsThis study incorporated an analysis of 16 high-impact medical ethics journals. Information regarding (...) the EBM of these journals was systematically gathered and categorized based on the World Bank’s country income classifications. An in-depth examination of the editorial board compositions was then conducted.ResultsThe study identified 669 EBM across the selected journals. A predominant 89.84% (601) of these members were from high-income countries (HICs), with upper-middle-income countries contributing 7.47% (50) and lower-middle-income countries 2.69% (18). No EBM were associated with low-income countries. A regional breakdown indicated that North America was the most represented area, accounting for 48.88% (327), followed by Europe & Central Asia (27.50%, 184), East Asia & Pacific (13.45%, 90), Latin America & Caribbean (4.63%, 31), Sub-Saharan Africa (4.19%, 28), Middle East & North Africa (0.75%, 5), and South Asia (0.60%, 4). In total, these EBMs hailed from 46 different countries, with the United States representing the largest proportion (43.80%, 293), followed by the United Kingdom (13.15%, 88), Australia (7.92%, 53), Germany (6.73%, 45), and Canada (5.08%, 34).ConclusionsThere is a significant lack of international representation within the EBM of high-impact medical ethics journals. The majority of editors in this field are affiliated with HICs, leading to a severe underrepresentation of LMICs within the editorial boards. (shrink)

The strap-down inertial navigation system is a commonly used sensor for autonomous underground navigation, which can be used for shearer positioning under a coal mine. During the process of initial alignment, inaccurate or time-varying noise covariance matrices will significantly degrade the accuracy of the initial alignment of the shearer. To overcome the performance degradation of the existing initial alignment algorithm under complex underground environment, a novel adaptive filtering algorithm is proposed by the integration of the strong tracking Kalman filter and (...) the sequential filter for the initial alignment of the shearer with complex underground environment. Compared with the traditional multiple fading factor strong tracking Kalman filter method, the proposed MSTSKF algorithm integrates the advantage of strong tracking Kalman filter and sequential filter, and multiple fading factor and forgetting factor for east and north velocity measurement are designed in the algorithm, respectively, which can effectively weaken the coupling relationship between the different states and increase strong robustness against process uncertainties. The simulation and experiment results show that the proposed MSTSKF method has better initial alignment accuracy and robustness than existing strong tracking Kalman filter algorithm. (shrink)

The target article argues researchers should be more ambitious, designing studies that systematically and comprehensively explore the space of possible experiments in one fell swoop. We argue that while “systematic” is rarely achievable, “comprehensive” is often enough. Critically, the recent popularization of massive online experiments shows that comprehensive studies are achievable for most cognitive and behavioral research questions.

Construction schedules play an important role in construction project management. However, during construction activities, risks may arise due to unexpected schedule changes, resulting in the ineffective delivery of projects. This study aims to reveal the law of schedule change risk propagation and to analyze the effects on the risk propagation through numerical simulations. First, construction projects are represented by activity-on-node networks. A model of risk propagation is then built based on a susceptible-infected model considering the effects of the nodal characteristics (...) on the propagation process. Next, the model is tested on a real-world project to examine cascading failures with varying parameters. The experimental results demonstrate that the model is effective in identifying the activities most capable of affecting a project schedule and evaluating the impact of schedule change risk propagation. This study will provide a basis for enhancing the robustness of AON networks and controlling the propagation of schedule change risks. (shrink)

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models. and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey's Theorem for Pairs.

Emotions are now considered critical elements of a successful education. In English as a Foreign Language context, there are many challenges for teachers to deal with. Hence, it is necessary to take their emotions into consideration. Despite many studies in this area, researching teachers’ positive mood, hope, and academic buoyancy has been left less attended. Trying to introduce this line, the present study reviewed the definitions, related concepts, theories, and previous studies done on these three variables in detail. It also (...) touched upon the origins of researching emotion in educational contexts describing different schools of psychology. Additionally, the study offered some practical implications for EFL teachers, students, policy-makers, teacher trainers, and researchers. Finally, it enumerated the existing gaps in this area and made a number of research suggestions for future research. (shrink)

Empathy and altruistic behavior are more crucial abilities for pre-service teachers to possess when compared with other study fields. The relationship between empathy and altruistic behavior in Chinese pre-service teachers and their underlying mechanisms, however, has received relatively little attention in the literature. Therefore, the goal of the current study was to examine the links between study fields, self-control, emotional empathy, and altruistic preferences among undergraduates and graduates in five Chinese universities with the Interpersonal Reactivity Index-C Questionnaire, the Self-Control Scale, (...) and the Chinese Self-Report Altruism Scale tests. The results showed a significant difference between pre-service and non-pre-service teachers in empathic concern and self-control. Furthermore, empathic concern and altruistic behavior tendency of pre-service teachers were significantly higher than those of non-pre-service teachers. Moreover, mediation analyses indicated that empathic concern partially mediated the relationship between study fields and altruistic tendency. Moderated mediation analysis further revealed that self-control buffered the relation between empathic concern and altruistic behavior tendency. These results demonstrate that altruistic tendency of pre-service teachers is influenced by empathic concern and self-control. (shrink)

Internet of thing building sensors can capture several types of building operations, performances, and conditions and send them to a central dashboard to analyze data to support decision-making. Traditionally, laptops and cell phones are the majority of Internet-connected devices. IoT tracking allows customers to close the distance between devices and enterprises by collecting and analyzing various IoT data through connected devices, customers, and applications on the network. There is a lack of requirements for IoT edge applications security and approval. There (...) are no best practices regarding operations focused on IoT incidents. IoT elements are not covered by audit and logging requirements. In this article, a big data analytics-based customer operation system analyzes the operation. With the exponential rise in data usage, the explosive development in the IoT devices reflects the ideal overlap of big data growth with IoT. Big data analytics continuously evolving network raises trivial questions about the performance, distribution of data, analysis, and protection of data collection. IoT modifies almost all the construction industry characteristics. Human-centered artificial intelligence is described as systems that always improve because of human input while also delivering an effective experience between the human and the robotic. The IoT is the key factor that ensures greater building performance. It was the first evolution of technology in a long time to turn genuine inventions into an industry that depended heavily on paper and manual processes. The benefits of the IoT in construction are now quite obviously much heavier than those of current manual processes. As a result, more construction companies explore and incorporate IoT strategies to address their productivity challenges, increasing efficiencies and profits. The simulation analysis shows that the proposed BDA-CO model enhances the trust score of 98.5%, accuracy detection ratio of 93.4%, probability ratio of 97.6%, and security ratio of 98.7% and reduces the false negative ratio of 21.3%, response time of 10.5%, delay rate of 19.9%, and packet loss ratio of 15.4% when compared to other existing techniques. (shrink)

Communication is rule governed; so are greetings which serve as a polite way of communication. The rules vary depending on the cultural context or the cultural context helps to define the rules and so communication rules are culturally diverse. It is important for foreign language learners to learn that communication rules are both culturally and contextually bound to achieve effective and efficient communication.

In the mouse, at least 16 genes regulate vesicle trafficking to specialized lysosome‐related organelles, including platelet dense granules and melanosomes. Fourteen of these genes have been identified by positional cloning. All 16 mouse mutants are models for the genetically heterogeneous human disease, Hermansky–Pudlak Syndrome (HPS). Five HPS genes encode known vesicle trafficking proteins. Nine genes are novel, are found only in higher eukaryotes and encode members of three protein complexes termed BLOCs (Biogenesis of Lysosome‐related Organelles Complexes). Mutations in murine HPS (...) genes, which encode protein co‐members of BLOCs, produce essentially identical phenotypes. In addition to their well‐known effects on pigmentation, platelet function and lysosome secretion, HPS genes control a wide range of physiological processes including immune recognition, neuronal functions and lung surfactant trafficking. Studies of the molecular functions of HPS proteins will reveal important details of vesicle trafficking and may lead to therapies for HPS. BioEssays 26:616–628, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the (...) concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

Management ownership has ethical consequences because it has an interest alignment effect or an entrenchment effect. In this paper, we investigate the ethical consequences of management ownership in China using accounting conservatism as the direct measure of entrenchment and alignment between shareholders and managers. We argue and find that the ethical effect of management ownership differs significantly in firms with different ultimate controlling shareholders. Specifically, management ownership in non-state-owned enterprises has an alignment effect, while management ownership has less of an (...) alignment effect in state-owned enterprises than in NSOEs. These results show that the ethical consequences of management ownership are moderated by the nature of ultimate controlling ownership. (shrink)

The COVID-19 is creating panic among people around the world and is causing a huge public mental health crisis. Large numbers of observational studies focused on the prevalence of psychological problems during the COVID-19 pandemic were published. It is essential to conduct a meta-analysis of the prevalence of different psychological statuses to insight the psychological reactions of general population during the COVID-19 epidemic in China. Sixty six observational studies about the psychological statuses of people during the COVID-19 were included, searching (...) up to 1 December 2020. Strengthening the Reporting of Observational Studies in Epidemiology (STROBE) was used to evaluate the quality of the included studies. OpenMeta[Analyst] was used for the data analysis. High prevalence of acute stress and fear symptoms were observed in the early period of the epidemic. Additionally, anxiety and depression symptoms continued at a high prevalence rate during the epidemic. It should alert the lasting mental health problems and the risk of post-traumatic stress disorder and other mental disorders.Systematic Review Registration:PROSPERO CRD 42020171485. (shrink)

Poverty alleviation consumption, which we call altruistic consumption, has become a new effective way to help vulnerable groups, but there are a few empirical researches on poverty alleviation through consumption. This article takes China's poverty alleviation actions as the research object, investigates and studies the relationship between altruistic consumption motivations and altruistic consumption behaviors that aim for vulnerable groups. It is found that altruistic consumption behavior is mainly affected by benefit group motivation, benefit morality motivation, benefit demander motivation, and benefit (...) supplier motivation. There is a correspondence between the four altruistic consumption motivations and the four altruistic consumption behaviors. The strength of altruistic consumption motivations changes with changes in altruistic buying behavior. The strength of benefit group motivation decreases with the increase in the times of altruistic purchases, while the strength of benefit morality motivation, benefit demander motivation, and benefit supplier motivation increase with the increase in the times of altruistic purchases. Among the four kinds of altruistic consumption motivations that affect the times of altruistic purchases, the benefit demander motivation has a relatively greater influence. The results of this study have important guiding significance for vulnerable groups to formulating targeted proactive marketing strategies, preventing the altruistic consumption relationship dissolution, and realizing sustainable altruistic consumption. (shrink)

Based on the stress interaction theory, this research constructed a model to study the joint moderating effects of the perception reduction of employment opportunities under the COVID-19 epidemic on the employment pressure of college students. With two moderating variables introduced, employment policy support and job-searching self-efficacy, this research studied the mechanism and boundary conditions of perception reduction of employment opportunities on employment pressure of college students from both individual and environmental aspects. The study found that during the epidemic if college (...) students perceived fewer employment opportunities, they could have greater employment pressure from themselves, schools, and families; and that under the joint moderation of employment policy support and job-searching self-efficacy, the perception reduction of employment opportunities under the COVID-19 epidemic, the employment pressure of college students, universities, and families were connected, with different adjustment mechanisms. Based on empirical data, this research can provide theoretical enlightenment and practical guidance for the government, universities, and families to alleviate the employment pressure on college students during the epidemic. (shrink)

Tumor necrosis is a common histological feature and poor prognostic predictor in various cancers. Despite its significant clinical implications, the mechanism underlying tumor necrosis remains largely unclear due to lack of appropriate pre‐clinical modeling. We propose that tumor necrosis is a synergistic consequence of metabolic stress and inflammation, which lead to oxidative stress‐induced cell death, such as ferroptosis. As a natural consequence of tumor expansion, tumor cells are inevitably stripped of vascular supply, resulting in deprivation of oxygen and nutrients. The (...) resulting metabolic stress has commonly been considered the cause of tumor necrosis. Recent studies found that immune cells, such as neutrophils, when recruited to tumors, can directly trigger ferroptosis in tumor cells, suggesting that immune cells can be involved in amplifying tumor necrosis. This article will discuss potential mechanisms underlying tumor necrosis development and its impact on tumor progression as well as the immune response to tumors. (shrink)

Credit distribution is uneven in the domestic financial market since it is relatively easy for listed companies, mainly state-owned enterprises, to obtain banks’ funds. Unbalanced credit distribution has caused some listed companies to participate in “Borrow to Lend” activities. Based on the traditional “financing priority” theory and credit rationing theory, this paper studies the “Borrow to Lend” shadow banking activities of China’s non-financial listed companies based on the 2007–2018 financial statement data of Chinese-listed companies and discusses the micro-level and macro-level (...) related factors behind this activity. The empirical results show that China’s non-financial listed companies, especially the state-owned enterprises, are participating in obvious “Borrow to Lend” activities. The real economy’s rate of return shows a negative relationship with “Borrow to Lend” activities at the level of individual companies and their industries. This article uses the exogenous growth part of M2 growth to measure monetary policy tightness in terms of macro and credit policies. It uses the ratio of state-owned enterprise loans to total corporate loans as an approximate indicator of the credit distribution structure. The empirical results indicate that state-owned enterprises’ “Borrow to Lend” activities have shifted in the same direction as the tightening of monetary policy after the financial crisis. The proportion of state-owned enterprise loans positively correlates with state-owned enterprises’ “Borrow to Lend” activities. (shrink)

Although there have been numerous studies on mental wellbeing impairment or other negative consequences of Workplace Violence against healthcare professionals, however, the effects of WPV are not limited to those who experience WPV in person, but those who exposed to WPV information indirectly. In the aftermath of “death of Dr. Yang Wen,” a cross-sectional study was conducted to explore the psychological status of healthcare professionals. A total of 965 healthcare professionals from 32 provinces in China participated in our research. The (...) prevalence rates of Post-Traumatic Stress Disorder symptoms, depression, anxiety among healthcare professional in the current study were 25.60, 46.01, and 27.88%, respectively. Moreover, our research suggested that the awareness of WPV-incident had a significant association with PTSD symptoms. In addition, risk perception was shown to mediate the effect of WPV awareness on PTSD symptoms. Furthermore, the present research also found a U-shaped relationship between issue salience and PTSD symptoms, and the relationship between issue salience and anxiety, indicating that higher awareness of WPV issue was negatively related to mental health status but only to the points at which there were no additional effects of more issue salience. This study highlighted that more protective measures for healthcare professionals need to be implemented in response to potential WPV events. More importantly, risk perception was found to mediate the effect of WPV issue salience on PTSD symptoms, it is critical to reduce the mental health burden through intervening in risk perception. (shrink)