Sentence examples for consists in enumerating from inspiring English sources

The explanation consists in enumerating the relevant boundary conditions and then adducing the appropriate "covering" laws in this case, that water expands as it freezes and the tensile strength of iron makes it too brittle to expand as much as the water does.

The sub-procedure (SP1) consists in enumerating all the formulas ⊢-deducible, starting from the axioms and inferring other theorems with the help of the inference rules.

In this paper, we introduce a new problem, called Top-k SAT, that consists in enumerating the Top-k models of a propositional formula.

The finite model property offers a basis for a sub-procedure (SP2) that consists in enumerating one by one the finite models of PDL and testing whether one of them satisfies the formula.

Because the number of possible parametrizations and the size of state transition graphs rapidly grow with the number of genes, the naive approach consisting in enumerating all parametrizations of a PADE model, and for each of these generating the state transition graph and testing T ⊧ ϕ, is only feasible for the simplest networks.

specifies what truth consists in.

History consists in events, but it also consists in ideas.

An algorithm to directly enumerate all the traces, computing the number of sequences in each trace, was given by Braga et al. [ 17], and consists in an incremental construction.

The first approach consists in identifying, starting from the leaves of the similarity tree, the smallest structural clusters that include at least one known precursor, and within these clusters we enumerate all subsets of stem-loops that are located in close genomic proximity to each of the precursors in the structural cluster.

In effect, the proposed detector is a further approximation of that in [4], which consists of only partially enumerating the symbols selected for exact marginalization (the set in (5)).

Madison steadfastly maintained that there was no need for it because the Constitution consisted only of enumerated powers.