Simply typed term rewriting [Yam01] is a framework of higher-order term rewriting without bound variables. The authors extended the first-order dependency pair approach [AG00] to the case of simply typed term rewriting [AY05]. They gave a characterization of minimal non-terminating simply typed terms and incorporated the notions of dependency pairs, dependency graphs, and estimated dependency g...

drying characteristics of quercus were determined experimentally as a function of temperature, air velocity, and variety (quercus persica and quercus libani). in order to estimate and select a suitable drying curve, five different thin layer drying models were fitted to the experimental data. experiments were performed at the air temperatures of 50, 60 and 70°c. at each temperature level, two a...

Analytical studies based on perturbative theory have shown that the moments of the Probability Distribution Function (PDF) of the local smoothed velocity divergence are expected to have a very specific dependence on the density parameter Ω in the quasilinear regime. This dependence is particularly interesting as it does not involve the possible bias between the galaxy spatial distribution and t...

train energy saving problem investigates how to control train's velocity such that the quantity of energy consumption is minimized and some system constraints are satis ed. on the assumption that the train's weights on different links are estimated by fuzzy variables when making the train scheduling strategy, we study the fuzzy train energy saving problem. first, we propose a fuzzy energy ...

We present a family of conforming finite elements for the Stokes problem on general triangular meshes in two dimensions. The lowest order case consists of enriched piecewise linear polynomials for the velocity and piecewise constant polynomials for the pressure. We show that the elements satisfy the inf-sup condition and converges optimally for both the velocity and pressure. Moreover, the pres...

In the persesnt work an artificial satellite theory is developed including all the zonal harmonics of the geopotential besides the post-Newtnian effects arising from the Schwarzschild solution and the Earth's oblateness. The Hamiltonian is formed in terms of the Deluanay canonical variables allowing for the coupling between the Newtonian and the post-Newtonian terms. Small quantities are retain...