logo
    Factorial Designs, Resolution of
    Encyclopedia of Statistics in Quality and Reliability (2007)
    Daniele Romano
    Abstract After providing the definition of resolution for 2 k − p designs we present two rationales that justify the practical importance of resolution as a criterion for selecting good fractional designs. Insight is given into designs of resolution III, IV, and V, i.e., the most widespread in practice. Then we describe how to determine the resolution of a design and a simple rule for finding half‐fractions of maximum resolution. Smaller fractions of maximum resolution can be found in specialized books referenced in the text. We also describe some circumstances when the resolution criterion needs to be supplemented or replaced by other user‐relevant criteria.
    Fractional factorial design
    Citations (0)
    Resolution proof systems: an algebraic theory
    Kluwer Academic Publishers eBooks (1996)
    Zbigniew Stachniak
    Proof complexity
    Citations (26)
    Unrestricted resolution versus N-resolution
    Theoretical Computer Science (1992)
    Andreas Goerdt
    Proof complexity
    Pigeonhole principle
    Conjunctive normal form
    Citations (20)
    Unrestricted resolution versus N-resolution
    Mathematical Foundations of Computer Science (2005)
    Andreas Goerdt
    An N-resolution proof is a resolution proof in which the resolution rule is restricted: One clause to which it is applied must only consist of negative literals. N-resolution is complete. ([8], p. 109,
    Citations (4)
    Theorem proving with variable-constrained resolution
    Information Sciences (1972)
    C. L. Chang
    Substitution (logic)
    Citations (16)
    Correction of the resolution function for non-ideal peaks
    Journal of Chromatography A (1988)
    Peter J. SchoenmakersJoost K. StrastersÁkos Bartha
    Citations (47)
    On resolution with short clauses
    Annals of Mathematics and Artificial Intelligence (1996)
    Michael BuroHans Kleine Büning
    Citations (4)
    DETERMINING QUALITY REQUIREMENTS AT THE UNIVERSITIES TO IMPROVE THE QUALITY OF EDUCATION
    The Journal of Economic Research & Business Administration (2018)
    Nor Hanim MustafaDinmukhamed KelesbayevZh.D. Alibekova
    Бұл зерттеужұмысындaКaно моделітурaлы жәнеоғaн қaтыстытолықмәліметберілгенжәнеуниверситетстуденттерінебaғыттaлғaн қолдaнбaлы (кейстік)зерттеужүргізілген.АхметЯссaуи университетініңстуденттеріүшін Кaно моделіқолдaнылғaн, олaрдың жоғaры білімберусaпaсынa қоятынмaңыздытaлaптaры, яғнисaпaлық қaжеттіліктері,олaрдың мaңыздылығытурaлы жәнесaпaлық қaжеттіліктерінеқaтыстыөз университетінқaлaй бaғaлaйтындығытурaлы сұрaқтaр қойылғaн. Осы зерттеудіңмaқсaты АхметЯсaуи университетіндетуризмменеджментіжәнеқaржы бaкaлaвриaт бaғдaрлaмaлaрыныңсaпaсынa қaтыстыстуденттердіңқaжеттіліктерінaнықтaу, студенттердіңқaнaғaттaну, қaнaғaттaнбaу дәрежелерінбелгілеу,білімберусaпaсын aнықтaу мен жетілдіружолдaрын тaлдaу болыптaбылaды. Осы мaқсaтқaжетуүшін, ең aлдыменКaно сaуaлнaмaсы түзіліп,116 студенткеқолдaнылдыжәнебілімберугежәнеоның сaпaсынa қaтыстыстуденттердіңтaлaптaры мен қaжеттіліктерітоптықжұмыстaрaрқылыaнықтaлды. Екіншіден,бұл aнықтaлғaн тaлaптaр мен қaжеттіліктерКaно бaғaлaу кестесіменжіктелді.Осылaйшa, сaпa тaлaптaры төрт сaнaтқa бөлінді:болуытиіс, бір өлшемді,тaртымдыжәнебейтaрaп.Соңындa,қaнaғaттaну мен қaнaғaттaнбaудың мәндеріесептелдіжәнестуденттердіңқaнaғaттaну мен қaнaғaттaнбaу деңгейлерінжоғaрылaту мен төмендетудеосытaлaптaр мен қaжеттіліктердіңрөліaйқын aнықтaлды.Түйінсөздер:сaпa, сaпaлық қaжеттіліктер,білімберусaпaсы, Кaно моделі.
    Citations (0)
    An Evaluation of Expressions Used for Chromatographic Resolution in the Case of Skewed Peaks of Varying Peak-Heights
    Journal of Liquid Chromatography (1988)
    Joost K. StrastersÁkos BarthaH.A.H. BillietL. de Galan
    Abstract The classical way to express resolution can not be used as measure for the separation in the case of tailing peaks or peaks with strongly varying peak heights. A number of different expressions for resolution are evaluated with respect to peak overlap, i.e. the classical resolution, resolution based on the individual peak widths, resolution based on the first and second moments, the discrimination factor and an adjusted resolution which determines the peakwidth relative to the second peak. Attention is given to the application of these expressions for prediction of overlap in subsequent chromatograms, used in interpretive optimization techniques.
    Separation (statistics)
    Citations (12)
    Narrowing Extended Resolution
    Nicolas Prcovic
    Extended Resolution (i.e., Resolution incorporating the extension rule) is a more powerful proof system than Resolution because it can find polynomially bounded refutations of some SAT instances where Resolution alone cannot (and at the same time, every proof with resolution is still a valid proof with extended resolution). However it is very difficult to put it into practice because the extension rule is an additionnal source of combinatorial explosion, which tends to lengthen the time to discover a refutation. We call a restriction of Resolution forbiding the production of resolvents of size greater than 3 Narrow Resolution. We show that Narrow Extended Resolution p-simulates (unrestricted) Extended Resolution. We thus obtain a proof system whose combinatorics is highly reduced but which is still as powerful as before. However, the algorithms based on Resolution cannot be easily modified to accommodate this restriction on the resolution rule. This is why we define Splitting Resolution, a variant of Narrow Extended Resolution suitable for integrating into any resolution-based solver.
    Citations (0)