"... In PAGE 3: ...2 Truncation error for the WNAT model domain Seven separate simulations using the WNAT mesh (Figure 1) are performed and the individual results are harmonically analyzed from day 12 through day 15 to produce the elevation and x - and -direction velocity amplitudes and phases. Each simulation is forced at the open ocean boundary by one of seven tidal constituents ( Table1 ). The localized truncation error is computed for each of the seven constituents by employing central difference approximations with the elevation and velocity amplitudes and phases to estimate the partial derivatives of equation 4 at interior nodes of the WNAT mesh (Hagen 1998 and 2001, Hagen, Westerink and Kolar 2000b).... In PAGE 3: ... As a result we are able to estimate truncation error at 215,574 of the 333,701 nodes. y The minimum and maximum truncation error is presented in Table1... ..."

"... In PAGE 3: ... 5 Results 5.1 Centralized Scenario Table1 contains the results for all three testbeds under the centralized scenario, where all documents are located in a single database. Note that because they contain exactly the same documents, the results for the SYM-236 and UDC-236 testbeds are identical.... In PAGE 4: ... Using a paired Wilcoxon test at p = 0.05, items shown in bold- face are significantly better than the corresponding central- ized performance from Table1 , while italicized items are sig- nificantly worse. The default typeface denotes no significant difference.... ..."

"... In PAGE 3: ... 5 Results 5.1 Centralized Scenario Table1 contains the results for all three testbeds under the centralized scenario, where all documents are located in a single database. Note that because they contain exactly the same documents, the results for the SYM-236 and UDC-236 testbeds are identical.... In PAGE 4: ... Using a paired Wilcoxon test at p = 0.05, items shown in bold- face are significantly better than the corresponding central- ized performance from Table1 , while italicized items are sig- nificantly worse. The default typeface denotes no significant difference.... ..."

"... In PAGE 8: ... Comparison of manual with auto- mated centralization. Table2 shows the results of these experiments. For dif- ferent versions of each application, the time required to model check the centralized version is given.... ..."

"... In PAGE 3: ... 5 Results 5.1 Centralized Scenario Table1 contains the results for all three testbeds under the centralized scenario, where all documents are located in a single database. Note that because they contain exactly the same documents, the results for the SYM-236 and UDC-236 testbeds are identical.... In PAGE 4: ... Using a paired Wilcoxon test at p = 0.05, items shown in bold- face are significantly better than the corresponding central- ized performance from Table1 , while italicized items are sig- nificantly worse. The default typeface denotes no significant difference.... ..."

"... In PAGE 3: ... 5 Results 5.1 Centralized Scenario Table1 contains the results for all three testbeds under the centralized scenario, where all documents are located in a single database. Note that because they contain exactly the same documents, the results for the SYM-236 and UDC-236 testbeds are identical.... In PAGE 4: ... Using a paired Wilcoxon test at p = 0.05, items shown in bold- face are significantly better than the corresponding central- ized performance from Table1 , while italicized items are sig- nificantly worse. The default typeface denotes no significant difference.... ..."

"... In PAGE 3: ...nd are 1.130 and 1.012 for the + and ? two-particle correlations, respectively. The values of the independent freeze-out properties determined this way, along with their uncertainties at 99% con dence limits on all quantities considered jointly, are given in the third column of Table1 . For comparison, we show in the second column of Table 1 the corresponding results4 for the central 7% collisions in the reaction Si + Au at plab=A = 14.... In PAGE 3: ...nd are 1.130 and 1.012 for the + and ? two-particle correlations, respectively. The values of the independent freeze-out properties determined this way, along with their uncertainties at 99% con dence limits on all quantities considered jointly, are given in the third column of Table 1. For comparison, we show in the second column of Table1 the corresponding results4 for the central 7% collisions in the reaction Si + Au at plab=A = 14.6 GeV/c studied14,15 in Experiment E-802 at Brookhaven apos;s Alternating Gradient Synchrotron.... ..."

"... In PAGE 16: ... 3. PATHWAYS OF DEVELOPMENT IN CENTRAL HONDURAS In five of the sample communities, horticultural production is the first or second most important occupation, and horticultural area has been increasing since the mid- 1970s in all of these ( Table1 ). Horticultural area has not increased significantly in any of the other sample communities.... In PAGE 18: ...0 (0.0) a Values of index: 0 = none, 1 = less than 10%, 2 = minority, 3 = half, 4 = majority, 5 = more than 90%, 6 = all CHARACTERISTICS OF THE PATHWAYS Various indicators of determining factors, responses, and outcomes are shown in Appendix Table1... In PAGE 38: ... DIRECT AND INDIRECT EFFECTS As mentioned previously, factors such as population pressure and market access may have both direct and indirect effects, by affecting which pathway of development occurs (indirect) as well as by affecting natural resource management given the pathway of development (direct). In Table1 0, we present the predicted direct and indirect impacts on outcomes of an increase in population density and in distance from a road, based on the regression results presented in Tables 3 and 8. The predicted impacts of greater (by 1 person per square km.... ..."