Sentence examples for substitution relations from inspiring English sources

Tarski's cylindric algebras constitute a particular abstract formulation of first order logic in terms of diagonal relations coding equality and substitution relations encoding variables.

The proposed model considers the substitution relations among various blood types in the blood transfusion process to minimize blood shortage and wastage.

For future studies, this research can be extended by considering substitution stock control system for more than two products with different substitution relations, this may increase complexity of the problem but the model would become more realistic.

First, we formulate an MILP model that accounts for the substitution relations between the types and minimizes the total direct rail car cost under given rail car availability constraints and a predefined maximum number of types.

For instance, Chwistek attempted an elementary semantics on the ground of a nominalistic foundational program, where sets are identified with propositional functions, extensionality is rejected and the fundamental notion of semantics is the substitution relation "H is the result of the substitution of G for F in E" (Chwistek 1933, p. 374).

Note that, due to the symmetry of the substitutability relation, Σ G is undirected (i.e. each edge corresponding to a substitution can be traversed in both directions).

For interpretation of "progression-free survival" as "currency," it was possible to evaluate the marginal rate of substitution in relation to the other risk attributes.

To study the importance of the type of cores and the specific substitutions in relation to their lipophilicity and antitumour activity, lipophilicity of carboxamides was determined by chromatographical data (log k′) and by software calculated parameters (CLOGP).

Numbers in parentheses are percentages of substitutions in relation to lengths of the genomic variants (300 nucleotides).

Homology modelling of JEV isolates-specific 3-dimensional structures of E protein mapped with amino acid substitutions in relation to SA14-14-2 vaccine strain have been shown in Figure  2 (a)–(d).

Placement of Dcit-3 (all Caribbean collections) and Dcit-5 (a single Chinese collection) was ambiguous, possibly because of the small numbers collected from those areas and because of the greater number of nucleotide substitutions in relation to the most common sequences.