Theory and Applications of Models of Computation

8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

  • Mitsunori Ogihara
  • Jun Tarui
Conference proceedings TAMC 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6648)

Table of contents

  1. Front Matter
  2. Invited Talk 1

    1. Session 1A: General Algorithms

    2. Session 1B: Approximation I

      1. Richard Schmied, Claus Viehmann
        Pages 37-47
      2. Takehiro Ito, Erik D. Demaine
        Pages 58-69
    3. Session 2A: Graph Algorithms I

      1. Weizhong Luo, Jianxin Wang, Qilong Feng, Jiong Guo, Jianer Chen
        Pages 70-81
      2. Konstanty Junosza-Szaniawski, Jan Kratochvíl, Mathieu Liedloff, Peter Rossmanith, Paweł Rza̧żewski
        Pages 82-93
    4. Session 2B: Complexity I

      1. Kozue Iwata, Shiro Ishiwata, Shin-ichi Nakano
        Pages 106-113
      2. Xue Chen, Guangda Hu, Xiaoming Sun
        Pages 124-132
    5. Session 3A: Optimization I

    6. Session 3B: Circuit Complexity

  3. Invited Talk 2

    1. Session 4A: Data Structures

      1. Francis Y. L. Chin, Henry C. M. Leung, S. M. Yiu
        Pages 172-183

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 136 submissions. The papers address the three main themes of the conference which were computability, complexity, and algorithms and are organized in topical sections on general algorithms, approximation, graph algorithms, complexity, optimization, circuit complexity, data structures, logic and formal language theory, games and learning theory, and cryptography and communication complexity.

Keywords

computational geometry energy complexity modal logic ontology probability logic

Editors and affiliations

  • Mitsunori Ogihara
    • 1
  • Jun Tarui
    • 2
  1. 1.Department of Computer ScienceUniversity of MiamiCoral GablesUSA
  2. 2.Department of Information and Communication EngineeringUniversity of Electro-CommTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20877-5
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20876-8
  • Online ISBN 978-3-642-20877-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book