Dit zijn woorden examples gerelateerd aan unfolding. Klik op een woord om naar de detailpagina van het woord te gaan. Of, ga naar de definitie van unfolding.
Also, we might want to restrict unfolding of user-defined predicates to cases where only one clause matches.
The pictures show various unfoldings with the forbidden area and the unsafe regions below.
Ignoring them simply means that the unfolding of the composed space will be either haphazard or, at worst, amorphous.
However, for the sake of simplicity, we do not identify a recursive type with its unfolding.
For instance, while classical partial deduction with (almost) determinate unfolding performs badly on highly nondeterministic programs, this is no longer true for conjunctive partial deduction.
By focusing on solvent-induced melting, he derived an expression that describes how the free energy of unfolding depends on the concentration of co-solvent, or denaturant.
Generic 3-parameter families of vector field on the plane, unfolding a singularity with nilpotent linear part.
Theorems 1, 3 and 4 provide a basis for unfolding recursive programs to static terms.
In order to do this, we develop an operational model of recursive symbolic computation where program transformations like unfolding can be readily expressed.
Such intermediate functions are required when unfolding each g-type function call which needs to have its pattern-matching argument instantiated.
Their removal by unfolding can help obtain more efficient programs with better opportunities for fusion.
Recursive object type expressions are handled by unfolding.
They allow us to preserve the meaning of cut under unfolding.
The folding capillarity model gives a poor approximation for the configurations involved in late stage folding events, and vice versa for the unfolding capillarity theory.
We now focus on simple cycles and describe the dynamics of nice perturbations of them: the unfolding of simple cycles preserving their affine structures.
