An automata characterisation for multiple context-free languages

We introduce tree stack automata as a new class of automata with storage and identify a restricted form of tree stack automata that recognises exactly the multiple context-free languages.Comment: This is an extended version of a paper with the same title accepted at the 20th International Conference on Developments in Language Theory (DLT 2016

Femtoscopy in Relativistic Heavy Ion Collisions: Two Decades of Progress

Analyses of two-particle correlations have provided the chief means for determining spatio-temporal characteristics of relativistic heavy ion collisions. We discuss the theoretical formalism behind these studies and the experimental methods used in carrying them out. Recent results from RHIC are put into context in a systematic review of correlation measurements performed over the past two decades. The current understanding of these results is discussed in terms of model comparisons and overall trends.Comment: 49 pages, 16 figures; to appear in Annual Review of Nuclear and Particle Science; final version includes minor updates in text, a few references added, and two figures updated; Figures and numerical data tables available at http://www.physics.ohio-state.edu/~lisa/FemtoscopyReview2005

InDubio: a combinator library to disambiguate ambiguous grammars

First Online: 29 September 2020To infer an abstract model from source code is one of the main tasks of most software quality analysis methods. Such abstract model is called Abstract Syntax Tree and the inference task is called parsing. A parser is usually generated from a grammar specification of a (programming) language and it converts source code of that language into said abstract tree representation. Then, several techniques traverse this tree to assess the quality of the code (for example by computing source code metrics), or by building new data structures (e.g, flow graphs) to perform further analysis (such as, code cloning, dead code, etc). Parsing is a well established technique. In recent years, however, modern languages are inherently ambiguous which can only be fully handled by ambiguous grammars. In this setting disambiguation rules, which are usually included as part of the grammar specification of the ambiguous language, need to be defined. This approach has a severe limitation: disambiguation rules are not first class citizens. Parser generators offer a small set of rules that can not be extended or changed. Thus, grammar writers are not able to manipulate nor define a new specific rule that the language he is considering requires. In this paper we present a tool, name InDubio, that consists of an extensible combinator library of disambiguation filters together with a generalized parser generator for ambiguous grammars. InDubio defines a set of basic disambiguation rules as abstract syntax tree filters that can be combined into more powerful rules. Moreover, the filters are independent of the parser generator and parsing technology, and consequently, they can be easily extended and manipulated. This paper presents InDubio in detail and also presents our first experimental results.- (undefined

Alternative splicing modifies the effect of mutations in COL11A1 and results in recessive type 2 Stickler syndrome with profound hearing loss.

BACKGROUND: Stickler syndromes types 1, 2 and 3 are usually dominant disorders caused by mutations in the genes COL2A1, COL11A1 and COL11A2 that encode the fibrillar collagens types II and XI present in cartilage and vitreous. Rare recessive forms of Stickler syndrome exist that are due to mutations in genes encoding type IX collagen (COL9A1 type 4 Stickler syndrome and COL9A2 type 5 Stickler syndrome). Recently, recessive mutations in the COL11A1 gene have been demonstrated to result in fibrochondrogenesis, a much more severe skeletal dysplasia, which is often lethal. Here we demonstrate that some mutations in COL11A1 are recessive, modified by alternative splicing and result in type 2 Stickler syndrome rather than fibrochondrogenesis. METHODS: Patients referred to the national Stickler syndrome diagnostic service for England, UK were assessed clinically and subsequently sequenced for mutations in COL11A1. Additional in silico and functional studies to assess the effect of sequence variants on pre-mRNA processing and collagen structure were performed. RESULTS: In three different families, heterozygous COL11A1 biallelic null, null/missense or silent/missense mutations, were found. They resulted in a recessive form of type 2 Stickler syndrome characterised by particularly profound hearing loss and are clinically distinct from the recessive types 4 and 5 variants of Stickler syndrome. One mutant allele in each family is capable of synthesising a normal α1(XI) procollagen molecule, via variable pre-mRNA processing. CONCLUSION: This new variant has important implications for molecular diagnosis and counselling families with type 2 Stickler syndrome

Misconceptions about Aerobic and Anaerobic Energy Expenditure

The measurement of gas exchange has played an invaluable role in metabolic interpretation. The uptake of 1 liter of oxygen is often converted into an energy expenditure estimate of 21.1 kilojoules (e.g., 1 L O2 = 21.1 kJ or ~5 kcal). This article demonstrates both the importance of such a conversion and the potential for misinterpretation. Oxygen uptake during heavy and severe exercise will also be discussed

An explanation for a universality of transition temperatures in families of copper oxide superconductors

A remarkable mystery of the copper oxide high-transition-temperature (Tc) superconductors is the dependence of Tc on the number of CuO2 layers, n, in the unit cell of a crystal. In a given family of these superconductors, Tc rises with the number of layers, reaching a peak at n=3, and then declines: the result is a bell-shaped curve. Despite the ubiquity of this phenomenon, it is still poorly understood and attention has instead been mainly focused on the properties of a single CuO2 plane. Here we show that the quantum tunnelling of Cooper pairs between the layers simply and naturally explains the experimental results, when combined with the recently quantified charge imbalance of the layers and the latest notion of a competing order nucleated by this charge imbalance that suppresses superconductivity. We calculate the bell-shaped curve and show that, if materials can be engineered so as to minimize the charge imbalance as n increases, Tc can be raised further.Comment: 15 pages, 3 figures. The version published in Natur

Domestic horses (Equus caballus) discriminate between negative and positive human nonverbal vocalisations

The ability to discriminate between emotion in vocal signals is highly adaptive in social species. It may also be adaptive for domestic species to distinguish such signals in humans. Here we present a playback study investigating whether horses spontaneously respond in a functionally relevant way towards positive and negative emotion in human nonverbal vocalisations. We presented horses with positively- and negatively-valenced human vocalisations (laughter and growling, respectively) in the absence of all other emotional cues. Horses were found to adopt a freeze posture for significantly longer immediately after hearing negative versus positive human vocalisations, suggesting that negative voices promote vigilance behaviours and may therefore be perceived as more threatening. In support of this interpretation, horses held their ears forwards for longer and performed fewer ear movements in response to negative voices, which further suggest increased vigilance. In addition, horses showed a right-ear/left-hemisphere bias when attending to positive compared with negative voices, suggesting that horses perceive laughter as more positive than growling. These findings raise interesting questions about the potential for universal discrimination of vocal affect and the role of lifetime learning versus other factors in interspecific communication