Metacognition refers to the knowledge and regulation of one’s own cognitive processes, which has been regarded as a critical component of creative thinking. However, the current literature on the association between metacognition and creative thinking remains controversial, and the underlying role of metacognition in the creative process appears to be insufficiently explored and explained. This review focuses on the roles of three aspects of metacognition (i.e., metacognitive knowledge, metacognitive experience, and metacognitive monitoring and control) in creative thinking and offers a (...) primary summary of the neurocognitive mechanisms that support metacognition during creative thinking. Future research is needed to explore the interactive effects of the metacognitive components on creative thinking and to elucidate the function of metacognition during different stages of the creative process. (shrink)

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)

From James Legge’s first attempt to translate the Yijing in the English speaking world in 1854, to the latest translation, The Original Meaning of the Yijing, by Joseph A. Adler in 2019, the process of translating the Yijing into English has been continuing for nearly 170 years, and there are countless translations by numerous translators. Historically, these English translations of the Yijing reveal five trends: first, the translations rely on the authoritative, traditional commentaries on the Yijing; secondly, some translations rely (...) on the personal help and interpretations of Yijing scholars in China; thirdly, some translations depend on recently unearthed documents of the Yijing; fourthly, Yili and Xiangshu are more or less involved in these translations, although the focus of each translation is not always the same; fifthly, most translations strive for the “original” meaning of the Yijing, especially with the unearthed documents of the Yijing since the 1970s. It could be safely concluded that the ultimate goal of the English translators of the Yijing is to provide English readers with the Yijing that is closest to the original/authentic meaning so that people in theWest can truly understand the essence of Chinese philosophy represented by the Yijing. (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)

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 present study investigated whether physical cleansing can reduce the mindset effect in problem-solving in two experiments. Both experiments followed the same procedure. In the first stage, participants formed a mindset through the Luchins’ water-jar task (Experiment 1) or the idiom maze task (Experiment 2). The second stage is cleansing manipulation. In Experiment 1, participants were asked to clean their hands with wipes (cleansing condition) or examine the packaging of the wipes (no-cleansing condition). In Experiment 2, participants were asked to (...) watch a washing-hands video (cleansing condition) or watch an examining-pen video (no-cleansing condition). At last, all participants completed the mindset effect test problems. The results showed that the participants in the cleansing condition were less affected by the mindset than those in the no-cleansing condition, indicating that physical cleansing reduced the mindset effect. Our results provide new evidence for the clean-slate effects and support the hypothesis that physical cleansing is an embodied process of psychological separation. (shrink)

Background As health education robots may potentially become a significant support force in nursing practice in the future, it is imperative to adhere to the European Union’s concept of “Responsible Research and Innovation” (RRI) and deeply reflect on the ethical risks hidden in the process of intelligent robotic health education. Aim This study explores the perceptions of professional nursing professionals regarding the potential ethical risks associated with the clinical practice of intelligent robotic health education. Research design This study adopts a (...) descriptive phenomenological approach, employing Colaizzi’s seven-step method for data analysis. Participants and research context We conducted semi-structured interviews with 17 nursing professionals from tertiary comprehensive hospitals in China. Ethical considerations This study has been approved by the Ethics Committee of the Second Affiliated Hospital of Nanjing University of Chinese Medicine, Jiangsu Provincial Second Chinese Medicine Hospital. Findings Nursing personnel, adhering to the principles of RRI and the concept of “person-centered” care, have critically reflected on the potential ethical risks inherent in robotic health education. This reflection has primarily identified six themes: (a) threats to human dignity, (b) concerns about patient safety, (c) apprehensions about privacy disclosure, (d) worries about implicit burdens, (e) concerns about responsibility attribution, and (f) expectations for social support. Conclusions This study focuses on health education robots, which are perceived to have minimal ethical risks, and provides rich and detailed insights into the ethical risks associated with robotic health education. Even seemingly safe health education robots elicit significant concerns among professionals regarding their safety and ethics in clinical practice. As we move forward, it is essential to remain attentive to the potential negative impacts of robots and actively address them. (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.

The current literature expands the existing knowledge of the antecedents of proactive environmental strategies (PES) in family firms from the perspectives of institutional, market and family involvement logics. However, scholars have not considered the influence of key family decision-makers and their characteristics in this regard. Based on the ability and willingness framework, this study focuses on how founders' religiosity affects family firms' PES. Using data from the 2010 Chinese Private Enterprise Survey conducted by Chinese officials, we found that founders' religiosity (...) drives family firms to implement PES. Altruistic and long-term orientation are the internal mechanisms of this effect. Founders' political status enhances the positive impact of their religiosity on PES, whereas the founders' need for socioemotional wealth protection weakens the relationship between founders' religiosity and family firms' PES. We also found that Eastern and Western founders' religiosity has an asymmetric effect on family firms' PES. This study contributes to the literature on the PES of family firms, the family firm's ability and willingness framework, and family business heterogeneity. (shrink)

Although the global healthcare system is paying increasing attention to obstetric violence, this form of gender-based violence during childbirth remains a serious issue. The primary objective of this comprehensive study is to explore the experiences and needs of women subjected to obstetric violence on a global scale. A systematic search was conducted in December 2024 across the Web of Science, Embase, PubMed, and CINAHL databases to identify eligible studies. Data synthesis was performed using the three-stage thematic and content analysis method. (...) A total of 39 eligible qualitative studies were included in this review. Thematic synthesis identified 6 themes and 17 sub-themes: (1) Obstetric Violence Types; (2) Gaslighting Effect: The Authoritative Position of Healthcare Providers; (3) Stigmatization and Discrimination Experienced by Women; (4) Who is Normalizing Obstetric Violence? (5) Substandard Medical Institutions; (6) Trauma Induced by Obstetric Violence. Obstetric violence continues to persist in various countries and regions. Women have endured various forms of obstetric violence, with their autonomy and rights to informed consent being severely compromised. They have experienced neglect and abandonment by healthcare providers, and face discrimination and differential treatment due to factors such as race, socioeconomic status, age, and culture. The primary cause of obstetric violence is the unequal power dynamics between healthcare providers and women, with the authoritative position of healthcare providers leading to a lack of communication and recognition between both parties. (shrink)

To investigate the effects of left-behind children’s empathy and coping styles on school adjustment, 605 left-behind children in the third grade from three rural elementary schools in Suzhou, Anhui Province were selected to complete the Chinese version of the Interpersonal Reaction Index Scale, the Coping Style Scale, and the School Adjustment Behavior Scale for Primary and Secondary School Students. The results showed that emotional empathy positively predicted children’s social competence, and negatively predicted children’s antisocial behavior; cognitive empathy positively predicted children’s (...) social competence; the role of positive coping styles mediated the relationship between cognitive empathy and social competence, and that between cognitive empathy and antisocial behavior; negative coping styles mediated the relationship between cognitive empathy and antisocial behavior; both positive and negative coping styles mediated the relationship between emotional empathy and social competence, and that between emotional empathy and antisocial behavior. The findings of the study are valuable for understanding the relationship between empathy and school adjustment, which also helps to enhance the school adjustment of left-behind children. (shrink)

Burnout is a serious problem in the teaching profession. Research suggests that career calling could be regarded as a protective factor against burnout; however, the mediating mechanism underlying this relationship remains to be explored. The purpose of this study was to test the mediating roles of work engagement and teachers' psychological capital. A total of 3,300 teachers completed a self-report questionnaire. Results showed that the relationship between career calling and burnout was mediated by work engagement and teacher psychological capital. These (...) findings provide insights for preventing burnout among teacher groups. (shrink)

A set Asubset of or equal toω is called computably enumerable , if there is an algorithm to enumerate the elements of it. For sets A,Bsubset of or equal toω, we say that A is bounded Turing reducible to reducible to) B if there is a Turing functional, Φ say, with a computable bound of oracle query bits such that A is computed by Φ equipped with an oracle B, written image. Let image be the structure of the c.e. bT-degrees, (...) the c.e. degrees under the bounded Turing reductions. In this paper we study the continuity properties in image. We show that for any c.e. bT-degree image, there is a c.e. bT-degree image such that for any c.e. bT-degree image, image if and only if image. We prove that the analog of the Seetapun local noncappability theorem from the c.e. Turing degrees also holds in image. This theorem demonstrates that every image is noncappable with any nontrivial degree below some image. (shrink)

Social media users have increased rapidly in recent years; however, most are “silent users” who rarely share information online. To maintain social media companies’ stable operation and development, this research explored the effects of flow experience and identity formation on users’ intrinsic motivation to facilitate aggressive, spontaneous, and habitual participation in virtual communities. A total of 487 valid questionnaires were collected and underwent regression analysis. The results revealed that all three intrinsic motivations had a significant impact on social media participation, (...) with social interaction exerting the strongest influence. Flow experience and identification had significant, partial mediating effects on the relationship between motivation and participation. Several suggestions were provided based on the results to help social media enterprises increase user participation. It is hoped that this research could facilitate in transforming users into habitual participants to keep the operations of the virtual community stable and enduring. (shrink)

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)

In this study, we examined the role of culture on early adolescents’ social reasoning about peer exclusion. A total of 80 U.S. and 149 Taiwanese early adolescents independently completed a social reasoning essay about peer exclusion. Analyses of the essays based on social-moral theories showed that U.S. students tended to reason about peer exclusion based on social conventional thinking whereas Taiwanese students were more attentive to personal and moral issues. Despite this difference, both groups of students referred to some common (...) social-moral concepts while reasoning about peer exclusion, including consideration of personal benefit, harming others’ welfare, personal concern, and punishment. The use of social reasoning strategies was similar across the two groups of students except that Taiwanese students relied more on judgment whereas U.S. students generated more alternative hypotheses. (shrink)

Deep learning and artificial intelligence are jointly applied to concrete piano teaching for children to comprehensively promote modern piano teaching and improve the overall teaching quality. First, the teaching environment and the functions of the intelligent piano are expounded. Then, a piano note onset detection method is proposed based on the convolution neural network. The network can analyze the time-frequency of the input piano music signal by transforming the original time-domain waveform of the piano music signal into the frequency distribution (...) varying with time. Besides, it can detect the note onset at a stable state after 8 × 104 iterations. Moreover, an intelligent piano teaching method is designed to teach Jingle Bells for 40 preschool children aged 4–6 years. Finally, a questionnaire survey is performed to investigate the teaching situation, including the learning interest and learning effect of children and learning feedback from parents. The results show that 80% of children like smart music scores, 82% of children like intelligent piano lessons with games, and 84% of children can learn actively in the intelligent piano class. Besides, 85% of parents believe that their children are more interested in learning piano. In general, the intelligent piano teaching method effectively combines DL with AI to realize the overall optimization of piano performance. It is widely favored by preschool children and their parents and plays an important role in improving the interest of preschool children in piano learning. (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)

Virtual reality provides an immersive 360-degree viewing experience and has been widely used in many areas. However, the transmission of panoramic video usually places a large demand on bandwidth; thus, it is difficult to ensure a reliable quality of experience under a limited bandwidth. In this paper, we propose a field-of-view prediction methodology based on limited FoV feedback that can fuse the heat map and FoV information to generate a user view. The former is obtained through saliency detection, while the (...) latter is extracted from some user perspectives randomly, and it contains the FoV information of all users. Then, we design a QoE-driven panoramic video streaming system with a client/server architecture, in which the server performs rate adaptation based on the bandwidth and the predicted FoV. We then formulate it as a nonlinear integer programming problem and propose an optimal algorithm that combines the Karush–Kuhn–Tucker conditions with the branch-and-bound method to solve this problem. Finally, we evaluate our system in a simulation environment, and the results show that the system performs better than the baseline. (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.

When navigating in a new environment, it is typical for people to resort to external guidance such as GPS, or people. However, in the real world, even though navigators have learned the route, they may still prefer to travel with external guidance. We explored how the availability of feedback and the source of external guidance affect navigation decision-making on experienced routes in the presence of external guidance. In three experiments, participants navigated a simulated route three times and then verbally confirmed (...) that they had learned it. They then travelled the same route again, accompanied with no, correct, or incorrect direction guidance, which latter two were provided by a GPS (Exp.1), a stranger (Exp.2), or a friend (Exp.3). Half of the participants received immediate feedback on their navigation decisions, while the other half without feedback did not know if they had selected the correct directions. Generally, without feedback, participants relied on external guidance, regardless of the direction sources. Results also showed that participants trusted the GPS the most, but performed best with their friends as a direction source. With feedback, participants did not show differences in performance between the correct and incorrect guidance conditions, indicating that feedback plays a critical role in evaluating the reliability of external guidance. Our findings suggest that incorrect guidance without any feedback might disturb navigation decision-making, which was further moderated by the perceived credibility of direction sources. We discuss these results within the context of navigation decision-making theory and consider implications for wayfinding behaviors as a social activity. (shrink)

These past few years, programs of local English as a foreign language (EFL) textbook development were launched to adapt to the newly issued English Curriculum Standards in China. They not only develop Student’s Books but also write Teacher’s Books as an integral part of their work. How to write a Teacher’s Book that exactly meets the non-native speaker (NNS) language teachers’ needs was a long-time concern, but few studies have been conducted to address the concern empirically. The present research with (...) a single case design closely examined how a local Teacher’s Book writer’s understanding of the local EFL teachers shaped the role of the Teacher’s Book by looking into the process of an English language teaching (ELT) materials development program in China. It sought to find answers to what the Teacher’s Book writer knew about the local EFL teachers, and how this understanding influenced his conceptualization of Teacher’s Book development. The findings show that the writer’s understanding of local teachers’ conventional teaching practice, and their content knowledge (CK) and pedagogical content knowledge (PCK) play a decisive role in shaping the Teacher’s Book into materials that provide educational affordances to overcome the local EFL teachers’ weaknesses and inject innovation into their conventional practice. These findings have implications for both the international and local ELT materials development programs to compile Teacher’s Book for better local use. (shrink)

With rapid changes in technology, knowledge innovation has become more and more complex. Complex partners facilitate knowledge creation and innovation in complex problem-solving. Relying on R&D cooperation with forerunners, latecomers can acquire new knowledge factors and new ideas and use them to create new knowledge. This study demonstrated the knowledge innovation mechanism based on linkages between periphery knowledge and core knowledge with knowledge map theory and set methodology. A case of R&D cooperation between latecomers and forerunners was introduced to verify (...) this mechanism. The results show that latecomers could share forerunners’ periphery knowledge in R&D cooperation through formal and informal interaction and acquire the core knowledge factors in periphery knowledge based on the linkages between them. With these core knowledge factors, latecomers integrate them into their internal knowledge system and create new knowledge. By analyzing the linkages between periphery and core knowledge factors, this study creatively demonstrates the knowledge innovation mechanism in knowledge linkage perspective. It deepens the understanding of R&D cooperation between latecomers and forerunners and expands the focus of knowledge innovation theory. This study provides a new insight into latecomers effectively activating internal and external knowledge resources through R&D cooperation. (shrink)

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)