Search results for "Abstract data type"
showing 10 items of 1140 documents
A Potential Field Function for Overlapping Point Set and Graph Cluster Visualization
2015
In this paper we address the problem of visualizing overlapping sets of points with a fixed positioning in a comprehensible way. A standard visualization technique is to enclose the point sets in isocontours generated by bounding a potential field function. The most commonly used functions are various approximations of the Gaussian distribution. Such an approach produces smooth and appealing shapes, however it may produce an incorrect point nesting in generated regions, e.g. some point is contained inside a foreign set region. We introduce a different potential field function that keeps the desired properties of Gaussian distribution, and in addition guarantees that every point belongs to a…
The branch set of a quasiregular mapping between metric manifolds
2016
Abstract In this note, we announce some new results on quantitative countable porosity of the branch set of a quasiregular mapping in very general metric spaces. As applications, we solve a recent conjecture of Fassler et al., an open problem of Heinonen–Rickman, and an open question of Heinonen–Semmes.
Termination of a set of rules modulo a set of equations
2006
The problem of termination of a set R of rules modulo a set E of equations, called E-termination problem, arises when trying to complete the set of rules in order to get a Church-Rosser property for the rules modulo the equations. We first show here that termination of the rewriting relation and E-termination are the same whenever the used rewriting relation is E-commuting, a property inspired from Peterson and Stickel’s E-compatibility property. More precisely, their results can be obtained by requiring termination of the rewriting relation instead of E-termination if E-commutation is used instead of E-compatibility. When the rewriting relation is not E-commuting, we show how to reduce E-t…
Defining relations of minimal degree of the trace algebra of 3×3 matrices
2008
Abstract The trace algebra C n d over a field of characteristic 0 is generated by all traces of products of d generic n × n matrices, n , d ⩾ 2 . Minimal sets of generators of C n d are known for n = 2 and n = 3 for any d as well as for n = 4 and n = 5 and d = 2 . The defining relations between the generators are found for n = 2 and any d and for n = 3 , d = 2 only. Starting with the generating set of C 3 d given by Abeasis and Pittaluga in 1989, we have shown that the minimal degree of the set of defining relations of C 3 d is equal to 7 for any d ⩾ 3 . We have determined all relations of minimal degree. For d = 3 we have also found the defining relations of degree 8. The proofs are based …
Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics
2007
The original publication is available at www.springerlink.com ; ISBN 978-3-540-75519-7 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, \ie surfaces of algebraic degree~2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the adjacency graph of the arrangement. Our implementation is {\em complete} in the sense that it can handle all kinds of…
Algebraic Structures of Rough Sets in Representative Approximation Spaces
2003
Abstract In this paper a generalized notion of an approximation space is considered. By an approximation space we mean an ordered pair (U, C ), where U is a finite nonempty set and C is a covering of U. According to connections between rough sets and concepts we define two types of approximation operations. Hence we obtain two families of rough sets. We show that these families form lattices in special types of representative approximation spaces. The operations on rough sets defined in the above lattices are analogous to classical operations on sets.
The mixed general routing polyhedron
2003
[EN] In Arc Routing Problems, ARPs, the aim is to find on a graph a minimum cost traversal satisfying some conditions related to the links of the graph. Due to restrictions to traverse some streets in a specified way, most applications of ARPs must be modeled with a mixed graph. Although several exact algorithms have been proposed, no polyhedral investigations have been done for ARPs on a mixed graph. In this paper we deal with the Mixed General Routing Problem which consists of finding a minimum cost traversal of a given link subset and a given vertex subset of a mixed graph. A formulation is given that uses only one variable for each link (edge or arc) of the graph. Some properties of the…
L -valued bornologies on powersets
2016
In M. Abel and A. ostak (2011) [1], the concept of an L-fuzzy bornology was introduced. Actually, an L-fuzzy bornology on a set X is a certain ideal in the family LX of L-fuzzy subsets of a set X. Here we propose an alternative approach to fuzzification of the concept of bornology. We define an L-valued bornology on a set X as an L-fuzzy subset B of the powerset 2X satisfying L-valued analogues of the axioms of a bornology. Basic properties of L-valued bornological spaces are studied. Our special interest concerns L-valued bornologies induced by fuzzy metrics and relative compactness-type L-valued bornologies in ChangGoguen L-topological spaces.
JH-Operators and Occasionally Weakly g-Biased Pairs in Fuzzy Symmetric Spaces
2013
We introduce the notions of $\mathcal{JH}$-operators and occasionally weakly $g$-biased mappings in fuzzy symmetric spaces to prove common fixed point theorems for self-mappings satisfying a generalized mixed contractive condition. We also prove analogous results for two pairs of $\mathcal{JH}$-operators by assuming symmetry only on the set of points of coincidence. These results unify, extend and complement many results existing in the recent literature. We give also an application of our results to product spaces.
Reconstruction of L-convex Polyominoes.
2003
Abstract We introduce the family of L-convex polyominoes, a subset of convex polyominoes whose elements satisfy a special convexity property. We develop an algorithm that reconstructs an L-convex polyomino from the set of its maximal L-polyominoes.