Symmetric Strategy Improvement

Symmetry is inherent in the definition of most of the two-player zero-sum games, including parity, mean-payoff, and discounted-payoff games. It is therefore quite surprising that no symmetric analysis techniques for these games exist. We develop a novel symmetric strategy improvement algorithm where, in each iteration, the strategies of both players are improved simultaneously. We show that symmetric strategy improvement defies Friedmann's traps, which shook the belief in the potential of classic strategy improvement to be polynomial

Angiogenic Activity of Sera from Pulmonary Tuberculosis Patients in Relation to IL-12p40 and TNFα Serum Levels

The role of angiogenesis in the pathogenesis of tuberculosis (TB) is not clear. The aim of this study was to examine the effect of sera from TB patients on angiogenesis induced by different subsets of normal human mononuclear cells (MNC) in relation to IL-12p40 and TNFα serum levels. Serum samples from 36 pulmonary TB patients and from 22 healthy volunteers were evaluated. To assess angiogenic reaction the leukocytes-induced angiogenesis test according to Sidky and Auerbach was performed. IL-12p40 and TNFα serum levels were evaluated by ELISA. Sera from TB patients significantly stimulated angiogenic activity of MNC compared to sera from healthy donors and PBS (p < 0.001). The number of microvessels formed after injection of lymphocytes preincubated with sera from TB patients was significantly lower compared to the number of microvessels created after injection of MNC preincubated with the same sera (p < 0.016). However, the number of microvessels created after the injection of lymphocytes preincubated with sera from healthy donors or with PBS alone was significantly higher (p < 0.017). The mean levels of IL-12p40 and TNFα were significantly elevated in sera from TB patients compared to healthy donors. We observed a correlation between angiogenic activity of sera from TB patients and IL-12p40 and TNFα serum levels (p < 0.01). Sera from TB patients constitute a source of mediators that participate in angiogenesis and prime monocytes for production of proangiogenic factors. The main proangiogenic effect of TB patients’ sera is mediated by macrophages/monocytes. TNFα and IL-12p40 may indirectly stimulate angiogenesis in TB

Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited

We study nondeterministic strategies in parity games with the aim of computing a most permissive winning strategy. Following earlier work, we measure permissiveness in terms of the average number/weight of transitions blocked by the strategy. Using a translation into mean-payoff parity games, we prove that the problem of computing (the permissiveness of) a most permissive winning strategy is in NP intersected coNP. Along the way, we provide a new study of mean-payoff parity games. In particular, we prove that the opponent player has a memoryless optimal strategy and give a new algorithm for solving these games.Comment: 30 pages, revised versio

Efficient Parallel Strategy Improvement for Parity Games

We study strategy improvement algorithms for solving parity games. While these algorithms are known to solve parity games using a very small number of iterations, experimental studies have found that a high step complexity causes them to perform poorly in practice. In this paper we seek to address this situation. Every iteration of the algorithm must compute a best response, and while the standard way of doing this uses the Bellman-Ford algorithm, we give experimental results that show that one-player strategy improvement significantly outperforms this technique in practice. We then study the best way to implement one-player strategy improvement, and we develop an efficient parallel algorithm for carrying out this task, by reducing the problem to computing prefix sums on a linked list. We report experimental results for these algorithms, and we find that a GPU implementation of this algorithm shows a significant speedup over single-core and multi-core CPU implementations

Corrigendum to "European contribution to the study of ROS:A summary of the findings and prospects for the future from the COST action BM1203 (EU-ROS)" [Redox Biol. 13 (2017) 94-162]

The European Cooperation in Science and Technology (COST) provides an ideal framework to establish multi-disciplinary research networks. COST Action BM1203 (EU-ROS) represents a consortium of researchers from different disciplines who are dedicated to providing new insights and tools for better understanding redox biology and medicine and, in the long run, to finding new therapeutic strategies to target dysregulated redox processes in various diseases. This report highlights the major achievements of EU-ROS as well as research updates and new perspectives arising from its members. The EU-ROS consortium comprised more than 140 active members who worked together for four years on the topics briefly described below. The formation of reactive oxygen and nitrogen species (RONS) is an established hallmark of our aerobic environment and metabolism but RONS also act as messengers via redox regulation of essential cellular processes. The fact that many diseases have been found to be associated with oxidative stress established the theory of oxidative stress as a trigger of diseases that can be corrected by antioxidant therapy. However, while experimental studies support this thesis, clinical studies still generate controversial results, due to complex pathophysiology of oxidative stress in humans. For future improvement of antioxidant therapy and better understanding of redox-associated disease progression detailed knowledge on the sources and targets of RONS formation and discrimination of their detrimental or beneficial roles is required. In order to advance this important area of biology and medicine, highly synergistic approaches combining a variety of diverse and contrasting disciplines are needed