Business Ethics, the Environment & Responsibility, EarlyView.

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

The application of artificial intelligence technology has evolved into an influential endeavor to improve firm performance, but little research considers the relationship among artificial intelligence capability, management, driven decision making, and firm performance. Based on the resource-based view and existing findings, this paper constructs a higher-order model of AIC and suggests a research model of e-commerce firm AIC and firm performance. We collected 394 valid questionnaires and conducted data analysis using partial least squares structural equation modeling. As a second-order variable, (...) AIC was formed by three first-order variables: basic, proclivity, and skills. AIC indirectly affects firm performance through creativity, AIM, and AI-driven decision making. Firm creativity, AIM, and AIDDM are essential variables between AIC and firm performance. Innovation culture positive moderates the relationship between firm creativity and AIDDM as well as the relationship between AIDDM and firm performance. Environmental dynamism positive mediates the connection between AIM and AIDDM. Among the control variables, firm age negatively affects firm performance, and employee size does not. This study helps enterprises leverage AI to improve firm performance, achieve a competitive advantage, and contribute to theory and management practice. (shrink)

As the development of artificial intelligence technology, the deep-learning -based Virtual Reality technology, and DL technology are applied in human-computer interaction, and their impacts on modern film and TV works production and audience psychology are analyzed. In film and TV production, audiences have a higher demand for the verisimilitude and immersion of the works, especially in film production. Based on this, a 2D image recognition system for human body motions and a 3D recognition system for human body motions based on (...) the convolutional neural network algorithm of DL are proposed, and an analysis framework is established. The proposed systems are simulated on practical and professional datasets, respectively. The results show that the algorithm's computing performance in 2D image recognition is 7–9 times higher than that of the Open Pose method. It runs at 44.3 ms in 3D motion recognition, significantly lower than the Open Pose method's 794.5 and 138.7 ms. Although the detection accuracy has dropped by 2.4%, it is more efficient and convenient without limitations of scenarios in practical applications. The AI-based VR and DL enriches and expands the role and application of computer graphics in film and TV production using HCI technology theoretically and practically. (shrink)

Jiang Yong (1681-1762) -- Hui Dong (1697-1758) -- Lu Wenchao (1717-1796) -- Wang Mingsheng (1722-1797) -- Ji Yun (1724-1805) -- Zhao Yi (1727-1814) -- Qian Daxin (1728-1804) -- Jiao Xun (1732-1820) -- Duan Yucai (1735-1815) -- Wang Niansun (1744-1832) -- Wang Yinzhi (1766-1834) -- Wang Zhong (1745-1794) -- Hao Yixing (1757-1825) -- Jiang Fan (1761-1831) -- Yan Kejun (1762-1843) -- Huang Pilie (1763-1825) -- Ruan Yuan (1764-1849) -- Gu Qianli (1766-1835) -- Wang Jun (1784-1854) -- Zhu Junsheng (1788-1858).

Aiming at the problem of low pedestrian target detection accuracy, we propose a detection algorithm based on optimized Mask R-CNN which uses the latest research results of deep learning to improve the accuracy and speed of detection results. Due to the influence of illumination, posture, background, and other factors on the human target in the natural scene image, the complexity of target information is high. SKNet is used to replace the part of the convolution module in the depth residual network (...) model in order to extract features better so that the model can adaptively select the best convolution kernel during training. In addition, according to the statistical law, the length-width ratio of the anchor box is modified to make it more accord with the natural characteristics of the pedestrian target. Finally, a pedestrian target dataset is established by selecting suitable pedestrian images in the COCO dataset and expanded by adding noise and median filtering. The optimized algorithm is compared with the original algorithm and several other mainstream target detection algorithms on the dataset; the experimental results show that the detection accuracy and detection speed of the optimized algorithm are improved, and its detection accuracy is better than other mainstream target detection algorithms. (shrink)

ObjectiveThis study aims to investigate anxiety and its influencing factors in patients with drug-induced liver injury (DILI).Materials and MethodsNinety-four patients with DILI were enrolled and evaluated with a self-rating anxiety scale (SAS). According to the anxiety score, they were divided into four groups: the non-anxiety, mild anxiety, moderate anxiety, or severe anxiety groups, and the scores were analyzed based on demographic and biochemical indicators.ResultsOf the 94 patients with DILI, 63 did not have anxiety and 31 had anxiety (32.9%), of which (...) 27 had mild, 3 had moderate, and 1 had severe anxiety. There were no statistically significant differences in gender, age, occupation, and level of education between the groups (F= 1.42,H= 2.361,H= 6.751,H= 1.796, andP> 0.05); anxiety score and degree of anxiety between the types of drugs that led to the liver injury (H= 0.812,H= 1.712, andP> 0.05); anxiety score between the different degrees of liver injury (H= 2.836,H= 4.957,P> 0.05); or length of hospital stay or prognosis between the degrees of anxiety (F= 1.487,H= 0.761,P> 0.05). However, there were statistically significant differences in the degree of anxiety between different degree and types of liver injury (H= 7.981,H= 8.208,P< 0.05).ConclusionPatients with DILI may have anxiety, especially mild anxiety. The occurrence of anxiety in patients with DILI is not related to gender, age, occupation, or level of education but may be related to the degree and type of liver injury. Anxiety has no impact on the length of stay in hospital or the prognosis of the DILI. These findings may contribute to the development of management strategies for patients with DILI. (shrink)

ObjectiveThe psychological condition of healthcare workers since the COVID-19 pandemic has attracted the attention of many studies. However, few have reported on psychosocial problems of primary healthcare workers in the COVID-19 pandemic. This study aimed to examine the mediating roles of social support and resilience in COVID-19-related work stress and symptoms of anxiety and depression.MethodsA total of 840 primary healthcare workers in 17 community health centers in Guangzhou, China, were recruited from May to July 2021. Data on demographic characteristics, COVID-19-related (...) work stress, social support, resilience, anxiety and depression were collected. A structural equation model was used for mediation analysis.ResultsMore than half of participants reported mild or more severe symptoms of anxiety and depression. Social support and resilience mediate the association between COVID-19-related work stress and symptoms of anxiety and depression, respectively. Furthermore, the association between work stress and symptoms of anxiety and depression was also mediated by an accumulation of social support and resilience. The indirect effect of COVID-19-related work stress on anxiety and depression through resilience was much greater than other indirect effects.ConclusionAnxiety and depression were prevalent among primary healthcare workers. This study highlights the psychological impact of the COVID-19-related psychosocial work environment on primary healthcare workers. There is an urgent need to improve working conditions for primary healthcare workers in the COVID-19 and to implement intervention strategies aimed at increasing individual resilience alongside the establishment of external supportive work environments. (shrink)

We deal with the design problem of nonfragile state estimator for discrete-time genetic regulatory networks with time-varying delays and randomly occurring uncertainties. In particular, the norm-bounded uncertainties enter into the GRNs in random ways in order to reflect the characteristic of the modelling errors, and the so-called randomly occurring uncertainties are characterized by certain mutually independent random variables obeying the Bernoulli distribution. The focus of the paper is on developing a new nonfragile state estimation method to estimate the concentrations of (...) the mRNA and the protein for considered uncertain delayed GRNs, where the randomly occurring estimator gain perturbations are allowed. By constructing a Lyapunov-Krasovskii functional, a delay-dependent criterion is obtained in terms of linear matrix inequalities by properly using the discrete-time Wirtinger-based inequality and reciprocally convex combination approach as well as the free-weighting matrix method. It is shown that the proposed method ensures that the estimation error dynamics is globally asymptotically stable and the desired estimator parameter is designed via the solutions to certain LMIs. Finally, we provide two numerical examples to illustrate the feasibility and validity of the proposed estimation results. (shrink)