Results 11 to 20 of about 3,357,375 (267)
Journal of Computer and System Sciences, 2021 We study selective monitors for labelled Markov chains. Monitors observe the outputs that are generated by a Markov chain during its run, with the goal of identifying runs as correct or faulty. A monitor is selective if it skips observations in order to reduce monitoring overhead.
Radu Grigore, Stefan Kiefer
openaire +6 more sources
, 2016 Modern saturation-based Automated Theorem Provers typically implement the superposition calculus for reasoning about first-order logic with or without equality. Practical implementations of this calculus use a variety of literal selections and term orderings to tame the growth of the search space and help steer proof search.
Krystof Hoder +3 more
openaire +4 more sources
Seed productivity of different tomato varieties under the conditions of the Novosibirsk region
Овощи России, 2019 Relevance Among vegetable crops, tomato is one of the leading places. In Siberia, tomato production is currently concentrated mainly in small farms and the individual sector.
Tatiana V. Steinert +6 more
doaj +1 more source
The spontaneous cross-pollination of several hexaploid triticale varieties in the experiment of 2012-2013 [PDF]
Selekcija i Semenarstvo, 2014 In this study, the spontaneous hybridization ability of the hexaploid triticale varieties with the other triticale varieties, and with wheat and rye, were considered.
Shirokolava Valeryevich Alexey +2 more
doaj +1 more source
Selection on selected records [PDF]
Genetics Selection Evolution, 1983 On considère le problème de la sélection d’individus pour leurs valeurs génétiques additives et de l’estimation de ces valeurs. La sélection est basée sur un vecteur d’observations faites sur un ensemble d’individus eux-mêmes issus d’une sélection sur un certain vecteur d’observations.
openaire +6 more sources
Ecological plasticity and adaptive potential of annual form of white sweet clover (Melilotus albus Medik) [PDF]
E3S Web of Conferences, 2023 The ecological plasticity, stability, and adaptive potential of varieties and promising genetic lines of the annual form of white sweet clover were assessed.
Kazarina A V +3 more
doaj +1 more source
Selecting Selective Suppressors of Selective Uptake [PDF]
Chemistry & Biology, 2003 Scavenger receptor BI (SR-BI) is a high-density lipoprotein (HDL) receptor that mediates the selective uptake of HDL cholesteryl ester (CE) and the bidirectional flux of free cholesterol (FC). The identification of selective uptake inhibitors holds promise for mechanistic studies of SR-BI and for discovery of pharmaceuticals useful in therapy of ...
openaire +2 more sources
Sucrase in immobilized cells of Cucumis sativus L.
Horticultural Science, 2002 Cell suspension cultures of Cucumis sativus L. - cucumber were permeabilized by Tween, hexadecyltri-methylammonium bromide, hexadecylpyridiniumbromide ethanol and/or immobilized by glutaraldehyde.
S.I. Ignatova +5 more
doaj +1 more source
Тонкие химические технологии, 2020 Objectives. We hereby describe an improvement of a previously developed quantification technique for polysorbate 80 in biopharmaceutical formulations (darbepoetin alfa and eculizumab) and report the validation of the new approach.Methods. Polysorbate was
A. S. Seregin +4 more
doaj +1 more source
Polyseme Selection, Lemma Selection and Article Selection
Lexikos, 2017 In linguistics, more specifically in the field of lexical semantics, a lot of attention has been given to polysemy and homonymy. The identification of and distinction between polysemy and homonymy should not be regarded as unproblematic. The lexicographic practice has tradi-tional ways of presenting and treating polysemy and homonymy.
Bergenholtz, Henning, Gouws, Rufus H.
openaire +7 more sources