It is related to the realization of the benefit of state-owned resources and the long retainable development of the country to evaluate the mining property rights to improve the using rate of the mineral resources. Guided by the principle of prospective return, a method for evaluating geological potential value was put forward which emphasized on the valuation of geological techniques. A coeffi...

Sonification is the use of sound and speech to represent information. There are many sonification examples in the literature from simple realizations such as a Geiger counter to representations of complex geological features. The data that is being represented can be either spatial or non-spatial. Specifically, spatial data contains positional information; the position either refers to an exact...

Let V be a finite configuration of voter ideal points in the Euclidean plane. For given > 0 a point x ∈ < is in the -core if for all y 6= x, ||v−x|| ≤ ||v− y||+ for a simple majority (at least |V |/2) of voters v ∈ V . Let (x) denote the the least for which x is in the -core. Thus (x) = 0 if and only if x is a core point. The least for which the -core is nonempty is denoted ∗. This paper provid...

We consider coordination of multiple robots in a common environment, each robot having its own (distinct) roadmap. Our primary contribution is a classification of and exact algorithm for computing vector-valued — or Pareto — optima for collision-free coordination. We indicate the utility of new geometric techniques from CAT(0) geometry and give an argument that curvature bounds are the key dist...

A terrain T is an x-monotone polygonal chain in the plane; T is orthogonal if each edge of T is either horizontal or vertical. In this paper, we give an exact algorithm for the problem of guarding the convex vertices of an orthogonal terrain with the minimum number of reflex vertices.

Symmetric function theory provides a basis for computing Galois groups which is largely independent of the coefficient ring. An exact algorithm has been implemented over Q(t1, t2, . . . , tm) in Maple for degree up to 8. A table of polynomials realizing each transitive permutation group of degree 8 as a Galois group over the rationals is included.

The queen graph coloring problem consists in covering a n × n chessboard with n queens, so that two queens of the same color cannot attack each other. When the size, n, of the chessboard is a multiple of 2 or 3, it is hard to color the queen graph with only n colors. We have developed an exact algorithm which is able to solve exhaustively this problem for dimensions up to n = 12 and find one so...

This paper provides analysis to a generalized version of the coupon collector problem, in which the collector gets d coupons each run and he chooses the one that he has the least so far. In the asymptotic case when the number of coupons n goes to infinity, we show that on average n log n d + n d (m−1) log log n+O(mn) runs are needed to collect m sets of coupons. An efficient exact algorithm is ...

Analysis of genome rearrangements allows to compare molecular data from species that diverged a very long time ago. Results and complexities are tightly related to the type of data and genome-level mutations considered. For sorted and signed data, Hannenhalli and Pevzner (HP) developed the rst polynomial algorithm in the eld. This algorithm solves the problem of sorting by reversals. In this pa...

This paper explores a single-item capacitated lot sizing problem with minimum order quantity, which plays the role of minor set-up cost. We work out the necessary and sufficient solvability conditions and apply the general dynamic programming technique to develop an O(T ) exact algorithm that is based on the concept of minimal sub-problems. An investigation of the properties of the optimal solu...