### Table 9: Signs of additive synergies for the commutative, non-associative operators; right- associative case.

2005

"... In PAGE 18: ... square Next, the two commutative, non-associative operators are considered. Here, we only supply a proof for the nand | operator; the results are summarised in Table9 . Note that it is now no longer permitted to only look at the variables I1 and I2.... ..."

Cited by 5

### Table 9 Signs of additive synergies for the commutative, non-associative opera- tors; right-associative case

2004

"... In PAGE 19: ... a50 Next, the two commutative, non-associative operators are considered. Here, we only supply a proof for the NAND | operator; the results are summarised in Table9 . Note that it is now no longer permitted to only look at the variables I1 and I2.... ..."

### Table 3: Commuting time (1)

"... In PAGE 15: ... This implies that for each household one dummy is included, hence the estimates are essentially based on the differences of the length of the commute of workers within the household only. It can be seen from the last two columns of Table3 that the results remain essentially the same for commuting time. The only difference, as can be seen in the last column, is that, now in line with theory, it appears that the excess commute is 33 For example, it may be the case that the self-employed are more likely to work from home when the minimum distance at which they can find a workplace is large.... ..."

### Table 3: Commutative division algebras.

"... In PAGE 32: ... Proposition 2.2 [1, Theorem 3] An algebra given by Table3 is a division algebra if and only if d2 lt; 4b a b c d . First, we consider the case when A has exactly one idempotent.... In PAGE 33: ... Lemma 2.4 An algebra determined by Table3 has exactly one idempotent if and only if either (2a d)2 lt; 4c(1 2b) or d = 2a; b = 1 2. Taking into account Proposition 2.... ..."

### Table 13 Signs of product synergies for the commutative, non-associative operators assuming that E =latticetop; right-associative case

2004

### Table 8: Signs of additive synergies for the commutative, associative operators. Operator Sign

2005

"... In PAGE 17: ... As before, a distinction has to be made between operators that are associative and com- mutative, those that are non-commutative but associative, and those that are neither com- mutative nor associative. The results for the associative and commutative operators are given in Table8 . In this case, we can simply assume that j = 2 without loss of generality, which simplifies the proofs.... ..."

Cited by 5

### Table 3 below deals with a two-move interchange. The penultimate column shows how many times the worlds commute during the conversation. The first line considers the case where a8 is followed by a12 a14 , and the second one the case where a8 is followed by

"... In PAGE 21: ... In the second case, the ordering is left untouched, and so is the obligation of a6a54a12 a68 . Table3 . Two-move interchange Revision sequence Induced ordering Perm Output 1.... ..."

### Table 6. Ratings of candidate motor designs versus requirements criteria

2005

"... In PAGE 29: ... High reliability/robust design especially for man-rated applications. Table6 contains the evaluation of the three candidate approaches with respect to these... ..."

### Table 2: The shape of the commutator [ B;F] as a function of the number of eigenvectors and eigenvalues of B.

1999

"... In PAGE 23: ... To derive the six cases listed in Table 1, let us rst list the forms that a commutator G = [ B; F] of a Jordan form matrix B takes according to the number of independent eigenvectors and eigenvalues of B. These forms are listed in Table2 . In our case, F = D0.... In PAGE 29: ... Notice that by requiring that rank(W) = 3 we exclude those views ^ v which are eigenvectors of B. Below we consider six cases according to the number of linearly independent eigenvectors and di erent eigenvalues of B (see Table2 ). Notice that fij in this table corresponds here to the components of E0 (denoted as e0 ij), and since E0 = D0 + v 0r0 these components are given by e0 ij = d0 ij + v0 ir0 j.... In PAGE 29: ... Notice that fij in this table corresponds here to the components of E0 (denoted as e0 ij), and since E0 = D0 + v 0r0 these components are given by e0 ij = d0 ij + v0 ir0 j. (a) As can be seen in Table2 , when B has three di erent eigenvalues G = 0 if and only if all the six non-diagonal elements of E0 are non-zero. In particular, consider the second row of G, e0 12 = e0 32 = 0 implies that d0 12 = ?v0 1r0 2 and d0 32 = ?v0 3r0 2.... ..."

Cited by 1

### Table 1: A sequent system L for PL .

1995

"... In PAGE 4: ...Table 1: A sequent system L for PL . With one exception, the rules in Table1 are the natural generalisations of the rules sug- gested by Girard for the commutative intuitionistic linear logic, cf. [19] and [20, 21], to the non-commutative case, cf [14, 15].... ..."

Cited by 1