Stuttering equivalence is too slow!

Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence, acclaimed to run in $\mathcal{O}(m \log n)$ time. Unfortunately, the algorithm does not always meet the acclaimed running time. In this paper, we present two counterexamples where the algorithms uses $\Omega(md)$ time. A third example shows that the correction is not trivial. In order to analyse the problem we present pseudocode of the algorithm, and indicate the time that can be spent on each part of the algorithm in order to meet the desired bound. We also propose fixes to the algorithm such that it indeed runs in $\mathcal{O}(m \log n)$ time.Comment: 11 page

A primer on cointegration with an application to money and income

Money theory ; Income ; Cointegration

Molecular abundances and low-mass star formation. I: Si- and S-bearing species toward IRAS 16293-2422

Results from millimeter and submillimeter spectral line surveys of the protobinary source IRAS 16293-2422 are presented. Here we outline the abundances of silicon- and sulfur-containing species. A combination of rotation diagram and full statistical equilibrium/radiative transfer calculations is used to constrain the physical conditions toward IRAS 16293 and to construct its beam-averaged chemical composition over a 10-20" (1600-3200 AU) scale. The chemical complexity as judged by species such as SiO, OCS, and H_2S, is mtermedtate between that of dark molecular clouds such as Ll34N and hot molecular cloud cores such as Orion KL. From the richness of the spectra compared to other young stellar objects of similar luminosity, it is clear that molecular abundances do not scale simply with mass; rather, the chemistry is a strong function of evolutionary state, i.e., age

Reverse genetics in Candida albicans predicts ARF cycling is essential for drug resistance and virulence

Peer reviewedPublisher PD

Interstellar Carbon in Translucent Sightlines

We report interstellar C II column densities or upper limits determined from weak absorption of the 2325.4029 A intersystem transition observed in six translucent sightlines with STIS. The sightlines sample a wide range of interstellar characteristics including total-to-selective extinction, R_{V} = 2.6 - 5.1; average hydrogen density along the sightline, = 3 - 14 cm^{-3}; and fraction of H in molecular form, 0 - 40%. Four of the sightlines, those toward HD 37021, HD 37061, HD 147888 and HD 207198, have interstellar gas-phase abundances that are consistent with the diffuse sightline ratio of 161 +/- 17 carbon atoms in the gas per million hydrogen nuclei. We note that while it has a gas-phase carbon abundance that is consistent with the other sightlines, a large fraction of the C II toward HD 37061 is in an excited state. The sightline toward HD 152590 has a measured interstellar gas-phase carbon abundance that is well above the diffuse sightline average; the column density of C in this sightline may be overestimated due to noise structure in the data. Toward HD 27778 we find a 3 sigma abundance upper limit of <108 C atoms in the gas per million H, a substantially enhanced depletion of C as compared to the diffuse sightline value. The interstellar characteristics toward HD 27778 are otherwise not extreme among the sample except for an unusually large abundance of CO molecules in the gas.Comment: Accepted for publication in the Astrophysical Journa

Trained immunity or tolerance : opposing functional programs induced in human monocytes after engagement of various pattern recognition receptors

Article Accepted Date: 29 January 2014. ACKNOWLEDGMENTS D.C.I. received funding from the European Union's Seventh Framework Programme (FP7/2007-2013) under grant agreement HEALTH-2010-260338 (“Fungi in the setting of inflammation, allergy and autoimmune diseases: translating basic science into clinical practices” [ALLFUN]) (awarded to M.G.N.). M.G.N. and J.Q. were supported by a Vici grant of the Netherlands Organization of Scientific Research (awarded to M.G.N.). This work was supported, in part, by National Institutes of Health grant GM53522 to D.L.W. N.A.R.G. was supported by the Wellcome Trust.Peer reviewedPublisher PD

Sussex by the sea: a descriptive analysis of dialect variation in the South East of England based on English Dialect App data

Dialects in the South East of England are very often perceived as one homogenous mass, without much regional variation. Rosewarne introduced the notion of Estuary English and defined it as ‘variety of modified regional speech [ . . . ] a mixture of non-regional and local south-eastern English pronunciation and intonation’ (Rosewarne, 1984). However, studies such as Przedlacka (2001) and Torgersen & Kerswill (2004) have shown that, at least on the phonetic level, distinct varieties exist. Nevertheless, very few studies have investigated language use in the South East and even fewer in the county of Sussex. It is often claimed that there is no distinct Sussex dialect (Coates, 2010: 29). Even in the earliest works describing the dialect of the area (Wright, 1903) there are suggestions that it cannot be distinguished from Hampshire in the west and Kent in the east

Atlantic Ocean thermohaline circulation changes on orbital to suborbital timescales during the mid-Pleistocene

Mid-Pleistocene benthic ∂18O and ∂13C time series from the North Atlantic site 983 and Ceara Rise site 928 are compared to an array of existing isotopic records spanning the Atlantic basin and the geographic extremes of the North Atlantic Deep Water/Southern Ocean Water interface during both glacial and interglacial periods. This comparison allows the persistent millennial-scale intermediate depth North Atlantic ventilation changes recorded at site 983 to be placed within the context of the longer period water mass reorganizations taking place throughout the mid-Pleistocene. Our benthic ∂13C results suggest that the intermediate depth North Atlantic experienced millennial-scale changes in ventilation throughout the mid-Pleistocene climate shift. The times of poorest ventilation (low benthic ∂13C) persisted for only a few millennia and were associated with rapid decreases in benthic ∂18O, suggesting that ice sheet decay and melt water induced salinity changes were effective at throttling deep water production in the North Atlantic throughout the mid-Pleistocene. Similar but less pronounced decreases in the ∂13C of the middepth waters also punctuated interglacials, suggesting that large ice sheet fluctuations do not explain all of the observed thermohaline circulation mode shifts in the North Atlantic. Meanwhile, on orbital timescales, glacial deep to intermediate water ∂13C gradients evolved after ~0.95 Ma. Taken together, these observations provide a number of new constraints for understanding the timing and evolution of deep water circulation changes across the mid-Pleistocene

Prevalence of paratuberculosis in the dairy goat and dairy sheep industries in Ontario, Canada

A cross-sectional study was undertaken (October 2010 to August 2011) to estimate the prevalence of paratuberculosis in the small ruminant dairy industries in Ontario, Canada. Blood and feces were sampled from 580 goats and 397 sheep (lactating and 2 y of age or older) that were randomly selected from 29 randomly selected dairy goat herds and 21 convenience-selected dairy sheep flocks. Fecal samples were analyzed using bacterial culture (BD BACTEC MGIT 960) and polymerase chain reaction (Tetracore); serum samples were tested with the Prionics Parachek enzyme-linked immunosorbent assay (ELISA). Using 3-test latent class Bayesian models, true farm-level prevalence was estimated to be 83.0% [95% probability interval (PI): 62.6% to 98.1%] for dairy goats and 66.8% (95% PI: 41.6% to 91.4%) for dairy sheep. The within-farm true prevalence for dairy goats was 35.2% (95% PI: 23.0% to 49.8%) and for dairy sheep was 48.3% (95% PI: 27.6% to 74.3%). These data indicate that a paratuberculosis control program for small ruminants is needed in Ontario