### Table 12: Results for Interpolated Nonlinear CSTR Problem

"... In PAGE 25: ...1 ; zi?1 2 ; ui) = (zi 1; zi 2; zi 3) for all i = 1; : : : ; N z0 1 = 0:09 z0 2 = 0:09 Results for convergence to an absolute tolerance of 5 10?3 are presented in Table12 . Using these values as a starting point, the local solver obtained the solutions in Table 13.... ..."

### Table 1. Matlab results of using a linear interpolation compared to a non-linear interpolation.

"... In PAGE 4: ...The performance of systems of 2n current cells was investigated as thermometer decoding will be chosen as the switching scheme in the final circuit. Table1 presents the performance of Matlab emulations of both nonlinear and linear interpolation systems for increasing n. The performance is surprisingly good for a small number of current sources.... ..."

### Table 1. Criteria by optimal currency area theory Correlation Volatility in Correlation in Trade (% of Inflation Labour

"... In PAGE 11: ...6 market adjustment. In the clustering analysis the values reported as missing in Table1 and Table 3 are interpolated 7 from other variables using a regression model. 7 correlation of the cyclical components of the real interest rate cycle of a country with that in Germany.... In PAGE 11: ... 6 2.2 The sample period The data corresponding to the measures described above are shown in Table1 , whilst the corresponding sample period for each variable - generally from April 1979 to Autumn 1995 is indicated in Appendix A. The values shown in Table 1 are averages over these sample periods .... In PAGE 11: ...2 The sample period The data corresponding to the measures described above are shown in Table 1, whilst the corresponding sample period for each variable - generally from April 1979 to Autumn 1995 is indicated in Appendix A. The values shown in Table1 are averages over these sample periods .... In PAGE 17: ... The Northern peripheral group distances itself from the core in three main respects (cf. Table1 ): 1) the business cycle is less synchronised with the German cycle; 2) the exchange rate against the DM is more volatile and 3) there is less protection of the labour market in this group than in the core. It is of interest to note that the decision made by the UK, Denmark and Sweden in this group not to join the first wave of EMU could be held to be consistent with the economic fundamentals as identified here.... ..."

### Table 1. Matlab results of using a linear interpolation compared to a non-linear interpolation.

"... In PAGE 4: ...The performance of systems of a39 a48 current cells was investigated as thermometer decoding will be chosen as the switching scheme in the final circuit. Table1 presents the performance of Matlab emulations of both nonlinear and linear interpolation systems for increasing a102 . The performance is surprisingly good for a small number of current sources.... ..."

### Table 1: Matlab results of using a linear interpolation com- pared to a non-linear interpolation.

2003

"... In PAGE 2: ....3. System Performance The performance of systems of 2n current cells was investi- gated as thermometerdecoding will be chosen as the switch- ing scheme in the final circuit. Table1 presents the perfor- mance of Matlab emulations of both nonlinear and linear... ..."

Cited by 3

### Table 1: Matlab results of using a linear interpolation com- pared to a non-linear interpolation.

"... In PAGE 2: ....3. System Performance The performance of systems of a33 a42 current cells was investi- gated as thermometer decoding will be chosen as the switch- ing scheme in the final circuit. Table1 presents the perfor- mance of Matlab emulations of both nonlinear and linear... ..."

### Table 1: Interpolation Filters: Optimal and Bilinear

"... In PAGE 4: ...Table 1: Interpolation Filters: Optimal and Bilinear and the aliasing error AE = jjH(?z)G(z)X(?z)jj2; introduced by the sampling process, where X(z) is the Z-transform of a step signal. Optimal interpolation lters G(z) can be found in this way for di erent lter lengths n, and they are given in Table1 (a) for DF=2, along with two PSNR values: PSNR1 corresponds to the PSNR obtained with a step signal, while PSNR2 corresponds to the PSNR obtained when applying steps 1 and 4 in the horizontal direction to a real image (Figure 4). Note that little PSNR improvement results from examining lters longer than n = 6.... In PAGE 4: ... Note that little PSNR improvement results from examining lters longer than n = 6. Table1 (a) also contains the PSNR performance of the bilinear interpolation lter. Its PSNR performance is about 1 dB below that of the best optimal lters.... In PAGE 5: ...the one corresponding to a PSNR improvement over no pixel averaging. As a consequence, for all values of the DF used in the following experiments, we will consider only bilinear interpolation lters, coe cients of which are given in Table1 (b). 2 3 4 5 6 7 15 20 25 30 35 Log2(Compression Ratio) Peak-Signal-to-Noise Ratio (PSNR in dB) * : H1V1 + : H2V1 + BILIN --: H2V1 + (n=6) Figure 2: MSE (PSNR) Performance Comparison between Bilinear and Optimal Interpola- tion Filters combined with Lossy JPEG 3 Image Description and Compression Assessment The lander is in the shape of a tetrahedron.... ..."

### Table 1. Sum of squares of half-pixel interpolation errors, averaged over 100 test images similar to Fig 4, without and with added noise.

2001

"... In PAGE 4: ... We also interpolated a further 99 test images, but using the previously estimated values of B4ABBN ACBN AIB5 in the new method. The second column of Table1 summarises the results. We see that, in accord with the theory, the new interpolant gives the best results.... ..."

Cited by 3

### Table 2: Theory stdstr

2003

"... In PAGE 11: ... 4.2 Theory stdstr: String operations Table2 summarizes the definitions in theory stdstr. Note that PVS does not support dec- imal notation of real numbers.... ..."

### Table 4: Theory stdmath

2003

"... In PAGE 14: ...500000 == gt; TRUE 4.4 Theory stdmath: Floating point arithmetic Table4 summarizes the definitions in theory stdmath. Names are fully capitalized to em- phasize that they are floating point operations (not the real ones).... ..."