0 the origin of something, such as a word, from which another form has developed, or the new form itself --
1 the origin from which something developed: --
Does anyone know the derivation of the word “OK”?
Section 5 is devoted to the derivation of the distribution laws of the weighted depths and distances.
In this derivation the parameters were adjusted to produce accurate room-temperature enthalpies of vaporization and vapor pressures or densities of a set of solvated alkanes.
Most of these articles deal with the derivation of cost functionals and their minimization.
Finally, very late in the derivation, during step 5, we apply transformations that eliminate, where possible, type checking for arithmetic operations.
Zakharov equations are solved numerically in the derivation of the nonlinear evolution of modulational instability.
We also assume that the code of syntactic objects (such as type statements and type derivations) is elementary in the number of symbol-occurrences therein.
This property can be simply stated as 'every formula appearing in the derivation also appears as a subformula in the final sequent'.
Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis.
