↓ 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 On the Impact of Turing Machines
  3. Altmetric Badge
    Chapter 2 From Turing Machine to Morphogenesis: Forming and Informing Computation
  4. Altmetric Badge
    Chapter 3 Theory of Computation as an Enabling Tool for the Sciences
  5. Altmetric Badge
    Chapter 4 Interaction and Collective Intelligence on the Internet
  6. Altmetric Badge
    Chapter 5 What Computers Do: Model, Connect, Engage
  7. Altmetric Badge
    Chapter 6 R-Calculus: A Logical Inference System for Scientific Discovery
  8. Altmetric Badge
    Chapter 7 Quantum Computing: A Great Science in the Making
  9. Altmetric Badge
    Chapter 8 The Convergence of Social and Technological Networks
  10. Altmetric Badge
    Chapter 9 Principles of Network Computing
  11. Altmetric Badge
    Chapter 10 The Small Community Phenomenon in Networks: Models, Algorithms and Applications
  12. Altmetric Badge
    Chapter 11 Vertex-Pursuit in Hierarchical Social Networks
  13. Altmetric Badge
    Chapter 12 A Structural Approach to Prophecy Variables
  14. Altmetric Badge
    Chapter 13 An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
  15. Altmetric Badge
    Chapter 14 Automatic Verification of Real-Time Systems with Rich Data: An Overview
  16. Altmetric Badge
    Chapter 15 Program Analysis Using Quantifier-Elimination Heuristics
  17. Altmetric Badge
    Chapter 16 Electron Tomography and Multiscale Biology
  18. Altmetric Badge
    Chapter 17 Constant-Time Approximation Algorithms for the Knapsack Problem
  19. Altmetric Badge
    Chapter 18 Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices
  20. Altmetric Badge
    Chapter 19 Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions
  21. Altmetric Badge
    Chapter 20 Hardness and Approximation of the Asynchronous Border Minimization Problem
  22. Altmetric Badge
    Chapter 21 Asymptotic Limits of a New Type of Maximization Recurrence with an Application to Bioinformatics
  23. Altmetric Badge
    Chapter 22 Computing Bits of Algebraic Numbers
  24. Altmetric Badge
    Chapter 23 Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms
  25. Altmetric Badge
    Chapter 24 Computing Error Distance of Reed-Solomon Codes
  26. Altmetric Badge
    Chapter 25 Coordination Mechanisms for Selfish Parallel Jobs Scheduling
  27. Altmetric Badge
    Chapter 26 Computationally-Fair Group and Identity-Based Key-Exchange
  28. Altmetric Badge
    Chapter 27 Timed Encryption with Application to Deniable Key Exchange
  29. Altmetric Badge
    Chapter 28 Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines
  30. Altmetric Badge
    Chapter 29 A Surprisingly Simple Way of Reversing Trace Distance via Entanglement
  31. Altmetric Badge
    Chapter 30 Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields
  32. Altmetric Badge
    Chapter 31 Stopping Set Distributions of Algebraic Geometry Codes from Elliptic Curves
  33. Altmetric Badge
    Chapter 32 Energy-Efficient Network Routing with Discrete Cost Functions
  34. Altmetric Badge
    Chapter 33 An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval
  35. Altmetric Badge
    Chapter 34 The Worst Case Behavior of Randomized Gossip
  36. Altmetric Badge
    Chapter 35 Holographic Algorithms on Domain Size k  > 2
  37. Altmetric Badge
    Chapter 36 A Refined Exact Algorithm for Edge Dominating Set
  38. Altmetric Badge
    Chapter 37 Finite Automata over Structures
  39. Altmetric Badge
    Chapter 38 Deterministic Distributed Data Aggregation under the SINR Model
  40. Altmetric Badge
    Chapter 39 Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication
  41. Altmetric Badge
    Chapter 40 Speed Scaling Problems with Memory/Cache Consideration
  42. Altmetric Badge
    Chapter 41 On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data
  43. Altmetric Badge
    Chapter 42 Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants
  44. Altmetric Badge
    Chapter 43 Online Optimization of Busy Time on Parallel Machines
  45. Altmetric Badge
    Chapter 44 Bisection (Band)Width of Product Networks with Application to Data Centers
  46. Altmetric Badge
    Chapter 45 Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations
  47. Altmetric Badge
    Chapter 46 A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks
  48. Altmetric Badge
    Chapter 47 Proving Liveness Property under Strengthened Compassion Requirements
  49. Altmetric Badge
    Chapter 48 Realizing Monads in Interaction Nets via Generic Typed Rules
  50. Altmetric Badge
    Chapter 49 Towards an Axiomatization of Simple Analog Algorithms
  51. Altmetric Badge
    Chapter 50 Multiple Usage of Random Bits in Finite Automata
  52. Altmetric Badge
    Chapter 51 Minimum Certificate Dispersal with Tree Structures
  53. Altmetric Badge
    Chapter 52 Improved FPT Algorithms for Rectilinear k-Links Spanning Path
  54. Altmetric Badge
    Chapter 53 FPT Results for Signed Domination
  55. Altmetric Badge
    Chapter 54 Submodular Minimization via Pathwidth
  56. Altmetric Badge
    Chapter 55 A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs
  57. Altmetric Badge
    Chapter 56 An Application of 1-Genericity in the $\Pi^0_2$ Enumeration Degrees
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
q&a
1 Q&A thread

Readers on

mendeley
42 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 Berlin Heidelberg, May 2012
DOI 10.1007/978-3-642-29952-0
ISBNs
978-3-64-229951-3, 978-3-64-229952-0
Editors

Agrawal, Manindra, Cooper, S. Barry, Li, Angsheng, Agrawal, Manindra, Cooper, S. Barry, Li, Angsheng

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 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 42 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 2 5%
Greece 2 5%
Sri Lanka 1 2%
United Kingdom 1 2%
Unknown 36 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 9 21%
Student > Master 7 17%
Researcher 5 12%
Other 4 10%
Unspecified 4 10%
Other 13 31%
Readers by discipline Count As %
Computer Science 24 57%
Unspecified 5 12%
Mathematics 5 12%
Business, Management and Accounting 2 5%
Engineering 2 5%
Other 4 10%