0 the source or origin (of a word etc) -- asalan
The derivation of this word is Spanish.
1 the process of deriving. -- pemperolehan
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.