703 research outputs found
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
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
Safety-critical systems need to maintain their functionality in the presence of multiple errors caused by component failures or disastrous environment events. We propose a game-theoretic foundation for synthesizing control strategies that maximize the resilience of a software system in defense against a realistic error model. The new control objective of such a game is called -resilience. In order to be -resilient, a system needs to rapidly recover from infinitely many waves of a small number of up to close errors provided that the blocks of up to errors are separated by short time intervals, which can be used by the system to recover. We first argue why we believe this to be the right level of abstraction for safety critical systems when local faults are few and far between. We then show how the analysis of -resilience problems can be formulated as a model-checking problem of a mild extension to the alternating-time -calculus (AMC). The witness for resilience, which can be provided by the model checker, can be used for providing control strategies that are optimal with respect to resilience. We show that the computational complexity of constructing such optimal control strategies is low and demonstrate the feasibility of our approach through an implementation and experimental results
Persistent clinical efficacy and safety of anti-tumour necrosis factor \textgreeka therapy with infliximab in patients with ankylosing spondylitis over 5 years: evidence for different types of response
Background: There is insufficient evidence for the long-term efficacy and safety of anti-tumour necrosis factor therapy in patients with ankylosing spondylitis (AS). This is the first report on the treatment with infliximab over 5 years.Methods: As part of a multicentre randomised trial, 69 patients with active AS at baseline (BL) have been continuously treated with infliximab (5 mg/kg i.v. every 6 weeks)---except for a short discontinuation after 3 years (FU1). The primary outcome of this extension was remission according to the ASsessment in Ankylosing Spondylitis (ASAS) criteria at the end of year 5 of the study (FU2).Results: Of the 43 patients who completed year 3, 42 agreed to continue, 38 of which (90.5%) finished year 5 (55% of 69 initially). Partial clinical remission was achieved in 13 of 38 patients (34.2%) at FU1 and FU2. At FU2, the mean Bath Ankylosing Spondylitis Disease Activity Index (BASDAI) was 2.5±1.9 (BL:6.4, FU1:2.5). BASDAI values <4 were seen in 79% of patients at both, FU1 and FU2. ASAS 20% and 40% responses were seen in 32 (84%) and 24 (63%) patients at FU2, respectively. Most patients classified as non-responders at FU2 were part-time responders, as all but one patient achieved an ASAS 20% response at least once within the last 2 years. Three types of responders were identified. No major side effects occurred during years 4 and 5 of infliximab therapy.Conclusions: Infliximab is safe and efficacious in AS patients over 5 years. The majority of the patients remained on treatment and had rather persistent levels of low disease activity. Different response types could be identified
Numerical and experimental verification of a theoretical model of ripple formation in ice growth under supercooled water film flow
Little is known about morphological instability of a solidification front
during the crystal growth of a thin film of flowing supercooled liquid with a
free surface: for example, the ring-like ripples on the surface of icicles. The
length scale of the ripples is nearly 1 cm. Two theoretical models for the
ripple formation mechanism have been proposed. However, these models lead to
quite different results because of differences in the boundary conditions at
the solid-liquid interface and liquid-air surface. The validity of the
assumption used in the two models is numerically investigated and some of the
theoretical predictions are compared with experiments.Comment: 30 pages, 9 figure
Spectroscopic characterization of singlet-triplet doorway states of aluminum monofluoride
Aluminum monofluoride (AlF) possesses highly favorable properties for laser cooling, both via the A1Π and a3Π states. Determining efficient pathways between the singlet and the triplet manifold of electronic states will be advantageous for future experiments at ultralow temperatures. The lowest rotational levels of the A1Π, v = 6 and b3Σ+, v = 5 states of AlF are nearly iso-energetic and interact via spin–orbit coupling. These levels thus have a strongly mixed spin-character and provide a singlet–triplet doorway. We here present a hyperfine resolved spectroscopic study of the A1Π , v = 6//b3Σ+, v = 5 perturbed system in a jet-cooled, pulsed molecular beam. From a fit to the observed energies of the hyperfine levels, the fine and hyperfine structure parameters of the coupled states and their relative energies as well as the spin–orbit interaction parameter are determined. The standard deviation of the fit is about 15 MHz. We experimentally determine the radiative lifetimes of selected hyperfine levels by time-delayed ionization, Lamb dip spectroscopy, and accurate measurements of the transition lineshapes. The measured lifetimes range between 2 and 200 ns, determined by the degree of singlet–triplet mixing for each level
Robustness of the European power grids under intentional attack
The power grid defines one of the most important technological networks of
our times and sustains our complex society. It has evolved for more than a
century into an extremely huge and seemingly robust and well understood system.
But it becomes extremely fragile as well, when unexpected, usually minimal,
failures turn into unknown dynamical behaviours leading, for example, to sudden
and massive blackouts. Here we explore the fragility of the European power grid
under the effect of selective node removal. A mean field analysis of fragility
against attacks is presented together with the observed patterns. Deviations
from the theoretical conditions for network percolation (and fragmentation)
under attacks are analysed and correlated with non topological reliability
measures.Comment: 7 pages, 4 figure
Cryogenic Buffer Gas beams of AlF, CaF, MgF, YbF, Al, Ca, Yb and NO -- a comparison
Cryogenic buffer gas beams are central to many cold molecule experiments. Here, we use absorption and fluorescence spectroscopy to directly compare molecular beams of AlF, CaF, MgF, and YbF molecules, produced by chemical reaction of laser ablated atoms with fluorine rich reagents. The beam brightness for AlF is measured as 2 X 1012 molecules per steradian per pulse in a single rotational state, comparable to an Al atomic beam produced in the same setup. The CaF, MgF and YbF beams show an order of magnitude lower brightness than AlF, and far below the brightness of Ca and Yb beams. The addition of either NF3 or SF6 to the cell extinguishes the Al atomic beam, but has a minimal effect on the Ca and Yb beams. NF3 reacts more efficiently than SF6, as a significantly lower flow rate is required to maximise the molecule production, which is particularly beneficial for long-term stability of the AlF beam. We use NO as a proxy for the reactant gas as it can be optically detected. We demonstrate that a cold, rotationally pure NO beam can be generated by laser desorption, thereby gaining insight into the dynamics of the reactant gas inside the buffer gas cell
Identification of Intermediates in the Reaction Pathway of SO on the CaO Surface: From Physisorption to Sulfite to Sulfate
The interaction of CaO and Ca(OH) with solvated or gaseous SO plays a crucial role in the corrosion of urban infrastructure by acid rain or in the removal of SO from flue gas. We carried out a combined spectroscopic and theoretical investigation on the interaction of SO with a CaO(001) single crystal. First, the surface chemistry of SO was investigated at different temperatures using polarization-resolved IR reflection absorption spectroscopy. Three species were identified, and an in-depth density functional theory study was carried out, which allowed deriving a consistent picture. Unexpectedly, low temperature exposure to SO solely yields a physisorbed species. Only above 100 K, the transformation of this weakly bound adsorbate first to a chemisorbed sulfite and then to a sulfate occurs, effectively passivatating the surface. Our results provide the basis for more efficient strategies in corrosion protection of urban infrastructure and in lime-based desulfurization of flue gas
New Deterministic Algorithms for Solving Parity Games
We study parity games in which one of the two players controls only a small
number of nodes and the other player controls the other nodes of the
game. Our main result is a fixed-parameter algorithm that solves bipartite
parity games in time , and general parity games in
time , where is the number of distinct
priorities and is the number of edges. For all games with this
improves the previously fastest algorithm by Jurdzi{\'n}ski, Paterson, and
Zwick (SICOMP 2008). We also obtain novel kernelization results and an improved
deterministic algorithm for graphs with small average degree
- …