Sentence examples for sequence of instances from inspiring English sources

Distillation is a semantic approach that can be applied in general to incremental SAT, and often produces clauses that are independent of the primary objective, and hence remain valid for the remainder of the sequence of instances.

Note that this problem could be solved as a sequence of PSAT instances: we just guess the favorite bar of each friend and decide the corresponding PSAT instance.

In the paper we analyze a sequence of consensus instances.

PBFT solves a sequence of consensus instances with weak validity, while CL solves consensus with strong validity.

The methods proposed to identify clauses that remain valid fall into two categories: Those that are oblivious to the mechanism that generates the sequence of SAT instances and those that rely on it.

By doing so, we have instantiated (represented with a sequence of concrete instances) a mechanism in silico.

Their respective protein domain annotations are obtained from InterPro [ 10], from which we collect the sequences of domain instances which have at least one template domain instance from 3did.

We used the pairwise homoplasy index (PHI) as implemented in Splitstree v4.10 to screen the 1,562 sequences for instances of intra-patient recombination events as described by Salemi et al. [43], [44], [45].

Changes can occur either by gain or loss of a large amount of genomic sequence (for instance by complete or nearly complete loss of one or more complete intron or exon; [ 3- 8]), or by the evolution of new splicing patterns for existing sequence due to small-scale sequence changes ([ 9, 10]; more complex cases are also possible).

The protein sequences of minimotif instances are sequence strings of amino acids represented using an alphabet of IUPAC single letter code amino acid abbreviations [ 13].

He argued that the Hopi language, in contrast to English and other SAE languages, does not treat the flow of time as a sequence of distinct countable instances, like "three days" or "five years", but rather as a single process.