↓ Skip to main content

Theory and Applications of Models of Computation

Overview of attention for book
Cover of 'Theory and Applications of Models of Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Cognitive Reasoning and Trust in Human-Robot Interactions
  3. Altmetric Badge
    Chapter 2 On Choice Rules in Dependent Type Theory
  4. Altmetric Badge
    Chapter 3 Natural Language Processing, Moving from Rules to Data
  5. Altmetric Badge
    Chapter 4 An All-or-Nothing Flavor to the Church-Turing Hypothesis
  6. Altmetric Badge
    Chapter 5 Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis
  7. Altmetric Badge
    Chapter 6 Multi-interval Pairwise Compatibility Graphs
  8. Altmetric Badge
    Chapter 7 A Note on Effective Categoricity for Linear Orderings
  9. Altmetric Badge
    Chapter 8 On the Shortest Common Superstring of NGS Reads
  10. Altmetric Badge
    Chapter 9 On the Cost of Simulating a Parallel Boolean Automata Network by a Block-Sequential One
  11. Altmetric Badge
    Chapter 10 On Resource-Bounded Versions of the van Lambalgen Theorem
  12. Altmetric Badge
    Chapter 11 Scheduling Fully Parallel Jobs with Integer Parallel Units
  13. Altmetric Badge
    Chapter 12 Continuous Firefighting on Infinite Square Grids
  14. Altmetric Badge
    Chapter 13 Mediated Population Protocols: Leader Election and Applications
  15. Altmetric Badge
    Chapter 14 Learning $$AC^0$$ Under k -Dependent Distributions
  16. Altmetric Badge
    Chapter 15 Parikh Images of Matrix Ins-Del Systems
  17. Altmetric Badge
    Chapter 16 Algorithmic Aspects of the Maximum Colorful Arborescence Problem
  18. Altmetric Badge
    Chapter 17 Incompleteness Theorems, Large Cardinals, and Automata over Finite Words
  19. Altmetric Badge
    Chapter 18 Scheduling Tasks to Minimize Active Time on a Processor with Unlimited Capacity
  20. Altmetric Badge
    Chapter 19 The Strength of the SCT Criterion
  21. Altmetric Badge
    Chapter 20 Covering Polygons with Rectangles
  22. Altmetric Badge
    Chapter 21 The Complexity of Perfect Packings in Dense Graphs
  23. Altmetric Badge
    Chapter 22 On the Maximum Weight Minimal Separator
  24. Altmetric Badge
    Chapter 23 Pebble Games over Ordered Structural Abstractions
  25. Altmetric Badge
    Chapter 24 Counting Minimal Dominating Sets
  26. Altmetric Badge
    Chapter 25 On the Computational Complexity of Variants of Combinatorial Voter Control in Elections
  27. Altmetric Badge
    Chapter 26 On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas
  28. Altmetric Badge
    Chapter 27 Vector Ambiguity and Freeness Problems in SL $$(2,\mathbb {Z})$$
  29. Altmetric Badge
    Chapter 28 An $$O(n^2)$$ Algorithm for Computing Optimal Continuous Voltage Schedules
  30. Altmetric Badge
    Chapter 29 Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution
  31. Altmetric Badge
    Chapter 30 Bounds for Semi-disjoint Bilinear Forms in a Unit-Cost Computational Model
  32. Altmetric Badge
    Chapter 31 Bounding the Dimension of Points on a Line
  33. Altmetric Badge
    Chapter 32 Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order
  34. Altmetric Badge
    Chapter 33 $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations
  35. Altmetric Badge
    Chapter 34 Blocking Independent Sets for H -Free Graphs via Edge Contractions and Vertex Deletions
  36. Altmetric Badge
    Chapter 35 A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces
  37. Altmetric Badge
    Chapter 36 On the Conjecture of the Smallest 3-Cop-Win Planar Graph
  38. Altmetric Badge
    Chapter 37 On Complexity of Total Vertex Cover on Subcubic Graphs
  39. Altmetric Badge
    Chapter 38 Nondeterministic Communication Complexity of Random Boolean Functions (Extended Abstract)
  40. Altmetric Badge
    Chapter 39 The Smoothed Number of Pareto-Optimal Solutions in Non-integer Bicriteria Optimization
  41. Altmetric Badge
    Chapter 40 From Nonstandard Analysis to Various Flavours of Computability Theory
  42. Altmetric Badge
    Chapter 41 Hardness of Routing for Minimizing Superlinear Polynomial Cost in Directed Graphs
  43. Altmetric Badge
    Chapter 42 A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds
  44. Altmetric Badge
    Chapter 43 On the Complexity of Breaking Pseudoentropy
  45. Altmetric Badge
    Chapter 44 Efficient Algorithms for Touring a Sequence of Convex Polygons and Related Problems
  46. Altmetric Badge
    Chapter 45 Parameterized Complexity of Fair Deletion Problems
  47. Altmetric Badge
    Chapter 46 Degrees of Word Problem for Algebras Without Finitely Presented Expansions
  48. Altmetric Badge
    Chapter 47 Kernelization and Parameterized Algorithms for 3-Path Vertex Cover
  49. Altmetric Badge
    Chapter 48 Fast Searching on Cartesian Products of Graphs
  50. Altmetric Badge
    Chapter 49 Sequentialization Using Timestamps
  51. Altmetric Badge
    Chapter 50 Erratum to: Scheduling Fully Parallel Jobs with Integer Parallel Units
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
31 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theory and Applications of Models of Computation
Published by
Springer International Publishing, April 2017
DOI 10.1007/978-3-319-55911-7
ISBNs
978-3-31-955910-0, 978-3-31-955911-7
Editors

Gopal, T.V., Jäger , Gerhard, Steila, Silvia

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 31 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 3%
United Kingdom 1 3%
Unknown 29 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 9 29%
Student > Master 6 19%
Student > Bachelor 3 10%
Unspecified 3 10%
Professor > Associate Professor 3 10%
Other 7 23%
Readers by discipline Count As %
Computer Science 21 68%
Mathematics 4 13%
Unspecified 3 10%
Business, Management and Accounting 2 6%
Agricultural and Biological Sciences 1 3%
Other 0 0%