Refinement
21refinement — valymas statusas T sritis ekologija ir aplinkotyra apibrėžtis Veiksmas, kai šalinamos kenksmingosios ar nepageidaujamos medžiagos ar jų sudedamosios dalys (preparatai ar cheminiai elementai) iš daiktų, medžiagų, objektų ar aplinkos. atitikmenys:… …
22refinement — grakštumas statusas T sritis Kūno kultūra ir sportas apibrėžtis Netyčia ir nesąmoningai atsirandąs pavidalo harmoningumas, iš esmės rikiuojamas judesio – veiklaus ar jau į pastovius bruožus susikristalizavusio; asmens savybė, kuri yra aukštųjų jo …
23Refinement calculus — is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non executable program , which is then refined by a series of correctness… …
24Refinement monoid — 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 c00, c01, c10, c11 of M such that a0=c00+c01, a1=c10+c11, b0=c00+c10, and b1=c01+c11. A… …
25refinement — noun Date: circa 1611 1. the action or process of refining 2. the quality or state of being refined ; cultivation 3. a. a refined feature or method b. a highly refined distinction ; subtlety c. a contrivance or device intended to improve or… …
26refinement — noun a) The act, or the result of refining; the removal of impurities, or a purified material b) High class style; cultivation …
27refinement — Synonyms and related words: Atticism, ablation, abrasion, absoluteness, abstraction, acculturation, accuracy, acquired taste, appreciation, appreciation of differences, appreciation of excellence, appreciativeness, appropriateness, artistic… …
28refinement — I (Roget s IV) n. 1. [The act of refining] Syn. cleaning, cleansing, purification, distillation, clarification, clarifying, draining, elutriation, depuration, detersion, cracking, filtration. 2. [Culture] Syn. civilization, cultivation, erudition …
29Refinement — ⇡ schrittweise Verfeinerung …
30Refinement — Re|fine|ment [ri fainmənt] das; s, s (meist Plur.) <aus engl. refinements »Verfeinerungen« zu to refine »verfeinern«> letzte Ausformulierungsstufe eines Programms (4), bei der alle Stufen detailliert sind (EDV) …
