298 research outputs found
Possibility to distinguish tree-ring reductions caused by landsliding and air pollution (example from Western Carpathians)
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
We analyse the computational complexity of finding Nash equilibria in simple
stochastic multiplayer games. We show that restricting the search space to
equilibria whose payoffs fall into a certain interval may lead to
undecidability. In particular, we prove that the following problem is
undecidable: Given a game G, does there exist a pure-strategy Nash equilibrium
of G where player 0 wins with probability 1. Moreover, this problem remains
undecidable if it is restricted to strategies with (unbounded) finite memory.
However, if mixed strategies are allowed, decidability remains an open problem.
One way to obtain a provably decidable variant of the problem is restricting
the strategies to be positional or stationary. For the complexity of these two
problems, we obtain a common lower bound of NP and upper bounds of NP and
PSPACE respectively.Comment: 23 pages; revised versio
Regular Strategies in Pushdown Reachability Games
International audienceWe show that positional winning strategies in pushdown reachability games can be implemented by deterministic finite state au-tomata of exponential size. Such automata read the stack and control state of a given pushdown configuration and output the set of winning moves playable from that position. This result can originally be attributed to Kupferman, Piterman and Vardi using an approach based on two-way tree automata. We present a more direct approach that builds upon the popular saturation technique. Saturation for analysing pushdown systems has been successfully implemented by Moped and WALi. Thus, our approach has the potential for practical applications to controller-synthesis problems
MODULATORY EFFECT OF SERA FROM PATIENTS WITH VARIOUS TYPES OF PULMONARY FIBROSIS ON MONONUCLEAR CELL- INDUCED ANGIOGENESIS IN RELATION TO PULMONARY FUNCTION
Oink: an Implementation and Evaluation of Modern Parity Game Solvers
Parity games have important practical applications in formal verification and
synthesis, especially to solve the model-checking problem of the modal
mu-calculus. They are also interesting from the theory perspective, as they are
widely believed to admit a polynomial solution, but so far no such algorithm is
known. In recent years, a number of new algorithms and improvements to existing
algorithms have been proposed. We implement a new and easy to extend tool Oink,
which is a high-performance implementation of modern parity game algorithms. We
further present a comprehensive empirical evaluation of modern parity game
algorithms and solvers, both on real world benchmarks and randomly generated
games. Our experiments show that our new tool Oink outperforms the current
state-of-the-art.Comment: Accepted at TACAS 201
Particulate Matter Exposure Exacerbates High Glucose-Induced Cardiomyocyte Dysfunction through ROS Generation
Diabetes mellitus and fine particulate matter from diesel exhaust (DEP) are both important contributors to the development of cardiovascular disease (CVD). Diabetes mellitus is a progressive disease with a high mortality rate in patients suffering from CVD, resulting in diabetic cardiomyopathy. Elevated DEP levels in the air are attributed to the development of various CVDs, presumably since fine DEP (<2.5 µm in diameter) can be inhaled and gain access to the circulatory system. However, mechanisms defining how DEP affects diabetic or control cardiomyocyte function remain poorly understood. The purpose of the present study was to evaluate cardiomyocyte function and reactive oxygen species (ROS) generation in isolated rat ventricular myocytes exposed overnight to fine DEP (0.1 µg/ml), and/or high glucose (HG, 25.5 mM). Our hypothesis was that DEP exposure exacerbates contractile dysfunction via ROS generation in cardiomyocytes exposed to HG. Ventricular myocytes were isolated from male adult Sprague-Dawley rats cultured overnight and sarcomeric contractile properties were evaluated, including: peak shortening normalized to baseline (PS), time-to-90% shortening (TPS90), time-to-90% relengthening (TR90) and maximal velocities of shortening/relengthening (±dL/dt), using an IonOptix field-stimulator system. ROS generation was determined using hydroethidine/ethidium confocal microscopy. We found that DEP exposure significantly increased TR90, decreased PS and ±dL/dt, and enhanced intracellular ROS generation in myocytes exposed to HG. Further studies indicated that co-culture with antioxidants (0.25 mM Tiron and 0.5 mM N-Acetyl-L-cysteine) completely restored contractile function in DEP, HG and HG+DEP-treated myocytes. ROS generation was blocked in HG-treated cells with mitochondrial inhibition, while ROS generation was blocked in DEP-treated cells with NADPH oxidase inhibition. Our results suggest that DEP exacerbates myocardial dysfunction in isolated cardiomyocytes exposed to HG-containing media, which is potentially mediated by various ROS generation pathways
Endothelial Cell and Platelet Bioenergetics: Effect of Glucose and Nutrient Composition
It has been suggested that cells that are independent of insulin for glucose uptake, when exposed to high glucose or other nutrient concentrations, manifest enhanced mitochondrial substrate oxidation with consequent enhanced potential and generation of reactive oxygen species (ROS); a paradigm that could predispose to vascular complications of diabetes. Here we exposed bovine aortic endothelial (BAE) cells and human platelets to variable glucose and fatty acid concentrations. We then examined oxygen consumption and acidification rates using recently available technology in the form of an extracellular oxygen and proton flux analyzer. Acute or overnight exposure of confluent BAE cells to glucose concentrations from 5.5 to 25 mM did not enhance or change the rate of oxygen consumption (OCR) under basal conditions, during ATP synthesis, or under uncoupled conditions. Glucose also did not alter OCR in sub-confluent cells, in cells exposed to low serum, or in cells treated with added pyruvate. Likewise, overnight exposure to fatty acids of varying saturation had no such effects. Overnight exposure of BAE cells to low glucose concentration decreased maximal uncoupled respiration, but not basal or ATP related oxygen consumption. Labeled glucose oxidation to CO2 increased, but only marginally after high glucose exposure while oleate oxidation to CO2 decreased. Overnight exposure to linolenic acid, but not oleic or linoleic acid increased extracellular acidification consistent with enhanced glycolytic metabolism. We were unable to detect an increase in production of reactive oxygen species (ROS) from BAE cells exposed to high medium glucose. Like BAE cells, exposure of human platelets to glucose did not increase oxygen consumption. As opposed to BAE cells, platelet mitochondria demonstrate less respiratory reserve capacity (beyond that needed for basal metabolism). Our data do not support the concept that exposure to high glucose or fatty acids accelerates mitochondrial oxidative metabolism in endothelial cells or platelets
Construction and Testing of orfA +/- FIV Reporter Viruses
Single cycle reporter viruses that preserve the majority of the HIV-1 genome, long terminal repeat-promoted transcription and Rev-dependent structural protein expression are useful for investigating the viral life cycle. Reporter viruses that encode the viral proteins in cis in this way have been lacking for feline immunodeficiency virus (FIV), where the field has used genetically minimized transfer vectors with viral proteins supplied in trans. Here we report construction and use of a panel of single cycle FIV reporter viruses that express fluorescent protein markers. The viruses can be produced to high titer using human cell transfection and can transduce diverse target cells. To illustrate utility, we tested versions that are (+) and (-) for OrfA, an FIV accessory protein required for replication in primary lymphocytes and previously implicated in down-regulation of the primary FIV entry receptor CD134. We observed CD134 down-regulation after infection with or without OrfA, and equivalent virion production as well. These results suggest a role for FIV proteins besides Env or OrfA in CD134 down-regulation
Not Quite Right: Representations of Eastern Europeans in ECJ Discourse
Although the increasing responsiveness of the Court of Justice of the European Union (the ‘ECJ’) jurisprudence to western Member States’ concerns regarding Central and Eastern European (‘CEE’) nationals’ mobility has garnered academic attention, ECJ discourse has not been scrutinised for how it approaches the CEE region or CEE movers. Applying postcolonial theory, this article seeks to fill this gap and to explore whether there are any indications that ECJ discourse is in line with the historical western-centric inferiorisation of the CEE region. A critical discourse analysis of a set of ECJ judgments and corresponding Advocate General opinions pertaining to CEE nationals illustrates not only how the ECJ adopts numerous discursive strategies to maintain its authority, but also how it tends to prioritise values of the western Member States, while overlooking interests of CEE movers. Its one-sided approach is further reinforced by referring to irrelevant facts and negative assumptions to create an image of CEE nationals as socially and economically inferior to westerners, as not belonging to the proper EU polity and as not quite deserving of EU law’s protections. By silencing CEE nationals’ voices, while disregarding the background of east/west socio-economic and political power differentials and precariousness experienced by many CEE workers in the west, such racialising discourse normalises ethnicity- and class-based stereotypes. These findings also help to contextualise both EU and western policies targeting CEE movers and evidence of their unequal outcomes in the west, and are in line with today’s nuanced expressions of racisms. By illustrating the ECJ’s role in addressing values pertinent to mobile CEE individuals, this study facilitates a fuller appreciation of the ECJ’s power in shaping and reflecting western-centric EU identity and policies. Engaging with such issues will not only allow us to better appreciate—and question—the ECJ’s legitimacy, but might also facilitate a better understanding of power dynamics within the EU. This study also makes significant theoretical and methodological contributions. It expands (and complicates) the application of postcolonial theory to contemporary intra-EU processes, while illustrating the usefulness of applying critical discourse analysis to exploring differentiation, exclusion, subordination and power within legal language
- …