Skip to main content
SpringerLink
Log in
Book cover

Theory and Applications of Models of Computation

9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Manindra Agrawal

    1. Department of Computer Science and Engineering, Resource Planning and Generation, Indian Institute of Technology Kanpur, Kanpur, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. S. Barry Cooper

    1. Department of Pure Mathematics, Leeds, University of Leeds, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Angsheng Li

    1. Institute of Software, Chinese Academy of Sciences, Beijing, P.R. China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7287)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TAMC 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (56 papers)

  1. Front Matter

    Download chapter PDF

  3. Invited Lectures

    1. Principles of Network Computing

      • Yicheng Pan
      Pages 30-39

    2. The Small Community Phenomenon in Networks: Models, Algorithms and Applications

      • Pan Peng
      Pages 40-49

    3. Vertex-Pursuit in Hierarchical Social Networks

      • A. Bonato, D. Mitsche, P. PraÅ‚at
      Pages 50-60

    4. A Structural Approach to Prophecy Variables

      • Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li
      Pages 61-71

    5. An Assume/Guarantee Based Compositional Calculus for Hybrid CSP

      • Shuling Wang, Naijun Zhan, Dimitar Guelev
      Pages 72-83

    6. Automatic Verification of Real-Time Systems with Rich Data: An Overview

      • Ernst-Rüdiger Olderog
      Pages 84-93

    7. Program Analysis Using Quantifier-Elimination Heuristics

      • Deepak Kapur
      Pages 94-108

    8. Electron Tomography and Multiscale Biology

      • Albert F. Lawrence, Séastien Phan, Mark Ellisman
      Pages 109-130

  4. Contributed Papers

    1. Constant-Time Approximation Algorithms for the Knapsack Problem

      • Hiro Ito, Susumu Kiyoshima, Yuichi Yoshida
      Pages 131-142

    2. Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices

      • Jingguo Bi, Qi Cheng
      Pages 143-155

    3. Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions

      • Michal ÄŒerný, Miroslav Rada
      Pages 156-163
Back to top

Other volumes

  1. Theory and Applications of Models of Computation

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.

Editors and Affiliations

  • Department of Computer Science and Engineering, Resource Planning and Generation, Indian Institute of Technology Kanpur, Kanpur, India

    Manindra Agrawal

  • Department of Pure Mathematics, Leeds, University of Leeds, UK

    S. Barry Cooper

  • Institute of Software, Chinese Academy of Sciences, Beijing, P.R. China

    Angsheng Li

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation