Results 11 to 20 of about 732,422 (217)
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
Selectivity-Determining Steps in O2 Reduction Catalyzed by Iron(tetramesitylporphyrin)
, 2020 The oxygen reduction reaction (ORR) is the cathode reaction in fuel cells and its selectivity for water over hydrogen peroxide production is important for these technologies. Iron porphyrin catalysts have long been studied for the ORR, but the origins of
Simone Raugei (249177) +3 more
core +2 more sources
The selectivity, voltage-dependence and acid sensitivity of the tandem pore potassium channel TASK-1 : contributions of the pore domains [PDF]
, 2007 We have investigated the contribution to ionic selectivity of residues in the selectivity filter and pore helices of the P1 and P2 domains in the acid sensitive potassium channel TASK-1.
Sutcliffe, M. J. +14 more
core +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
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
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
Selection, selection, selection: the impact of return migration [PDF]
Journal of Population Economics, 2015 The evidence on the impact of return migration on the sending country is rather sparse, though growing. The contribution of this paper is in addressing various selectivity problems while quantifying the impact of return migration on wages of returnees using non-experimental data.
openaire +3 more sources
A Framework for Selecting a Selection Procedure [PDF]
ACM Transactions on Modeling and Computer Simulation, 2012 For many discrete simulation optimization applications, it is often difficult to decide which Ranking and Selection (R&S) procedure to use. To efficiently compare R&S procedures, we present a three-layer performance evaluation process.
Rolf Waeber +2 more
openaire +1 more source