Sentence examples for rules corresponding to from inspiring English sources

In particular, the simplex algorithm of linear programming applied to the problem of c-optimality reduces to an exchange algorithm with different pivot rules corresponding to specific techniques of selecting design points for exchange.

By 2005, the company plans to increase its fleet to 72 ships from 59. "The average age of our fleet is around 14 years, and we have a huge need to adapt to the new international conditions and rules corresponding to pollution controls," said Mauro Campos, president of Transpetro.

Solution space reduction arguments or rules corresponding to bond configurations in section "Isomer transformation".

First we present an abstract syntax for membrane systems, and then a structural operational semantics of these systems by means of three sets of inference rules corresponding to maximal parallel rewriting, parallel communication, and parallel dissolving.

The AR-set involved contains 25,000 rules corresponding to a set of some distinct mobile phones, described by a set of 326 transactions, representing a set of 128 distinct items.

Blok and Pigozzi have in mind the least consequence relation for which φ, φ → ψ ⊢ ψ and φ, ψ⊢ φ ∧ ψ and ⊢ φ for all φ provable in the Fmla logic R. (This third condition can be restricted to all axioms of any axiomatization of R with formula-to-formula rules corresponding to the first and second conditions).

The calculated equilibrium lattice parameters by VCA are in good agreement with the stress-free lattice parameters a0 and exhibit a positive deviation from Vegard's rule corresponding to a positive bowing parameter while the calculated single-crystal stiffness c12 and c44, gradually increase when c11 decreases from TaN to TiN.

These natural deduction and Gentzen systems can be extended with additional proof-rules corresponding to first-order conditions on the accessibility relations expressed by so-called geometric theories (this is of course analogous to extending tableau and axiom systems with pure axioms).

In case of forward search, a rule corresponding to a right regular grammar is constructed (cf. Section 3.2).

However, the subsumption restriction may lead to more than one exception rule of the rule corresponding to a default (d_{1}).

To calculate the probability of elastic scattering of the spin-plasmon with initial momentum q to the state with the final momentum q ', we can use the Fermi golden rule, corresponding to the Born approximation.