From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LTL to LDBA to yield a double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report on an implementation, a comparison with the SPOT library, and performance on several sets of formulas, including instances from the 2016 SyntComp competition

New DRIE-Patterned Electrets for Vibration Energy Harvesting

This paper is about a new manufacturing process aimed at developing stable SiO2/Si3N4 patterned electrets using a Deep Reactive Ion Etching (DRIE) step for an application in electret-based Vibration Energy Harvesters (e-VEH). This process consists in forming continuous layers of SiO2/Si3N4 electrets in order to limit surface conduction phenomena and is a new way to see the problem of electret patterning. Experimental results prove that patterned electrets charged by a positive corona discharge show excellent stability with high surface charge densities that may reach 5mC/m^2 on 1.1\mu m-thick layers, even with fine patterning and harsh temperature conditions (up to 250{\deg}C). This paves the way to new e-VEH designs and manufacturing processes.Comment: Proc. European Energy Conference, 201

Sex differences in brain plasticity: a new hypothesis for sex ratio bias in autism.

Several observations support the hypothesis that differences in synaptic and regional cerebral plasticity between the sexes account for the high ratio of males to females in autism. First, males are more susceptible than females to perturbations in genes involved in synaptic plasticity. Second, sex-related differences in non-autistic brain structure and function are observed in highly variable regions, namely, the heteromodal associative cortices, and overlap with structural particularities and enhanced activity of perceptual associative regions in autistic individuals. Finally, functional cortical reallocations following brain lesions in non-autistic adults (for example, traumatic brain injury, multiple sclerosis) are sex-dependent. Interactions between genetic sex and hormones may therefore result in higher synaptic and consecutively regional plasticity in perceptual brain areas in males than in females. The onset of autism may largely involve mutations altering synaptic plasticity that create a plastic reaction affecting the most variable and sexually dimorphic brain regions. The sex ratio bias in autism may arise because males have a lower threshold than females for the development of this plastic reaction following a genetic or environmental event

The global impact of Wolbachia on mitochondrial diversity and evolution

International audienceThe spread of maternally inherited microorganisms, such as Wolbachia bacteria , can induce indirect selective sweeps on host mitochondria, to which they are linked within the cytoplasm. The resulting reduction in effective population size might lead to smaller mitochondrial diversity and reduced efficiency of natural selection. While documented in several host species, it is currently unclear if such a scenario is common enough to globally impact the diversity and evolution of mitochondria in Wolbachia-infected lineages. Here, we address this question using a mapping of Wolbachia acquisition/ex-tinction events on a large mitochondrial DNA tree, including over 1000 species. Our analyses indicate that on a large phylogenetic scale, other sources of variation, such as mutation rates, tend to hide the effects of Wolbachia. However, paired comparisons between closely related infected and unin-fected taxa reveal that Wolbachia is associated with a twofold reduction in silent mitochondrial polymorphism, and a 13% increase in nonsynonymous substitution rates. These findings validate the conjecture that the widespread distribution of Wolbachia infections throughout arthropods impacts the effective population size of mitochondria. These effects might in part explain the disconnection between genetic diversity and demographic population size in mitochondria, and also fuel red-queen-like cytonuclear co-evolution through the fixation of deleterious mitochondrial alleles

Mixed-convection from a bundle of heating cylinders in a cross-flow air-circulation. Experiment and analysis

Paper presented at the 5th International Conference on Heat Transfer, Fluid Mechanics and Thermodynamics, South Africa, 1-4 July, 2007.Within the framework of radioactive waste management, the VALIDA program started to provide reliable data for the validation of numerical tools used to model the cooling of spent nuclear fuel containers in dry storage facilities. The design of such facilities implies thermal-hydraulic calculations in order to predict containers and wall temperatures. One has to make sure that these temperatures never exceed critical values. The understanding of mixed-convection flow in realistic conditions and more particularly the interaction between a global cross-flow circulation and local natural convection effects is a key point of these design studies. VALIDA experiments were carried out in this way at CEA on a multi canister configuration (7 rows heated tube bundle mounted vertically) in a special wind tunnel (length:12m, height: 3m width: 2m13) and cooled by a cross-flow air circulation. During the experiments, the air flow rate, the velocity profile and the heating power are controlled and have been adjusted to simulate various thermal-hydraulic conditions. A staggered tubes of seven rows of heated tubes (diameter 0.64m and height 2m) are placed in the wind tunnel, the 18 canisters arrangement use a triangular pitch (P/D = 1.66). Instrumentation includes thermocouples in the air flow, on the cylinders, and on the walls; the wind tunnel is rigged with two air-velocity measurement systems: LDV (Laser Doppler Velocimetry) and PIV (Particle Image Velocimetry). One presents the main experimental results reached with different values of the parameters: air velocity (0.25 to 1 m/s) and power density (300 to 600W/m²). From the downstream air measurements, a visualization of the temperature plume is obtained at different location behind the last tube. Measurements of air velocity are also performed with LDV laser in the air gap above the canisters. All the results show that the flow pattern of air strongly depends on the ratio of the buoyancy to the inertia forces. Convective transfers areas involving predominately forced or natural convection are distinguished thanks to established heat transfer correlations. A dimensionless buoyancy number Bo* is defined to characterize the experimental flow regimes obtained.cs201

Searching a bitstream in linear time for the longest substring of any given density

Given an arbitrary bitstream, we consider the problem of finding the longest substring whose ratio of ones to zeroes equals a given value. The central result of this paper is an algorithm that solves this problem in linear time. The method involves (i) reformulating the problem as a constrained walk through a sparse matrix, and then (ii) developing a data structure for this sparse matrix that allows us to perform each step of the walk in amortised constant time. We also give a linear time algorithm to find the longest substring whose ratio of ones to zeroes is bounded below by a given value. Both problems have practical relevance to cryptography and bioinformatics.Comment: 22 pages, 19 figures; v2: minor edits and enhancement

The Role of GC-Biased Gene Conversion in Shaping the Fastest Evolving Regions of the Human Genome

GC-biased gene conversion (gBGC) is a recombination-associated evolutionary process that accelerates the fixation of guanine or cytosine alleles, regardless of their effects on fitness. gBGC can increase the overall rate of substitutions, a hallmark of positive selection. Many fast-evolving genes and noncoding sequences in the human genome have GC-biased substitution patterns, suggesting that gBGC—in contrast to adaptive processes—may have driven the human changes in these sequences. To investigate this hypothesis, we developed a substitution model for DNA sequence evolution that quantifies the nonlinear interacting effects of selection and gBGC on substitution rates and patterns. Based on this model, we used a series of lineage-specific likelihood ratio tests to evaluate sequence alignments for evidence of changes in mode of selection, action of gBGC, or both. With a false positive rate of less than 5% for individual tests, we found that the majority (76%) of previously identified human accelerated regions are best explained without gBGC, whereas a substantial minority (19%) are best explained by the action of gBGC alone. Further, more than half (55%) have substitution rates that significantly exceed local estimates of the neutral rate, suggesting that these regions may have been shaped by positive selection rather than by relaxation of constraint. By distinguishing the effects of gBGC, relaxation of constraint, and positive selection we provide an integrated analysis of the evolutionary forces that shaped the fastest evolving regions of the human genome, which facilitates the design of targeted functional studies of adaptation in humans