### Table 2: Data for the modular algorithm

"... In PAGE 8: ... For the time being our implementation handles square sys- tems that generate radical ideals. We compare our al- gorithm called TriangularizeModular with gsolve and Triangularize; For each benchmark system, Table 1 lists the numbers n; d; h a46 and Table2 lists the prime p1, the a priori and ac- tual number of lifting steps (a0 and a) and the maximal height of the output coe cients (Ca). Table 3 gives the time of one call to Triangularize modulo p1 ( p), the equiprojectable decomposition (Ep), and the lifting (Lift.... ..."

### Table 1. Comparison of PAKEs proven to be secure in the standard model

2002

"... In PAGE 2: ... In this paper, we propose a more efficient protocol that is also provably secure in the standard model. Comparative results with the previous schemes [7, 9] are summarized in Table1 . As shown in the table, our protocol is efficient in both the communication costs and the computation costs.... ..."

Cited by 9

### Table 7 Institutional perspectives on cost shares

1999

"... In PAGE 26: ... Agencies focusing on socioeconomic, environmental, or food-processing research, not specific to a particular subsector, have comparatively smaller annual budgets. COST SHARES Table7 reports cost shares for 64 government and semipublic agencies from 17 countries for the period 1986-1991. These data suggest that overall cost shares were reasonably stable throughout this period, although public agencies consistently allocated a greater share of their total spending to personnel and a significantly smaller share to... In PAGE 29: ...The stability in these overall cost shares belies the dramatic inter-institutional differences in the underlying cost structures. Table7 also reports the cost components for government and semipublic institutes on a per-researcher basis. Semipublic institutes committed nearly twice the quantity of resources per scientist than government institutes, and this difference persists across the personnel, operating, and capital cost components.... In PAGE 29: ...992; Weijenberg et al. 1993 and 1995; and Taylor et al. 1996) is that research throughout Africa is severely curtailed because of inadequate operational resources. The quantitative evidence in Table7 seems to contradict this view, particularly for the semipublic institutes, but it may be that a disproportionate share of operational funds are consumed by burdensome administrative overhead and the maintenance and upkeep of an extensive network of (comparatively small) research stations and farms. This seems especially so for government agencies.... ..."

### Table 2: The transition system for the -calculus

1998

"... In PAGE 18: ... Also, is the composition of the two substitutions, in which is applied rst; therefore P is (P ) . The operational semantics of the calculus is de ned by the transition rules of Table2 . The silent action P ?! Q has the same meaning as in CCS.... In PAGE 25: ... Normalised replications can be given the simple transition rule rep-nor: :P ?! P0 ! :P ?! P0 j ! : P or, alternatively, the two rules rep-inp: ! a(x): P ab ?! Pfb=xg j ! a(x): P rep-pre: ! : P ?! P j ! : P ; if is not an input Remark 6.2 As an aside, we wish to point out that rule rep-nor (as well as rep-inp and rep-pre) preserves the following pleasant property of -calculus transition system in Table2 , and which we state here very informally: If two inference proofs of transitions P ?! P0 and P ?! P00 consume the same pre x(es) of P, then P0 and P00 are syntactically the same (up to alpha conversion). This is a handy property to have, for instance when examining the set of derivatives of a process, because it makes it easier to reason by structural induction on processes.... ..."

Cited by 53

### Table 2: The transition system for the -calculus

1998

"... In PAGE 18: ... Also, is the composition of the two substitutions, in which is applied rst; therefore P is (P ) . The operational semantics of the calculus is de ned by the transition rules of Table2 . The silent action P ?! Q has the same meaning as in CCS.... In PAGE 24: ... Normalised replications can be given the simple transition rule rep-nor: :P ?! P0 ! :P ?! P0 j ! : P or, alternatively, the two rules rep-inp: ! a(x): P ab ?! Pfb=xg j ! a(x): P rep-pre: ! : P ?! P j ! : P ; if is not an input Remark 6.2 As an aside, we wish to point out that rule rep-nor (as well as rep-inp and rep-pre) preserves the following pleasant property of -calculus transition system in Table2 , and which we state here very informally: If two inference proofs of transitions P ?! P0 and P ?! P00 involve the same pre x(es) of P, then P0 and P00 are syntactically the same (up to alpha conversion). This is a handy property to have, for instance when examining the set of derivatives of a process, because it makes it easier to reason by structural induction on processes.... ..."

Cited by 53

### Table 2 The repeatability of modularity methods.

"... In PAGE 11: ... LIST OF TABLES Table 1 Comparison of architectural representation methods. Table2 The repeatability of modularity methods. Table 3 Interface complexity values (per 1% change in the original flow value) for different flow types at two different companies.... In PAGE 42: ...amily. DSM does not have a step for this at all. MFD has one driver out of many to identify common units across products, but this driver presumes that the commonality is predetermined. The function structure heuristics include three heuristics designed specifically for product family design, but as shown in Table2 , the repeatability is the poorest when trying to identify the commonalities across products. Thevenot and Simpson [ 115] also call for more specific definitions of commonality in their analysis of commonality metrics for platform design.... ..."

### Table 2. Equality Judgements for the -calculus

1999

"... In PAGE 6: ... Similarly the type 1 is isomorphic to the empty context []. E-categories also provide a theory of equality judgements for the -calculus which are of the form ? ` t = t0 and ? ` f = f0 | these are given in Table2 and used in proving soundness and completeness. Similar structures to our E-categories have been considered in the literature.... ..."

Cited by 1

### Table 2. Equality Judgements for the -calculus

1999

"... In PAGE 6: ... Similarly the type 1 is isomorphic to the empty context []. E-categories also provide a theory of equality judgements for the -calculus which are of the form ? ` t = t0 and ? ` f = f0 | these are given in Table2 and used in proving soundness and completeness. Similar structures to our E-categories have been considered in the literature.... ..."

Cited by 1

### Table 1. Structural congruence rules for the polar a176 -calculus

2002

"... In PAGE 5: ... Labelled transition rules for process terms in the polar a176 -calculus tr-OUT: a215 a202a192a203 a195 a216 a205a175a217a219a218 a220 a221a193a222 a223a15a223a225a224a227a226a120a228 ; a177 a217a14a218 a220 a221a193a222 a223a190a223a39a224 a177a230a229 a209a186a201a231a212a232a230a195 a233 a183 a194a76a195 a233 a185a191a177a235a234 a236 a220 a237a23a238 a217a14a218 a220 a221a193a222 a223a239a223a68a223a190a223a190a223a96a224 a177 a229 tr-IN: a215 a206a192a183 a195 a207 a185a15a208 a177a241a240a120a234 a220 a221 a238 a223a68a223a219a224 a177a46a211 a195 a216 a212 a195 a207 a213 tr-RES: a177a243a242 a224 a177a230a229a187a209a31a195 a197a5a198 fna183 a244a168a185a62a199a31a200 a183 a194a196a195 a197 a185a191a177 a242 a224 a183 a194a65a195 a197 a185a191a177 a229 ; tr-REP: a245 a240a120a234 a220 a221 a238 a223a68a223a219a224 a177 a246 a245 a240a120a234 a220 a221 a238 a223a68a223a219a224 a177a46a179 a246 a245 tr-PARL: a177a247a242 a224 a177a230a229 a177a46a179 a248 a242 a224 a177 a229 a179 a248 tr-CHOI: a188a136a178 a240a120a234 a220 a221 a238 a223a68a223a219a224 a177 a188a136a178a191a189a192a188a72a182a7a240a120a234 a220 a221 a238 a223a68a223a219a224 a177 tr-INTL: a177a235a234 a236 a220 a237a23a238 a217a14a218 a220 a221a193a222 a223a14a223a68a223a190a223a190a223a96a224 a177a230a229a187a209a136a177a230a229a19a240a120a234 a220 a221 a238 a223a68a223a219a224 a177a230a229 a229 a183 a194a12a201a46a185a191a177a247a249 a224 a183 a194a230a201a46a185a15a183 a194a36a195 a233 a185 a177 a229 a229 tr-STRUC: a177a230a229 a178 a181a136a177a34a178a27a209a136a177a34a178a171a242 a224 a177a26a182a219a209a136a177a26a182a57a181a136a177a230a229 a182 a177 a229 a178 a242 a224 a177 a229 a182 The Semantics. The structural equivalences and labelled transitions are shown in Table1 and Table 2. They are standard except the rule tr-INTL, which gives the meaning of an internal action a250 .... ..."

Cited by 2

### Table 2: The Ontario market player-technology-cost-capacity structure.

2005

"... In PAGE 23: ... In Ontario, a five-dominant-player market is expected as a result of divestiture of the largest supplier OPG. In Table2 , we represent the players, their generation technologies, the upper bounds of available in-use capacities, and average variable operation and maintenance costs of the technologies. In the second case, the five-player market, we will assume that OPG will keep its hydro, nuclear and green power facilities.... In PAGE 23: ... Since in general marginal units that cleared the market are gas and oil fueled generators, and OPG and NUGA have oil/gas plants, we attributed imports (from the interconnecting grid of other jurisdictions such as New York, Michigan, Minnesota, and Manitoba) to them, and increased their maximum in use capacities for oil/gas plants at the average level of imports. Table2 implies that almost 70% of the installed nuclear generation, 55.4% of the total hydroelectric capacity, 50.... In PAGE 24: ... 23 In the last column of Table2 we present the cost structures of the technologies. Firm level cost data in general is private and not disclosed.... ..."