DSpace Collection:
http://hdl.handle.net/2117/3197
Fri, 22 Aug 2014 06:17:54 GMT2014-08-22T06:17:54Zwebmaster.bupc@upc.eduUniversitat Politècnica de Catalunya. Servei de Biblioteques i DocumentaciónoGeneralizing the Steiner-Lehmus theorem using the Gröbner cover
http://hdl.handle.net/2117/23574
Title: Generalizing the Steiner-Lehmus theorem using the Gröbner cover
Authors: Montes Lozano, Antonio; Recio Muñiz, Tomás
Abstract: In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant example, how the Gröbner cover algorithm is particularly well suited to obtain the missing hypotheses for a given geometric statement to hold true. We deal with the following problem: to describe the triangles that have at least two bisectors of equal length. The case of two inner bisectors is the well known, XIX century old, Steiner-Lehmus theorem, but the general case of inner and outer bisectors has been only recently addressed. We show how the Gröbner cover method automatically provides, while yielding more insight than through any other method, the conditions for a triangle to have two equal bisectors of whatever kind.Mon, 21 Jul 2014 08:52:22 GMThttp://hdl.handle.net/2117/235742014-07-21T08:52:22ZMontes Lozano, Antonio; Recio Muñiz, TomásnoAutomatic deduction, Automatic discovery, Comprehensive Gröbner system, Elementarygeometry, Gröbner coverIn this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant example, how the Gröbner cover algorithm is particularly well suited to obtain the missing hypotheses for a given geometric statement to hold true. We deal with the following problem: to describe the triangles that have at least two bisectors of equal length. The case of two inner bisectors is the well known, XIX century old, Steiner-Lehmus theorem, but the general case of inner and outer bisectors has been only recently addressed. We show how the Gröbner cover method automatically provides, while yielding more insight than through any other method, the conditions for a triangle to have two equal bisectors of whatever kind.Singularities of non-redundant manipulators: a short account and a method for their computation in the planar case
http://hdl.handle.net/2117/22508
Title: Singularities of non-redundant manipulators: a short account and a method for their computation in the planar case
Authors: Bohigas Nadal, Oriol; Manubens Ferriol, Montserrat; Ros Giralt, Lluís
Abstract: The study of the singularity set is of utmost utility in understanding the local and global behavior of a manipulator. After reviewing the mathematical conditions that characterize this set, and their kinematic and geometric interpretation, this paper shows how these conditions can be formulated in an amenable manner in planar manipulators, allowing the definition of a conceptually-simple method for isolating the set exhaustively, even in higher-dimensional cases. As a result, the method delivers a collection of boxes bounding the location of all points of the set, whose accuracy can be adjusted through a threshold parameter. Such boxes can then be projected to the input or output coordinate spaces, obtaining informative diagrams, or portraits, on the global motion capabilities of the manipulator. Examples are included that show the application of the method to simple manipulators, and to a complex mechanism that would be difficult to analyze using common-practice procedures.Thu, 03 Apr 2014 17:06:36 GMThttp://hdl.handle.net/2117/225082014-04-03T17:06:36ZBohigas Nadal, Oriol; Manubens Ferriol, Montserrat; Ros Giralt, Lluísnomanipulators
robot kinematics
PARAULES AUTOR: singularity set, planar manipulator, forward singularity, inverse singularity, box approximation, branch-and-prune methodThe study of the singularity set is of utmost utility in understanding the local and global behavior of a manipulator. After reviewing the mathematical conditions that characterize this set, and their kinematic and geometric interpretation, this paper shows how these conditions can be formulated in an amenable manner in planar manipulators, allowing the definition of a conceptually-simple method for isolating the set exhaustively, even in higher-dimensional cases. As a result, the method delivers a collection of boxes bounding the location of all points of the set, whose accuracy can be adjusted through a threshold parameter. Such boxes can then be projected to the input or output coordinate spaces, obtaining informative diagrams, or portraits, on the global motion capabilities of the manipulator. Examples are included that show the application of the method to simple manipulators, and to a complex mechanism that would be difficult to analyze using common-practice procedures.Nordhaus-Gaddum bounds for locating domination
http://hdl.handle.net/2117/21023
Title: Nordhaus-Gaddum bounds for locating domination
Authors: Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel
Abstract: A dominating set S of graph G is called metric-locating–dominating if it is also locating, that is, if every vertex v is uniquely determined by its vector of distances to the vertices in S. If moreover, every vertex v not in S is also uniquely determined by the set of neighbors of v belonging to S, then it is said to be locating–dominating. Locating, metric-locating–dominating and locating–dominating sets of minimum cardinality are called β-codes, η-codes and λ-codes, respectively. A Nordhaus–Gaddum bound is a tight lower or upper bound on the sum or product of a parameter of a graph G and its complement View the MathML source. In this paper, we present some Nordhaus–Gaddum bounds for the location number β, the metric-location–domination number η and the location–domination number λ. Moreover, in each case, the graph family attaining the corresponding bound is fully characterized.Tue, 17 Dec 2013 11:50:01 GMThttp://hdl.handle.net/2117/210232013-12-17T11:50:01ZHernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio ManuelnoA dominating set S of graph G is called metric-locating–dominating if it is also locating, that is, if every vertex v is uniquely determined by its vector of distances to the vertices in S. If moreover, every vertex v not in S is also uniquely determined by the set of neighbors of v belonging to S, then it is said to be locating–dominating. Locating, metric-locating–dominating and locating–dominating sets of minimum cardinality are called β-codes, η-codes and λ-codes, respectively. A Nordhaus–Gaddum bound is a tight lower or upper bound on the sum or product of a parameter of a graph G and its complement View the MathML source. In this paper, we present some Nordhaus–Gaddum bounds for the location number β, the metric-location–domination number η and the location–domination number λ. Moreover, in each case, the graph family attaining the corresponding bound is fully characterized.Some structural, metric and convex properties of the boundary of a graph
http://hdl.handle.net/2117/20898
Title: Some structural, metric and convex properties of the boundary of a graph
Authors: Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Seara Ojea, Carlos
Abstract: Let
u;v
be two vertices of a connected graph
G
. The vertex
v
is
said to be a
boundary vertex
of
u
if no neighbor of
v
is further away
from
u
than
v
. The boundary of a graph is the set of all its boundary
vertices. In this work, we present a number of properties of the
boundary of a graph under diÆerent points of view: (1) a realization
theorem involving diÆerent types of boundary vertex sets: extreme
set, periphery, contour, and the whole boundary; (2) the contour is a
monophonic set; and (3) the cardinality of the boundary is an upper
bound for both the metric dimension and the determining number
of a graphTue, 03 Dec 2013 12:14:54 GMThttp://hdl.handle.net/2117/208982013-12-03T12:14:54ZHernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Seara Ojea, CarlosnoBoundary, Contour, Extreme set, Graph convexity, Metric
dimension.Let
u;v
be two vertices of a connected graph
G
. The vertex
v
is
said to be a
boundary vertex
of
u
if no neighbor of
v
is further away
from
u
than
v
. The boundary of a graph is the set of all its boundary
vertices. In this work, we present a number of properties of the
boundary of a graph under diÆerent points of view: (1) a realization
theorem involving diÆerent types of boundary vertex sets: extreme
set, periphery, contour, and the whole boundary; (2) the contour is a
monophonic set; and (3) the cardinality of the boundary is an upper
bound for both the metric dimension and the determining number
of a graphLocating-dominating codes: Bounds and extremal cardinalities
http://hdl.handle.net/2117/20810
Title: Locating-dominating codes: Bounds and extremal cardinalities
Authors: Cáceres, Jose; Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Puertas, M. Luz
Abstract: In this work, two types of codes such that they both dominate and locate the vertices of a graph are studied. Those codes might be sets of detectors in a network or processors controlling a system whose set of responses should determine a malfunctioning processor or an intruder. Here, we present our contributions on λ-codes and η-codes concerning bounds, extremal values and realization theorems.Wed, 27 Nov 2013 11:55:50 GMThttp://hdl.handle.net/2117/208102013-11-27T11:55:50ZCáceres, Jose; Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Puertas, M. LuznoNetwork problems, Graph theory, Codes on graphs, Covering codes, Locating dominating codesIn this work, two types of codes such that they both dominate and locate the vertices of a graph are studied. Those codes might be sets of detectors in a network or processors controlling a system whose set of responses should determine a malfunctioning processor or an intruder. Here, we present our contributions on λ-codes and η-codes concerning bounds, extremal values and realization theorems.Flow computations on imprecise terrains
http://hdl.handle.net/2117/20799
Title: Flow computations on imprecise terrains
Authors: Driemel, Anne; Haverkort, Herman; Löffler, Maarten; Silveira, Rodrigo Ignacio
Abstract: We study water flow computation on imprecise terrains. We consider two approaches to modeling flow on a terrain: one where water
flows across the surface of a polyhedral terrain in the direction of steepest descent, and one where water only flows along
the edges of a prede ned graph, for example a grid or a triangulation. In both cases each
vertex has an imprecise elevation, given by an interval of possible values, while its (x; y)-coordinates are fi xed. For the fi rst model, we show that the problem of deciding whether one vertex may be contained in the watershed of another is NP-hard. In contrast, for the second model we give a simple O(n log n) time algorithm to compute the minimal and the maximal watershed of a vertex, or a set of vertices, where n is the number of edges of the graph. On a grid model, we can compute the same in O(n) time.Wed, 27 Nov 2013 09:28:28 GMThttp://hdl.handle.net/2117/207992013-11-27T09:28:28ZDriemel, Anne; Haverkort, Herman; Löffler, Maarten; Silveira, Rodrigo IgnacionoWe study water flow computation on imprecise terrains. We consider two approaches to modeling flow on a terrain: one where water
flows across the surface of a polyhedral terrain in the direction of steepest descent, and one where water only flows along
the edges of a prede ned graph, for example a grid or a triangulation. In both cases each
vertex has an imprecise elevation, given by an interval of possible values, while its (x; y)-coordinates are fi xed. For the fi rst model, we show that the problem of deciding whether one vertex may be contained in the watershed of another is NP-hard. In contrast, for the second model we give a simple O(n log n) time algorithm to compute the minimal and the maximal watershed of a vertex, or a set of vertices, where n is the number of edges of the graph. On a grid model, we can compute the same in O(n) time.Planning singularity-free paths on closed-chain manipulators
http://hdl.handle.net/2117/20248
Title: Planning singularity-free paths on closed-chain manipulators
Authors: Bohigas Nadal, Oriol; Henderson, Michael E.; Ros Giralt, Lluís; Manubens Ferriol, Montserrat; Porta Pleite, Josep Maria
Abstract: This paper provides an algorithm for computing singularity-free paths on closed-chain manipulators. Given two
non-singular configurations of the manipulator, the method attempts to connect them through a path that maintains a
minimum clearance with respect to the singularity locus at all points, which guarantees the controllability of the manipulator everywhere along the path. The method can be applied to non-redundant manipulators of general architecture, and it is resolution-complete. It always returns a path whenever one exists at a given resolution, or determines path non-existence
otherwise. The strategy relies on defining a smooth manifold that maintains a one-to-one correspondence with the singularity-free
C-space of the manipulator, and on using a higher-dimensional continuation technique to explore this manifold systematically from one configuration, until the second configuration is found.
If desired, the method can also be used to compute an exhaustive atlas of the whole singularity-free component reachable from a
given configuration, which is useful to rapidly resolve subsequent planning queries within such component, or to visualize the
singularity-free workspace of any of the manipulator coordinates.
Examples are included that demonstrate the performance of the method on illustrative situations.Tue, 01 Oct 2013 13:29:52 GMThttp://hdl.handle.net/2117/202482013-10-01T13:29:52ZBohigas Nadal, Oriol; Henderson, Michael E.; Ros Giralt, Lluís; Manubens Ferriol, Montserrat; Porta Pleite, Josep Marianorobots
PARAULES AUTOR: closed-chain motion planning, singularity avoidance, singularity-free path or workspace, higher-dimensional continuation, assembly-mode changingThis paper provides an algorithm for computing singularity-free paths on closed-chain manipulators. Given two
non-singular configurations of the manipulator, the method attempts to connect them through a path that maintains a
minimum clearance with respect to the singularity locus at all points, which guarantees the controllability of the manipulator everywhere along the path. The method can be applied to non-redundant manipulators of general architecture, and it is resolution-complete. It always returns a path whenever one exists at a given resolution, or determines path non-existence
otherwise. The strategy relies on defining a smooth manifold that maintains a one-to-one correspondence with the singularity-free
C-space of the manipulator, and on using a higher-dimensional continuation technique to explore this manifold systematically from one configuration, until the second configuration is found.
If desired, the method can also be used to compute an exhaustive atlas of the whole singularity-free component reachable from a
given configuration, which is useful to rapidly resolve subsequent planning queries within such component, or to visualize the
singularity-free workspace of any of the manipulator coordinates.
Examples are included that demonstrate the performance of the method on illustrative situations.Connecting Red Cells in a Bicolour Voronoi Diagram
http://hdl.handle.net/2117/18614
Title: Connecting Red Cells in a Bicolour Voronoi Diagram
Authors: Abellanas, Manuel; Bajuelos, Antonio L.; Canales, Santiago; Claverol Aguas, Mercè; Hernández, Gregorio; Pereira de Matos, Inés
Abstract: Let S be a set of n + m sites, of which n are red and have weight wR, and m are blue and weigh wB. The objective of this paper
is to calculate the minimum value of the red sites’ weight such that the union of the red Voronoi cells in the weighted Voronoi diagram of S is a connected region. This problem is solved for the multiplicativelyweighted
Voronoi diagram in O((n+m)2 log(nm)) time and for both the additively-weighted and power Voronoi diagram in O(nmlog(nm)) timeThu, 04 Apr 2013 13:14:09 GMThttp://hdl.handle.net/2117/186142013-04-04T13:14:09ZAbellanas, Manuel; Bajuelos, Antonio L.; Canales, Santiago; Claverol Aguas, Mercè; Hernández, Gregorio; Pereira de Matos, InésnoLet S be a set of n + m sites, of which n are red and have weight wR, and m are blue and weigh wB. The objective of this paper
is to calculate the minimum value of the red sites’ weight such that the union of the red Voronoi cells in the weighted Voronoi diagram of S is a connected region. This problem is solved for the multiplicativelyweighted
Voronoi diagram in O((n+m)2 log(nm)) time and for both the additively-weighted and power Voronoi diagram in O(nmlog(nm)) timeMedian trajectories
http://hdl.handle.net/2117/17768
Title: Median trajectories
Authors: Buchin, Kevin; Buchin, Maike; Kreveld, Marc van; Löffler, Maarten; Silveira, Rodrigo Ignacio; Wenk, Carola; Wiratma, Lionov
Abstract: We investigate the concept of a median among a set of trajectories. We establish criteria that a “median trajectory” should meet, and present two different methods to construct a median for a set of input trajectories. The first method is very simple, while the second method is more complicated and uses homotopy with respect to sufficiently large faces in the arrangement formed by the trajectories. We give algorithms for both methods, analyze the worst-case running time, and show that under certain assumptions both methods can be implemented efficiently. We empirically compare the output of both methods on randomly generated trajectories, and evaluate whether the two methods yield medians that are according to our intuition. Our results suggest that the second method, using homotopy, performs considerably better.Thu, 14 Feb 2013 14:40:06 GMThttp://hdl.handle.net/2117/177682013-02-14T14:40:06ZBuchin, Kevin; Buchin, Maike; Kreveld, Marc van; Löffler, Maarten; Silveira, Rodrigo Ignacio; Wenk, Carola; Wiratma, LionovnoWe investigate the concept of a median among a set of trajectories. We establish criteria that a “median trajectory” should meet, and present two different methods to construct a median for a set of input trajectories. The first method is very simple, while the second method is more complicated and uses homotopy with respect to sufficiently large faces in the arrangement formed by the trajectories. We give algorithms for both methods, analyze the worst-case running time, and show that under certain assumptions both methods can be implemented efficiently. We empirically compare the output of both methods on randomly generated trajectories, and evaluate whether the two methods yield medians that are according to our intuition. Our results suggest that the second method, using homotopy, performs considerably better.On the metric dimension of infinite graphs
http://hdl.handle.net/2117/17651
Title: On the metric dimension of infinite graphs
Authors: Cáceres, José; Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Puertas, Maria Luz
Abstract: A set of vertices Sresolves a graph G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of a graph G is the minimum cardinality of a resolving set. In this paper we study the metric dimension of infinite graphs such that all its vertices have finite degree. We give necessary conditions for those graphs to have finite metric dimension and characterize infinite trees with finite metric dimension. We also establish some results about the metric dimension of the cartesian product of finite and infinite graphs, and give the metric dimension of the cartesian product of several families of graphs.
Description: Infinite graph;
Locally finite graph;
Resolving set;
Metric dimension;
Cartesian productTue, 12 Feb 2013 12:08:09 GMThttp://hdl.handle.net/2117/176512013-02-12T12:08:09ZCáceres, José; Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Puertas, Maria LuznoA set of vertices Sresolves a graph G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of a graph G is the minimum cardinality of a resolving set. In this paper we study the metric dimension of infinite graphs such that all its vertices have finite degree. We give necessary conditions for those graphs to have finite metric dimension and characterize infinite trees with finite metric dimension. We also establish some results about the metric dimension of the cartesian product of finite and infinite graphs, and give the metric dimension of the cartesian product of several families of graphs.Cusp points in the parameter space of degenerate 3-RPR planar parallel manipulators
http://hdl.handle.net/2117/17499
Title: Cusp points in the parameter space of degenerate 3-RPR planar parallel manipulators
Authors: Manubens Ferriol, Montserrat; Moroz, Guillaume; Chablat, Damien; Wenger, Philippe; Rouillier, Fabrice
Abstract: This paper investigates the conditions in the design parameter space for the existence and distribution of the cusp locus for planar parallel manipulators. Cusp points make possible non-singular assembly-mode changing motion, which increases the maximum singularity-free workspace. An accurate
algorithm for the determination is proposed amending some imprecisions done by previous existing algorithms. This is combined with methods of Cylindric Algebraic Decomposition, Gröbner bases and Discriminant Varieties in order to partition the parameter space into cells with constant
number of cusp points. These algorithms will allow us to classify a family of degenerate 3-RPR manipulators.Wed, 23 Jan 2013 13:29:30 GMThttp://hdl.handle.net/2117/174992013-01-23T13:29:30ZManubens Ferriol, Montserrat; Moroz, Guillaume; Chablat, Damien; Wenger, Philippe; Rouillier, FabricenoCusp, Cylindric algebraic decomposition, Degenerate 3-RPR, Discriminant variety, Kinematics, Parallel manipulator, Singularities, Symbolic computationThis paper investigates the conditions in the design parameter space for the existence and distribution of the cusp locus for planar parallel manipulators. Cusp points make possible non-singular assembly-mode changing motion, which increases the maximum singularity-free workspace. An accurate
algorithm for the determination is proposed amending some imprecisions done by previous existing algorithms. This is combined with methods of Cylindric Algebraic Decomposition, Gröbner bases and Discriminant Varieties in order to partition the parameter space into cells with constant
number of cusp points. These algorithms will allow us to classify a family of degenerate 3-RPR manipulators.A linear relaxation method for computing workspace slices of the Stewart platform
http://hdl.handle.net/2117/17219
Title: A linear relaxation method for computing workspace slices of the Stewart platform
Authors: Bohigas Nadal, Oriol; Manubens Ferriol, Montserrat; Ros Giralt, Lluís
Abstract: The workspace of a Stewart platform is a complex sixdimensional volume embedded in the Cartesian space defined by six pose parameters. Because of its large dimension
and complex shape, this volume is difficult to compute and represent, and comprehension on its structure is being gained by studying its three-dimensional slices. While successful methods have been given to determine the constantorientation slice, the computation and appropriate visualization
of the constant-position slice (also known as the orientation workspace) has proved to be a challenging task. This paper presents a unified method for computing both of such
slices, and any other ones defined by fixing three pose parameters, on general Stewart platforms possibly involving mechanical limits on the active and passive joints. Advantages over existing methods include, in addition to the previous,
the ability to determine all connected components of the workspace, and any motion barriers present in its interior.Tue, 08 Jan 2013 17:35:44 GMThttp://hdl.handle.net/2117/172192013-01-08T17:35:44ZBohigas Nadal, Oriol; Manubens Ferriol, Montserrat; Ros Giralt, Lluísnomanipulators
robot kinematics
PARAULES AUTOR: workspace determination, slices, Stewart platform, branch-and-prune method, linear relaxation, motion barriers, boundariesThe workspace of a Stewart platform is a complex sixdimensional volume embedded in the Cartesian space defined by six pose parameters. Because of its large dimension
and complex shape, this volume is difficult to compute and represent, and comprehension on its structure is being gained by studying its three-dimensional slices. While successful methods have been given to determine the constantorientation slice, the computation and appropriate visualization
of the constant-position slice (also known as the orientation workspace) has proved to be a challenging task. This paper presents a unified method for computing both of such
slices, and any other ones defined by fixing three pose parameters, on general Stewart platforms possibly involving mechanical limits on the active and passive joints. Advantages over existing methods include, in addition to the previous,
the ability to determine all connected components of the workspace, and any motion barriers present in its interior.Improving shortest paths in the Delaunay triangulation
http://hdl.handle.net/2117/16981
Title: Improving shortest paths in the Delaunay triangulation
Authors: Abellanas, Manuel; Claverol Aguas, Mercè; Hernández-Peñalver, Gregorio; Hurtado Díaz, Fernando Alfredo; Sacristán Adinolfi, Vera; Saumell Mendiola, Maria; Silveira, Rodrigo Ignacio
Abstract: We study a problem about shortest paths in Delaunay triangulations. Given two nodes s, t in the Delaunay triangulation of a point set P, we look for a new point p that can be added, such that the shortest path from s to t, in the Delaunay triangulation of P ∪ {p}, improves as much as possible. We study
several properties of the problem, and give efficient algorithms to find such point when the graph-distance used is Euclidean and for the link-distance. Several other variations of the problem are also discussed.Tue, 20 Nov 2012 16:25:42 GMThttp://hdl.handle.net/2117/169812012-11-20T16:25:42ZAbellanas, Manuel; Claverol Aguas, Mercè; Hernández-Peñalver, Gregorio; Hurtado Díaz, Fernando Alfredo; Sacristán Adinolfi, Vera; Saumell Mendiola, Maria; Silveira, Rodrigo IgnacionoWe study a problem about shortest paths in Delaunay triangulations. Given two nodes s, t in the Delaunay triangulation of a point set P, we look for a new point p that can be added, such that the shortest path from s to t, in the Delaunay triangulation of P ∪ {p}, improves as much as possible. We study
several properties of the problem, and give efficient algorithms to find such point when the graph-distance used is Euclidean and for the link-distance. Several other variations of the problem are also discussed.Maximizing maximal angles for plane straight-line graphs
http://hdl.handle.net/2117/16559
Title: Maximizing maximal angles for plane straight-line graphs
Authors: Aichholzer, Oswin; Hackl, Thomas; Hoffmann, Michael; Huemer, Clemens; Pór, Attila; Santos, Francisco; Speckmann, Bettina; Vogtenhuber, Birgit
Abstract: Let G=(S,E) be a plane straight-line graph on a finite point set S⊂R2 in general position. The incident angles of a point p∈S in G are the angles between any two edges of G that appear consecutively in the circular order of the edges incident to p. A plane straight-line graph is called φ-open if each vertex has an incident angle of size at least φ. In this paper we study the following type of question: What is the maximum angle φ such that for any finite set S⊂R2 of points in general position we can find a graph from a certain class of graphs on S that is φ-open? In particular, we consider the classes of triangulations, spanning trees, and spanning paths on S and give tight bounds in most cases.Tue, 25 Sep 2012 10:39:59 GMThttp://hdl.handle.net/2117/165592012-09-25T10:39:59ZAichholzer, Oswin; Hackl, Thomas; Hoffmann, Michael; Huemer, Clemens; Pór, Attila; Santos, Francisco; Speckmann, Bettina; Vogtenhuber, BirgitnoLet G=(S,E) be a plane straight-line graph on a finite point set S⊂R2 in general position. The incident angles of a point p∈S in G are the angles between any two edges of G that appear consecutively in the circular order of the edges incident to p. A plane straight-line graph is called φ-open if each vertex has an incident angle of size at least φ. In this paper we study the following type of question: What is the maximum angle φ such that for any finite set S⊂R2 of points in general position we can find a graph from a certain class of graphs on S that is φ-open? In particular, we consider the classes of triangulations, spanning trees, and spanning paths on S and give tight bounds in most cases.Processing aggregated data : the location of clusters in health data
http://hdl.handle.net/2117/16389
Title: Processing aggregated data : the location of clusters in health data
Authors: Buchin, Kevin; Buchin, Maike; Kreveld, Marc van; Löffler, Maarten; Luo, Jun; Silveira, Rodrigo Ignacio
Abstract: Spatially aggregated data is frequently used in geographical applications. Often spatial data analysis on aggregated data is performed in the same way as on exact data, which ignores the fact that we do not know the actual locations of the data. We here propose models and methods to take aggregation into account. For this we focus on the problem of locating clusters in aggregated data. More specifically, we study the problem of locating clusters in spatially aggregated health data. The data is given as a subdivision into regions with two values per region, the number of cases and the size of the population at risk. We formulate the problem as finding a placement of a cluster window of a given shape such that a cluster function depending on the population at risk and the cases is maximized. We propose area-based models to calculate the cases (and the population at risk) within a cluster window. These models are based on the areas of intersection of the cluster window with the regions of the subdivision. We show how to compute a subdivision such that within each cell of the subdivision the areas of intersection are simple functions. We evaluate experimentally how taking aggregation into account influences the location of the clusters found.Mon, 27 Aug 2012 16:16:37 GMThttp://hdl.handle.net/2117/163892012-08-27T16:16:37ZBuchin, Kevin; Buchin, Maike; Kreveld, Marc van; Löffler, Maarten; Luo, Jun; Silveira, Rodrigo IgnacionoAggregated data, Algorithm, Cluster, Public healthSpatially aggregated data is frequently used in geographical applications. Often spatial data analysis on aggregated data is performed in the same way as on exact data, which ignores the fact that we do not know the actual locations of the data. We here propose models and methods to take aggregation into account. For this we focus on the problem of locating clusters in aggregated data. More specifically, we study the problem of locating clusters in spatially aggregated health data. The data is given as a subdivision into regions with two values per region, the number of cases and the size of the population at risk. We formulate the problem as finding a placement of a cluster window of a given shape such that a cluster function depending on the population at risk and the cases is maximized. We propose area-based models to calculate the cases (and the population at risk) within a cluster window. These models are based on the areas of intersection of the cluster window with the regions of the subdivision. We show how to compute a subdivision such that within each cell of the subdivision the areas of intersection are simple functions. We evaluate experimentally how taking aggregation into account influences the location of the clusters found.