Advertisement

Theory and Applications of Models of Computation

12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

  • Rahul Jain
  • Sanjay Jain
  • Frank Stephan

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9076)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Papers

  3. Recursion Theory and Mathematical Logic

    1. Front Matter
      Pages 21-21
    2. Douglas Cenzer, Christopher P. Porter
      Pages 23-37
    3. Kaspars Balodis, Jānis Iraids, Rūsiņš Freivalds
      Pages 50-61
    4. Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
      Pages 62-72
  4. Computational Complexity and Boolean Functions

    1. Front Matter
      Pages 73-73
    2. Raghav Kulkarni, Youming Qiao, Xiaoming Sun
      Pages 99-109
    3. Takuya Nishida, Yu-ichi Hayashi, Takaaki Mizuki, Hideaki Sone
      Pages 110-121
    4. Andris Ambainis, Jevgēnijs Vihrovs
      Pages 122-133
  5. Graph Theory

    1. Front Matter
      Pages 135-135
    2. Xin He, Dayu He
      Pages 137-149
    3. Anthony Bonato, Marc Lozier, Dieter Mitsche, Xavier Pérez-Giménez, Paweł Prałat
      Pages 150-163
    4. Laurent Bulteau, Vincent Froese, Nimrod Talmon
      Pages 200-211
    5. Takehiro Ito, Hirotaka Ono, Yota Otachi
      Pages 212-223
    6. Laurent Bulteau, Stefan Fafianie, Vincent Froese, Rolf Niedermeier, Nimrod Talmon
      Pages 224-235
    7. Dawei Xu, Takashi Horiyama, Toshihiro Shirakawa, Ryuhei Uehara
      Pages 236-247
    8. Xujin Chen, Xiaodong Hu, Changjun Wang
      Pages 248-259
    9. Sepp Hartung, Nimrod Talmon
      Pages 260-271
    10. Mingyu Xiao, Huan Tan
      Pages 272-283
    11. Alexandre Talon, Jan Kratochvil
      Pages 284-296
    12. Nikhil Balaji, Samir Datta
      Pages 297-308
  6. Quantum Computing

    1. Front Matter
      Pages 309-309
    2. Zhaohui Wei, Shengyu Zhang
      Pages 311-323
    3. Stefano Facchini, Simon Perdrix
      Pages 324-331
  7. Parallelism and Statistics

    1. Front Matter
      Pages 333-333
    2. Arash Farzan, Alejandro López-Ortiz, Patrick K. Nicholson, Alejandro Salinger
      Pages 335-346
    3. Arijit Bishnu, Sameer Desai, Arijit Ghosh, Mayank Goswami, Subhabrata Paul
      Pages 347-358
    4. Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
      Pages 359-371
  8. Learning, Automata and Probabilistic Models

    1. Front Matter
      Pages 373-373
    2. Vu Dinh, Lam Si Tung Ho, Nguyen Viet Cuong, Duy Nguyen, Binh T. Nguyen
      Pages 375-387
    3. Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
      Pages 388-399
    4. Reema Patel, Kevin Patel, Dhiren Patel
      Pages 400-412
  9. Parameterised Complexity

    1. Front Matter
      Pages 413-413
    2. Henning Fernau, Alejandro López-Ortiz, Jazmín Romero
      Pages 415-427
    3. Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
      Pages 428-440
    4. Pavel Dvořák, Dušan Knop
      Pages 441-452
    5. Jin-Yong Lin, Sheung-Hung Poon
      Pages 453-464
  10. Back Matter
    Pages 465-466

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.

Keywords

algorithmic game theory malware and its mitigation oracles and decision trees security and privacy stochastic games

Editors and affiliations

  • Rahul Jain
    • 1
  • Sanjay Jain
    • 2
  • Frank Stephan
    • 3
  1. 1.National University of SingaporeSingaporeSingapore
  2. 2.National University of SingaporeSingaporeSingapore
  3. 3.National University of SingaporeSingaporeSingapore

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-17142-5
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-17141-8
  • Online ISBN 978-3-319-17142-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site