Yi Wang

Modal logics often have the finite model property. However, for many applications the state space is not only finite, but of fixed size n for a positive number n. An example is reasoning about a social network where the relations can vary but the set of agents (corresponding to states) is fixed. In this paper we investigate the modal logic of frames with n states, for any positive integer n, in the basic modal language. This defines a family of modal logics parameterized by n. We give complete axiomatizations of many of these logics, and characterize the computational complexity of the basic logic.

We examine the impact of the African slave trade on corporate tax evasion in modern Africa. Using data from 28 African countries, we document that firms are more likely to evade taxes in countries that suffered a higher level of historical slave extraction. This finding is robust to an instrumental variable analysis. We further use household survey data to show that the slave trade has a long-lasting negative impact on tax compliance attitudes in the society and the quality of tax enforcement institutions. Our results highlight and quantify a pronounced historical determinant of cross-country differences in corporate decisions.

The mechanical environment crucially influences many cell functions 1. However, it remains largely mysterious how mechanical stimuli are transmitted into biochemical signals. Src is known to regulate the integrin-cytoskeleton interaction2, which is essential for the transduction of mechanical stimuli3-5. Using fluorescent resonance energy transfer, here we develop a genetically encoded Src reporter that enables the imaging and quantification of spatio-temporal activation of Src in live cells. We introduced a local mechanical stimulation to human umbilical vein endothelial cells by applying laser-tweezer traction on fibronectin-coated beads adhering to the cells. Using the Src reporter, we observed a rapid distal Src activation and a slower directional wave propagation of Src activation along the plasma membrane. This wave propagated away from the stimulation site with a speed of 18.1 ± 1.7 nm s-1. This force-induced directional and long-range activation of Src was abolished by the disruption of actin filaments or microtubules. Our reporter has thus made it possible to monitor mechanotransduction in live cells with spatio-temporal characterization. We find that the transmission of mechanically induced Src activation is a dynamic process that directs signals via the cytoskeleton to spatial destinations.

Carroll denies that the spectator of fiction film commonly has empathy with the characters. He argues that the spectator typically emotes to the events in the film from his position as observer, and that this context gives asymmetrical reactions in spectator and character. According to Carroll, empathy is unlikely to occur. Theproblem with this argument is that if the differences between spectator and character that Carroll points to exclude empathy, it would also exclude empathy in real life. Furthermore, Carroll merely shows that the spectator cannot only feel as the character feels. This does however not entail that empathy cannot be one part of the spectator’s response as observer. This paper thus argues that Carroll fails to show that empathy is an unlikely spectator response.

Contactin-Associated protein-like 2 is a large multidomain neuronal adhesion molecule implicated in a number of neurological disorders, including epilepsy, schizophrenia, autism spectrum disorder, intellectual disability, and language delay. We reveal here by electron microscopy that the architecture of CNTNAP2 is composed of a large, medium, and small lobe that flex with respect to each other. Using epitope labeling and fragments, we assign the F58C, L1, and L2 domains to the large lobe, the FBG and L3 domains to the middle lobe, and the L4 domain to the small lobe of the CNTNAP2 molecular envelope. Our data reveal that CNTNAP2 has a very different architecture compared with neurexin 1α, a fellow member of the neurexin superfamily and a prototype, suggesting that CNTNAP2 uses a different strategy to integrate into the synaptic protein network. We show that the ectodomains of CNTNAP2 and contactin 2 bind directly and specifically, with low nanomolar affinity. We show further that mutations in CNTNAP2 implicated in autism spectrum disorder arenot segregated but are distributed over the whole ectodomain. The molecular shape and dimensions of CNTNAP2 place constraints on how CNTNAP2 integrates in the cleft of axo-glial and neuronal contact sites and how it functions as an organizing and adhesive molecule.

Analysis of gene expression patterns in gastric cancer can help to identify a comprehensive panel of gene biomarkers for predicting clinical outcomes and to discover potential new therapeutic targets. Here, a multi-step bioinformatics analytic approach was developed to establish a novel prognostic scoring system for GC. We first identified 276 genes that were robustly differentially expressed between normal and GC tissues, of which, 249 were found to be significantly associated with overall survival by univariate Cox regression analysis. The biological functions of 249 genes are related to cell cycle, RNA/ncRNA process, acetylation and extracellular matrix organization. A network was generated for view of the gene expression architecture of 249 genes in 265 GCs. Finally, we applied a canonical discriminant analysis approach to identify a 53-gene signature and a prognostic scoring system was established based on a canonical discriminant function of 53 genes. The prognostic scores strongly predicted patients with GC to have either a poor or good OS. Our study raises the prospect that the practicality of GC patient prognosis can be assessed by this prognostic scoring system.

Background: PPM1G is a nuclear localized serine/threonine phosphatase implicated to be a regulator of chromatin remodeling, mRNA splicing, and DNA damage. However, its in vivo function is unknown. Results: Here we show that ppm1g expression is highly enriched in the central nervous system during mouse and zebrafish development. ppm1g-/- mice were embryonic lethal with incomplete penetrance after E12.5. Rostral defects, including neural tube and craniofacial defects were observed in ppm1g-/- embryos associated with increased cell death in the neural epithelium. In zebrafish, loss of ppm1g also led to neural defects with aberrant neural marker gene expression. Primary fibroblasts from ppm1g-/- embryos failed to grow without immortalization while immortalized ppm1g-/- fibroblasts had increased cell death upon oxidative and genotoxic stress when compared to wild type fibroblasts. Conclusions: Our in vivo and in vitro studies revealed a critical role for PPM1G in normal development and cell survival. © 2013 Wiley Periodicals, Inc.

Using the ER-fMRI technique, the present study was designed to investigate the neural substrates of language switching among second-language learners. Twelve Chinese college students who were learning English were scanned when they performed language switching tasks. Compared to non-switching conditions, language switching elicited greater activation in the right superior prefrontal cortex, left middle and superior frontal cortex, and right middle cingulum and caudate. When the direction of switching was considered, forward switching, but not backward switching, activated several brain regions related to executive functions relative to non-switching conditions. These results suggest that neural correlates of language switching differ depending on the direction of the switch and that there does not seem to be a specific brain area acting as a "language switch". © 2006.

© 2015 IEEE. Over 50% of HIV+ individuals exhibit neurocognitive impairment and subcortical atrophy, but the pattern of brain abnormalities associated with HIV is still poorly understood. Using parametric surface-based shape analyses, we mapped the 3D profile of subcortical morphometry in 63 HIV+ participants and 31 uninfected controls. The thalamus, corpus striatum, hippocampus, amygdala, brainstem, callosum and ventricles were segmented from brain MRIs. To investigate subcortical shape, we analyzed the Jacobian determinant and radial distances for structure surfaces. We also investigated effects of nadir CD4+ T-cell counts, viral load, and illness duration on subcortical morphology. Our results characterize subcortical morphometry in older HIV+ people, where participants showed significant volumetric enlargements in the thalamus, left pallidum and the ventricles while showing a reduction in the callosum. Further, RD maps revealed atrophy of the left thalamus and expansion of the brainstem in HIV. RD and JD maps of the right pallidum identified tissue expansion associated with illness duration while the left pallidum showed anterior atrophy and posterior expansion associated with viral load.

Background: Malaria around the China-Myanmar border is a serious health problem in the countries of South-East Asia. An. minimus is a principle malaria vector with a wide geographic distribution in this area. Malaria is endemic along the boundary between Yunnan province in China and the Kachin State of Myanmar where the local Anopheles community and the malaria transmission vectors have never been clarified. Methods. Adult Anopheles specimens were collected using CDC light traps in four villages along the border of China and Myanmar from May 2012 to April 2013. Morphological and molecular identification of mosquito adults confirmed the species of Anopheles. Blood-meal identification using the female abdomens was conducted using multiplex PCR. For sporozoite detection in An. minimus, sets of 10 female salivary glands were pooled and identified with SSU rDNA using nested PCR. Monthly abundance of An. minimus populations during the year was documented. The diversity of Anopheles and the role of An. minimus on malaria transmission in this border area were analyzed. Results: 4,833 adult mosquitoes in the genus Anopheles were collected and morphologically identified to species or species complex. The Anopheles community is comprised of 13 species, and 78.83% of our total specimens belonged to An. minimus s.l., followed by An. maculatus and the An. culicifacies complex. The quantity of trapped An. minimus in the rainy season of malaria transmission was greater than during the non-malarial dry season, and a peak was found in May 2012. An. minimus fed on the blood of four animals: humans, cattle, pigs and dogs. 1,500 females of An. minimus were pooled into 150 samples and tested for sporozoites: only 1 pooled sample was found to have sporozoites of Plasmodium vivax. Conclusion: Anopheles is abundant with An. minimus being the dominant species and having a high human blood index along the China-Myanmar border. The sporozoites in An. minimus were determined to be Plasmodium vivax with a 0.07-0.7% infection rate. © 2013Yu et al.; licensee BioMed Central Ltd.

Backgrounds Moral distress significantly affects pediatric ICU nurses, leading to nurse burnout, increased turnover and reducing patient care quality. Despite its importance, there’s a notable gap in knowledge on how to manage it effectively. Aims This review aimed to systematically identify and analyze coping strategies and interventions targeting moral distress among pediatric nurses in ICU, uncovering research gap and future studies directions. Methods A scoping review was conducted followed framework by Levac, Colquhoun, and O'Brien and Arksey and O'Malley. Searches were performed in 11 electrical databases, like PubMed and China Biology Medicine disc, within a timeframe of the database construction to November 2023, and performed literature screening and data extraction. Results Sixteen articles were ultimately included. Coping strategies adopted by pediatric ICUs nurses can be categorized into adaptive and maladaptive strategies, with the latter including passive acceptance, taking leave, and drinking, while the former involve pursuing interests outside of work, reflection and philosophizing, and communication. Nine articles described and evaluated the effectiveness of interventions for moral distress, categorizing them into individual and institutional levels. Individual-level interventions include Interprofessional Perspective-Taking, the PICU Resiliency Bundle, Ethics Education/Skills, and the Center for Caring. Institutional-level interventions encompasses Comprehensive Care Round, Goals of Care Conversations, Pediatric Ethics and Communication Excellence Rounds, Nursing Ethics Council, and Medical Ethical Decision-Making, though not all were effective in alleviating moral distress. Conclusions Nurses often use self-adjustment strategies for moral distress, institutional ethical support focusing on enhancing nurses’ moral resilience, promoting reflective thinking and improving communication remains crucial. Various interventions for moral distress are currently available, but nurse engagement is low and their effectiveness remained to be verified. Future studies should explore what aids or hinders these interventions. There’s also a need for large, multicenter trials and ongoing evaluations to create effective support systems for pediatric ICU nurses.

The ideology about the relation between goodness and beauty for Confucius and the early Confucians is the continuation of the aesthetic tradition long before Confucius’s time, which sees more value in Yuejiao, namely, music/beauty education, than in Lijiao, Moral education. No doubt Confucius’s aesthetic idea is featured as the juxtaposition of Li and Yue, goodness and beauty. But we must not forget that Confucius, taking himself as a preserver of the sages’ tradition, personally values Yue (music/beauty) over Li (ritual/moral). It is in this context that we argue that taking the unity of beauty and goodness as a Confucian aesthetic feature is a misinterpretation of his teaching and is poles apart from the ancient Chinese aesthetic tradition and from Confucius’ aesthetics.

We investigate cluster-delay synchronization of a directed network possessing cluster structures by designing an intermittent control protocol. Based on Lyapunov stability theory, we proved that synchronization can be realized for oscillators in the same cluster and cluster-delay synchronization can be realized for the whole network. By simplifying the obtained sufficient conditions, we carry out a succinct and utilitarian corollary. In addition, comparative researches are carried out to show the differences and the usefulness of the obtained results with respect to other similar controllers from the recent literature. Finally we provide two numerical examples to show the effectiveness of the control schemes.

While dynamic epistemic logics with common knowledge have been extensively studied, dynamic epistemic logics with distributed knowledge have so far received far less attention. In this paper we study extensions of public announcement logic ( $\mathcal{PAL }$ ) with distributed knowledge, in particular their expressivity, axiomatisations and complexity. $\mathcal{PAL }$ extended only with distributed knowledge is not more expressive than standard epistemic logic with distributed knowledge. Our focus is therefore on $\mathcal{PACD }$ , the result of adding both common and distributed knowledge to $\mathcal{PAL }$ , which is more expressive than each of its component logics. We introduce an axiomatisation of $\mathcal{PACD }$ , which is not surprising: it is the combination of well-known axioms. The completeness proof, however, is not trivial, and requires novel combinations and extensions of techniques for dealing with $S5$ knowledge, distributed knowledge, common knowledge and public announcements at the same time. We furthermore show that $\mathcal{PACD }$ is decidable, more precisely that it is $\textsc {exptime}$ -complete. This result also carries over to $\mathcal{S 5\mathcal CD }$ with common and distributed knowledge operators for all coalitions (and not only the grand coalition). Finally, we propose a notion of a trans-bisimulation to generalise certain results and give deeper insight into the proofs

In lieu of an abstract, here is a brief excerpt of the content:An Exegetic Study of the So-Called Proposition of Confucian AestheticsWang Yi (bio) and Xiaowei FuSince Wang Guowei and Cai Yuanpei introduced the concepts of aesthetics and aesthetic education, respectively, to China in the early twentieth century, there has been a strong tendency in many of the aesthetic discussions to examine ancient texts and materials using modern concepts of aesthetics. In particular, sentences with the character-word mei1 are often sought in classical works and interpreted as speeches on or about beauty, which has led to frequent misunderstandings of the classical texts and of the ancient Confucian aesthetic theory.The most typical among these misunderstandings, we think, is the misinterpretation of one of Mencius's remarks on the goodness of human nature-"To possess these qualities of goodness fully is beautiful" (Chongshi zhiwei mei)2-as a representative statement of the Confucian aesthetic theory of "the union of the beautiful and good." Although it is not clear who was the first to put this interpretation forward, it is now widely accepted and almost unquestioned that the statement "Chongshi zhiwei mei" is the classical proposition of the Confucian aesthetic theory after countless repetitions by aestheticians and educationalists. And extended from this is the claim that "the union of the beautiful and good," or the union of the moral and beauty, is the traditional theory of Confucian aesthetic education.3 Finding it coincidentally in accordance with the idea of "the union of the beautiful and good" in both the Soviet and Greek philosophies, aesthetic educators are apt to admit that aesthetic education is included in moral education or aesthetic education is but one of the means of moral education; thus, aesthetic education cannot be an independent subject. [End Page 80]It is rather surprising that in spite of the wide interest in quoting this sentence, very little in the textual research and criticism has offered convincing proof that it is really Mencius's opinion about beauty or aesthetic theory and therefore-since he is the most influential Confucian educator and philosopher after Confucius-representative of the aesthetic theory of Confucianism.Actually, the proper analysis of the meaning of the word mei in this statement by Mencius has long been a controversial issue in Chinese history. There have been two main approaches: mei as an equivalent of shan (good/ goodness) and mei as a synonym with its modern Chinese counterpart. The former is taken by Zhao Qi,4 according to whom mei in this statement is a term used to explain a level of shan. This analysis is further developed by Sun Shi,5 who argues that mei is the third level of the six shan. Likewise, Yang Bojun,6 among other modern scholars, also considers mei an equivalent of shan. The latter approach, on the other hand, is pursued by Zhang Zai, Zhu Xi, Jiao Xun,7 and many modern aestheticians, who all interpret mei as "beauty" or "beautiful" in the aesthetic sense.The main interest of the present analysis is an attempt to decode the genuine meaning of the statement. With references to ancient dictionaries like Origin of Chinese Characters8 and exegetic works (from 206 bc to the modern times) of Mencius, this article attempts to contextualize mei in the original text and historical context in order to interpret the meaning of the sentence and the real intention of Mencius. In this way we hope to determine whether it can be regarded as the proposition of Mencius or the Confucian aesthetic theory of "the union of the beautiful and good."IIn the first part of this article we shall offer a contextual study of the sentence with reference to two of the ancient interpretations of the theme of the passage and the meaning of the character mei. By investigating the context of the sentence "Chongshi zhiwei mei" we argue that the theme of the passage is a discussion of the six levels of shan (goodness).The context of the sentence comes from a passage in Mencius (Jinxin part 2), which begins with Mencius talking with Haosheng Buhai about one of his disciples, Yue Zhengzi, who was reported to embark in a political career in the State...