704 research outputs found
Wide range and tunable linear TMR sensor using two exchange pinned electrodes
A magnetic tunnel junction sensor is proposed, with both the detection and
the reference layers pinned by IrMn. Using the differences in the blocking
temperatures of the IrMn films with different thicknesses, crossed anisotropies
can be induced between the detection and the reference electrodes. The pinning
of the sensing electrode ensures a linear and reversible output. It also allows
tuning both the sensitivity and the linear range of the sensor. The authors
show that the sensitivity varies linearly with the ferromagnetic thickness of
the detection electrode. It is demonstrated that an increased thickness leads
to a rise of sensitivity and a reduction of the operating range
Liquid transport in scale space
International audienceWhen a liquid stream is injected into a gaseous atmosphere, it destabilizes and continuously passes through different states characterized by different morphologies. Throughout this process, the flow dynamics may be different depending on the region of the flow and the scales of the involved liquid structures. Exploring this multi-scale, multi-dimensional phenomenon requires some new theoretical tools, some of which need yet to be elaborated. Here, a new analytical framework is proposed on the basis of two-point statistical equations of the liquid volume fraction. This tool, which originates from single phase turbulence, allows us notably to decompose the fluxes of liquid in flow–position space and scale space. Direct numerical simulations of liquid–gas turbulence decaying in a triply periodic domain are then used to characterize the time and scale evolution of the liquid volume fraction. It is emphasized that two-point statistics of the liquid volume fraction depend explicitly on the geometrical properties of the liquid–gas interface and in particular its surface density. The stretch rate of the liquid–gas interface is further shown to be the equivalent for the liquid volume fraction (a non-diffusive scalar) of the scalar dissipation rate. Finally, a decomposition of the transport of liquid in scale space highlights that non-local interactions between non-adjacent scales play a significant role
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
Liquid transport in scale space
When a liquid stream is injected into a gaseous atmosphere, it destabilizes and continuously passes through different states characterized by different morphologies. Throughout this process, the flow dynamics may be different depending on the region of the flow and the scales of the involved liquid structures. Exploring this multi-scale, multi-dimensional phenomenon requires some new theoretical tools, some of which need yet to be elaborated. Here, a new analytical framework is proposed on the basis of two-point statistical equations of the liquid volume fraction. This tool, which originates from single phase turbulence, allows notably to decompose the fluxes of liquid in flow-position space and scale space. Direct Numerical Simulations of liquid-gas turbulence decaying in a triply periodic domain are then used to characterize the time and scale evolution of the liquid volume fraction. It is emphasized that two-point statistics of the liquid volume fraction depend explicitly on the geometrical properties of the liquid-gas interface and in particular its surface density. The stretch rate of the liquid-gas interface is further shown to be the equivalent for the liquid volume fraction (a non diffusive scalar) of the scalar dissipation rate. Finally, a decomposition of the transport of liquid in scale space highlights that non-local interactions between non adjacent scales play a significant role
PriorsEditor: a tool for the creation and use of positional priors in motif discovery
Summary: Computational methods designed to discover transcription factor binding sites in DNA sequences often have a tendency to make a lot of false predictions. One way to improve accuracy in motif discovery is to rely on positional priors to focus the search to parts of a sequence that are considered more likely to contain functional binding sites. We present here a program called PriorsEditor that can be used to create such positional priors tracks based on a combination of several features, including phylogenetic conservation, nucleosome occupancy, histone modifications, physical properties of the DNA helix and many more
Thermo-economic optimisation of the integration of electrolysis in synthetic natural gas production from wood
Is there a best Büchi automaton for explicit model checking?
LTL to Büchi automata (BA) translators are traditionally optimized to produce automata with a small number of states or a small number of non-deterministic states. In this paper, we search for properties of Büchi automata that really influence the performance of explicit model checkers. We do that by manual analysis of several automata and by experiments with common LTL-to-BA translators and realistic verification tasks. As a result of these experiences, we gain a better insight into the characteristics of automata that work well with Spin.Překladače LTL na Büchiho automaty jsou obvykle optimalizovány tak, aby produkovaly automaty s co nejmenším počtem stavů, či s co nejmenším počtem nedeterministických stavů. V této publikaci hledáme vlastnosti Büchiho automatů, které skutečně ovlivňují výkon nástrojů pro explicitní metodu ověřování modelu (model checking). A to pomocí manuální analýzy několika automatů a experimenty s běžnými překladače LTL na automaty a realistickými verifikačními úlohami. Výsledkem těchto experimentů je lepší porozumění charakteristik automatů, které jsou dobré pro model checker Spin
Substitution Patterns Are Under Different Influences in Primates and Rodents
There are large-scale variations of the GC-content along mammalian chromosomes that have been called isochore structures. Primates and rodents have different isochore structures, which suggests that these lineages exhibit different modes of GC-content evolution. It has been shown that, in the human lineage, GC-biased gene conversion (gBGC), a neutral process associated with meiotic recombination, acts on GC-content evolution by influencing A or T to G or C substitution rates. We computed genome-wide substitution patterns in the mouse lineage from multiple alignments and compared them with substitution patterns in the human lineage. We found that in the mouse lineage, gBGC is active but weaker than in the human lineage and that male-specific recombination better predicts GC-content evolution than female-specific recombination. Furthermore, we were able to show that G or C to A or T substitution rates are predicted by a combination of different factors in both lineages. A or T to G or C substitution rates are most strongly predicted by meiotic recombination in the human lineage but by CpG odds ratio (the observed CpG frequency normalized by the expected CpG frequency) in the mouse lineage, suggesting that substitution patterns are under different influences in primates and rodents
- …