A polynomial procedure for trimming visibly pushdown automata

We describe a polynomial procedure which, given a visibly pushdown automaton that accepts only well-nested words, returns an equivalent visibly pushdown automaton that is trimmed. We also show that this procedure can be applied to weighted visibly pushdown automata such as visibly pushdown transducers

Trimming Visibly Pushdown Automata

Abstract We study the problem of trimming visibly pushdown automata (VPA). We first describe a polynomial time procedure which, given a visibly pushdown automaton that accepts only well-nested words, returns an equivalent visibly pushdown automaton that is trimmed. We then show how this procedure can be lifted to the setting of arbitrary VPA. Furthermore, we present a way of building, given a VPA, an equivalent VPA which is both deterministic and trimmed. Last, our trimming procedures can be applied to weighted VPA

A sensitivity study of the neutral-neutral reactions C + C3 and C + C5 in cold dense interstellar clouds

Chemical networks used for models of interstellar clouds contain many reactions, some of them with poorly determined rate coefficients and/or products. In this work, we report a method for improving the predictions of molecular abundances using sensitivity methods and ab initio calculations. Based on the chemical network osu.2003, we used two different sensitivity methods to determine the most important reactions as a function of time for models of dense cold clouds. Of these reactions, we concentrated on those between C and C3 and between C and C5, both for their effect on specific important species such as CO and for their general effect on large numbers of species. We then used ab initio and kinetic methods to determine an improved rate coefficient for the former reaction and a new set of products, plus a slightly changed rate coefficient for the latter. Putting our new results in a pseudo-time-dependent model of cold dense clouds, we found that the abundances of many species are altered at early times, based on large changes in the abundances of CO and atomic C. We compared the effect of these new rate coefficients/products on the comparison with observed abundances and found that they shift the best agreement from 3e4 yr to (1-3)e5 yr

Variability of the western Mediterranean Sea surface temperature during the last 25,000 years and its connection with the Northern Hemisphere climatic changes

Sea surface temperature (SST) profiles over the last 25 kyr derived from alkenone measurements are studied in four cores from a W-E latitudinal transect encompassing the Gulf of Cadiz (Atlantic Ocean), the Alboran Sea, and the southern Tyrrhenian Sea (western Mediterranean). The results document the sensitivity of the Mediterranean region to the short climatic changes of the North Atlantic Ocean, particularly those involving the latitudinal position of the polar front. The amplitude of the SST oscillations increases toward the Tyrrhenian Sea, indicating an amplification effect of the Atlantic signal by the climatic regime of the Mediterranean region. All studied cores show a shorter cooling phase (700 years) for the Younger Dryas (YD) than that observed in the North Atlantic region (1200 years). This time diachroneity is related to an intra-YD climatic change documented in the European continent. Minor oscillations in the southward displacement of the North Atlantic polar front may also have driven this early warming in the studied area. During the Holocene a regional diachroneity propagating west to east is observed for the SST maxima, 11.5-10.2 kyr B.P. in the Gulf of Cadiz, 10-9 kyr B.P. in the Alboran Sea, and 8.9-8.4 kyr B.P. in the Thyrrenian Sea. A general cooling trend from these SST maxima to present day is observed during this stage, which is marked by short cooling oscillations with a periodicity of 730±40 years and its harmonics

A new multi-proxy investigation of Late Quaternary palaeoenvironments along the north-western Barents Sea (Storfjorden Trough Mouth Fan)

A new integrated micropalaeontological study on planktonic and benthic foraminifera, calcareous nannofossils and diatoms was performed on three sediment cores from the Storfjorden Trough Mouth Fan to reconstruct the Late Quaternary palaeoenvironmental and climatic history. Two main intervals were discussed: the last deglaciation (16.2\u201311.7 ka BP) and the Holocene. The age model relies on palaeomagnetic parameters together with 10 radiocarbon dates. Deglacial sediments had largely diluted the biogenic content which was scarce and poorly preserved. The first occurrence of Cibicidoides wuellerstorfi (benthic foraminifer), together with Turborotalita quinqueloba (planktonic foraminifer) and Coscinodiscus spp. (diatoms) at 11.3 ka BP followed the end of the Younger Dryas cold event and marked the beginning of the early Holocene warm period. Diatoms and planktonic foraminifers indicated a warming of the surface water from 10.5 to 9.2 ka BP, identifying the Holocene Thermal Maximum event. Bottom water fauna registered these warming conditions less clearly. Cooling events were identified during the Holocene, in particular the 8.2 ka BP event and the Neoglacial between 3.2 and 2 ka BP, as shown by the presence of cold-water taxa such as Gephyrocapsa muellerae (nannoplankton) and Neogloboquadrina pachyderma (planktonic foraminifer). These events were influenced by sea ice extent, cold or relatively warm current influxes

Review of the late Quaternary stratigraphy of the northern Gulf of Cadiz continental margin:New insights into controlling factors and global implications

Over the past decades, the northern Gulf of Cadiz has been the focus of a wide range of late Quaternary seismic and sequence stratigraphic studies, either addressing the slope contourite depositional system (CDS), or the development of the continental shelf. Yet, high-resolution seismic data bridging between these domains and age information have remained sparse. This study, based on new high-resolution reflection seismic profiles calibrated to IODP Expedition 339 sites U1386/U1387, now presents an updated stratigraphic framework, that integrates (for the first time) the late Quaternary records of the northern Gulf of Cadiz middle slope to shelf off the Guadiana River. Seismic stratigraphic analysis of the stacking, depocenter distribution, stratal architecture and facies of the seismic (sub-)units reveals the influence of similar to 100 kyr sea-level variations paced by Milankovitch (eccentricity) cycles, tectonics (manifesting as two pulses of uplift and margin progradation), sediment supply and bottom current activity. This work furthermore contributes to the application and understanding of high-resolution, late Quaternary sequence stratigraphy. Firstly, the proposed sequence stratigraphic interpretation shows that adaptations to the basic models are required to integrate the shelf and slope record, and to account for the presence of a significant alongslope (bottom current-controlled) component. Secondly, the results confirm that the sequences are dominantly composed of regressive deposits, whereas the preservation of transgressive to highstand deposits is more irregular. Significantly, the common assumption that successive major glacial lowstands are consistently recorded as well-marked, shelf-wide erosional unconformities, is demonstrated to be occasionally invalid, as tectonics can obliterate this one-to-one relationship

Equivalence Problems for Tree Transducers: A Brief Survey

The decidability of equivalence for three important classes of tree transducers is discussed. Each class can be obtained as a natural restriction of deterministic macro tree transducers (MTTs): (1) no context parameters, i.e., top-down tree transducers, (2) linear size increase, i.e., MSO definable tree transducers, and (3) monadic input and output ranked alphabets. For the full class of MTTs, decidability of equivalence remains a long-standing open problem.Comment: In Proceedings AFL 2014, arXiv:1405.527

Autoantibodies against type I IFNs in patients with life-threatening COVID-19

Interindividual clinical variability in the course of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infection is vast. We report that at least 101 of 987 patients with life-threatening coronavirus disease 2019 (COVID-19) pneumonia had neutralizing immunoglobulin G (IgG) autoantibodies (auto-Abs) against interferon-w (IFN-w) (13 patients), against the 13 types of IFN-a (36), or against both (52) at the onset of critical disease; a few also had auto-Abs against the other three type I IFNs. The auto-Abs neutralize the ability of the corresponding type I IFNs to block SARS-CoV-2 infection in vitro. These auto-Abs were not found in 663 individuals with asymptomatic or mild SARS-CoV-2 infection and were present in only 4 of 1227 healthy individuals. Patients with auto-Abs were aged 25 to 87 years and 95 of the 101 were men. A B cell autoimmune phenocopy of inborn errors of type I IFN immunity accounts for life-threatening COVID-19 pneumonia in at least 2.6% of women and 12.5% of men