Randomness for Free

We consider two-player zero-sum games on graphs. These games can be classified on the basis of the information of the players and on the mode of interaction between them. On the basis of information the classification is as follows: (a) partial-observation (both players have partial view of the game); (b) one-sided complete-observation (one player has complete observation); and (c) complete-observation (both players have complete view of the game). On the basis of mode of interaction we have the following classification: (a) concurrent (both players interact simultaneously); and (b) turn-based (both players interact in turn). The two sources of randomness in these games are randomness in transition function and randomness in strategies. In general, randomized strategies are more powerful than deterministic strategies, and randomness in transitions gives more general classes of games. In this work we present a complete characterization for the classes of games where randomness is not helpful in: (a) the transition function probabilistic transition can be simulated by deterministic transition); and (b) strategies (pure strategies are as powerful as randomized strategies). As consequence of our characterization we obtain new undecidability results for these games

Potential role of coronary vasoconstriction in ischaemic heart disease: effect of exercise

Coronary vasomotion plays an important role in the regulation of coronary perfusion at rest and during exercise. Normal coronary arteries show coronary vasodilation of the proximal (+20%) and distal (+40%) vessel segments during supine bicycle exercise. However, patients with coronary artery disease show exercise-induced vasoconstriction of the stenotic vessel segments. The exact mechanism of exercise-induced stenosis narrowing is not clear but might be related to a passive collapse of the disease-free vessel wall (Venturi mechanism), elevated plasma levels of circulating catecholamines, an insufficient production of the endothelium-derived vesorelaxing factor or increased platelet aggregation due to turbulent blood flow with release of thromboxane A2 and serotonin. Various vasoactive drugs, such as nitroglycerin and calcium antagonists, prevent exercise-induced stenosis vasoconstriction. An additive effect on coronary vasodilation of the stenotic vessel segment was observed after combination of nitroglycerin with diltiazem. Thus, exercise-induced stenosis narrowing plays an important role in the pathophysiology of myocardial ischaemia during dynamic exercise. The antianginal effect of vasoactive substances can be explained—besides the effect on pre- and afterload—by a direct action on coronary stenosis vasomotio

Imitation in Large Games

In games with a large number of players where players may have overlapping objectives, the analysis of stable outcomes typically depends on player types. A special case is when a large part of the player population consists of imitation types: that of players who imitate choice of other (optimizing) types. Game theorists typically study the evolution of such games in dynamical systems with imitation rules. In the setting of games of infinite duration on finite graphs with preference orderings on outcomes for player types, we explore the possibility of imitation as a viable strategy. In our setup, the optimising players play bounded memory strategies and the imitators play according to specifications given by automata. We present algorithmic results on the eventual survival of types

Logics for Unranked Trees: An Overview

Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence of tree automata for those properties. Furthermore, logics differ significantly in their model-checking properties, their automata models, and their behavior on ordered and unordered trees. In this paper we present a survey of logics for unranked trees

Ecological strategies in stable and disturbed environments depend on species specialisation

Ecological strategies are integral to understanding species survival in different environments. However, how habitat specialisation is involved in such strategies is not fully understood, particularly in heterogeneous and disturbed environments. Here, we studied the trait associations between specialisation, dispersal ability, competitiveness, reproductive investment and survival rate in a spatially explicit metacommunity model under various disturbance rates. Though no unique trait values were associated with specialisation, relationships were uncovered depending on environmental factors. We found strong trait associations mainly for generalist species, while specialist species exhibited a larger range of trait combinations. Trait associations were driven first by the disturbance rate and second by species’ dispersal ability and generation overlap. With disturbance, low dispersal ability was strongly selected against, for specialists as well as for generalists. Our results demonstrate that habitat specialisation is critical for the emergence of trait strategies in metacommunities and that disturbance in interaction with dispersal ability limits not only the range of trait values but also the type of possible trait associations

Components, contracts, and connectors for the Unified Modelling Language UML

The lack of a component concept for the UML is widely ac-\ud knowledged. Contracts between components can be the starting point for introducing components and component interconnections. Contracts between service providers and service users are formulated based on abstractions of action and operation behaviour using the pre- and postcon-\ud dition technique. A valid contract allows to establish an interconnection- a connector - between the provider and the user. The contract concept supports the re-use of components by providing means to establish and modify component interconnections. A flexible contract concept shall be based on a renement relation for operations and classes, derived from operation abstractions. Abstract behaviour, expressed by pre- and post-conditions, and renement are the key elements in the denition of a formal and flexible component and component interconnection approach

Formats of Winning Strategies for Six Types of Pushdown Games

The solution of parity games over pushdown graphs (Walukiewicz '96) was the first step towards an effective theory of infinite-state games. It was shown that winning strategies for pushdown games can be implemented again as pushdown automata. We continue this study and investigate the connection between game presentations and winning strategies in altogether six cases of game arenas, among them realtime pushdown systems, visibly pushdown systems, and counter systems. In four cases we show by a uniform proof method that we obtain strategies implementable by the same type of pushdown machine as given in the game arena. We prove that for the two remaining cases this correspondence fails. In the conclusion we address the question of an abstract criterion that explains the results

Emergent dynamic chirality in a thermally driven artificial spin ratchet

Modern nanofabrication techniques have opened the possibility to create novel functional materials, whose properties transcend those of their constituent elements. In particular, tuning the magnetostatic interactions in geometrically frustrated arrangements of nanoelements called artificial spin ice1, 2 can lead to specific collective behaviour3, including emergent magnetic monopoles4, 5, charge screening6, 7 and transport8, 9, as well as magnonic response10, 11, 12. Here, we demonstrate a spin-ice-based active material in which energy is converted into unidirectional dynamics. Using X-ray photoemission electron microscopy we show that the collective rotation of the average magnetization proceeds in a unique sense during thermal relaxation. Our simulations demonstrate that this emergent chiral behaviour is driven by the topology of the magnetostatic field at the edges of the nanomagnet array, resulting in an asymmetric energy landscape. In addition, a bias field can be used to modify the sense of rotation of the average magnetization. This opens the possibility of implementing a magnetic Brownian ratchet13, 14, which may find applications in novel nanoscale devices, such as magnetic nanomotors, actuators, sensors or memory cells