Certainly Unsupervisable States

This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness. Compositional synthesis uses repeated abstraction and simplification to combat the state-space explosion problem for large systems. The abstraction method proposed in this paper finds and removes the so-called certainly unsupervisable states. By removing these states at an early stage, the final state space can be reduced substantially. The paper describes an algorithm with cubic time complexity to compute the largest possible set of removable states. A practical example demonstrates the feasibility of the method to solve real-world problems

Hall viscosity from gauge/gravity duality

In (2+1)-dimensional systems with broken parity, there exists yet another transport coefficient, appearing at the same order as the shear viscosity in the hydrodynamic derivative expansion. In condensed matter physics, it is referred to as "Hall viscosity". We consider a simple holographic realization of a (2+1)-dimensional isotropic fluid with broken spatial parity. Using techniques of fluid/gravity correspondence, we uncover that the holographic fluid possesses a nonzero Hall viscosity, whose value only depends on the near-horizon region of the background. We also write down a Kubo's formula for the Hall viscosity. We confirm our results by directly computing the Hall viscosity using the formula.Comment: 12 page

On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

The International-Trade Network: Gravity Equations and Topological Properties

This paper begins to explore the determinants of the topological properties of the international - trade network (ITN). We fit bilateral-trade flows using a standard gravity equation to build a "residual" ITN where trade-link weights are depurated from geographical distance, size, border effects, trade agreements, and so on. We then compare the topological properties of the original and residual ITNs. We find that the residual ITN displays, unlike the original one, marked signatures of a complex system, and is characterized by a very different topological architecture. Whereas the original ITN is geographically clustered and organized around a few large-sized hubs, the residual ITN displays many small-sized but trade-oriented countries that, independently of their geographical position, either play the role of local hubs or attract large and rich countries in relatively complex trade-interaction patterns

Eurozone Membership and Foreign Direct Investment

Our aim in this chapter is to estimate the effects of European Monetary Union (EMU) membership on foreign direct investment (FDI). Previous literature on the cross-border impact of a common currency have concentrated on international trade effects. Our analysis is based on the gravity model, which has been successfully applied to explain most forms of bilateral cross-border flows. We estimate a structural gravity model using data for 34 OECD countries between 1985 and 2013 for bilateral FDI. We use a variety of econometric techniques to ensure the robustness of our findings including stock as well as flow measures of FDI and addressing selection issues. Our estimates of the impact of EMU underlines the role of FDI as a channel for benefits from deep economic integration between countries. The effect of EMU membership on FDI is estimated to be significant and positive, at around 130%

GMOs: Non-Health Issues

The controversy over genetically modified [GM] organisms is often framed in terms of possible hazards for human health. Articles in a previous volume of this *Encyclopedia* give a general overview of GM crops [@Mulvaney2014] and specifically examine human health [@Nordgard2014] and labeling [@Bruton2014] issues surrounding GM organisms. This article explores several other aspects of the controversy: environmental concerns, political and legal disputes, and the aim of "feeding the world" and promoting food security. Rather than discussing abstract, hypothetical GM organisms, this article explores the consequences of the GM organisms that have actually been deployed in the particular contexts that they have been deployed, on the belief that there is little point in discussing GM organisms in an idealized or context-independent way

Preferential trade agreements and the structure of international trade

International audienceIn this paper we examine the impact of membership in preferential trade agreements (PTAs) on trade between PTA members. Rather than considering the impact of PTA membership on the volume of trade we consider the impact of membership on the structure of trade. For a large sample of countries over the period 1962-2000 we find that membership in a PTA is associated with an increase in the extent of intra-industry trade. Our results indicate that this is especially the case for PTAs formed between richer countries, with the effects of PTAs between poorer countries found to be smaller

Difference in balance measures between patients with chronic ankle instability and patients after an acute ankle inversion trauma

Neuromuscular control of the ankle is disturbed in patients with chronic ankle instability due to an initial ankle inversion trauma. Static balance is assumed to be a measure for this disturbance. Functional (ankle) scores are another way to evaluate ankle impairment. The hypothesis was that there is a difference in static balance measures between small groups of healthy subjects, patients after an acute ankle inversion trauma and patients with chronic ankle instability and that static balance measures correlate well with functional scores. Static balance in healthy subjects (N = 15), patients after a primary ankle inversion injury (N = 14) and patients with chronic ankle instability (N = 23) was tested with a single leg test on a force plate (Postural Sway test) and on a compliant floor (Simple Balance test). Functional impairment was evaluated with the Karlsson, AOFAS and SF-36 (ankle) scores. There was a statistically significant and clinically relevant difference in functional (ankle) scores, but not a statistically significant difference in balance measures between the groups. Balance measures did not correlate to the functional scores. It was concluded that, despite a clinically relevant difference in functional outcome measures between the groups, static balance measures do not appear to be useful for clinical application in the individual patient

Ameliorated ConA-Induced Hepatitis in the Absence of PKC-theta

Severe liver injury that occurs when immune cells mistakenly attack an individual's own liver cells leads to autoimmune hepatitis. In mice, acute hepatitis can be induced by concanavalin A (ConA) treatment, which causes rapid activation of CD1d-positive natural killer (NK) T cells. These activated NKT cells produce large amounts of cytokines, which induce strong inflammation that damages liver tissues. Here we show that PKC-θ−/− mice were resistant to ConA-induced hepatitis due to essential function of PKC-θ in NKT cell development and activation. A dosage of ConA (25 mg/kg) that was lethal to wild-type (WT) mice failed to induce death resulting from liver injury in PKC-θ−/− mice. Correspondingly, ConA-induced production of cytokines such as IFNγ, IL-6, and TNFα, which mediate the inflammation responsible for liver injury, were significantly lower in PKC-θ−/− mice. Peripheral NKT cells had developmental defects at early stages in the thymus in PKC-θ−/− mice, and as a result their frequency and number were greatly reduced. Furthermore, PKC-θ−/− bone marrow adoptively transferred to WT mice displayed similar defects in NKT cell development, suggesting an intrinsic requirement for PKC-θ in NKT cell development. In addition, upon stimulation with NKT cell-specific lipid ligand, peripheral PKC-θ−/− NKT cells produced lower levels of inflammatory cytokines than that of WT NKT cells, suggesting that activation of NKT cells also requires PKC-θ. Our results suggest PKC-θ is an essential molecule required for activation of NKT cell to induce hepatitis, and thus, is a potential drug target for prevention of autoimmune hepatitis