Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Dependency quantified Boolean formulas (DQBF) and QBF dependency schemes have been treated separately in the literature, even though both treatments extend QBF by replacing the linear order of the quantifier prefix with a partial order. We propose to merge the two, by reinterpreting a dependency scheme as a mapping from QBF into DQBF. Our approach offers a fresh insight on the nature of soundness in proof systems for QBF with dependency schemes, in which a natural property called ‘full exhibition’ is central. We apply our approach to QBF proof systems from two distinct paradigms, termed ‘universal reduction’ and ‘universal expansion’. We show that full exhibition is sufficient (but not necessary) for soundness in universal reduction systems for QBF with dependency schemes, whereas for expansion systems the same property characterises soundness exactly. We prove our results by investigating DQBF proof systems, and then employing our reinterpretation of dependency schemes. Finally, we show that the reflexive resolution path dependency scheme is fully exhibited, thereby proving a conjecture of Slivovsky

SUSTAIN drilling at Surtsey volcano, Iceland, tracks hydrothermal and microbiological interactions in basalt 50 years after eruption

The 2017 Surtsey Underwater volcanic System for Thermophiles, Alteration processes and INnovative concretes (SUSTAIN) drilling project at Surtsey volcano, sponsored in part by the International Continental Scientific Drilling Program (ICDP), provides precise observations of the hydrothermal, geochemical, geomagnetic, and microbiological changes that have occurred in basaltic tephra and minor intrusions since explosive and effusive eruptions produced the oceanic island in 1963–1967. Two vertically cored boreholes, to 152 and 192 m below the surface, were drilled using filtered, UV-sterilized seawater circulating fluid to minimize microbial contamination. These cores parallel a 181 m core drilled in 1979. Introductory investigations indicate changes in material properties and whole-rock compositions over the past 38 years. A Surtsey subsurface observatory installed to 181 m in one vertical borehole holds incubation experiments that monitor in situ mineralogical and microbial alteration processes at 25–124 ∘C. A third cored borehole, inclined 55∘ in a 264∘ azimuthal direction to 354 m measured depth, provides further insights into eruption processes, including the presence of a diatreme that extends at least 100 m into the seafloor beneath the Surtur crater. The SUSTAIN project provides the first time-lapse drilling record into a very young oceanic basaltic volcano over a range of temperatures, 25–141 ∘C from 1979 to 2017, and subaerial and submarine hydrothermal fluid compositions. Rigorous procedures undertaken during the drilling operation protected the sensitive environment of the Surtsey Natural Preserve

Evolutionary Origins and Functions of the Carotenoid Biosynthetic Pathway in Marine Diatoms

Carotenoids are produced by all photosynthetic organisms, where they play essential roles in light harvesting and photoprotection. The carotenoid biosynthetic pathway of diatoms is largely unstudied, but is of particular interest because these organisms have a very different evolutionary history with respect to the Plantae and are thought to be derived from an ancient secondary endosymbiosis between heterotrophic and autotrophic eukaryotes. Furthermore, diatoms have an additional xanthophyll-based cycle for dissipating excess light energy with respect to green algae and higher plants. To explore the origins and functions of the carotenoid pathway in diatoms we searched for genes encoding pathway components in the recently completed genome sequences of two marine diatoms. Consistent with the supplemental xanthophyll cycle in diatoms, we found more copies of the genes encoding violaxanthin de-epoxidase (VDE) and zeaxanthin epoxidase (ZEP) enzymes compared with other photosynthetic eukaryotes. However, the similarity of these enzymes with those of higher plants indicates that they had very probably diversified before the secondary endosymbiosis had occurred, implying that VDE and ZEP represent early eukaryotic innovations in the Plantae. Consequently, the diatom chromist lineage likely obtained all paralogues of ZEP and VDE genes during the process of secondary endosymbiosis by gene transfer from the nucleus of the algal endosymbiont to the host nucleus. Furthermore, the presence of a ZEP gene in Tetrahymena thermophila provides the first evidence for a secondary plastid gene encoded in a heterotrophic ciliate, providing support for the chromalveolate hypothesis. Protein domain structures and expression analyses in the pennate diatom Phaeodactylum tricornutum indicate diverse roles for the different ZEP and VDE isoforms and demonstrate that they are differentially regulated by light. These studies therefore reveal the ancient origins of several components of the carotenoid biosynthesis pathway in photosynthetic eukaryotes and provide information about how they have diversified and acquired new functions in the diatoms

Cleaner burning aviation fuels can reduce contrail cloudiness

Contrail cirrus account for the major share of aviation’s climate impact. Yet, the links between jet fuel composition, contrail microphysics and climate impact remain unresolved. Here we present unique observations from two DLR-NASA aircraft campaigns that measured exhaust and contrail characteristics of an Airbus A320 burning either standard jet fuels or low aromatic sustainable aviation fuel blends. Our results show that soot particles can regulate the number of contrail cirrus ice crystals for current emission levels. We provide experimental evidence that burning low aromatic sustainable aviation fuel can result in a 50 to 70% reduction in soot and ice number concentrations and an increase in ice crystal size. Reduced contrail ice numbers cause less energy deposition in the atmosphere and less warming. Meaningful reductions in aviation’s climate impact could therefore be obtained from the widespread adoptation of low aromatic fuels, and from regulations to lower the maximum aromatic fuel content

Nimodipine Exerts Time-Dependent Neuroprotective Effect after Excitotoxical Damage in Organotypic Slice Cultures

During injuries in the central nervous system, intrinsic protective processes become activated. However, cellular reactions, especially those of glia cells, are frequently unsatisfactory, and further exogenous protective mechanisms are necessary. Nimodipine, a lipophilic L-type calcium channel blocking agent is clinically used in the treatment of aneurysmal subarachnoid haemorrhage with neuroprotective effects in different models. Direct effects of nimodipine on neurons amongst others were observed in the hippocampus as well as its influence on both microglia and astrocytes. Earlier studies proposed that nimodipine protective actions occur not only via calcium channel-mediated vasodilatation but also via further time-dependent mechanisms. In this study, the effect of nimodipine application was investigated in different time frames on neuronal damage in excitotoxically lesioned organotypic hippocampal slice cultures. Nimodipine, but not nifedipine if pre-incubated for 4 h or co-applied with NMDA, was protective, indicating time dependency. Since blood vessels play no significant role in our model, intrinsic brain cell-dependent mechanisms seems to strongly be involved. We also examined the effect of nimodipine and nifedipine on microglia survival. Nimodipine seem to be a promising agent to reduce secondary damage and reduce excitotoxic damage

Variants of Oxidized Regenerated Cellulose and Their Distinct Effects on Neuronal Tissue

Based on oxidized regenerated cellulose (ORC), several hemostyptic materials, such as Tabotamp®, Equicel® and Equitamp®, have been developed to approach challenging hemostasis in neurosurgery. The present study compares ORC that differ in terms of compositions and properties, regarding their structure, solubility, pH values and effects on neuronal tissue. Cytotoxicity was detected via DNA-binding fluorescence dye in Schwann cells, astrocytes, and neuronal cells. Additionally, organotypic hippocampal slice cultures (OHSC) were analyzed, using propidium iodide, hematoxylin-eosin, and isolectin B4 staining to investigate the cellular damage, cytoarchitecture, and microglia activation. Whereas Equicel® led to a neutral pH, Tabotamp® (pH 2.8) and Equitamp® (pH 4.8) caused a significant reduction of pH (p < 0.001). Equicel® and Tabotamp® increased cytotoxicity significantly in several cell lines (p < 0.01). On OHSC, Tabotamp® and Equicel® led to a stronger and deeper damage to the neuronal tissue than Equitamp® or gauze (p < 0.01). Equicel® increased strongly the number of microglia cells after 24 h (p < 0.001). Microglia cells were not detectable after Tabotamp® treatment, presumably due to an artifact caused by strong pH reduction. In summary, our data imply the use of Equicel®, Tabotamp® or Equitamp® for specific applications in distinct clinical settings depending on their localization or tissue properties