### Table 1: Saturation rules.

"... In PAGE 4: ...Table 1: Saturation rules. Table1 . Notice also that in the rst two rules for equality, ` stands for a literal, and the substituted term is restricted to be a top-level term occurring in `.... ..."

### Table 1. Saturation rules.

"... In PAGE 4: ... Thus, for instance, the rule s @? t1 =) s @? t1 t t2 can be applied to a branch of a tableau for apos; only if the term t1 t t2 is already in T apos;. Under this fundamental restriction, the full collection of saturation rules is shown in Table1 . Notice also that in the rst two rules for equality, ` stands for a literal, and the substituted term is restricted to be a top-level term occurring in `.... In PAGE 6: ... Example 1. Table1 contains a closed tableau with 3 branches for proving the validity of the formula :(x [y] ^ x y t z) _ (y ; ^ x z). We denote with apos;i the formula labeling node i, and provide justi cations for the construction of the tableau.... ..."

### Table 1. Saturation rules.

"... In PAGE 4: ... Thus, for instance, the rule s @? t1 =) s @? t1 t t2 can be applied to a branch of a tableau for apos; only if the term t1 t t2 is already in T apos;. Under this fundamental restriction, the full collection of saturation rules is shown in Table1 . Notice also that in the rst two rules for equality, ` stands for a literal, and the substituted term is restricted to be a top-level term occurring in `.... In PAGE 6: ... Example 1. Table1 contains a closed tableau with 3 branches for proving the validity of the formula :(x [y] ^ x y t z) _ (y ; ^ x z). We denote with apos;i the formula labeling node i, and provide justi cations for the construction of the tableau.... ..."

### Table 1: Saturating Background Flows

"... In PAGE 12: ... Given the topology of the network and the location of potential traffic sources and sinks, the cutset lines between the left and right sets of nodes constituted an obvious set of links to saturate (though certainly not the only set), and they were the ones we chose. The saturating traffic across the cutset comprised the flows shown in Table1 . Each flow originates at a node in the left set, and terminates at a node in the right set.... ..."

### Table 2. Index of Refrigerator Saturation

"... In PAGE 2: ... The State Committee on Statistics gives two different saturation indicators for refrigerators: per 100 families and per 1000 inhabitants. Since 1985 those saturation indexes have stabilized (see Table2 ). By international standards, the numbers are high, as 95-100 percent of families have refrigerators in most developed countries.... ..."

### Table 3 Effect of saturation condition

in Novel

"... In PAGE 10: ... Further investigations will be carried on using a larger dataset in the future. Table3 compares between average sensitivity before and after applying the saturation condition at specificity of 90%. Results before using the saturation condition are better than using the green channel only and further improved when using this condition, this is particularly noticeable for abnormal images.... ..."

### Table 2: Another 1021eV saturated event seen by only one eye. In contrast to Table 1, this event was near vertical (zenith angle 10 ), but it did land closer to the eye with a core distance of 1.6 km. The shower depth of maximum was 993 gcm?2, below ground level. Again this event is characterised by extremely short pulse widths.

### Table 5. Utilizations in saturated state

2001

"... In PAGE 8: ... All three strategies reach that state regardless of the job set used. Table5 shows that the ranking for utilization... ..."

Cited by 7

### Table 2: Results of the saturation evaluation

### Table 4 Saturated throughput comparisons,

"... In PAGE 10: ...configuration M/ N/l. Table4 shows point and 95%con- fidence interval estimates for A quot; apos; quot; - A* apos; quot; calculated from (ll)and(12)for(I,j)=(1,2),(1,3),and(2,3)for each basic configuration. Using inequality (10) allows one to make the statement for each basic configuration that all three differences are contained in their respective intervals with probability at least 1 - (0.... In PAGE 10: ...0090 l,O.O 1 16 1) in Table4 , which has width 0.00260.... In PAGE 10: ...ver, reveals that rates below 0.25 are never excluded. Similarly, A* appears to decrease as C increases from 2 to 3 for M = N = 2. In Table4 the estimated 95% con- fidence interval for this difference is (-0.00326,O.... ..."