Facial muscle activities are essential for the appearance and communication of human beings. Therefore, exploring the activation patterns of facial muscles can help understand facial neuromuscular disorders such as Bell’s palsy. Given the irregular shape of the facial muscles as well as their different locations, it should be difficult to detect the activities of whole facial muscles with a few electrodes. In this study, a high-density surface electromyogram system with 90 electrodes was used to record EMG signals of facial muscles (...) in both healthy and Bell’s palsy subjects when they did different facial movements. The electrodes were arranged in rectangular arrays covering the forehead and cheek regions of the face. The muscle activation patterns were shown on maps, which were constructed from the Root Mean Square values of all the 90-channel EMG recordings. The experimental results showed that the activation patterns of facial muscles were distinct during doing different facial movements and the activated muscle regions could be clearly observed. Moreover, two features of the activation patterns, 2D correlation coefficient and Centre of Gravity were extracted to quantify the spatial symmetry and the location of activated muscle regions respectively. Furthermore, the deviation of activated muscle regions on the paralyzed side of a face compared to the healthy side was quantified by calculating the distance between two sides of CGs. The results revealed that corr2 of the activated facial muscle region in Bell’s palsy subjects was significantly lower than that in healthy subjects, while CG distance of activated facial region in Bell’s palsy subjects was significantly higher than that in healthy subjects. The correlation between corr2 of these regions and Bell’s palsy [assessed by the Facial Nerve Grading Scale 2.0] was also significant in Bell’s palsy subjects. The spatial information on activated muscle regions may be useful in the diagnosis and treatment of Bell’s palsy in the future. (shrink)

Dictionary of terminology of Yoga philosophy.

We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference but otherwise stay very close to Gentzen’s sequent calculus, in particular they enjoy a subformula property in the literal sense. No semantic notions are used inside the proof systems, in particular there is no use of labels. All their rules are invertible and the rules cut, weakening and (...) contraction are admissible. All systems admit a straightforward terminating proof search procedure as well as a syntactic cut elimination procedure. (shrink)

This paper examines the impact of the recent financial crisis on the relation between a firm’s risk and social performance using a sample of non-financial U.S. firms covering the period 1991–2012. We find that the relation between SP and risk is significantly different in the crisis period compared to the pre-crisis period. SP reduces volatility during the financial crisis. The risk reduction potential of SP is mainly due to the strengths component of SP. Since the relation of risk is stronger (...) with SP strengths than SP concerns, this implies an asymmetric relation between these SP components and a firm’s risk. Specifically, strengths act as a risk reduction tool during an adverse economic environment. (shrink)

This chapter contains sections titled: The Experiential Roots of Religion The ARE in the Twentieth Century The Decline of Traditional Foundationalism and Stock Objections to RE The ARE via the Principle of Critical Trust (PCT) RE and TE Conceptual Coherence of TE Intracoherence of TE The Structure of the CTA The Impartiality Argument for the PCT Objections to the ARE The ARE in the Twenty‐First Century References.

This study examined lexical bundles used differently by Chinese and American PhD students of linguistics in their dissertation abstracts. Two corpora were built, with each having 700 dissertation abstracts produced by Chinese and American PhD students of linguistics, respectively. The study then used lexical analysis software to retrieve frequently used three-word LBs, from which LBs having different frequencies at a significant level across the two corpora were identified and termed as bundles used differently. BUDs were then categorized and analyzed manually (...) in terms of structure, function, and distribution in rhetorical moves. The major findings were: 57.14% of the frequently used LBs were BUDs, of which 90.67% had occurrences in both corpora. The BUDs distributed inequivalently across categories and moves, with the text-oriented category and the move of Result having the most BUDs; and BUDs exhibited two major patterns: the Chinese and American students filled different constituents into structurally and functionally similar constructions, and used LBs of dissimilar functions to fulfill the same communicative purposes. These findings indicate that variations in LB use have a high pedagogic value and confirm the need for using corpora to identify and teach core genre-specific vocabularies to second/foreign language learners. (shrink)

Given that care duties are central to the definition of motherhood across contexts, an extended separation from the woman’s family due to migration presents a major threat to her social identity as a mother and wife. Drawing on West and Zimmerman’s notion of “doing gender” and ethnographic research on Vietnamese low-waged contract workers in Taiwan, I provide vital insights into the discursive processes and everyday practices that underlie migrant women’s negotiations of motherhood and femininity. Specifically, I examine the various ways (...) migrant women perform and negotiate meanings of hy sinh and chịu đựng that are core values of Vietnamese womanhood. Combating the stigma of bad motherhood and failed femininity, I emphasize, is not just about reasserting one’s sense of gendered self but also about reassuring her access to the future support and care of the family. The study emphasizes intentionality and pragmatism in women’s social doings of gender and highlights moral dilemmas in gender politics. (shrink)

We first look at an existing infinitary sequent system for common knowledge for which there is no known syntactic cut-elimination procedure and also no known non-trivial bound on the proof-depth. We then present another infinitary sequent system based on nested sequents that are essentially trees and with inference rules that apply deeply inside these trees. Thus we call this system “deep” while we call the former system “shallow”. In contrast to the shallow system, the deep system allows one to give (...) a straightforward syntactic cut-elimination procedure. Since both systems can be embedded into each other, this also yields a syntactic cut-elimination procedure for the shallow system. For both systems we thus obtain an upper bound of φ20 on the depth of proofs, where φ is the Veblen function. (shrink)

The purpose of this article is to examine empirically the impact of environmental certification on firm financial performance (FP). The main question is whether there is a "green premium" for certified firms, and, if so, for what kind of certification. We analyze the short-run and the long-run stock price performance using an event-study methodology on a sample of Canadian and U.S. firms. The results of short-run event abnormal returns indicate that forest certification does not have any significant impact on firm (...) FP regardless of the certification system carried out by firms. Unlike the short-run results, the long-run post-event abnormal returns suggest that forest certification has, on average, a negative impact on firm FP. However, the impact of forest certification on firm FP depends on who grants the certification, since only industry-led certification (Sustainable Forestry Initiative, Canadian Standards Association and ISO14001) are penalized by financial markets, whereas non-governmental organizations—led Forest Stewardship Council certification is not. (shrink)

Successful innovations are deemed to be necessary requisites for enterprise success. On the other hand, works council participation and employee participation are judged differently as either fostering employee and enterprise benefits or only the former or even none. Both forms of participation have found diverging theoretical and empirical argumentations regarding innovations. Here, we argue and show empirically that both forms of participation deliver positive contributions to innovation success, economically and employee-related, substantiated with qualitative reports from 36 process innovation cases and (...) quantitative data from 44 cases. Qualitative case analyses reveal different profiles of works council participation depending on the innovation type. Independent of the innovation types, more successful innovations are marked by more intensive participation. Quantitative examinations of a causal model with path analysis specify how this is achieved: works council and employee participation further the growth of appropriate knowledge and the former also raises the coordination capability; both are essential preconditions for innovation success. A direct impact of works councils on innovation success complements the indirect effects. The slightly modified path analysis explains 53% of the innovation success variance. (shrink)

Gene therapy approaches have great promise in the treatment of neurodegenerative disorders and malignant brain tumors. Neuwelt et al. review available viral-mediated gene therapy methods and their blood-brain-barrier (BBB) disruption delivery technique, briefly mentioning nonviral mediated gene therapy methods. This commentary discussed the BBB disruption delivery technique, viral and nonviral mediated gene therapy approaches to Parkinson's disease, and the potential use of antisense oligo to suppress malignant brain tumors.

The sense of agency is a basic feature of our subjective experience. Experimental studies usually focus on either its attributional aspects or on its motoric aspects. Here, we combine both aspects and focus on the subjective experience of the time between action and effect. Previous studies [Haggard, P., Aschersleben, G., Gehrke, J., & Prinz, W.. Action, binding and awareness. In W. Prinz, & B. Hommel, Common mechanisms in perception and action: Attention and performance. Oxford: Oxford University Press] have shown a (...) temporal attraction in the perceived times of actions and effects, but did directly not study the relation between them. In three experiments, time estimates of an interval between an action and its subsequent sensory effect were obtained. The actions were either voluntary key press actions performed by the participant or kinematically identical movements applied passively to the finger. The effects were either auditory or visual events or a passive movement induced to another finger. The results first indicated a shortening of the interval between one’s own voluntary action and a subsequent effect, relative to passive movement conditions. Second, intervals initiated by observed movements, either of another person or of an inanimate object, were always perceived like those involving passive movements of one’s own body, and never like those involving active movements. Third, this binding effect was comparable for auditory, somatic and visual effects of action. Our results provide the first direct evidence that agency involves a generalisable relation between actions and their consequences, and is triggered by efferent motor commands. (shrink)

The positivists defined analyticity as truth in virtue of meaning alone and advocated the view that the notion of analyticity so defined is co-extensive with both the notion of an a priori truth an...

This study examines values and value types as well as scores in levels of moral reasoning for␣students enrolled in a business program. These two factors are measured using the Schwartz Personal Values␣Questionnaire and the Defining Issues Test 2. No statistically significant differences in levels of moral␣reasoning, rankings of values, and value types could be attributed to gender. However, eight significant correlations between value types and levels of moral reasoning provide evidence that a systematic relationship exists. The relationships are not only (...) internally consistent but also consistent with the model of values based on motivational goals (Schwartz S. H. and K. Boenke: 2004, Journal of Research in Personality , 38 230–255). (shrink)

This pathbreaking work argues that the major intellectual trend in China from the seventeenth through to the early nineteenth century was Confucian ritualism, as expressed in ethics and classical learning. Through the performance of rites, the early Qing scholars believed they could cultivate Confucian virtues and achieve social order. The author shows how Confucian ritualism, with its emphasis on lineage, became a broad movement of social reform that stressed conformity and clearly prescribed rules of behavior, expressed notably in the growing (...) cult of female chastity. (shrink)

An account of how the mathematical sciences turn the mind away from becoming and towards being. There are four main conclusions. 1. The study of numbers, when treated independently of the other sciences, uses a particular conception of the nature of numbers to detach the mind from the influence of perceptible objects. 2. The study of ratios and proportions, explicitly the core of Plato's harmonics, is fundamental also to plane and solid geometry and astronomy. 3. Ratios and proportion form the (...) basis for the synoptic vision of all the mathematical sciences. This vision is an essential preparation for dialectic because it makes mathematicians become aware of the limitations of the mathematics they have been engaged in but it also shows them how they can begin to overcome those limitations. 4. The main purpose of the study of numbers, treated finally in relation to the other sciences, is to calculate ratios. (shrink)

Current International Criminal Law (ICL) suffers from at least four fairly serious theoretical shortcomings. First, as a starting point, the concept and meaning of ICL in its different variations must be clarified (‘the concept and meaning issue’). Second, the question of whether and how punitive power can exist at the supranational level without a sovereign (‘the ius puniendi issue’) must be answered in a satisfactory manner. Third, the overall function or purpose of ICL as opposed to national criminal law (‘the (...) overall function issue’) must be more convincingly explained. Fourth, the purposes of punishment in ICL, as opposed to the traditional purposes discussed in national criminal law, must be elaborated (‘the purposes of punishment issue’). There is a partly vertical and partly horizontal relationship between these issues. It is, for example, of course impossible to reflect upon ius puniendi, overall function and purposes of punishment without having clarified the concept of ICL in the first place. Also, a treatment of overall function and purposes of punishment seems to be predicated on the justification of the ius puniendi. Indeed, the lack of a satisfactory answer to the ius puniendi issue is maybe the most important theoretical weakness of current ICL. This article therefore aims to demonstrate that a supranational ius puniendi can be inferred from a combination of the incipient supranationality of the world order (understood normatively as an order of values) and the concept of a world society composed of world citizens whose law—the ‘world citizen law’ (‘Weltbürgerrecht’)—is derived from universal, indivisible and interculturally recognized human rights predicated upon a Kantian concept of human dignity. The incipient world order and the world society are represented by the international community (to be understood as a community of values) which becomes the holder of the ius puniendi. (shrink)

This essay is an attempt to look at economics from a Christian perspective in this time of crisis. This exploration is of great personal interest to me because I am a Christian and an economist. During my entire adult life, I have been trying to connect these two parts of who I am: my Christian faith and my vocation in economics. In the beginning of my career I focused more on the dialectic tension between economics and faith. As I have (...) grown older I have moved more towards a synthesis of economics and faith. (shrink)

The rapid spread of judicially-enforced constitutional rights has been one of the most dramatic developments in modern law. This book argues that there is now a global model for how such rights should function, and develops an original, philosophically grounded, account of their nature and scope.

For some modal fixed point logics, there are deductive systems that enjoy syntactic cut-elimination. An early example is the system in Pliuskevicius [15] for LTL. More recent examples are the systems by the authors of this paper for the logic of common knowledge [5] and by Hill and Poggiolesi for PDL[8], which are based on a form of deep inference. These logics can be seen as fragments of the modal mu-calculus. Here we are interested in how far this approach can (...) be pushed in general. To this end, we introduce a nested sequent system with syntactic cut-elimination which is incomplete for the modal mu-calculus, but complete with respect to a restricted language that allows only fixed points of a certain form. This restricted language includes the logic of common knowledge and PDL. There is also a traditional sequent system for the modal mu-calculus by Jäger et al. [9], without a syntactic cut-elimination procedure. We embed that system into ours and vice versa, thus establishing cut-elimination also for the shallow system, when only the restricted language is considered. (shrink)

Fine bases his influential conception of essence on a particular account of definitions. And he complements it with a specific account of analyticity. I will argue that Fine's conception of relative analyticity confuses the idea of a sentence's being true in virtue of a term's definition with the idea of a sentence's being true in virtue of a term's meaning. His idea that correct definitions specify essential properties of meanings is mistaken. The correctness of definitions can only be assessed by (...) reference to the actual usage of the terms involved. The resulting conception of definitions leads to a deflationary interpretation of claims about essences. (shrink)

Many find the prospect of death distressing at least partly because they believe that death deprives its subject of life’s benefits. Properly qualified, the belief is surely true. But should its truth lead us to conclude that there is something dreadful or awful about death, something that merits distress?

To solve the problem that traditional trajectory prediction methods cannot meet the requirements of high-precision, multi-dimensional and real-time prediction, a 4D trajectory prediction model based on the backpropagation (BP) neural network was studied. First, the hierarchical clustering algorithm and the k-means clustering algorithm were adopted to analyze the total flight time. Then, cubic spline interpolation was used to interpolate the flight position to extract the main trajectory feature. The 4D trajectory prediction model was based on the BP neural network. It (...) was trained by Automatic Dependent Surveillance – Broadcast trajectory from Qingdao to Beijing and used to predict the flight trajectory at future moments. In this paper, the model is evaluated by the common measurement index such as maximum absolute error, mean absolute error and root mean square error. It also gives an analysis and comparison of the predicted over-point time, the predicted over-point altitude, the actual over-point time and the actual over-point altitude. The results indicate that the predicted 4D trajectory is close to the real flight data, and the time error at the crossing point is no more than 1 min and the altitude error at the crossing point is no more than 50 m, which is of high accuracy. (shrink)

A recent judgment by a lower court in Germany brought the problem of ritual male circumcision to the consciousness of the wider public and legal academia. This essay weighs in on this emerging discussion and argues that ritual male circumcision is not covered by parental authority. It first considers and dismisses the best interest of the child test, which is the most widely used test of parental authority in legal practice. Instead, the essay proposes what it terms the autonomy conception (...) of parental authority, according to which parental authority must be exercised such as to ensure that the child will become an autonomous adult. While parents may raise their child in line with their ethical, including religious, convictions, respect for his autonomy requires that this be done in a way that allows the child to later distance himself from these values; this implies, among other things, that irreversible physical changes are impermissible. (shrink)

Stephen Barker (The Philosophical Quarterly, 47 (1997), pp. 195–211) has presented a new argument for a pure material implication analysis of indicative conditionals. His argument relies crucially on the assumption that general indicatives such as ‘Every girl, if she gets a chance, bungee‐jumps’ are correctly analysed as having the formal structure (for all x)(if x gets a chance, x bungee‐jumps). This paper argues that an approach first proposed by David Lewis must be pursued: the ‘if’‐clause in these sentences restricts the (...) quantifier. Only the Lewis‐style analysis can deal with sentences involving non‐universal quantifiers such as ‘Most letters are answered if they are shorter than 5 pages’. I show that Barker's reasons for rejecting the restrictor analysis are not cogent and that the restrictor analysis connects widely with recent work in natural language semantics. (shrink)

Drawing on insights of thinkers in the natural rights tradition, Draper analyzes numerous hypothetical cases including those involving a runaway trolley, then seeks to determine if killing civilians in war is ever justified. In his consideration of this issue he avoids appealing to the principle of double effect. Having considered hypothetical cases at length, he leaves it to others to decide if any option to go to war is justifiable. In this regard he himself is sceptical.

According to Hume’s principle, a sentence of the form ⌜The number of Fs = the number of Gs⌝ is true if and only if the Fs are bijectively correlatable to the Gs. Neo-Fregeans maintain that this principle provides an implicit definition of the notion of cardinal number that vindicates a platonist construal of such numerical equations. Based on a clarification of the explanatory status of Hume’s principle, I will provide an argument in favour of a nominalist construal of numerical equations. (...) The neo-Fregean objections to such a construal will be examined and rejected. And the implications of the nominalist construal for the use of numerals and for the understanding of ontological questions for the existence of numbers will be spelled out. (shrink)

Deep inference is a natural generalisation of the one-sided sequent calculus where rules are allowed to apply deeply inside formulas, much like rewrite rules in term rewriting. This freedom in applying inference rules allows to express logical systems that are difficult or impossible to express in the cut-free sequent calculus and it also allows for a more fine-grained analysis of derivations than the sequent calculus. However, the same freedom also makes it harder to carry out this analysis, in particular it (...) is harder to design cut elimination procedures. In this paper we see a cut elimination procedure for a deep inference system for classical predicate logic. As a consequence we derive Herbrand's Theorem, which we express as a factorisation of derivations. (shrink)

We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.

1 Background for the Uninitiated RICHMOND CAMPBELL Paradoxes are intrinsically fascinating. They are also distinctively ...