A graph G is called a pairwise compatibility graph (PCG) if there exists an edge weighted tree T and two non-negative real numbers dmin and dmax such that each leaf lu of T corresponds to a vertex u ∈ V and there is an edge (u, v) ∈ E if and only if dmin ≤ dT (lu, lv) ≤ dmax where dT (lu, lv) is the sum of the weights of the edges on the unique path from lu to lv in T . In this paper we analyze...

Strain is an important parameter for assessing the potential impacts resulting from mine subsidence movements. However, strain resulting from mine subsidence is also one of the most difficult parameters to predict accurately. A number of methods can be used to predict strain, from simple empirical relationships, to more complex statistical approaches. This paper looks at some of these predictio...

A graph G = (V, E) is called a pairwise compatibility graph (PCG) if there exists a tree T , a positive edge-weight function w on T , and two non-negative real numbers dmin and dmax, dmin ≤ dmax, such that V coincides with the set of leaves of T , and there is an edge (u, v) ∈ E if and only if dmin ≤ dT,w(u, v) ≤ dmax where dT,w(u, v) is the sum of the weights of the edges on the unique path fr...

This paper describes a Web-based query system for semantically heterogeneous geospatial data. Our goal is to provide DBMS type query capabilities to a proposed statewide land information system. One of the main problems in querying distributed local data sources is the difference in semantics describing the characteristics (attributes) of spatial objects between various jurisdictions. To addres...

(1) Background: Urban land ecological security is the basis and premise to ensure sustainable utilization of urban resources regional development. However, its influencing factors have not been studied thoroughly. (2) Methods: An index system in Yunnan Province from 2010 2019 was constructed, a comprehensive calculated by using analytic hierarchy process, entropy weight method, LSDVC (Biased-co...

In a previous paper [11], we introduced a way of constructing a forcing along a simplified (κ, 1)-morass such that the forcing satisfies a chain condition. The basic idea is to generalize iterated forcing with finite support as introduced by Solovay and Tennenbaum, which works with continuous, commutative systems of complete embeddings. However, instead of considering a linear system of embeddi...

We present a novel proof of Toyama’s famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in that it factors through the decreasing diagrams technique for abstract rewriting systems, is constructive in that it gives a construction for the converging rewrite sequences given a pair of diverging rewrite sequences, and ...

In this paper, we explore the interaction between taxation and local public good (LPG) and how it impacts the spatial pattern in the framework of new economic geography (NEG). In the benchmark case of a pure LPG, the system displays a similar location pattern to the existing NEG taxation model, although the tax reduces the market size of manufactured goods. However, when we consider the inheren...