Vectorial Languages and Linear Temporal Logic

International audienceDetermining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main difficulty is to do this computation efficiently, especially when dealing with very large texts. Considering words as vectors and working on them using vectorial (parallel) operations allows to solve the problem faster than in linear time using sequential computations. In this paper, we show first that the set of vectorial operations needed by an algorithm representing a given automaton depends only on the language accepted by the automaton. We give precise characterizations of vectorial algorithms for star-free, solvable and regular languages in terms of the vectorial operations allowed. We also consider classes of languages associated with restricted sets of vectorial operations and relate them with languages defined by fragments of linear temporal logic. Finally, we consider the converse problem of constructing an automaton from a given vectorial algorithm. As a byproduct, we show that the satisfiability problem for some extensions of linear-time temporal logic characterizing solvable and regular languages is PSPACE-complete

Predicted Impact of Barriers to Migration on the Serengeti Wildebeest Population

The Serengeti wildebeest migration is a rare and spectacular example of a once-common biological phenomenon. A proposed road project threatens to bisect the Serengeti ecosystem and its integrity. The precautionary principle dictates that we consider the possible consequences of a road completely disrupting the migration. We used an existing spatially-explicit simulation model of wildebeest movement and population dynamics to explore how placing a barrier to migration across the proposed route (thus creating two disjoint but mobile subpopulations) might affect the long-term size of the wildebeest population. Our simulation results suggest that a barrier to migration—even without causing habitat loss—could cause the wildebeest population to decline by about a third. The driver of this decline is the effect of habitat fragmentation (even without habitat loss) on the ability of wildebeest to effectively track temporal shifts in high-quality forage resources across the landscape. Given the important role of the wildebeest migration for a number of key ecological processes, these findings have potentially important ramifications for ecosystem biodiversity, structure, and function in the Serengeti

MAP4 Mechanism that Stabilizes Mitochondrial Permeability Transition in Hypoxia: Microtubule Enhancement and DYNLT1 Interaction with VDAC1

Mitochondrial membrane permeability has received considerable attention recently because of its key role in apoptosis and necrosis induced by physiological events such as hypoxia. The manner in which mitochondria interact with other molecules to regulate mitochondrial permeability and cell destiny remains elusive. Previously we verified that hypoxia-induced phosphorylation of microtubule-associated protein 4 (MAP4) could lead to microtubules (MTs) disruption. In this study, we established the hypoxic (1% O2) cell models of rat cardiomyocytes, H9c2 and HeLa cells to further test MAP4 function. We demonstrated that increase in the pool of MAP4 could promote the stabilization of MT networks by increasing the synthesis and polymerization of tubulin in hypoxia. Results showed MAP4 overexpression could enhance cell viability and ATP content under hypoxic conditions. Subsequently we employed a yeast two-hybrid system to tag a protein interacting with mitochondria, dynein light chain Tctex-type 1 (DYNLT1), by hVDAC1 bait. We confirmed that DYNLT1 had protein-protein interactions with voltage-dependent anion channel 1 (VDAC1) using co-immunoprecipitation; and immunofluorescence technique showed that DYNLT1 was closely associated with MTs and VDAC1. Furthermore, DYNLT1 interactions with MAP4 were explored using a knockdown technique. We thus propose two possible mechanisms triggered by MAP4: (1) stabilization of MT networks, (2) DYNLT1 modulation, which is connected with VDAC1, and inhibition of hypoxia-induced mitochondrial permeabilization

Determinants of high residual post-PCV13 pneumococcal vaccine-type carriage in Blantyre, Malawi:a modelling study

Background In November 2011, Malawi introduced the 13-valent pneumococcal conjugate vaccine (PCV13) into the routine infant schedule. Four to 7 years after introduction (2015–2018), rolling prospective nasopharyngeal carriage surveys were performed in the city of Blantyre. Carriage of Streptococcus pneumoniae vaccine serotypes (VT) remained higher than reported in high-income countries, and impact was asymmetric across age groups. Methods A dynamic transmission model was fit to survey data using a Bayesian Markov-chain Monte Carlo approach, to obtain insights into the determinants of post-PCV13 age-specific VT carriage. Results Accumulation of naturally acquired immunity with age and age-specific transmission potential were both key to reproducing the observed data. VT carriage reduction peaked sequentially over time, earlier in younger and later in older age groups. Estimated vaccine efficacy (protection against carriage) was 66.87% (95% CI 50.49–82.26%), similar to previous estimates. Ten-year projected vaccine impact (VT carriage reduction) among 0–9 years old was lower than observed in other settings, at 76.23% (CI 95% 68.02–81.96%), with sensitivity analyses demonstrating this to be mainly driven by a high local force of infection. Conclusions There are both vaccine-related and host-related determinants of post-PCV13 pneumococcal VT transmission in Blantyre with vaccine impact determined by an age-specific, local force of infection. These findings are likely to be generalisable to other Sub-Saharan African countries in which PCV impact on carriage (and therefore herd protection) has been lower than desired, and have implications for the interpretation of post-PCV carriage studies and future vaccination programs.</p

Selective Reduction of AMPA Currents onto Hippocampal Interneurons Impairs Network Oscillatory Activity

Reduction of excitatory currents onto GABAergic interneurons in the forebrain results in impaired spatial working memory and altered oscillatory network patterns in the hippocampus. Whether this phenotype is caused by an alteration in hippocampal interneurons is not known because most studies employed genetic manipulations affecting several brain regions. Here we performed viral injections in genetically modified mice to ablate the GluA4 subunit of the AMPA receptor in the hippocampus (GluA4HC−/− mice), thereby selectively reducing AMPA receptor-mediated currents onto a subgroup of hippocampal interneurons expressing GluA4. This regionally selective manipulation led to a strong spatial working memory deficit while leaving reference memory unaffected. Ripples (125–250 Hz) in the CA1 region of GluA4HC−/− mice had larger amplitude, slower frequency and reduced rate of occurrence. These changes were associated with an increased firing rate of pyramidal cells during ripples. The spatial selectivity of hippocampal pyramidal cells was comparable to that of controls in many respects when assessed during open field exploration and zigzag maze running. However, GluA4 ablation caused altered modulation of firing rate by theta oscillations in both interneurons and pyramidal cells. Moreover, the correlation between the theta firing phase of pyramidal cells and position was weaker in GluA4HC−/− mice. These results establish the involvement of AMPA receptor-mediated currents onto hippocampal interneurons for ripples and theta oscillations, and highlight potential cellular and network alterations that could account for the altered working memory performance

Contribution of Cerebellar Sensorimotor Adaptation to Hippocampal Spatial Memory

Complementing its primary role in motor control, cerebellar learning has also a bottom-up influence on cognitive functions, where high-level representations build up from elementary sensorimotor memories. In this paper we examine the cerebellar contribution to both procedural and declarative components of spatial cognition. To do so, we model a functional interplay between the cerebellum and the hippocampal formation during goal-oriented navigation. We reinterpret and complete existing genetic behavioural observations by means of quantitative accounts that cross-link synaptic plasticity mechanisms, single cell and population coding properties, and behavioural responses. In contrast to earlier hypotheses positing only a purely procedural impact of cerebellar adaptation deficits, our results suggest a cerebellar involvement in high-level aspects of behaviour. In particular, we propose that cerebellar learning mechanisms may influence hippocampal place fields, by contributing to the path integration process. Our simulations predict differences in place-cell discharge properties between normal mice and L7-PKCI mutant mice lacking long-term depression at cerebellar parallel fibre-Purkinje cell synapses. On the behavioural level, these results suggest that, by influencing the accuracy of hippocampal spatial codes, cerebellar deficits may impact the exploration-exploitation balance during spatial navigation