This paper introduces a propositional encoding of the recursive path order (RPO) on terms which is a combination of a multiset path order and a lexicographic path order which considers permutations of the arguments in the lexicographic comparison. The proposed encoding allows us to use SAT solvers in order to determine whether a given term rewrite system is RPO terminating. An implementation is...

Direct numerical simulation is used to study turbulent flow over irregular rough surfaces in the periodic minimal channel configuration. The generation of surface based on a random algorithm, which power spectrum roughness height function along with its probability density can be directly prescribed. hydrodynamic properties are investigated and compared those obtained from full-size DNS for 12 ...

In order to solve the problems of trust evaluation in the field of online auction, this paper designs a trust model composed of multi-key-factors trust path. Based on the existing trust model, this new model tries to solve the problems of no-standard, no-view and no-prevention. It divided the trust into direct trust and recommended trust. Each trust Calculation depends on its path. As we know, ...

A popular Bayesian nonparametric approach to survival analysis consists in modeling hazard rates as kernel mixtures driven by a completely random measure. In this paper we derive asymptotic results for linear and quadratic functionals of such random hazard rates. In particular, we prove central limit theorems for the cumulative hazard function and for the path–second moment and path–variance of...

Perception of apparent motion operates somewhat differently for objects and human figures. Depending on the interstimulus interval, the latter d may give rise to either perception of a direct path (i.e. biologically impossible) or indirect path (i.e. biologically possible). Here, PET was used to investigate whether a change in brain activity accompanies this perceptual shift. We found neural en...

abstract aim: aim of study was to determine structural model of relationships between psychosocial developments of offspring’s with spiritual intelligence (sq) and parenting styles of their mothers. method: research method was correlational and statistical population were 29,474 female and male universities students of alborz province in the 2015-16 academic year. by multi-stage random sampling...

Let (M, g1) be a compact d-dimensional Riemannian manifold. Let Xn be a set of n sample points in M drawn randomly from a Lebesgue density f . Define two points x, y ∈ M . We prove that the normalized length of the power-weighted shortest path between x, y passing through Xn converges to the Riemannian distance between x, y under the metric gp = f g1, where p > 1 is the power parameter. The res...

Link unidirectionality is a commonly encountered phenomena in Wireless Sensor Networks (WSNs), which is a natural result of various properties of wireless transceivers as well as the environment. Transmission power heterogeneity and random irregularities are important factors that create unidirectional links. Majority of the inter-node data transfer mechanisms are designed to work on bidirectio...