### Table 1. Proportions of Outcomes, by Refinement Refinements

1993

Cited by 4

### Table 2: Compatible refinement

1998

"... In PAGE 10: ... Compatible refinement For every open relation R, its compatible refinement (Gordon 1994) b R Rel relates expressions with identical outermost syntactic constructor and immediate subterms pairwise related by R. Table2 makes this definition precise for our lan- guage. Compatible refinement is monotone, preserves weakening, and commutes with relation composition, d R S = b R b S.... In PAGE 13: ... The inductive definition of substi- tutive context closure is also convenient for formal reasoning. By the construction of Un, whenever ~x ` e Un e0, we can argue by cases on the derivation: either ~x ` e RmfUng e0 for some m n, by (SC Subst), and we can decompose e and e0 into expressions related by Rm and substitutions of values related by Un; or ~x ` e c Un e0, by (SC Comp), and we may proceed by analysis of the derivation by the rules for compatible refinement in Table2 . For instance, we can deduce, for all values v and v0, ~x ` v Un+1 v0 implies ~ x ` v c Un v0; (4.... ..."

Cited by 19

### Table 2. Refinement Assessment

"... In PAGE 8: ... Similar differences may be observed throughout the table. Table2 just exemplifies how the refinement process produces more accurate operational profiles given a heterogeneous customer base. 6.... ..."

### Table 2 Refinement statistics.

"... In PAGE 2: ...raphic R factor of 20.0% (Rfree = 23.4%). The resulting temperature factors of the metals are in agreement with their assign- ment as zinc and calcium ( Table2 ). The structure is essentially identical to that solved and refined at 1.... ..."

### Table 1. Summary of refinement

1978

"... In PAGE 3: ...ith spacings between 7 and 1.5 A. Ten rounds of E + kd minimization, gradually increasing the data resolution, decreased R to 0.39 1 ( Table1 ). This compares well with the value of 0.... In PAGE 3: ... .WM Table1 summarizes the course of refinement. It can be seen that the most dramatic changes occurred in the first round (5 A resolution), and also when the Ds (6) resolution was increased from 2.... ..."

Cited by 2

### Table 2. Phasing and Refinement

2005

Cited by 1