Parity Problem With A Cellular Automaton Solution

The parity of a bit string of length $N$ is a global quantity that can be efficiently compute using a global counter in ${O} (N)$ time. But is it possible to find the parity using cellular automata with a set of local rule tables without using any global counter? Here, we report a way to solve this problem using a number of $r=1$ binary, uniform, parallel and deterministic cellular automata applied in succession for a total of ${O} (N^2)$ time.Comment: Revtex, 4 pages, final version accepted by Phys.Rev.

A stochastic cellular automaton model for traffic flow with multiple metastable states

A new stochastic cellular automaton (CA) model of traffic flow, which includes slow-to-start effects and a driver's perspective, is proposed by extending the Burgers CA and the Nagel-Schreckenberg CA model. The flow-density relation of this model shows multiple metastable branches near the transition density from free to congested traffic, which form a wide scattering area in the fundamental diagram. The stability of these branches and their velocity distributions are explicitly studied by numerical simulations.Comment: 11 pages, 20 figures, submitted for publicatio

Crystal structure of Schmallenberg orthobunyavirus nucleoprotein-RNA complex reveals a novel RNA sequestration mechanism

Schmallenberg virus (SBV) is a newly emerged orthobunyavirus (family Bunyaviridae) that has caused severe disease in the offspring of farm animals across Europe. Like all orthobunyaviruses, SBV contains a tripartite negative-sense RNA genome that is encapsidated by the viral nucleocapsid (N) protein in the form of a ribonucleoprotein complex (RNP). We recently reported the three-dimensional structure of SBV N that revealed a novel fold. Here we report the crystal structure of the SBV N protein in complex with a 42-nt-long RNA to 2.16 Å resolution. The complex comprises a tetramer of N that encapsidates the RNA as a cross-shape inside the protein ring structure, with each protomer bound to 11 ribonucleotides. Eight bases are bound in the positively charged cleft between the N- and C-terminal domains of N, and three bases are shielded by the extended N-terminal arm. SBV N appears to sequester RNA using a different mechanism compared with the nucleoproteins of other negative-sense RNA viruses. Furthermore, the structure suggests that RNA binding results in conformational changes of some residues in the RNA-binding cleft and the N- and C-terminal arms. Our results provide new insights into the novel mechanism of RNA encapsidation by orthobunyaviruses

Assembling the Proofs of Ordered Model Transformations

In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and post- conditions, but structurally dependent on its parent. Following the proofs-as-model-transformations approach, in this paper we consider a formalisation in Constructive Type Theory of the concepts of model and model transformation, and show how the correctness proofs of potentially large ordered model transformations can be systematically assembled from the proofs of the specifications of their parts, making them easier to derive.Comment: In Proceedings FESCA 2013, arXiv:1302.478

A polyphasic approach to study the dynamics of microbial population of an organic wheat sourdough during its conversion to gluten-free sourdough

To develop a method for organic gluten-free (GF) sourdough bread production, a long-term and original wheat sourdough was refreshed with GF flours. The dynamics of the sourdough microbiota during five months of back-slopping were analyzed by classical enumeration and molecular methods, including PCR-temporal temperature gel electrophoresis (PCR-TTGE), multiplex PCR, and pulsed field gel electrophoresis (PFGE). The results showed that the yeast counts remained constant, although Saccharomyces cerevisiae, present in the initial wheat sourdough, was no longer detected in the GF sourdough, while lactic acid bacteria (LAB) counts increased consistently. In the first phase, which was aimed at obtaining a GF sourdough from wheat sourdough, Lactobacillus sanfranciscensis, L. plantarum, and L. spicheri were the main LAB species detected. During the second phase, aimed at maintaining the GF sourdough, the L. plantarum and L. spicheri populations decreased whereas L. sanfranciscensis persisted and L. sakei became the predominant species. Multiplex PCRs also revealed the presence of several L. sakei strains in the GF sourdough. In a search for the origin of the LAB species, PCR-TTGE was performed on the flour samples but only L. sanfranciscensis was detected, suggesting a flour origin for this typical sourdough species. Thus, while replacement of the wheat flour by GF flour influenced the sourdough microbiota, some of the original sourdough LAB and yeast species remained in the GF sourdough. [Int Microbiol 2014; 17(1):1-9]Keywords: Lactobacillus spp. · Saccharomyces · Candida ·  sourdough · gluten-free food · organic · lactic acid bacteria · yeas