Reachability in Two-Clock Timed Automata is PSPACE-complete

Recently, Haase, Ouaknine, and Worrell have shown that reachability in two-clock timed automata is log-space equivalent to reachability in bounded one-counter automata. We show that reachability in bounded one-counter automata is PSPACE-complete

New Deterministic Algorithms for Solving Parity Games

We study parity games in which one of the two players controls only a small number $k$ of nodes and the other player controls the $n-k$ other nodes of the game. Our main result is a fixed-parameter algorithm that solves bipartite parity games in time $k^{O(\sqrt{k})}\cdot O(n^3)$, and general parity games in time $(p+k)^{O(\sqrt{k})} \cdot O(pnm)$, where $p$ is the number of distinct priorities and $m$ is the number of edges. For all games with $k = o(n)$ 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

Engaging Hashima: Memory Work, Site-Based Affects, and the Possibilities of Interruption

How is memory embodied, narrated, interrupted, and reworked? Here, we take a postphenomenological approach to memory work that is attentive to how site-based affects prompt and ossify, but also transmogrify, memory of place. With reference to an intensely traumatized, but also domesticated and entropied, environment—the island of Hashima, off the coast from Nagasaki City in Japan—we demonstrate the relevance and explanatory reach of culturally specific accounts of memory, time, and place; how an attentiveness to cultural context in the making of meaning helps mark out the epistemological violences that accrue around sites such as Hashima as objects of analysis in and of themselves; and the affective capacities of the materialities and forces that compose such sites, which can present a welter of surfaces and interiorities that are sensuously “felt” as memory

The Electronic and Superconducting Properties of Oxygen-Ordered MgB2 compounds of the form Mg2B3Ox

Possible candidates for the Mg2B3Ox nanostructures observed in bulk of polycrystalline MgB2 (Ref.1) have been studied using a combination of Z-contrast imaging, electron energy loss spectroscopy (EELS) and first-principles calculations. The electronic structures, phonon modes, and electron phonon coupling parameters are calculated for two oxygen-ordered MgB2 compounds of composition Mg2B3O and Mg2B3O2, and compared with those of MgB2. We find that the density of states for both Mg2B3Ox structures show very good agreement with EELS, indicating that they are excellent candidates to explain the observed coherent oxygen precipitates. Incorporation of oxygen reduces the transition temperature and gives calculated TC values of 18.3 K and 1.6 K for Mg2B3O and Mg2B3O2, respectively.Comment: Submitted to PR

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

New Studies of Spectacle and Spectatorship in the United States: An Introduction

Over the last two decades, scholars from across several fields and periods have taken a renewed interest in spectacle and spectatorship. The trend has been evident among those working on the United States, where it has gathered pace in recent years, and led to a burst of new and innovative studies. This special issue, which took shape at a workshop held at the University of Manchester in 2017, convened to discuss these currents, now attempts to draw some of them together for American Studies ..

Post-translational modifications near the quinone binding site of mammalian complex I.

Complex I (NADH:ubiquinone oxidoreductase) in mammalian mitochondria is an L-shaped assembly of 44 protein subunits with one arm buried in the inner membrane of the mitochondrion and the orthogonal arm protruding about 100 Å into the matrix. The protruding arm contains the binding sites for NADH, the primary acceptor of electrons flavin mononucleotide (FMN), and a chain of seven iron-sulfur clusters that carries the electrons one at a time from FMN to a coenzyme Q molecule bound in the vicinity of the junction between the two arms. In the structure of the closely related bacterial enzyme from Thermus thermophilus, the quinone is thought to bind in a tunnel that spans the interface between the two arms, with the quinone head group close to the terminal iron-sulfur cluster, N2. The tail of the bound quinone is thought to extend from the tunnel into the lipid bilayer. In the mammalian enzyme, it is likely that this tunnel involves three of the subunits of the complex, ND1, PSST, and the 49-kDa subunit. An arginine residue in the 49-kDa subunit is symmetrically dimethylated on the ω-N(G) and ω-N(G') nitrogen atoms of the guanidino group and is likely to be close to cluster N2 and to influence its properties. Another arginine residue in the PSST subunit is hydroxylated and probably lies near to the quinone. Both modifications are conserved in mammalian enzymes, and the former is additionally conserved in Pichia pastoris and Paracoccus denitrificans, suggesting that they are functionally significant

Complementary DNA sequences of two 14.5 kDa subunits of NADH:ubiquinone oxidoreductase from bovine heart mitochondria Completion of the primary structure of the complex?

AbstractThe amino acid sequences of two nuclear-encoded subunits of complex I from bovine heart mitochondria have been determined. Both proteins have an apparent molecular weight of 14.5 kDa and their N-α-amino groups are acetylated. They are known as subunits B14.5a and B14.5b. Neither protein is evidently related to any known protein and their functions are obscure. A total of 34 nuclear-encoded subunits of bovine complex 1 have now been sequenced and it is thought that the primary structure of the complex is now complete, although with such a complicated structure it is difficult to be certain that there are no other subunits remaining to be sequenced. Seven additional hydrophobic subunits of the enzyme are encoded in mitochondrial DNA, and therefore bovine heart complex I is an assembly of about 41 different proteins. If it is assumed that there is one copy of each protein in the assembly, these polypeptides contain 7,955 amino acids in their sequences, more than are found in the Escherichia coli ribosome, which contains 7,336 amino acids in its 32 polypeptides

NDUFAF7 methylates arginine 85 in the NDUFS2 subunit of human complex I.

Complex I (NADH ubiquinone oxidoreductase) in mammalian mitochondria is an L-shaped assembly of 44 subunits. One arm is embedded in the inner membrane with the other protruding ∼100 Å into the matrix of the organelle. The extrinsic arm contains binding sites for NADH and the primary electron acceptor FMN, and it provides a scaffold for seven iron-sulfur clusters that form an electron pathway linking FMN to the terminal electron acceptor, ubiquinone, which is bound in the region of the junction between the arms. The membrane arm contains four antiporter-like domains, probably energetically coupled to the quinone site and involved in pumping protons from the matrix into the intermembrane space contributing to the proton motive force. Complex I is put together from preassembled subcomplexes. Their compositions have been characterized partially, and at least 12 extrinsic assembly factor proteins are required for the assembly of the complex. One such factor, NDUFAF7, is predicted to belong to the family of S-adenosylmethionine-dependent methyltransferases characterized by the presence in their structures of a seven-β-strand protein fold. In the present study, the presence of NDUFAF7 in the mitochondrial matrix has been confirmed, and it has been demonstrated that it is a protein methylase that symmetrically dimethylates the ω-N(G),N(G') atoms of residue Arg-85 in the NDUFS2 subunit of complex I. This methylation step occurs early in the assembly of complex I and probably stabilizes a 400-kDa subcomplex that forms the initial nucleus of the peripheral arm and its juncture with the membrane arm

Determination of Phenolic Compounds in Various Propolis Samples Collected from an African and an Asian Region and Their Impact on Antioxidant and Antibacterial Activities

The biological activities of propolis samples are the result of many bioactive compounds present in the propolis. The aim of the present study was to determine the various chemical compounds of some selected propolis samples collected from Palestine and Morocco by the High-Performance Liquid Chromatography–Photodiode Array Detection (HPLC-PDA) method, as well as the antioxidant and antibacterial activities of this bee product. The chemical analysis of propolis samples by HPLC-PDA shows the cinnamic acid content in the Palestinian sample is higher compared to that in Moroccan propolis. The results of antioxidant activity demonstrated an important free radical scavenging activity (2,2-Diphenyl-1-picrylhydrazyl (DPPH); 2,2′-azino-bis 3-ethylbenzothiazoline-6-sulphonic acid (ABTS) and reducing power assays) with EC50 values ranging between 0.02 ± 0.001 and 0.14 ± 0.01 mg/mL. Additionally, all tested propolis samples possessed a moderate antibacterial activity against bacterial strains. Notably, Minimum Inhibitory Concentrations (MICs) values ranged from 0.31 to 2.50 mg/mL for Gram-negative bacterial strains and from 0.09 to 0.125 mg/mL for Gram-positive bacterial strains. The S2 sample from Morocco and the S4 sample from Palestine had the highest content of polyphenol level. Thus, the strong antioxidant and antibacterial properties were apparently due to the high total phenolic and flavone/flavonol contents in the samples. As a conclusion, the activities of propolis samples collected from both countries are similar, while the cinnamic acid in the Palestinian samples was more than that of the Moroccan samples