- Look up
refinement in Wiktionary, the free dictionary.
Refinement may
refer to:
Equilibrium refinement, the
identification of
actualized equilibria in...
- star
refinement is a
particular kind of
refinement of an open
cover of X. A
related concept is the
notion of
barycentric refinement. Star
refinements are...
-
Refinement is a
generic term of
computer science that encomp****es
various approaches for
producing correct computer programs and
simplifying existing programs...
-
Rietveld refinement is a
technique described by Hugo
Rietveld for use in the
characterisation of
crystalline materials. The
neutron and X-ray diffraction...
- The
refinement calculus is a
formalized approach to
stepwise refinement for
program construction. The
required behaviour of the
final executable program...
- In the
design of algorithms,
partition refinement is a
technique for
representing a
partition of a set as a data
structure that
allows the
partition to...
- type theory, a
refinement type is a type
endowed with a
predicate which is ****umed to hold for any
element of the
refined type.
Refinement types can express...
- In mathematics, a
refinement monoid is a
commutative monoid M such that for any
elements a0, a1, b0, b1 of M such that a0+a1=b0+b1,
there are elements...
-
omitting some of them;
whereas a
refinement is made from any sets that are
subsets of the sets in the cover. The
refinement relation on the set of covers...
- In mesh generation,
Delaunay refinements are
algorithms for mesh
generation based on the
principle of
adding Steiner points to the
geometry of an input...
