Reset Filters
Author: Winter,K. G

Cover is for reference only

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings /

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together...

Full description

Saved in:
Bibliographic Details
Corporate Authors: TAMC (Conference) Hong Kong, China); SpringerLink (Online service)
Group Author: Chan, Hubert T-H.; Lau, Lap Chi; Trevisan, Luca
Published: Springer,
Publisher Address: Berlin ; New York :
Publication Dates: 2013.
Literature type: eBook
Language: English
Series: Lecture notes in computer science, 7876
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Subjects:
Software > Congresses.
Mathematics > Congresses.
Computer science > Mathematics > Congresses.
Computational complexity > Congresses.
Turing machines > Congresses.
Computational complexity.
Computer science > Mathematics.
Turing machines.
Computer science.
Data structures (Computer science).
Information theory.
Computer software.
Logic design.
Theory of Computation.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Data Structures, Cryptology and Information Theory.
Mathematical Logic and Formal Languages.
Electronic books.
Conference proceedings.
Online Access: http://dx.doi.org/10.1007/978-3-642-38236-9
Summary: This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
Carrier Form: 1 online resource (xv, 356 p.) : ill.
Bibliography: Includes bibliographical references and author index.
ISBN: 9783642382369 (electronic bk.)
3642382363 (electronic bk.)
Index Number: QA76
CLC: TP311.5-532
Contents: Online Scheduling on a CPU-GPU Cluster /
Throughput Maximization for Speed-Scaling with Agreeable Deadlines /
Temperature Aware Online Algorithms for Minimizing Flow Time /
Priority Queues and Sorting for Read-Only Data /
(1 + )-Distance Oracles for Vertex-Labeled Planar Graphs /
Group Nearest Neighbor Queries in the L 1 Plane /
Modelling the Power Supply Network - Hardness and Approximation /
Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem /
k-means++ under Approximation Stability /
An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure /
Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive /
The Algorithm for the Two-Sided Scaffold Filling Problem /
Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimentional Arrays /
Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs /
Obnoxious Facility Game with a Bounded Service Range /
Efficient Self-pairing on Ordinary Elliptic Curves /
Grey-Box Public-Key Steganography /
Linear Vertex-kernels for Several Dense Ranking r -Constraint Satisfaction Problems /
On Parameterized and Kernelization Algorithms for the Hierarchical Clustering Problem /
Vector Connectivity in Graphs /
Trees in Graphs with Conflict Edges or Forbidden Transitions /

Related Book Recommendations