230 research outputs found

    The Complexity of Flat Freeze LTL

    Get PDF
    We consider the model-checking problem for freeze LTL on one-counter automata (OCAs). Freeze LTL extends LTL with the freeze quantifier, which allows one to store different counter values of a run in registers so that they can be compared with one another. As the model-checking problem is undecidable in general, we focus on the flat fragment of freeze LTL, in which the usage of the freeze quantifier is restricted. Recently, Lechner et al. showed that model checking for flat freeze LTL on OCAs with binary encoding of counter updates is decidable and in 2NEXPTIME. In this paper, we prove that the problem is, in fact, NEXPTIME-complete no matter whether counter updates are encoded in unary or binary. Like Lechner et al., we rely on a reduction to the reachability problem in OCAs with parameterized tests (OCAPs). The new aspect is that we simulate OCAPs by alternating two-way automata over words. This implies an exponential upper bound on the parameter values that we exploit towards an NP algorithm for reachability in OCAPs with unary updates. We obtain our main result as a corollary

    Synechocystis sp. PCC 6803 Requires the Bidirectional Hydrogenase to Metabolize Glucose and Arginine Under Oxic Conditions

    Get PDF
    The cyanobacterium Synechocystis sp.PCC 6803 possesses a bidirectional NiFe-hydrogenase, HoxEFUYH. It functions to produce hydrogen under dark, fermentative conditions and photoproduces hydrogen when dark-adapted cells are illuminated. Unexpectedly, we found that the deletion of the large subunit of the hydrogenase (HoxH) in Synechocystis leads to an inability to grow on arginine and glucose under continuous light in the presence of oxygen. This is surprising, as the hydrogenase is an oxygen-sensitive enzyme. In wild-type (WT) cells, thylakoid membranes largely disappeared, cyanophycin accumulated, and the plastoquinone (PQ) pool was highly reduced, whereas ΔhoxH cells entered a dormant-like state and neither consumed glucose nor arginine at comparable rates to the WT. Hydrogen production was not traceable in the WT under these conditions. We tested and could show that the hydrogenase does not work as an oxidase on arginine and glucose but has an impact on the redox states of photosynthetic complexes in the presence of oxygen. It acts as an electron valve as an immediate response to the supply of arginine and glucose but supports the input of electrons from arginine and glucose oxidation into the photosynthetic electron chain in the long run, possibly via the NDH-1 complex. Despite the data presented in this study, the latter scenario requires further proof. The exact role of the hydrogenase in the presence of arginine and glucose remains unresolved. In addition, a unique feature of the hydrogenase is its ability to shift electrons between NAD(H), NADP(H), ferredoxin, and flavodoxin, which was recently shown in vitro and might be required for fine-tuning. Taken together, our data show that Synechocystis depends on the hydrogenase to metabolize organic carbon and nitrogen in the presence of oxygen, which might be an explanation for its prevalence in aerobic cyanobacteria

    Application of numerical methods in the study operational characteristics of the combustion chamber (pumping unit GPA-16U) at different loads

    Get PDF
    We report on X-ray resonance exchange and neutron scattering of metallic GdS. At the LII and LIII absorption edges of Gd, resonance enhancements of more than two orders of magnitude over the non-resonant magnetic scattering are observed. Polarisation analysis proves that these enhancements are due to dipolar transitions from the 2p to the 5d states. The branching ratio between the LII and LIII edges of 2.5 suggests a polarisation of the 5d electrons in the ground state. The antiferromagnetic order is of type II in the fcc lattice. Single crystal diffraction of hot neutrons suggests that the spin direction lies within the (111) planes with a value for the sublattice magnetisation of 6.51(3) μB\mu_{\rm B}. The critical exponent for the sublattice magnetisation has a value of β=0.38(2)\beta = 0.38(2) in agreement with a pure Heisenberg model. Above TN, a sharp component persists in the critical diffuse scattering. Lattice distortions give indications for two additional low-temperature phase transitions at about 49 K and 32 K. We argue that these transitions are not connected to spin reorientations and discuss the possible influence of fourth-order exchange interactions

    Identifying Human Disease Genes through Cross-Species Gene Mapping of Evolutionary Conserved Processes

    Get PDF
    Understanding complex networks that modulate development in humans is hampered by genetic and phenotypic heterogeneity within and between populations. Here we present a method that exploits natural variation in highly diverse mouse genetic reference panels in which genetic and environmental factors can be tightly controlled. The aim of our study is to test a cross-species genetic mapping strategy, which compares data of gene mapping in human patients with functional data obtained by QTL mapping in recombinant inbred mouse strains in order to prioritize human disease candidate genes.We exploit evolutionary conservation of developmental phenotypes to discover gene variants that influence brain development in humans. We studied corpus callosum volume in a recombinant inbred mouse panel (C57BL/6J×DBA/2J, BXD strains) using high-field strength MRI technology. We aligned mouse mapping results for this neuro-anatomical phenotype with genetic data from patients with abnormal corpus callosum (ACC) development.).This approach that exploits highly diverse mouse strains provides an efficient and effective translational bridge to study the etiology of human developmental disorders, such as autism and schizophrenia

    CTCF variants in 39 individuals with a variable neurodevelopmental disorder broaden the mutational and clinical spectrum

    Get PDF
    Purpose: Pathogenic variants in the chromatin organizer CTCF were previously reported in seven individuals with a neurodevelopmental disorder (NDD). Methods: Through international collaboration we collected data from 39 subjects with variants in CTCF. We performed transcriptome analysis on RNA from blood samples and utilized Drosophila melanogaster to investigate the impact of Ctcf dosage alteration on nervous system development and function. Results: The individuals in our cohort carried 2 deletions, 8 likely gene-disruptive, 2 splice-site, and 20 different missense variants, most of them de novo. Two cases were familial. The associated phenotype was of variable severity extending from mild developmental delay or normal IQ to severe intellectual disability. Feeding difficulties and behavioral abnormalities were common, and variable other findings including growth restriction and cardiac defects were observed. RNA-sequencing in five individuals identified 3828 deregulated genes enriched for known NDD genes and biological processes such as transcriptional regulation. Ctcf dosage alteration in Drosophila resulted in impaired gross neurological functioning and learning and memory deficits. Conclusion: We significantly broaden the mutational and clinical spectrum of CTCF-associated NDDs. Our data shed light onto the functional role of CTCF by identifying deregulated genes and show that Ctcf alterations result in nervous system defects in Drosophila.Peer reviewe
    corecore