Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Front Matter....Pages -
Online Scheduling on a CPU-GPU Cluster....Pages 1-9
Throughput Maximization for Speed-Scaling with Agreeable Deadlines....Pages 10-19
Temperature Aware Online Algorithms for Minimizing Flow Time....Pages 20-31
Priority Queues and Sorting for Read-Only Data....Pages 32-41
(1 +  ε )-Distance Oracles for Vertex-Labeled Planar Graphs....Pages 42-51
Group Nearest Neighbor Queries in the L 1 Plane....Pages 52-61
Modelling the Power Supply Network – Hardness and Approximation....Pages 62-71
Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem....Pages 72-83
k-means++ under Approximation Stability....Pages 84-95
An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure....Pages 96-107
Non-crossing Connectors in the Plane....Pages 108-120
Minimax Regret 1-Sink Location Problems in Dynamic Path Networks....Pages 121-132
A Notion of a Computational Step for Partial Combinatory Algebras....Pages 133-143
Selection by Recursively Enumerable Sets....Pages 144-155
On the Boundedness Property of Semilinear Sets....Pages 156-168
Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer....Pages 169-180
Computing with and without Arbitrary Large Numbers....Pages 181-192
On the Sublinear Processor Gap for Parallel Architectures....Pages 193-204
On Efficient Constructions of Short Lists Containing Mostly Ramsey Graphs....Pages 205-211
On Martin-Löf Convergence of Solomonoff’s Mixture....Pages 212-223
Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive....Pages 224-235
The Algorithm for the Two-Sided Scaffold Filling Problem....Pages 236-247
Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimentional Arrays....Pages 248-259
Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs....Pages 260-271
Obnoxious Facility Game with a Bounded Service Range....Pages 272-281
Efficient Self-pairing on Ordinary Elliptic Curves....Pages 282-293
Grey-Box Public-Key Steganography....Pages 294-305
Linear Vertex-kernels for Several Dense Ranking r -Constraint Satisfaction Problems....Pages 306-318
On Parameterized and Kernelization Algorithms for the Hierarchical Clustering Problem....Pages 319-330
Vector Connectivity in Graphs....Pages 331-342
Trees in Graphs with Conflict Edges or Forbidden Transitions....Pages 343-354
Back Matter....Pages -