2,849 research outputs found
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
- …