Results 1  10
of
202
Generating optimal drawings of physically realizable symbol maps with integer programming
 VIS COMPUT
, 2012
"... ..."
Determining an Optimal Visualization of Physically Realizable Symbol Maps
"... Abstract—Proportional symbol maps are an often used tool to aid cartographers and geoscience professionals to visualize data associated with events (e.g., earthquakes) or geopositioned statistical data (e.g., population). At specific locations, symbols are placed and scaled so that their areas bec ..."
Abstract
 Add to MetaCart
become proportional to the magnitudes of the events or data. Recent work approaches the problem of drawing these symbols algorithmically and defines metrics to be optimized to attain different kinds of drawings. We focus specifically on optimizing the visualization of physically realizable drawings
Optimizing the Layout of Proportional Symbol Maps: Polyhedra and Computation
, 2014
"... Proportional symbol maps are a cartographic tool to assist in the visualization and analysis of quantitativedata associated with specific locations, such as earthquake magnitudes, oil well production, and temperature at weather stations. As the name suggests, symbol sizes are proportional to the mag ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
to the magnitude of the physical quantities that they represent. We present two novel integer linear programming (ILP) models to solve this computational geometry problem: how to draw opaque disks on a map so as to maximize the total visible border of all disks. We focus on drawings obtained by layering symbols
Optimizing the Layout of Proportional Symbol Maps
"... Abstract. Proportional symbol maps are a cartographic tool to assist in the visualization and analysis of quantitative data associated with specific locations (e.g. earthquake magnitudes, oil well production, temperature at weather stations, etc.). As the name suggests, symbol sizes are proportional ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
are proportional to the magnitude of the physical quantities that they represent. We present a novel integer linear programming model to draw opaque disks on a map with the objective of maximizing the total visible border of all disks (an established measure of quality). In particular, we focus on drawings
A mixedinteger program for drawing highquality metro maps
 IN PROC. 13TH INTERNATIONAL SYMPOSIUM ON GRAPH DRAWING
, 2006
"... In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g. the physical location of the tracks and stations of a metro system) and a set L of paths or cycles in G (e.g. metro lin ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
lines), draw G and L nicely. We first specify the niceness of a drawing by listing a number of hard and soft constraints. Then we present a mixedinteger program (MIP) which always finds a drawing that fulfills all hard constraints (if such a drawing exists) and optimizes a weighted sum of costs
Automated drawings of metro maps
, 2005
"... This diploma thesis investigates the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g. the physical location of the tracks and stations of a metro system) and a set L of paths or cycles in G (e.g. metro ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
. In spite of the hardness of the problem we present a mixedinteger linear program (MIP) which always finds a drawing that fulfills all hard constraints (if such a drawing exists) and optimizes a weighted sum of costs corresponding to the soft constraints. We also describe some heuristics that speed up
An Integer Programming Approach to Packing Lightpaths on WDM Networks
"... We consider a routing and wavelength assignment (RWA) for the efficient operation of WDM networks. For a given physical network, a set of selected pairs of nodes, the number of required connections for each selected pair of nodes, and a set of available wavelengths, the RWA is to realize as many con ..."
Abstract
 Add to MetaCart
connections as possible without wavelength collision. We give an integer programming formulation and an algorithm based on column generation. Though the proposed algorithm does not guarantee optimal solutions, test results show that the algorithm gives probably good solutions.
Physics
, 2011
"... Ultracold atoms in optical lattices provide a highly controllable environment for the clean experimental realization of various model Hamiltonians from condensed matter and statistical physics. For example, the twocomponent BoseHubbard model, which reduces to an anisotropic spin1/2 Heisenberg m ..."
Abstract
 Add to MetaCart
Ultracold atoms in optical lattices provide a highly controllable environment for the clean experimental realization of various model Hamiltonians from condensed matter and statistical physics. For example, the twocomponent BoseHubbard model, which reduces to an anisotropic spin1/2 Heisenberg
Automatic Unit Test Data Generation Using MixedInteger Linear Programming and Execution Trees
"... This paper presents an approach to automatic unit test data generation for branch coverage using mixedinteger linear programming, execution trees, and symbolic execution. This approach can be useful to both general testing and regression testing after software maintenance and reengineering activiti ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
This paper presents an approach to automatic unit test data generation for branch coverage using mixedinteger linear programming, execution trees, and symbolic execution. This approach can be useful to both general testing and regression testing after software maintenance and reengineering
Quantum Algorithms Factoring Integers
"... There exist quantum algorithms that can solve certain problems substantially faster than any classical algorithm. ..."
Abstract
 Add to MetaCart
There exist quantum algorithms that can solve certain problems substantially faster than any classical algorithm.
Results 1  10
of
202