Skip to main content
SpringerLink
Log in

Theory and Applications of Models of Computation

14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. T.V. Gopal

    1. Anna University, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerhard Jäger

    1. Universität Bern , Bern, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Silvia Steila

    1. Universität Bern , Bern, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: TAMC 2017.

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 EPUB and 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 (50 papers)

  1. Front Matter

    Pages I-XXVI
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Cognitive Reasoning and Trust in Human-Robot Interactions

      • Marta Kwiatkowska
      Pages 3-11

    3. On Choice Rules in Dependent Type Theory

      • Maria Emilia Maietti
      Pages 12-23

    4. Natural Language Processing, Moving from Rules to Data

      • Adrian-Horia Dediu, Joana M. Matos, Carlos Martín-Vide
      Pages 24-38

    5. An All-or-Nothing Flavor to the Church-Turing Hypothesis

      • Stefan Wolf
      Pages 39-56

  3. Contributed Papers

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis

      • Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang
      Pages 59-70

    3. Multi-interval Pairwise Compatibility Graphs

      • Shareef Ahmed, Md. Saidur Rahman
      Pages 71-84

    4. A Note on Effective Categoricity for Linear Orderings

      • Nikolay Bazhenov
      Pages 85-96

    5. On the Shortest Common Superstring of NGS Reads

      • Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru
      Pages 97-111

    6. On the Cost of Simulating a Parallel Boolean Automata Network by a Block-Sequential One

      • Florian Bridoux, Pierre Guillon, Kévin Perrot, Sylvain Sené, Guillaume Theyssier
      Pages 112-128

    7. On Resource-Bounded Versions of the van Lambalgen Theorem

      • Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla
      Pages 129-143

    8. Scheduling Fully Parallel Jobs with Integer Parallel Units

      • Vincent Chau, Minming Li, Kai Wang
      Pages 144-157

    9. Continuous Firefighting on Infinite Square Grids

      • Xujin Chen, Xiaodong Hu, Changjun Wang, Ying Zhang
      Pages 158-171

    10. Mediated Population Protocols: Leader Election and Applications

      • Shantanu Das, Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta
      Pages 172-186

    11. Learning \(AC^0\) Under k-Dependent Distributions

      • Ning Ding, Yanli Ren, Dawu Gu
      Pages 187-200

    12. Parikh Images of Matrix Ins-Del Systems

      • Henning Fernau, Lakshmanan Kuppusamy
      Pages 201-215

    13. Algorithmic Aspects of the Maximum Colorful Arborescence Problem

      • Guillaume Fertin, Julien Fradin, Géraldine Jean
      Pages 216-230

    14. Incompleteness Theorems, Large Cardinals, and Automata over Finite Words

      • Olivier Finkel
      Pages 231-246
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 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017.

The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.

Editors and Affiliations

  • Anna University, Chennai, India

    T.V. Gopal

  • Universität Bern , Bern, Switzerland

    Gerhard Jäger , Silvia Steila

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation