Computer Science - Theory and Applications

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Proving Church’s Thesis
3. Altmetric Badge
   Chapter 2 The Limits of Quantum Computers
4. Altmetric Badge
   Chapter 3 Marrying Words and Trees
5. Altmetric Badge
   Chapter 4 TPTP, TSTP, CASC, etc.
6. Altmetric Badge
   Chapter 5 Abstract Modeling and Formal Verification of Microprocessors
7. Altmetric Badge
   Chapter 6 Sequences of Level 1, 2, 3,..., k ,...
8. Altmetric Badge
   Chapter 7 Timers and Proximities for Mobile Ambients
9. Altmetric Badge
   Chapter 8 Pushing Random Walk Beyond Golden Ratio
10. Altmetric Badge
    Chapter 9 Reversible Machine Code and Its Abstract Processor Architecture
11. Altmetric Badge
    Chapter 10 A Fast Algorithm for Path 2-Packing Problem
12. Altmetric Badge
    Chapter 11 Decidability of Parameterized Probabilistic Information Flow
13. Altmetric Badge
    Chapter 12 Inverting Onto Functions and Polynomial Hierarchy
14. Altmetric Badge
    Chapter 13 Proved-Patterns-Based Development for Structured Programs
15. Altmetric Badge
    Chapter 14 Planarity, Determinants, Permanents, and (Unique) Matchings
16. Altmetric Badge
    Chapter 15 Equivalence Problems for Circuits over Sets of Natural Numbers
17. Altmetric Badge
    Chapter 16 Bouillon: A Wiki-Wiki Social Web
18. Altmetric Badge
    Chapter 17 A PDL-Like Logic of Knowledge Acquisition
19. Altmetric Badge
    Chapter 18 Resource Placement in Networks Using Chromatic Sets of Power Graphs
20. Altmetric Badge
    Chapter 19 Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth
21. Altmetric Badge
    Chapter 20 Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems
22. Altmetric Badge
    Chapter 21 New Bounds for MAX-SAT by Clause Learning
23. Altmetric Badge
    Chapter 22 Towards Hierarchical Clustering (Extended Abstract)
24. Altmetric Badge
    Chapter 23 Estimation of the Click Volume by Large Scale Regression Analysis
25. Altmetric Badge
    Chapter 24 Maximal Intersection Queries in Randomized Graph Models
26. Altmetric Badge
    Chapter 25 A Note on Specialization of Interpreters
27. Altmetric Badge
    Chapter 26 Efficient Computation in Groups Via Compression
28. Altmetric Badge
    Chapter 27 Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization
29. Altmetric Badge
    Chapter 28 On the Complexity of Matrix Rank and Rigidity
30. Altmetric Badge
    Chapter 29 On the Usage of Clustering for Content Based Image Retrieval
31. Altmetric Badge
    Chapter 30 Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic
32. Altmetric Badge
    Chapter 31 Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols
33. Altmetric Badge
    Chapter 32 Symmetry of Information and Nonuniform Lower Bounds
34. Altmetric Badge
    Chapter 33 Perceptrons of Large Weight
35. Altmetric Badge
    Chapter 34 A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes
36. Altmetric Badge
    Chapter 35 Kolmogorov Complexity, Lovász Local Lemma and Critical Exponents
37. Altmetric Badge
    Chapter 36 Generic Complexity of Presburger Arithmetic
38. Altmetric Badge
    Chapter 37 Everywhere α -Repetitive Sequences and Sturmian Words
39. Altmetric Badge
    Chapter 38 Timed Traces and Strand Spaces
40. Altmetric Badge
    Chapter 39 On Empirical Meaning of Randomness with Respect to a Real Parameter
41. Altmetric Badge
    Chapter 40 An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity
42. Altmetric Badge
    Chapter 41 Generic Complexity of Undecidable Problems