Contoh derivation

• This reuse permits the effort required to develop sets of transformations to be amortized over a large number of derivations.

• Obtaining robustness for a discourse parser is a demanding task due to the many unresolved theoretical issues regarding the derivation of the discourse structure.

• Is it possible to give a more straightforward derivation of the solution?

• The derivation of the algorithms is also clear and straightforward.

• The usual technique for analysing the problem defined above starts with the derivation of a single equation for the vertical velocity component.

• This is the only case in which a subtyping derivation not containing promotion relates two types that are not -equal.

• Nevertheless, their derivation of implicatures is still poor : weak statements are rejected only about half of the time.

• Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis.

• This property can be simply stated as 'every formula appearing in the derivation also appears as a subformula in the final sequent'.

• 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.

• Zakharov equations are solved numerically in the derivation of the nonlinear evolution of modulational instability.

• Finally, very late in the derivation, during step 5, we apply transformations that eliminate, where possible, type checking for arithmetic operations.

• Most of these articles deal with the derivation of cost functionals and their minimization.

• 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.

• Section 5 is devoted to the derivation of the distribution laws of the weighted depths and distances.