### Table 8: A logic program obtained from translating the logic grammar presented in table 1

### Table 1: Approximation of blocking in a finite sys-

2001

Cited by 1

### Table 3: Summary of Propositional Logic Theorem Provers

1996

"... In PAGE 30: ....1.1.5 Summary of Propositional logic theorem proving The following Table3 is a summary of the theorem provers just described. The information is based on readings from [17, 19, 16, 5, 12]... ..."

### Table 1 Programming languages and their supported programming paradigms. Progr. language OO Functional Logic Static typing Dynamic typing

"... In PAGE 3: ... 1 The FCA algorithm takes as input a relation, or Boolean table, T between a (potentially large, but finite) set of elements and a set of properties of those elements. An example of such a table is given in Table1 , in which different programming languages and properties are related. A cross in a table cell means that the programming language in the corresponding row has the property of the corresponding column.... ..."

### Table 1 Programming languages and their supported programming paradigms. Progr. language OO Functional Logic Static typing Dynamic typing

"... In PAGE 3: ... 1 The FCA algorithm takes as input a relation, or Boolean table, T between a (potentially large, but finite) set of elements and a set of properties of those elements. An example of such a table is given in Table1 , in which different programming languages and properties are related. A mark in a table cell means that the programming language in the corresponding row has the property of the corresponding column.... ..."

### Table 3 Summary of Cases Analyzed using NIKE 2D Finite Element Program

1999

"... In PAGE 15: ... Results of all of the analyses are presented in the sequence in which they were accomplished to illustrate the process used to arrive at the recommended thickness for the overlay pavement structure. Table3 summarizes the simulations performed and Figure 6 shows the locations at which critical strains, principal tensile and maximum shear, were determined. 2.... In PAGE 25: ...ikely be placed and that the binder would be an asphalt rubber. Earlier studies, e.g., Reference (4) have shown that the stiffness of this type of mix is similar to that of the PBA-6A mix. Thus, as seen in Table3 , the section used for analysis consisted of 5 in. of material with a stiffness of 900,000 psi and 4 in.... ..."

### Table 1. Finite-Mode Approximations for (n+; n?) = (5; 3).

1992

"... In PAGE 8: ... In this space we minimize the action numerically, using Newton apos;s method. The results for n+ = 5, n? = 3 are listed in Table1 for several values of lmax. In this example even taking lmax = 1 is enough to give a good estimate, and taking lmax = 4 gives 14-digit accuracy.... ..."

Cited by 1

### Table 6: Finite Sample Distribution of T

"... In PAGE 13: ... In Table 5 we present the nite sample means and sample variances of T n under H 0 for all three samples. We report the 95% critical value in Table6 and the power of the test in Table 7. We also perform a Monte Carlo study to obtain the real sizes of the test in nite samples and compare them with the nominal sizes.... In PAGE 13: ... A detailed examination of Table 3 and Table 5 reveals that the asymptotic distri- bution of T n is very close to the nite sample distribution of T n across all three samples and all nite-variance distributions. Not surprisingly, therefore, we end up the same conclusions from Table 4 and Table6 . Table 4 indicates that, for all three samples,... In PAGE 14: ... Finally, Table 7 provides the evidence that in nite samples our test has very good power. From Table6 andFigure 1, we note that in terms of the size of the test, it works quite well for the normal distribution, the Student t distribution, the mixture of normal distribution, the compound log-normal and normal model, and the Weibull distribution. Although the size distortions are larger for the mixed di usion jump model, the biases suggest under-rejection of the model and hence support our nding of rejection of all nite-variance distributions in the above empirical study.... ..."

### Table 2: Propagation constants s, a and coupling length Lc for the coupler of Figure 3, computed with the effective index approximation [11] (EIM), with the spectral index method [11] (SIM), a finite element program [11] (FEM), and the semivectorial wave matching method (WMM).

Cited by 2