We describe a general framework for covering concepts using terminologies and briefly present the already investigated instances of this framework. Then, we formalize the best covering problem in the context of the ALN language, in which the difference operation is not semantically unique, and sketches the technique to solve the underlying computation problems.

In the paper we prove a factorization theorem for representations of fundamental groups of compact Kähler manifolds (Kähler groups) into solvable matrix groups. We apply this result to prove that the universal covering of a compact Kähler manifold with a residually solvable fundamental group is holomorphically convex.

Abstract Let X be an Enriques surface over the field of complex numbers. We prove that there exists a nontrivial quaternion algebra ???? on . Then we study moduli scheme torsion free ????-modules rank one. Finally this is étale double cover Lagrangian subscheme in corresponding associated covering K3 surface.

in this paper, we develop a capacitated location-covering model considering interval values for demand and service parameters. we also consider flexibility on distance standard for covering demand nodes by the servers. we use the satisfaction degree to represent the constraint of service capacity. the proposed model belongs to the class of mixed integer programming models. our model can be redu...

We point out that there are compact 4-manifolds which do not admit metrics of positive scalar curvature, but nonetheless have finite covering spaces which do carry such metrics. Moreover, passing from a 4-manifold to a covering space sometimes actually changes the sign of the Yamabe invariant. As was first pointed out by Bérard Bergery [1], there exist, in dimensions ≡ 1 or 2 mod 8, n ≥ 9, cert...

In this article we focus on constructing an algorithm that automatizes the generation of LPN solving algorithms from the considered parameters. When searching for an algorithm to solve an LPN instance, we make use of the existing techniques and optimize their use. We formalize an LPN algorithm as a path in a graph G and our algorithm is searching for the optimal paths in this graph. The results...

Spaces with radially symmetric curvature at base point p are shown to be diffeomorphic to space forms. Furthermore, they are either isometric to Rn or Sn under a radially symmetric metric, to RPn with Riemannian universal covering of Sn equipped with a radially symmetric metric, or else have constant curvature outside a metric ball of radius equal to the injectivity