「refinement」の共起表現一覧(1語右で並び替え)

refinement

1語右で並び替え

該当件数:156件

  • ations of a triangulable space have a common refinement, a single triangulation that is a subdivisio
  • His article Program Development by Stepwise Refinement, about the teaching of programming, is consi
  • and has a special construction for stepwise refinement, allowing students to focus on top-down desi
  • In contrast to the refinement and gentility of the house expressed by its
  • FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checki
  • hibits fluid and elegant melodies, exquisite refinement and poise.
  • tandard returned to focusing on domestic oil refinement and advancement.
  • He contended that the refinement and development of Yiddish were indispensabl
  • , she charmed the city with her aristocracy, refinement and philanthropy.
  • It is currently focusing on the refinement and development of the ICON A5, an amphibiou
  • of talent that would position the group for refinement and growth: his wife, Tena Jones on vocals,
  • argued that he never played with more taste, refinement, and soulful swing than in the 1970s, when h
  • hods of radiative transfer and adaptive mesh refinement applied to computational astrophysics over t
  • xperiments; the 3Rs (replacement, reduction, refinement) as a cornerstone of the legislation with pa
  • level which would then facilitate bottom-up refinement as each new unit that was involved in a cert
  • It can be applied as a stepwise refinement at system design time.
  • While Side-Line noted a lack of refinement between voice and music, a German source men
  • oding bits of significant coefficients, then refinement bits of significant coefficients.
  • Evans had a good deal of learning and refinement, but his habits were unsuited to the Quaker
  • , through the Community Z Tools project) and refinement calculi.
  • Refinement calculus is a formalized approach to stepwis
  • Back originated the refinement calculus, an important approach to the forma
  • Further refinement can be brought by weighting changes in one d
  • inski and Kaisa Sere, Program Development by Refinement: Case Studies Using the B Method.
  • bed as a model checker, but is technically a refinement checker, in that it converts two CSP process
  • The tool provides reachability analysis and refinement checking, both implemented using the data st
  • If the separation proves expensive, refinement could be based on learning from samples.
  • Compared to Landini's music, in which refinement, elegance, and a memorable melodic line were
  • nly in Italy and southern Germany, involving refinement, exclusivity, and intense emotional expressi
  • Mesh refinement first appears in the numerical relativity li
  • ee to develop the technique of adaptive mesh refinement for numerical simulations of astrophysical f
  • with "general-to-specific search" through a refinement graph.
  • And inevitably, after an age of intellectual refinement, humanity will lose its vital sap and die fr
  • rces and applies a Baroque sense of decadent refinement, imbuing her work with a magical quality to
  • and non-deterministic choice with regards to refinement in process calculi.
  • s...This sort of worldly melodrama calls for refinement in cinematic style, but the writing and dire
  • e title of his thesis is Nonmonotonic Theory Refinement in Artificial Neural Networks.
  • Millville due to a lack of water, needed for refinement, in the immediate vicinity of Tombstone.
  • elation between the abstract machine and the refinement in B method in a B project seems like the En
  • work mellowed somewhat as it shows much more refinement in drawing and colors.
  • e, which is clear in the increasing level of refinement in his letters to her.
  • ods for low Mach number flows, adaptive mesh refinement, interface tracking and parallel computing.
  • d other waxes making it highly desirable for refinement into petroleum lubricants such as motor oil.
  • mplify innovation, attention to quality, and refinement into the 21st century.
  • For refinement is our goal,
  • ct-oriented programming, downcasting or type refinement is the act of casting a reference of a base
  • ields, formulating an alternative to Rubin's refinement, known as Popescu's conjecture.
  • After additional refinement, Leatherman's first product was introduced i
  • owder diffractometry (XRPD) and the Rietveld refinement method.
  • PHAML: Fortran 90 code using adaptive refinement, multigrid and parallel computing to solve 2
  • antics of the vulgar when surrounded by the refinement of art which he can neither understand nor a
  • by a program should also be satisfied by any refinement of it, which notion leads directly to specif
  • Since water, needed for refinement of ore, was not present near the mine, a mil
  • Nang-jang ( refinement of perception) is the name given to a vision
  • model theory, most importantly presenting a refinement of canonical model that became standard, and
  • by Garner and colleagues described a 26-item refinement of the original test .
  • sychopaths in society at large, leading to a refinement of the word itself into what was perceived t
  • Lawson topology on P is the smallest common refinement of the lower topology and the Scott topology
  • by minute attention to details and by great refinement of touch, and he relied more on his mechanic
  • us experience, the atmosphere of culture and refinement of his boyhood home, his literary and legal
  • A further refinement of LYaPAS is LYaPAS-M.
  • R-9A Delta: A slight refinement of the original R9.
  • Further refinement of its orbit eliminated this risk.
  • This technique is a refinement of ordinary photoemission spectroscopy.
  • endition of the literature), Shruti Shuddhi ( refinement of pitch) and Swara Shuddhi (refinement of n
  • ess also generates hydrogen, which fuels the refinement of extracted bitumen through hydrocracking.
  • sanctioned mission planned in June 1942 as a refinement of Operation Seagull I.
  • Gosling's play... was the very refinement of football, and effective football, too.
  • It was essentially a refinement of the C.XII put into production in 1918.
  • In fact, one is far from the invaluable refinement of the Songs of Bilitis for example.
  • s allows rapid, zero-compile prototyping and refinement of deployable GUI applications.
  • theory, circular coloring may be viewed as a refinement of usual graph coloring.
  • TOSCO II process is a refinement of the Swedish Aspeco process.
  • m (ETA) indices have been developed based on refinement of TAU descriptors.
  • and class of amphibious transport dock was a refinement of the Austin class.
  • Other uses of naphthenic acids depend on the refinement of the material.
  • nment and other stakeholders resulted in the refinement of the proposal and changes to its design.
  • ne bomber aircraft of World War I, a further refinement of the AEG G.IV.
  • The Gene transfer format (GTF) is a refinement of GFF Version 2 and is sometimes referred t
  • A refinement of code mutation is Code Insertion Fault Inj
  • s diesel fuel, an oil byproduct derived from refinement of petroleum.
  • s developed in Kievan Rus' as an East Slavic refinement of the Byzantine neumatic musical notation.
  • that we view circular chromatic number as a refinement of the usual chromatic number.
  • Daitch-Mokotoff Soundex, which is a refinement of Soundex designed to better match surnames
  • In other words, a refinement of a program is more defined and more determ
  • of the Gras conjectures and Rubin's integral refinement of the abelian Stark conjectures.
  • e divine status of the ruler and the elegant refinement of his court.
  • Bland's anti-cycling rule) is an algorithmic refinement of the simplex method for linear optimizatio
  • A later refinement of the basic Mountbatten Pink camouflage was
  • A further refinement of the Fast FAC mission was the use of photo
  • The Jecklin Disk is a refinement of the baffled microphone technique for ster
  • Said more simply, a refinement of a tagged partition takes the starting par
  • The vernier height gauge has the additional refinement of a vernier scale for greater accuracy in r
  • The DPLL algorithm is a refinement of the propositional satisfiability step of
  • Developed by Grace Hopper as a refinement of her earlier innovation, the A-0 compiler,
  • This case saw the refinement of the language used in directing juries to
  • He is mostly known for his refinement of the theory of isostasy by George Airy and
  • many other horological innovations including refinement of his father Louis-Gabriel's Brocot escapem
  • ents in the Waste Water Industry, as well as refinement of welding in the polyethylene realm for var
  • ly evolving, and rely on the development and refinement of image acquisition, representation, analys
  • ay did not focus on growth as much as it did refinement of the home Mullins sound found in Sleep Ton
  • y exceeds demand for other xylene isomers, a refinement of the TDP process called Selective TDP (STD
  • This album saw the refinement of the bands old school revival sound, as th
  • The album marked a further refinement of the band's developing sound of death meta
  • beauty of her form, her white color, and the refinement of her small round face and tiny, idealized
  • ort for ring-oriented security, a multilevel refinement of the concept of master mode.
  • It is a refinement of the Russell and American Soundex algorith
  • It was a further refinement of the B.I and B.II, with a fresh tailplane
  • as a key tool in first aid, and Pantridge's refinement of the automated external defibrillator (AED
  • ncerned with extraction, transportation, and refinement of natural gas and crude oil.
  • g, “The Bailey House represents the ultimate refinement of an ideal developed by Koenig in his early
  • Ketu signifies the spiritual process of the refinement of materialization to spirit and is consider
  • Thus heteropatric speciation is a refinement of our notion of sympatric speciation in tha
  • ection formalism of Quillen, they obtained a refinement of the Riemann-Roch formula, which links tog
  • s previous experience in the development and refinement of mass production methods.
  • ry composition of relations but is robust to refinement of the relations into (partial) functions or
  • unding literature on "two-sided networks," a refinement of network effects that explains how firms c
  • on of the given interval, Q, is defined as a refinement of the partition, P, when it contains all th
  • dom coil transition of polypeptides; it is a refinement of the Zimm-Bragg model that recognizes that
  • oductive power known as urdhva-retas (upward refinement of the seed-force) and even death, attaining
  • rface, composition maps of Pluto and Charon, refinement of the orbits of Charon and even the newly d
  • Ennea is basically a further refinement of the trumpet-rock innovations from the fir
  • 1947 Effect of Aerodynamic Refinement on the Aerodynamic Characteristics of a Flyi
  • emantic equivalence is the notion of program refinement: one program is a refinement of another if i
  • The clay can be used without refinement or addition of other types of clay from othe
  • A simple refinement preprocessor to facilitate top-down program
  • dition the language can be used for stepwise refinement, proceeding gradually from an initial formal
  • ates that toxic compounds derived during the refinement process, used to remove the aniline and to d
  • Its keynotes are cautiousness and refinement rather than boldness.
  • in his 1978 PhD thesis On the Correctness of Refinement Steps in Program Development, and Carroll Mo
  • ed by proving the correctness of each of the refinement steps.
  • The Three Rs (Replacement, Reduction, Refinement) strategy was first suggested by zoologist W
  • ation and updating (V&V), mesh coarsening or refinement, structural health monitoring (SHM), materia
  • by every indication of old time learning and refinement such as few have enjoyed.
  • t times, it was during the 19th century that refinement techniques were developed and gasoline engin
  • ine compounds and, when coupled with lattice refinement techniques, such as Rietveld refinement, can
  • d petrol engines gave better performance and refinement than the carburettor units previously used.
  • He does it with such dignity, modesty, and refinement that it is truly art."
  • in later years was added the impressionistic refinement that he encountered in Debussy's music.
  • avid Sedley in their book Sefiros: Spiritual Refinement through Counting the Omer .
  • the existing petroleum infrastructure, from refinement through distribution to retail suppliers.
  • ious levels of organization, complexity, and refinement' throughout the mind.
  • Will's artistry brought refinement to every level of planning, engineering and
  • the song has a subtle but incredibly welcome refinement to it.
  • counterexample-driven automatic abstraction refinement to construct an abstract model that is then
  • me typing often provide downcasting (or type refinement) to allow the programmer to discover a more
  • orwards wanted to succeed, Jordan also had a refinement to his game.
  • and Thoroughbred blood was also used to add refinement to the German Oldenburg.
  • ous relation of behaviour-preserving program refinement, to an executable programming notation based
  • iagrams, state transition diagrams, function refinement trees, transaction-use tables and function-e
  • que called counterexample-guided abstraction refinement, which uses progressively better models of t
  • nsion if every open cover of the space has a refinement which is a cover of the space by open sets s
  • sponsors and supports meetings, such as the Refinement Workshop.
  • positive approach to the rules, and further refinement, would be beneficial to the sport.