AI & ChatGPT searches , social queries for REFINEMENT
Search references for REFINEMENT. Phrases containing REFINEMENT
See searches and references containing REFINEMENT!
Search references for REFINEMENT. Phrases containing REFINEMENT
See searches and references containing REFINEMENT!REFINEMENT
Topics referred to by the same term
Look up refinement in Wiktionary, the free dictionary. Refinement may refer to: Equilibrium refinement, the identification of actualized equilibria in
Refinement
The refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program
Refinement_calculus
Types constrained by a predicate
type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type. Refinement types can express
Refinement_type
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs
Refinement_(computing)
Technique for the characterisation of crystalline materials
Rietveld refinement is a technique described by Hugo Rietveld for use in the characterisation of crystalline materials. The neutron and X-ray diffraction
Rietveld_refinement
topology and open covers of a topological space X, a star refinement is a particular kind of refinement of an open cover of X. The term has two similar but
Star_refinement
Algorithms for mesh generation
In mesh generation, Delaunay refinements are algorithms for mesh generation based on the principle of adding Steiner points to the geometry of an input
Delaunay_refinement
Subsets whose union equals the whole set
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
Cover_(topology)
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
Partition_refinement
Concept in abstract algebra
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
Refinement_monoid
In graph theory and theoretical computer science, the colour refinement algorithm also known as the naive vertex classification, or the 1-dimensional version
Colour_refinement_algorithm
2007 studio album by Stars of the Lid
And Their Refinement of the Decline is the seventh studio album by Stars of the Lid, released by Kranky in April 2007. The album was Kranky's 100th release
And Their Refinement of the Decline
And_Their_Refinement_of_the_Decline
Concept in numerical analysis
In numerical analysis, adaptive mesh refinement (AMR) is a method of adapting the accuracy of a solution within certain sensitive or turbulent regions
Adaptive_mesh_refinement
Method to improve accuracy of numerical solutions to systems of linear equations
Iterative refinement is an iterative method proposed by James H. Wilkinson to improve the accuracy of numerical solutions to systems of linear equations
Iterative_refinement
Normative ethical theories
Virtue ethics (also aretaic ethics, from Greek ἀρετή [aretḗ]) is a philosophical approach that treats dispositional virtue and character as the primary
Virtue_ethics
Curved curface derived from a coarse polygon mesh
recursive in nature. The process starts with a base level polygonal mesh. A refinement scheme is then applied to this mesh. This process takes that mesh and
Subdivision_surface
Technique for symbolic model checking and logic calculi
Counterexample-guided abstraction refinement (CEGAR) is a technique for symbolic model checking. It is also applied in modal logic tableau calculi algorithms
Counterexample-guided abstraction refinement
Counterexample-guided_abstraction_refinement
Facility that processes crude oil
An oil refinery or petroleum refinery is an industrial process plant where petroleum (crude oil) is transformed and refined into products such as gasoline
Oil_refinery
Strategies for composition and decomposition
leadership. A top-down approach (also known as stepwise design and stepwise refinement and in some cases used as a synonym of decomposition) is essentially the
Bottom-up and top-down approaches
Bottom-up_and_top-down_approaches
Technique used in dynamic level of detail
Progressive meshes is one of the techniques of dynamic level of detail (LOD). This technique was introduced by Hugues Hoppe in 1996. This method uses saving
Progressive_meshes
In category theory and related fields of mathematics, a refinement is a construction that generalizes the operations of "interior enrichment", like bornologification
Refinement_(category_theory)
Management framework
areas of improvement, and continuous process improvement actions. Backlog refinement is a process by which team members revise and prioritize a backlog for
Scrum_(project_management)
Country in Central Europe
non-actors. Directors are trying to preserve natural atmosphere without refinement and artificial arrangement of scenes. A personality of the 1960s and the
Czech_Republic
American adult animated series
to slaughter its people as in Tunis. 17 5 "A Seat of Civilisation and Refinement" Sam Deats Warren Ellis March 5, 2020 (2020-03-05) While reflecting upon
Castlevania_(TV_series)
Topics referred to by the same term
Failures-divergence refinement may refer to: The mathematical relation of refinement in the failures/divergences model of communicating sequential processes
Failures-Divergence Refinement
Failures-Divergence_Refinement
Topological concept
A collection of subsets of a topological space X {\displaystyle X} is said to be locally finite if each point in the space has a neighbourhood that intersects
Locally_finite_collection
Topologically invariant definition of the dimension of a space
dimension is the smallest number n such that for every cover, there is a refinement in which every point in X lies in the intersection of no more than n + 1
Lebesgue_covering_dimension
American actress (born 1949)
someone else's – with a certain flat quality, as if later education and refinement came after a somewhat unsophisticated childhood. Streep entered the 2000s
Meryl_Streep
Algebraic structure of set algebra
In mathematical analysis and in probability theory, a σ-algebra ("sigma algebra") is part of the formalism for defining sets that can be measured. In calculus
Σ-algebra
Program to model molecular disorder in crystals
The Disordered Structure Refinement program (DSR), written by Daniel Kratzert, is designed to simplify the modeling of molecular disorder in crystal structures
Disordered Structure Refinement
Disordered_Structure_Refinement
Method of strengthening materials by changing grain size
angular pressing (ECAP) or high-pressure torsion (HPT), can lead to grain refinement and the creation of new grain boundaries with tailored characteristics
Grain_boundary_strengthening
Heuristic test for graph isomorphism
isomorphism between two graphs G and H. It is a generalization of the color refinement algorithm and has been first described by Weisfeiler and Leman in 1968
Weisfeiler Leman graph isomorphism test
Weisfeiler_Leman_graph_isomorphism_test
Statement in group theory
Schreier refinement theorem of group theory states that any two subnormal series of subgroups of a given group have equivalent refinements, where two
Schreier_refinement_theorem
1758 book by David Hume
Essay XIX, OF POLYGAMY AND DIVORCES Part I, Essay XX, OF SIMPLICITY AND REFINEMENT IN WRITING Part I, Essay XXI, OF NATIONAL CHARACTERS Part I, Essay XXII
Essays, Moral, Political, and Literary
Essays,_Moral,_Political,_and_Literary
Mathematical concept
way to understand an ε-quadratic form is to think of it as a quadratic refinement of its associated ε-symmetric form. For instance, in defining a Clifford
Ε-quadratic_form
The Minkowski Portal Refinement collision detection algorithm is a technique for determining whether two convex shapes overlap. The algorithm was created
Minkowski_Portal_Refinement
English musician and songwriter (born 1942)
Beatles." Critics described Rubber Soul as a significant advance in the refinement and profundity of the band's music and lyrics. Considered a high point
Paul_McCartney
1998 video game
Cup's a better-playing game than FIFA, it has less variety, and its refinements aren't exactly huge. Casual soccer gamers should definitely rent before
World_Cup_98_(video_game)
Country in East Asia
Elite culture of the imperial period saw skill in art as a marker of refinement and high social status. Renowned art pieces often bear inscriptions and
China
Dutch programmer and crystallographer
himself on the full profile refinement method in powder diffraction, which became later known as the Rietveld refinement method. The method was developed
Hugo_Rietveld
FDR (Failures-Divergences Refinement) and subsequently FDR2, FDR3 and FDR4 are refinement checking software tools, designed to check formal models expressed
FDR_(software)
Formal rule for predicting how a game will be played
puts any one of the solutions in doubt, so a game theorist may apply a refinement to narrow down the solutions. Each successive solution concept presented
Solution_concept
British organization
The National Centre for the Replacement, Refinement and Reduction of Animals in Research (NC3Rs, pronounced as "N C 3 Rs") is a British organization with
National Centre for the Replacement, Refinement and Reduction of Animals in Research
National_Centre_for_the_Replacement,_Refinement_and_Reduction_of_Animals_in_Research
British virtual band
studio album, Cracker Island (2023), met generally positive reviews as a refinement of their usual style. The band's ninth studio album, The Mountain (2026)
Gorillaz
Topological space with a point-finite open refinement for every cover
cover has a point-finite open refinement. That is, given any open cover of the topological space, there is a refinement that is again an open cover with
Metacompact_space
American grading system for rock climbs
by members of the Sierra Club in Southern California in the 1950s as a refinement of earlier systems from the 1930s, and quickly spread throughout North
Yosemite_Decimal_System
Family of Unix-like operating systems
hardware standards and data formats requires continuous architectural refinement to maintain compatibility across different device classes. Development
Linux
Type of polygon mesh in computer graphics
was based on generalized bi-cubic uniform B-splines. The subdivision refinement algorithm was developed in 1978 by Daniel Doo and Malcolm Sabin. The Doo-Sabin
Doo–Sabin_subdivision_surface
Technique used for determining crystal structures and identifying mineral compounds
maps are used to complete the structure. The final step is a numerical refinement of the atomic positions against the experimental data, sometimes assisted
X-ray_crystallography
Method of software development
Compared to the Z notation, B is slightly more low-level and more focused on refinement to code rather than just formal specification — hence it is easier to
B-Method
language Haskell which allows specifying correctness properties by using refinement types. Properties are verified using a satisfiability modulo theories
Liquid_Haskell
Signal processing technique
progress on this problem involves using an iteratively directional TV refinement for CS reconstruction. This method would have 2 stages: the first stage
Compressed_sensing
American television series (2022–present)
professor and a severed worker for Lumon Industries in the Macrodata Refinement (MDR) department. Zach Cherry as Dylan G./Dylan George, Mark's severed
Severance_(TV_series)
Home video game console by Sony
control adjustments, system performance and stability improvements, and refinements to messages and overall usability on certain system screens. On September
PlayStation_5
Topological space with an interior-preserving refinement for every open cover
has an interior-preserving open refinement. That is, given an open cover of the topological space, there is a refinement that is also an open cover, with
Orthocompact_space
Ophthalmic instrument
either positions, cylindrical lens should be tried to correct astigmatism. Refinement of axis of cylindrical lens in astigmatism correction is done by placing
Jackson_cross_cylinder
U.S. state flag
Cham actively collaborated with the Michaletz designers throughout the refinement process, contributing to the form of the final design. A2 (final design)
Flag_of_Minnesota
Food made of flour and water
The ancient Egyptians, Greeks, and Romans all considered the degree of refinement in the bakery arts as a sign of civilization. The Chorleywood bread process
Bread
1526–1857 empire in South Asia
introduction of hammams into the Indian subcontinent. The evolution and refinement of Mughal and Indian architecture, and, in turn, the development of later
Mughal_Empire
German philosopher and socialist (1818–1883)
historians, these by no means signify simply a reaction against over-refinement and reversion to a misconceived natural life. [...] This is an illusion
Karl_Marx
Solution concept for non-cooperative games
stronger criteria than other refinements, and thereby ensures that more desirable properties are satisfied. Refinements have often been motivated by arguments
Mertens-stable_equilibrium
Increasing sequence of numbers that span an interval
partition x. Another partition Q of the given interval [a, b] is defined as a refinement of the partition P, if Q contains all the points of P and possibly some
Partition_of_an_interval
and infinite descending chains. A subset of this lattice is known as a refinement graph. θ-subsumption was first introduced by J. Alan Robinson in 1965
Theta-subsumption
Word derived from sophistry
Wiktionary, the free dictionary. Sophistication refers to the qualities of refinement, good taste, and wisdom. By contrast, its original use was as a pejorative
Sophistication
Clustering and community detection algorithm
resolution limit of modularity), the Leiden algorithm employs an intermediate refinement phase in which communities may be split to guarantee that all communities
Leiden_algorithm
Object oriented software development process framework
development process framework. The best-known and extensively documented refinement of the unified process is the rational unified process (RUP). Other examples
Unified_process
Oil used in food and cooking, of vegetable or animal origin
oil extraction and refinement are separate processes. Extraction first removes the oil, typically from a seed, nut or fruit. Refinement then alters the appearance
Cooking_oil
Mortar
army during the Second World War. Designed by Edgar Brandt, it was a refinement of the Stokes mortar. The Brandt mortar was highly influential, being
Brandt_Mle_27/31
Sub-area of scientific computing for solving General Relativity equations
mesh refinement (AMR) as a numerical method has roots that go well beyond its first application in the field of numerical relativity. Mesh refinement first
Numerical_relativity
Operating system for Apple computers
described this release as emphasizing "refinements to the Mac experience" and "improvements to system performance". Refinements include public transport built
MacOS
Turco-Persianate empire (1037–1194)
(Metropolitan Museum of Art) Gold roundel, 11th century Iran. It "exemplifies the refinement of Seljuq goldsmithing". Seljuk gold necklace, 11th century Iran. Bobrinski
Seljuk_Empire
Degree of difficulty of a climbing route
"a", "b", and "c" symbols for refinement between the numbers (unlike the French grades, it does not use the "+" refinement, and simply goes: 4a, 4b, 4c
Grade_(climbing)
from a given decision model. Refinement is the fourth and most critical stage in using formal decision methods. The refinement stage responds to the insights
Decision_model
Group of similar cells performing a specific function
tissues can be examined in health and disease, enabling considerable refinement of medical diagnosis and prognosis. In plant anatomy, tissues are categorized
Tissue_(biology)
Scientific software research institute
Borkowski, Michael H.; Vazou, Niki; Jhala, Ranjit (2024-01-05). "Mechanizing Refinement Types". Proceedings of the ACM on Programming Languages. 8: 2099–2128
IMDEA_Software_Institute
Capital city of China
to a distinctive style that blends northern Chinese staples with court refinement. Peking duck is perhaps the best known dish. Fuling jiabing, a traditional
Beijing
Family of problems in computational geometry
existed at some point in the refinement, and directed edges connect each trapezoid that is no longer in the refinement to the trapezoids that replaced
Point_location
1987 studio album by Dinosaur Jr.
Dinosaur Jr. It was released on December 14, 1987, through SST Records. A refinement of the formula introduced on the band's debut album Dinosaur, You're Living
You're_Living_All_over_Me
British fascist politician (1896–1980)
great personal charm with solid qualities of character, aristocratic refinement with democratic opinions." — Beatrice Webb, 8 June 1923 By now Mosley
Oswald_Mosley
Topological space which is a generalization of certain compact spaces
paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by Dieudonné (1944)
Paracompact_space
American ambient music duo
six years later, the duo released their second double album, And Their Refinement of the Decline, in April 2007 to widespread critical acclaim. In December
Stars_of_the_Lid
Validates computer program operations
of the object. Typestates are capable of representing behavioral type refinements such as "method A must be invoked before method B is invoked, and method
Typestate_analysis
2001 studio album by Stars of the Lid
issued new vinyl presses of the album and their following album, And Their Refinement of the Decline (2007) for CAD$52, as both were out of print. Around the
The_Tired_Sounds_Of
Mathematical ways to group elements of a set
representative element from every equivalence class. A partition α of a set X is a refinement of a partition ρ of X—and we say that α is finer than ρ and that ρ is
Partition_of_a_set
Swiss computer scientist (1934–2024)
1971 Communications of the ACM article "Program Development by Stepwise Refinement", concerning the teaching of programming, is considered to be a classic
Niklaus_Wirth
Brief of the 17 SDGs
held in March 2017. The official indicator list below includes all the refinements made as of March 2020[update]. The lists of 169 targets and indicators
List of Sustainable Development Goal targets and indicators
List_of_Sustainable_Development_Goal_targets_and_indicators
Social class-based varieties of English
security of their social position, they had no need to seek to display refinement. By the late 20th century the usefulness of these specific terms as signals
U_and_non-U_English
Computer science field
used for verification when two descriptions are not equivalent. During refinement, the specification is complemented with details that are unnecessary in
Model_checking
Indo-Aryan language
seats of refinement, grace and style. Mirza Ghalib of Delhi could not resist the charm of Lucknow's language and in spite of his refinements in language
Urdu
Small family car
generation. Although visually similar to the Mark 2, there were many refinements underneath. The two-door model was dropped, aerodynamics were improved
Volkswagen_Vento_(A3)
Topics referred to by the same term
sets), an operation combining two simplicial sets Join (sigma algebra), a refinement of sigma algebras Join (algebraic geometry), a union of lines between
Join
Testing of prototypes for viability
prototyping, the product is moved to the next phase of the design cycle: design refinement. Engineers revise and improve the design to meet performance and design
Engineering_validation_test
American clergyman (born 1953)
ISBN 978-0-7852-6487-3. OCLC 53231392. Thompson, Robb D. (2007). Solitary Refinement: Finding and Making the Most of Time by Yourself (The Hidden Power of
Robb_Thompson
Selfless service and volunteering in Indian religions
an internal discipline that cultivates humility, detachment, and moral refinement rather than personal merit or reward. Sevā is a Sanskrit term meaning
Sevā
Topological space of dimension zero
space has a refinement that is a finite open cover such that any point in the space is contained in exactly one open set of this refinement. A topological
Zero-dimensional_space
Discredited neurosurgical operation
production of clinical reports of ex-servicemen with brain trauma. The refinement of neurosurgical techniques also facilitated increasing attempts to remove
Lobotomy
Extinct human species
In the 1970s, with the formulation of cladistics and the consequent refinement of the anatomical definitions of species, this "global morphological pattern"
Neanderthal
Type of adjustable wrench
is a type of smooth-jawed adjustable wrench, a 19th century American refinement of 18th-century English coach wrenches. It was widely used in the 19th
Monkey_wrench
Temple on the Athenian Acropolis, Greece
(1912). Greek Refinements: Studies in Temperamental Architecture. Yale. Haselberger, Lothar, ed. (1999). Appearance and Essence: Refinements of Classical
Parthenon
German composer (1813–1883)
Millington describes it as "a diaphanous score of unearthly beauty and refinement". Apart from his operas, Wagner composed relatively few pieces of music
Richard_Wagner
REFINEMENT
REFINEMENT
Boy/Male
Muslim/Islamic
Refinement
Girl/Female
Muslim
Purity, Refinement, Clarity
Girl/Female
Arabic, Muslim
Purity; Refinement; Clarity
Girl/Female
Arabic, Muslim
Purity; Refinement
Boy/Male
Arabic, Muslim, Sindhi
Refinement
REFINEMENT
REFINEMENT
Boy/Male
Norse
Son of Dufniall.
Girl/Female
Slavic English
Born on Sunday.
Girl/Female
Muslim/Islamic
Angel
Female
Hebrew
(×וּשָ×רָה) Hebrew name USHARA means "fortunate."
Boy/Male
German
Courageous
Boy/Male
Bengali, Indian, Traditional
Lovely; Sweet
Boy/Male
Hindu, Indian, Kannada, Malayalam, Marathi, Telugu
Lord Shiva
Girl/Female
British, English
Eye of the Day
Girl/Female
Latin
Ardent. Eager. Industrious.
Boy/Male
Hindu
Another name of Arjun
REFINEMENT
REFINEMENT
REFINEMENT
REFINEMENT
REFINEMENT
n.
Hence, figuratively, lacking refinement, gentleness, or polish.
v.
Characterized by refinement, or a high degree of finish; as, polite literature.
n.
Refinement; subtlety; extreme attenuation.
n.
A person deficient in liberal culture and refinement; one without appreciation of the nobler aspirations and sentiments of humanity; one whose scope is limited to selfish and material interests.
n.
Refinement; extreme acuteness; subtlety.
n.
Refinement; delicacy.
a.
Not elegant; deficient in beauty, polish, refinement, grave, or ornament; wanting in anything which correct taste requires.
n.
Fig.: Refinement; elegance of manners.
superl.
Characterized by refinement and niceness in drawing distinctions; nicely discriminating; -- said of persons; as, a subtle logician; refined; tenuous; sinuous; insinuating; hence, penetrative or pervasive; -- said of the mind; its faculties, or its operations; as, a subtle intellect; a subtle imagination; a subtle process of thought; also, difficult of apprehension; elusive.
n.
The act of refining, or the state of being refined; as, the refinement or metals; refinement of ideas.
n.
The quality or state of being polite; refinement of manners; urbanity; courteous behavior; complaisance; obliging attentions.
a.
Hence, lacking cultivation or refinement; rustic; boorish; also, offensive to good taste or refined feelings; low; coarse; mean; base; as, vulgar men, minds, language, or manners.
n.
The quality or state of being urbane; civility or courtesy of manners; politeness; refinement.
n.
Excessive refinement.
n.
That which is refined, elaborated, or polished to excess; an affected subtilty; as, refinements of logic.
n.
A cupel or cupelling hearth in which precious metals are melted for trial and refinement.
n.
Coarseness; simplicity; want of refinement; as, the homeliness of manners, or language.
n.
The complex mixture of volatile, liquid, inflammable hydrocarbons, occurring naturally, and usually called crude petroleum, mineral oil, or rock oil. Specifically: That portion of the distillate obtained in the refinement of petroleum which is intermediate between the lighter gasoline and the heavier benzine, and has a specific gravity of about 0.7, -- used as a solvent for varnishes, as a carburetant, illuminant, etc.
n.
Grossness or clownishness of manners of language; absence of refinement; coarseness.
superl.
Characterized by roughness; umpolished; raw; lacking delicacy or refinement; coarse.