On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Effects of Within-Person Variability in Spot Urinary Sodium Measurements on Associations With Blood Pressure and Cardiovascular Disease.

[Figure: see text]

Anarchy in the UK: Detailed genetic analysis of worker reproduction in a naturally occurring British anarchistic honeybee, Apis mellifera, colony using DNA microsatellites

Anarchistic behaviour is a very rare phenotype of honeybee colonies. In an anarchistic colony, many workers’ sons are reared in the presence of the queen. Anarchy has previously been described in only two Australian colonies. Here we report on a first detailed genetic analysis of a British anarchistic colony. Male pupae were present in great abundance above the queen excluder, which was clearly indicative of extensive worker reproduction and is the hallmark of anarchy. Seventeen microsatellite loci were used to analyse these male pupae, allowing us to address whether all the males were indeed workers’ sons, and how many worker patrilines and individual workers produced them. In the sample, 95 of 96 of the males were definitely workers’ sons. Given that ≈ 1% of workers’ sons were genetically indistinguishable from queen’s sons, this suggests that workers do not move any queen-laid eggs between the part of the colony where the queen is present to the area above the queen excluder which the queen cannot enter. The colony had 16 patrilines, with an effective number of patrilines of 9.85. The 75 males that could be assigned with certainty to a patriline came from 7 patrilines, with an effective number of 4.21. They were the offspring of at least 19 workers. This is in contrast to the two previously studied Australian naturally occurring anarchist colonies, in which most of the workers’ sons were offspring of one patriline. The high number of patrilines producing males leads to a low mean relatedness between laying workers and males of the colony. We discuss the importance of studying such colonies in the understanding of worker policing and its evolution

In-street wind direction variability in the vicinity of a busy intersection in central London

We present results from fast-response wind measurements within and above a busy intersection between two street canyons (Marylebone Road and Gloucester Place) in Westminster, London taken as part of the DAPPLE (Dispersion of Air Pollution and Penetration into the Local Environment; www.dapple.org.uk) 2007 field campaign. The data reported here were collected using ultrasonic anemometers on the roof-top of a building adjacent to the intersection and at two heights on a pair of lamp-posts on opposite sides of the intersection. Site characteristics, data analysis and the variation of intersection flow with the above-roof wind direction (θref) are discussed. Evidence of both flow channelling and recirculation was identified within the canyon, only a few metres from the intersection for along-street and across-street roof-top winds respectively. Results also indicate that for oblique rooftop flows, the intersection flow is a complex combination of bifurcated channelled flows, recirculation and corner vortices. Asymmetries in local building geometry around the intersection and small changes in the background wind direction (changes in 15-min mean θref of 5–10 degrees) were also observed to have profound influences on the behaviour of intersection flow patterns. Consequently, short time-scale variability in the background flow direction can lead to highly scattered in-street mean flow angles masking the true multi-modal features of the flow and thus further complicating modelling challenges

Perforin, granzyme B, and FasL expression by peripheral blood T lymphocytes in emphysema

<p>Abstract</p> <p>Background</p> <p>It is generally accepted that emphysematous lungs are characterized by an increase in the numbers of neutrophils, macrophages, and CD8⁺T lymphocytes, the lasts having increased cytotoxic activity. Because systemic inflammation is also a component of emphysema, we hypothesize that peripheral CD8⁺T lymphocytes of emphysematous smokers who show evidence of systemic inflammation will have higher expression of cytotoxic molecules.</p> <p>Methods</p> <p>We assessed parameters of systemic inflammation in normal individuals (smokers or non-smokers) and in emphysematous subjects with an active smoking history by measuring serum interleukine-6, C-reactive protein, and tumor necrosis factor. Expression of perforin, granzyme B, and FasL protein by CD8⁺T lymphocytes, CD4⁺T lymphocytes, and natural killer cells were assessed by flow cytometry while perforin, granzyme B, and FasL mRNA expression were measured on purified systemic CD8⁺T lymphocytes by real-time PCR.</p> <p>Results</p> <p>Emphysematous smokers had higher levels of serum interleukine-6 than normal subjects. Even with the presence of systemic inflammation in emphysematous smokers, the percentage of peripheral CD8⁺T lymphocytes, CD4⁺T lymphocytes, and NK cells expressing perforin and granzyme B protein was not different between the three groups.</p> <p>Conclusion</p> <p>Despite evidence of systemic inflammation, peripheral T lymphocytes of emphysematous smokers did not show higher levels of cytotoxic markers, suggesting that increase of activated T lymphocytes in the emphysematous lung may be due to either activation in the lung or specific peripheral recruitment.</p

The transition between stochastic and deterministic behavior in an excitable gene circuit

We explore the connection between a stochastic simulation model and an ordinary differential equations (ODEs) model of the dynamics of an excitable gene circuit that exhibits noise-induced oscillations. Near a bifurcation point in the ODE model, the stochastic simulation model yields behavior dramatically different from that predicted by the ODE model. We analyze how that behavior depends on the gene copy number and find very slow convergence to the large number limit near the bifurcation point. The implications for understanding the dynamics of gene circuits and other birth-death dynamical systems with small numbers of constituents are discussed.Comment: PLoS ONE: Research Article, published 11 Apr 201

Surface and Temporal Biosignatures

Recent discoveries of potentially habitable exoplanets have ignited the prospect of spectroscopic investigations of exoplanet surfaces and atmospheres for signs of life. This chapter provides an overview of potential surface and temporal exoplanet biosignatures, reviewing Earth analogues and proposed applications based on observations and models. The vegetation red-edge (VRE) remains the most well-studied surface biosignature. Extensions of the VRE, spectral "edges" produced in part by photosynthetic or nonphotosynthetic pigments, may likewise present potential evidence of life. Polarization signatures have the capacity to discriminate between biotic and abiotic "edge" features in the face of false positives from band-gap generating material. Temporal biosignatures -- modulations in measurable quantities such as gas abundances (e.g., CO2), surface features, or emission of light (e.g., fluorescence, bioluminescence) that can be directly linked to the actions of a biosphere -- are in general less well studied than surface or gaseous biosignatures. However, remote observations of Earth's biosphere nonetheless provide proofs of concept for these techniques and are reviewed here. Surface and temporal biosignatures provide complementary information to gaseous biosignatures, and while likely more challenging to observe, would contribute information inaccessible from study of the time-averaged atmospheric composition alone.Comment: 26 pages, 9 figures, review to appear in Handbook of Exoplanets. Fixed figure conversion error

Fidelity Variants of RNA Dependent RNA Polymerases Uncover an Indirect, Mutagenic Activity of Amiloride Compounds

In a screen for RNA mutagen resistance, we isolated a high fidelity RNA dependent RNA polymerase (RdRp) variant of Coxsackie virus B3 (CVB3). Curiously, this variant A372V is also resistant to amiloride. We hypothesize that amiloride has a previously undescribed mutagenic activity. Indeed, amiloride compounds increase the mutation frequencies of CVB3 and poliovirus and high fidelity variants of both viruses are more resistant to this effect. We hypothesize that this mutagenic activity is mediated through alterations in intracellular ions such as Mg2+ and Mn2+, which in turn increase virus mutation frequency by affecting RdRp fidelity. Furthermore, we show that another amiloride-resistant RdRp variant, S299T, is completely resistant to this mutagenic activity and unaffected by changes in ion concentrations. We show that RdRp variants resist the mutagenic activity of amiloride via two different mechanisms: 1) increased fidelity that generates virus populations presenting lower basal mutation frequencies or 2) resisting changes in divalent cation concentrations that affect polymerase fidelity. Our results uncover a new antiviral approach based on mutagenesis

The Genomic Signature of Crop-Wild Introgression in Maize

The evolutionary significance of hybridization and subsequent introgression has long been appreciated, but evaluation of the genome-wide effects of these phenomena has only recently become possible. Crop-wild study systems represent ideal opportunities to examine evolution through hybridization. For example, maize and the conspecific wild teosinte Zea mays ssp. mexicana, (hereafter, mexicana) are known to hybridize in the fields of highland Mexico. Despite widespread evidence of gene flow, maize and mexicana maintain distinct morphologies and have done so in sympatry for thousands of years. Neither the genomic extent nor the evolutionary importance of introgression between these taxa is understood. In this study we assessed patterns of genome-wide introgression based on 39,029 single nucleotide polymorphisms genotyped in 189 individuals from nine sympatric maize-mexicana populations and reference allopatric populations. While portions of the maize and mexicana genomes were particularly resistant to introgression (notably near known cross-incompatibility and domestication loci), we detected widespread evidence for introgression in both directions of gene flow. Through further characterization of these regions and preliminary growth chamber experiments, we found evidence suggestive of the incorporation of adaptive mexicana alleles into maize during its expansion to the highlands of central Mexico. In contrast, very little evidence was found for adaptive introgression from maize to mexicana. The methods we have applied here can be replicated widely, and such analyses have the potential to greatly informing our understanding of evolution through introgressive hybridization. Crop species, due to their exceptional genomic resources and frequent histories of spread into sympatry with relatives, should be particularly influential in these studies