| Description |
1 online resource (xv, 356 pages) : illustrations |
| Series |
Lecture notes in computer science, 1611-3349 ; 7876 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7876. 1611-3349
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
880-01 Computability -- complexity -- algorithms -- present current research |
|
880-01/(S Online Scheduling on a CPU-GPU Cluster / Lin Chen, Deshi Ye, Guochuan Zhang -- Throughput Maximization for Speed-Scaling with Agreeable Deadlines / Eric Angel, Evripidis Bampis, Vincent Chau -- Temperature Aware Online Algorithms for Minimizing Flow Time / Martin Birks, Stanley Fung -- Priority Queues and Sorting for Read-Only Data / Tetsuo Asano, Amr Elmasry, Jyrki Katajainen -- (1 + ε)-Distance Oracles for Vertex-Labeled Planar Graphs / Mingfei Li, Chu Chung Christopher Ma -- Group Nearest Neighbor Queries in the L 1 Plane / Hee-Kap Ahn, Sang Won Bae, Wanbin Son -- Modelling the Power Supply Network -- Hardness and Approximation / Alexandru Popa -- Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem / Andreas Bley, S. Mehdi Hashemi -- k-means++ under Approximation Stability / Manu Agarwal, Ragesh Jaiswal, Arindam Pal -- An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure / Mingyu Xiao, Hiroshi Nagamochi |
| 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 |
| Analysis |
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 |
|
computerwetenschappen |
|
computer sciences |
|
computertechnieken |
|
computer techniques |
|
computational science |
|
computerwiskunde |
|
computational mathematics |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
informatietheorie |
|
gegevensstructuren |
|
data structures |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed May 24, 2013) |
| Subject |
Computer science -- Mathematics -- Congresses
|
|
Computational complexity -- Congresses
|
|
Turing machines -- Congresses
|
|
Mathematics.
|
|
Computer programs.
|
|
Computer software.
|
|
Mathematics
|
|
Software
|
|
mathematics.
|
|
applied mathematics.
|
|
software.
|
|
Mathematics
|
|
Computer software
|
|
Computer programs
|
|
Computational complexity
|
|
Computer science -- Mathematics
|
|
Turing machines
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Software.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Chan, Hubert T-H
|
|
Lau, Lap Chi.
|
|
Trevisan, Luca
|
| ISBN |
9783642382369 |
|
3642382363 |
|
