نتایج جستجو برای: a51

تعداد نتایج: 63  

2005
Rajeev Alur Salvatore La Torre P. Madhusudan

We consider timed automata whose clocks are imperfect. For a given perturbation error 0 < ε < 1, the perturbed language of a timed automaton is obtained by letting its clocks change at a rate within the interval [1 ε, 1 + ε]. We show that the perturbed language of a timed automaton with a single clock can be captured by a deterministic timed automaton. This leads to a decision procedure for the...

Journal: :Int. J. Applied Earth Observation and Geoinformation 2011
Valéry Gond Vincent Freycon Jean-François Molino Olivier Brunaux Florent Ingrassia Pierre Joubert Jean-François Pekel Marie-Françoise Prévost Viviane Thierron Pierre-Julien Trombe Daniel Sabatier

Detecting broad scale spatial patterns across the South American rainforest biome is still a major challenge. Although several countries do possess their own, more or less detailed land-cover map, these are based on classifications that appear largely discordant from a country to another. Up to now, continental scale remote sensing studies failed to fill this gap. They mostly result in crude re...

Journal: :Molecular Cell 2021

•A-to-I editing is strongly induced 30–35 bp away from structural disruptions•A-to-I symmetrically introduced on opposing sites of a dsRNA•Structural disruptions by give rise to the next event•Distant mismatches increase targeted efficiency Adenosine-to-inosine catalyzed ADAR1 at thousands transcriptome-wide. Despite intense interest in physiological, bioengineering, and therapeutic perspective...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید