This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

BackgroundThe therapeutic effect of deep brain stimulation (DBS) of the subthalamic nucleus (STN) for Parkinson's disease (PD) is related to the modulation of pathological neural activities, particularly the synchronization in the β band (13–35 Hz). However, whether the local β activity in the STN region can directly predict the stimulation outcome remains unclear.ObjectiveWe tested the hypothesis that low-β (13–20 Hz) and/or high-β (20–35 Hz) band activities recorded from the STN region can predict DBS efficacy.MethodsLocal field potentials (LFPs) were recorded in (...) 26 patients undergoing deep brain stimulation surgery in the subthalamic nucleus area. Recordings were made after the implantation of the DBS electrode prior to its connection to a stimulator. The maximum normalized powers in the theta (4–7 Hz), alpha (7–13 Hz), low-β (13–20 Hz), high-β (20–35 Hz), and low-γ (40–55 Hz) subbands in the postoperatively recorded LFP were correlated with the stimulation-induced improvement in contralateral tremor or bradykinesia–rigidity. The distance between the contact selected for stimulation and the contact with the maximum subband power was correlated with the stimulation efficacy. Following the identification of the potential predictors by the significant correlations, a multiple regression analysis was performed to evaluate their effect on the outcome.ResultsThe maximum high-β power was positively correlated with bradykinesia–rigidity improvement (rs = 0.549, p < 0.0001). The distance to the contact with maximum high-β power was negatively correlated with bradykinesia–rigidity improvement (rs = −0.452, p < 0.001). No significant correlation was observed with low-β power. The maximum high-β power and the distance to the contact with maximum high-β power were both significant predictors for bradykinesia–rigidity improvement in the multiple regression analysis, explaining 37.4% of the variance altogether. Tremor improvement was not significantly correlated with any frequency.ConclusionHigh-β oscillations, but not low-β oscillations, recorded from the STN region with the DBS lead can inform stimulation-induced improvement in contralateral bradykinesia–rigidity in patients with PD. High-β oscillations can help refine electrode targeting and inform contact selection for DBS therapy. (shrink)

In 2015, the Chinese pharmacologist, Tu Youyou, was awarded the Nobel Prize for Physiology or Medicine for the discovery of artemisinin. Traditional Chinese medicine (TCM) was the source of inspiration for Tu's discovery and provides an opportunity for the world to know more about TCM as a source of medical knowledge and practice. In this article, the value of TCM is evaluated from an ethical perspective. The characteristics of ‘jian, bian, yan, lian’ are explored in the way they promote accessibility (...) and economic efficiency for TCM. The article also examines how the increased use and prevalence of TCM reflects the scientific, cultural, and ethical values of TCM and their increasing attraction in meeting major challenges to medicine and health systems currently and in the future. The article discusses safety issues within TCM, which is a controversial area, and also comments on some shortcomings and challenges which pose difficulties for more widespread and greater uptake of TCM‐derived clinical or therapeutic interventions. The article concludes that TCM is generally safe if it is used according to TCM theory and where such applications are cognizant of the strengths and weaknesses of TCM. TCM has important bioethical values which may inform potential measures for meeting challenges facing global health care systems and the article argues that it can have an increasing role in improving human health. (shrink)

This study empirically examined the effects of ethical leadership and ethical climate on employee ethical behavior in the international port context using survey data collected from 128 respondents who worked in Taiwan International Ports Corporation in Taiwan. Research hypotheses were formulated from the previous literature and tested using structural equation modeling. Results indicated that ethical leadership had a significant impact on ethical climate and the ethical behavior of TIPC employees. Ethical climate was found to be positively associated with employee ethical (...) behavior. The theoretical and practical implications of the research findings are discussed. (shrink)

Background: Healthcare workers in the front line of diagnosis, treatment, and care of patients with coronavirus disease 2019 are at great risk of both infection and developing mental health symptoms. This study aimed to investigate the following: whether healthcare workers in general hospitals experience higher mental distress than those in psychiatric hospitals; the role played by religion and alexithymic trait in influencing the mental health condition and perceived level of happiness of healthcare workers amidst the stress of the COVID-19 pandemic; (...) and factors that influence the resilience of healthcare workers at 6 weeks' follow-up.Methods: Four-hundred and fifty-eight healthcare workers were recruited from general and psychiatric hospitals, and 419 were followed-up after 6 weeks. All participants filled out the 20-item Toronto Alexithymia Scale, five-item Brief-Symptom Rating Scale, and the Chinese Oxford Happiness Questionnaire.Results: Under the stress of the COVID-19 pandemic, 12.3% of frontline healthcare workers in general hospitals reported having mental distress and perceived lower social adaptation status compared with those working in psychiatric hospitals. Christians/Catholics perceived better psychological well-being, and Buddhists/Taoists were less likely to experience mental distress. The results at 6 weeks of follow-up showed that the perceived lower social adaptation status of general hospital healthcare workers was temporary and improved with time. Christian/Catholic religion and time had independent positive effects on psychological well-being; however, the interaction of Christian/Catholic religion and time had a negative effect.Conclusions: Collectivism and individualism in the cultural context are discussed with regard to alexithymic trait and Buddhist/Taoist and Christian/Catholic religious faiths. Early identification of mental distress and interventions should be implemented to ensure a healthy and robust clinical workforce for the treatment and control of the COVID-19 pandemic. (shrink)

Learning general concepts in imperfect environments is difficult since training instances often include noisy data, inconclusive data, incomplete data, unknown attributes, unknown attribute values and other barriers to effective learning. It is well known that people can learn effectively in imperfect environments, and can manage to process very large amounts of data. Imitating human learning behavior therefore provides a useful model for machine learning in real-world applications. This paper proposes a new, more effective way to represent imperfect training instances and (...) rules, and based on the new representation, a Human-Like Learning (HULL) algorithm for incrementally learning concepts well in imperfect training environments. Several examples are given to make the algorithm clearer. Finally, experimental results are presented that show the proposed learning algorithm works well in imperfect learning environments. (shrink)

End-of-life decision making frequently occurs in the intensive care unit (ICU). There is a lack of information on how a do-not-resuscitate (DNR) order affects treatments received by critically ill patients in ICUs. The objectives of this study were: (1) to compare the use of life support therapies between patients with a DNR order and those without; (2) to examine life support therapies prior to and after the issuance of a DNR order; and (3) to determine the clinical factors that influence (...) the initiation of a DNR order in ICUs in Taiwan. A prospective, descriptive, and correlational study was conducted. A total of 202 patients comprising 133 (65.8%) who had a DNR order, and 69 (34.1%) who did not, participated in this study. In the last 48 hours of their lives, patients who had a DNR order were less likely to receive life support therapies than those who did not have a DNR order. Older age, being unmarried, the presence of an adult child as a surrogate decision maker, a perceived inability to survive ultimate discharge from the ICU, and longer hospitalization in the ICU were significant predictors of issuing a DNR order for critically ill patients. This study will draw attention to how, when, and by whom, critically ill patients’ preferences about DNR are elicited and honored. (shrink)

As part of a new focus on sustainability, this study examines the effects of technological attributes, market potential, and environmental factors on the commercialization of technologies. A survey was conducted on two of Taiwan’s promising sustainable high-tech industries—solar photovoltaic (PV) and light emitting diodes (LEDs). We found that if the technologies possess the specific attributes of innovativeness, genericness, simplicity, and compatibility, as required by the potential adopters, the level of market potential will be more favorable and technology commercialization (TC) probability (...) will be higher. In addition, the results of regression analysis indicate that environmental requirements play moderating roles in affecting the relationships between market potential and TC probability. The empirical findings highlight the role of market potential as a mediator between technological attributes and the likelihood of commercialization. Furthermore, environmental factors moderate the influence of market potential on TC. The results of this study can provide firms’ operations with insights into resource allocation, sustainable development, and competitive advantages in an intensely competitive environment. (shrink)

Social enterprises, promising organizations for solving societal problems with innovative approaches, rely upon their members’ active roles for workplace innovation. However, we still have a limited understanding about how social enterprises can foster employees’ endeavors for innovation. By focusing on employee learning and innovative behavior, we investigate the influences of perceived social mission, value congruence, and human resource management (HRM) practices in social enterprises. We conducted two complementary studies to answer our research questions. In Study 1, with a survey of (...) 369 employees from 68 social enterprises, we examined a multilevel moderated mediation model with firm‐level and individual‐level data. We found that perceived social mission promoted learning and innovative behavior by increasing value congruence, and that commitment‐based HRM practices enhanced the overall process from mission to employee efforts for innovation. In Study 2, with 300 daily surveys from 60 employees participating in an experience sampling study, we found that those with high‐value congruence showed a significantly more stable pattern with less variance in innovative behavior than in learning behavior. Our study adds novel implications to the underdeveloped literature on employee innovation and HRM in social enterprises by uncovering the positive effects of social mission and value facets for boosting learning and innovative behaviors. Our research also suggests that social enterprises should benefit from pursuing and emphasizing the social mission and commitment‐based HRM bundle together, which will promote the prosperity and well‐being of business and society. (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)

Dongchundang Songjoongil (1606-1672) was a scholar who represented Gihoyeahak and Sanlim (山林) influencing the society of Chosŏn dynasty since the middle of 17th century. This report focus on its contemporary purport and reconciliation spirit on the Kyoung (敬) of Dongchundang. The Kyoung is the core idea that elucidates Dongchundang's philosophy and its characteristic. Dongchundang tried to continue to live the life of 'according knowledge and action' (知行一致) and dreamed the world of 'harmonization but not same' (和而不同) which indicates the principle (...) of heaven, meaning the harmony never following suit without reflection and a just and great cause, going through with his original idea through the Kyoung. In addition, Dongchundang expanded the Kyoung from personal existential problems to social ethic practical ones in the viewpoint of more reason than vitality, and aimed to build the ethic kingdom that came the harmony andreconciliation of all the communities together, interacting his subjectivity and the universal. The Kyoung and reconciliation spirit of Dongchundang is the orthodoxy of Dohak(道學), and it made him live moral intention and through real life and summarized the manner and spirit pursuing the just and great cause beyond factions. In this sense, Dongchundang's philosophy is the concentration of the Kyoung and philosophical expression of reconciliation spirit. As the peculiarity of Dongchundang's philosophy is based on the Kyoung, it is the everlasting principle of what one should do and practice in human life. (shrink)

ObjectiveBasic combat training is a kind of necessary high-intensity training to help each military recruit convert into a qualified soldier. In China, both the physical fatigue and passive psychological state have been observed in new recruits during BCT. However, after same-intensity training, the degree of fatigue and passive mood vary among recruits. Therefore, this study aimed to explore the effect of BCT on mood state of recruits with different physical fitness levels from a perspective of fatigue.Materials and methodsBefore and after (...) BCT, the degree of fatigue and mood state of participants were evaluated via the Borg Rating of Perceived Exertion Scale and Profile of Mood States Questionnaire immediately after 20 push-ups as RPE and POMS scores [total mood disturbance, passive mood and positive mood ]. The participants were divided into two groups according to the RPE score measured after BCT: group 1: RPE score after BCT < 13 and group 2: RPE score after BCT ≥ 13.ResultA total of 564 recruits were included. After BCT, in group 1, TMD and passive mood Ttension, Tfatigue, Tdepression, Tconfusion declined significantly, but positive mood both increased significantly ; while in group 2, only Tanger and Testeem increased significantly.ConclusionBCT could alleviate passive mood and add to positive mood for recruits with better physical fitness, while had no ameliorative effects on or even deteriorate most of the passive mood for recruits with worse physical fitness. (shrink)

Distant brand extension as an essential strategy of obtaining benefits was highly focused on the normal marketing practice and academic research. In the current study, we aim to recognize that how individuals with different levels of empathy respond to distant extensions under corporate social responsibility and corporate competence associations to explore the corresponding neural mechanisms using event-related potentials. We divided subjects into two groups involving a high empathy group and a low empathy group according to an empathy measure questionnaire. The (...) subjects first faced a brand name following the CSR or CC association descriptions, and then, they were asked to evaluate the new product of brand by a five-point scale. Current results revealed that the participants of the HE group were more apt to accept the distant extension products than those of the LE group. Additionally, in the HE group, products from a brand with CSR associations were more acceptable than CC associations. Moreover, a larger N2 amplitude was elicited in the LE group than in the HE group. For the LE group, an augment N2 was found under CSR than CC associations, reflecting that LE consumers might perceive conflict when evaluating distant extensions and allocate more cognitive resources to deal with CSR information. At the later stage, the HE group showed a greater P3 than the LE group. For the HE group, an increased P3 was elicited under CSR than CC associations, suggesting that empathic individuals might show motivational salience and helping willingness toward distant extension products, especially under the CSR scenario. These results provide potential electrophysiological evidence for the positive impact of brand associations on the evaluation of distant brand extension in the case of subdividing different empathic individuals. (shrink)

This paper examines how industrial buyers’ attributions of their suppliers’ actions of corporate social responsibility are related to both the brand advocacy and brand equity. Using a sample of 173 questionnaires gathered in Taiwan, we find that CSR perceptions of industrial buyers are more strongly and positively related to brand advocacy and brand equity when industrial buyers interpret CSR activities of their suppliers as driven more by intrinsic motives and less by extrinsic motives. Furthermore, brand advocacy mediates the interactive effects (...) of CSR and CSR attribution on industrial brand equity. (shrink)

Japan has more robots than any other country with robots contributing to many areas of society, including manufacturing, healthcare, and entertainment. However, few studies have examined Japanese attitudes toward robots, and none has used implicit measures. This study compares attitudes among the faculty of a US and a Japanese university. Although the Japanese faculty reported many more experiences with robots, implicit measures indicated both faculties had more pleasant associations with humans. In addition, although the US faculty reported people were more (...) threatening than robots, implicit measures indicated both faculties associated weapons more strongly with robots than with humans. Despite the media’s hype about Japan’s robot ‘craze,’ response similarities suggest factors other than attitude better explain robot adoption. These include differences in history and religion, personal and human identity, economic structure, professional specialization, and government policy. Japanese robotics offers a unique reference from which other nations may learn. (shrink)

This paper attends to find out the relationship among religious belief, society and Song-Jiang Battle Array in southern Taiwan, by using the qualitative methods which include literature analyses and the fieldwork investigations. In the process of research, the origin and development of Song-Jiang Battle Array are emerging step by step, which demonstrates that development and evolvement of Song-Jiang Battle Array are most related to contemporaneous social formations. They influenced the relationship between government and people and also affected the relationship between (...) religious belief and Song-Jiang Battle Array. In the end, people’s devotions toward religion are the main force of uniting people in rural society of southern Taiwan and have played an essential role in helping maintain their heritage. All of that is not established in one night. It has been evolving for hundreds of years. Keywords: Song-Jiang Battle Array , S outhern Taiwan , R eligious belief , Government , F olk art array. (shrink)

BackgroundTemporal lobe epilepsy is the most prevalent refractory focal epilepsy and is more likely accompanied by cognitive impairment. The fully understanding of the neuronal activity underlying TLE is of great significance.ObjectiveThis study aimed to comprehensively explore the potential brain activity abnormalities affected by TLE and detect whether the changes were associated with cognition.MethodsSix static intrinsic brain activity indicators [amplitude of low-frequency fluctuation, fractional ALFF, regional homogeneity, degree centrality, global signal correlation, and voxel-mirrored homotopic connectivity ] and their corresponding dynamic indicators, (...) such as dynamic ALFF, dynamic fALFF, dynamic ReHo, dynamic DC, dynamic VMHC, and dynamic GSCorr, in 57 patients with unilateral TLE and 42 healthy volunteers were compared. Correlation analyses were also performed between these indicators in areas displaying group differences and cognitive function, epilepsy duration, and severity.ResultsMarked overlap was present among the abnormal brain regions detected using various static and dynamic indicators, primarily including increased ALFF/dALFF/fALFF in the bilateral medial temporal lobe and thalamus, decreased ALFF/dALFF/fALFF in the frontal lobe contralateral to the epileptogenic side, decreased fALFF, ReHo, dReHo, DC, dDC, GSCorr, dGSCorr, and VMHC in the temporal neocortex ipsilateral to the epileptogenic foci, decreased dReHo, dDC, dGSCorr, and dVMHC in the occipital lobe, and increased ALFF, fALFF, dfALFF, ReHo, and DC in the supplementary motor area ipsilateral to the epileptogenic foci. Furthermore, most IBA indicators in the abnormal brain region significantly correlated with the duration of epilepsy and several cognitive scale scores.ConclusionThe combined application of static and dynamic IBA indicators could comprehensively reveal more real abnormal neuronal activity and the impairment and compensatory mechanisms of cognitive function in TLE. Moreover, it might help in the lateralization of epileptogenic foci and exploration of the transmission and inhibition pathways of epileptic activity. (shrink)

In 'Yeogi (禮記)', the Chinese scriptures of Confucianism, they recoded the solar calendar of modern viewpoints. According to the ancient document, the 24 solar terms was one of seasonal divisions in a year. The regularly change of the four seasons play an important part in the national economic project. For a national economy depended on agriculture in East Asia of ancient times, the administration to pay no regard to the change of the season was directly connected to the fall of (...) the nation. And then the legislator must enact laws to reflect the change of the season. According to the 'Wolryeong (月令)' in 'Yeogi (禮記)', there is recoded national regulations to suit with the each twelve momth. The first month of spring is the prime of the year (February). The month shows sign of new livingthings. The ruler take order to protect the first breath of spring and ought to put a ban on the military training and labor mobilization. The reasons are to safeguard the new life and not to interrupt the preparation for farming. Confucian attach value to the nature within a human’s way of life. Therefore the norm of human do correlate closely with the principle of nature. The rule of Wuju (宇宙) was not a simple concept of the natural phenomenon and Cheon (天) was not the Almighty for himself. Cheon was just the existence of virtue and moral influence in the confidence of man. And Ji (地) was the Mother of all things. In this space man had to manage the world in sympathy with the process of cheonJi (天地); Cheonsi (天時), JIri (地利), Inhwa (人和). (shrink)

Adopting deep approaches to learning can have a profound impact on learning outcomes. The extent of change in the learning approach could be attributed to the effect of contextual factors. After a substantive review, it was found that research interested in investigating the longitudinal effect of deep approaches to learning on learning outcomes were rarely directly concerned with the longitudinal state and trend of the approach itself. Moreover, the limitations of past analytical methods, has not been appropriately acknowledged. This study (...) examined deep approaches to learning in students from kindergarten to third grade using a multilevel structural equation modeling indicator-specific growth model. This was used to highlight the methodological issues to investigate the effect of context and the states, stability, and changes in deep approaches to learning over this developmental period. The current study comprised of a large-scale sample of 21,490 kindergarteners in kindergarten. Results showed: there was a contextual effect on the longitudinal changes of deep approaches to learning; deep approaches to learning was high but showed considerable individual differences; most indicators relating to deep approaches to learning declined, whereas the trend were relatively stable over time. Corresponding suggestions were proposed at the end of this article. (shrink)

Analysis of the use of the key term the people shows that it has varied both semantically and syntactically along the time-line of the evolution of the CPC.

In this article, the researchers explore the following question. Can corporate social responsibility (CSR) and the corporate reputation of a firm lead to its brand equity in business-to-business (B2B) markets? This study discusses CSR from customers' viewpoints by taking the sample of industrial purchasers from Taiwan small-medium enterprises. The aims of this study are to investigate: first, the effects of CSR and corporate reputation on industrial brand equity; second, the effects of CSR, corporate reputation, and brand equity on brand performance; (...) and third, the mediating effects of corporate reputation and industrial brand equity on the relationship between CSR and brand performance. Empirical results support the study's hypotheses and indicate that CSR and corporate reputation have positive effects on industrial brand equity and brand performance. In addition, corporate reputation and industrial brand equity partially mediate the relationship between CSR and brand performance. (shrink)

In this study, we used a word search puzzle paradigm to investigate age differences in the rate of information gain and the cues used to make patch-departure decisions in information foraging. The likelihood of patch departure increased as the profitability of the patch decreased generally. Both younger and older adults persisted past the point of optimality as defined by the marginal value theorem, which assumes perfect knowledge of the foraging ecology. Nevertheless, there was evidence that adults were rational in terms (...) of being sensitive to the change in RG for making the patch-departure decisions. However, given the limitations in cognitive resources and knowledge about the ecology, the estimation of RG may not be accurate. Younger adults were more likely to leave the puzzle as the long-term RG incrementally decreased, whereas older adults were more likely to leave the puzzle as the local RG decreased. However, older adults with better executive control were more likely to adjust their likelihood of patch-departure decisions to the long-term change in RG. Thus, age-dependent reliance on the long-term or local change in RG to make patch-departure decisions might be due to individual differences in executive control. (shrink)

Based on the expanded theory of planned behavior, this study first explores the configuration relationship between founder management and innovation by using the fuzzy-set qualitative comparative analysis. Based on the theory of planned behavior, this study divides the behavior intention of founders into three categories: Attitude, subjective norm, and perceived behavior control. Using fsQCA, we found that there are two ways to achieve high innovation input of enterprises. In combination with the two ways, the factors such as male and highly (...) educated founder, and large firm size can effectively increase the innovation input of firms, which is consistent with the three aspects of the behavioral intention of the theory of planned behavior, and it proves that the theory of planned behavior can effectively explain the configuration relation between the founder and firm innovation. In addition, this study finds that the innovation output is different from the innovation input, is dependent on the innovation ability of the firm itself, and is less influenced by the external environment. (shrink)

We live in the Age of Big Data. In medicine, artificial intelligence and machine learning algorithms, fueled by big data, promise to change how physicians make diagnoses, determine prognoses, and develop new treatments. An exponential rise in articles on these topics is seen in the medical literature. Recent applications range from the use of deep learning neural networks to diagnose diabetic retinopathy and skin cancer from image databases, to the use of various machine learning algorithms for prognostication in cancer and (...) cardiovascular disease. Many factors are driving the adoption of AI in health care, from... (shrink)

The business environment is increasingly uncertain due to the rapid development of disruptive information technologies, the changing global economy, and the COVID-19 pandemic. This brings great uncertainties to investors to predict the performance changes and risks of companies. This research proposes a sequential data-based framework that aggregates data from multiple sources including both structured and unstructured data to predict the performance changes. It leverages data generated from the early risk warning system in China stock market to measure and predict organization (...) performance changes based on the risk warning status changes of public companies. Different from the models in existing literature that focus on the prediction of risk warning of companies, our framework predicts a portfolio of organization performance changes, including business decline and recovery, thus helping investors to not only predict public company risks, but also discover investment opportunities. By incorporating sequential data, our framework achieves 92.3% macro-F1 value on real-world data from listed companies in China, outperforming other static models. (shrink)

Medicine has historically been slow to adopt new technologies. Although telepsychiatry was already to some degree in use before the COVID-19 pandemic, the imposed limitations on person-to-person contacts accelerated its growth exponentially. Outcome studies have generally supported telepsychiatry’s use,1 but the breathtaking rapid shift from in-person to video visits across psychiatry has occurred prior to more in-depth examinations on the fundamental changes to the nature of the patient–physician interface. In their paper: “Can you hear me?”: communication, relationship and ethics in (...) video-based telepsychiatric consultations’, the authors aptly take this deep dive, carefully parsing out the potential areas of change from live visits to virtual sense by sense. The authors describe the sensory and spatial context of psychiatric consultation, where vision, hearing and even smell play a role in the assessment of the patient. Furthermore, they consider multiple aspects around telepsychiatric consultations, including technical and educational components for patients and clinicians, and highlight the ethical dimensions of a psychiatric consultation under this new model.2 How many clinical clues might a …. (shrink)