- Look up
refinement in Wiktionary, the free dictionary.
Refinement may
refer to:
Equilibrium refinement, the
identification of
actualized equilibria in...
-
Refinement is a
generic term of
computer science that encomp****es
various approaches for
producing correct computer programs and
simplifying existing programs...
- 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...
- 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...
- In
numerical analysis,
adaptive mesh
refinement (AMR) is a
method of
adapting the
accuracy of a
solution within certain sensitive or
turbulent regions...
- 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...
-
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...
- of Game
Theory 2:235–250. Govindan,
Srihari &
Robert Wilson, 2008. "
Refinements of Nash Equilibrium," The New
Palgrave Dictionary of Economics, 2nd Edition...
