Sentence examples for type substitution from inspiring English sources

We use the method of Riccati type substitution and derive oscillation criteria for this equation.

Products due to Friedel-Crafts type substitution, isomerization and polymerization were identified.

A type substitution (S) is a (kind-preserving) function from type variables to types, and extends straightforwardly to constraints, and to sets of types and sets of constraints.

Unlike other non-selective highly reactive affinity labels, these compounds carry a Michael acceptor type substitution at C12 of the polyene chain.

Rule (Mono) expresses the property of monotonicity, (Trans) of transitivity, (Subst) of closure under type substitution (cf. [12]), (Inst) defines entailment according to a constraint axiom and (Conj) deals with sets with more than one constraint.

Despite many of them not demonstrating any inhibitory activity at a concentration of 200 µg/ml, it was pleasing to see that the bromoacetamido analogues that were prepared to facilitate an SN2 type substitution between the ligand and the Cys112 residue, were active.

In this case we modify the denominator in the Riccati type substitutions (16) and (18).

The υ2 vibration of CO3 2− at 872 cm−1 and υ3 vibration of carbonate confirm the B-type substitution in all CHA nanorods [3].

A building block analysis demonstrates how this arises and reveals an approach, based on bond-type substitution and molecular replacement, to conserving such features.

FTIR spectra, revealing the conditions to retain a pure or prevailing hydroxyapatite phase, and also to indicate favourable conditions for A-type substitutions of carbonate for hydroxide groups, or B-type substitution for phosphate groups.

Among all substituting ions, the presence of 4 8%% of carbonates instead of orthophosphate anions (so-called, B-type substitution (LeGeros 1991; Elliott 1994; Amjad 1997; Lafon et al. 2008)) and of 0.5 1.5 % of Mg is of the special importance because it leads to large lattice strain and significantly increases the solubility (Palmer et al. 2008; Elliott 2002; Boskey 2006).