↓ Skip to main content

Computer Science – Theory and Applications

Overview of attention for book
Cover of 'Computer Science – Theory and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Non-black-box Techniques in Cryptography
  3. Altmetric Badge
    Chapter 2 Complexity of Polynomial Multiplication over Finite Fields
  4. Altmetric Badge
    Chapter 3 Synchronous Elastic Circuits
  5. Altmetric Badge
    Chapter 4 SZK Proofs for Black-Box Group Problems
  6. Altmetric Badge
    Chapter 5 Canonical Decomposition of a Regular Factorial Language
  7. Altmetric Badge
    Chapter 6 Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure
  8. Altmetric Badge
    Chapter 7 Inductive Type Schemas as Functors
  9. Altmetric Badge
    Chapter 8 Unfolding Synthesis of Asynchronous Automata
  10. Altmetric Badge
    Chapter 9 Conjugacy and Equivalence of Weighted Automata and Functional Transducers
  11. Altmetric Badge
    Chapter 10 Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees
  12. Altmetric Badge
    Chapter 11 Tuples of Disjoint NP -Sets
  13. Altmetric Badge
    Chapter 12 Constructive Equivalence Relations on Computable Probability Measures
  14. Altmetric Badge
    Chapter 13 Planar Dimer Tilings
  15. Altmetric Badge
    Chapter 14 The Complexity of Equality Constraint Languages
  16. Altmetric Badge
    Chapter 15 Window Subsequence Problems for Compressed Texts
  17. Altmetric Badge
    Chapter 16 Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties
  18. Altmetric Badge
    Chapter 17 Relativisation Provides Natural Separations for Resolution-Based Proof Systems
  19. Altmetric Badge
    Chapter 18 Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems
  20. Altmetric Badge
    Chapter 19 Isolation and Reducibility Properties and the Collapse Result
  21. Altmetric Badge
    Chapter 20 Incremental Branching Programs
  22. Altmetric Badge
    Chapter 21 Logic of Proofs for Bounded Arithmetic
  23. Altmetric Badge
    Chapter 22 On a Maximal NFA Without Mergible States
  24. Altmetric Badge
    Chapter 23 Expressiveness of Metric Modalities for Continuous Time
  25. Altmetric Badge
    Chapter 24 Extending Dijkstra’s Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction
  26. Altmetric Badge
    Chapter 25 Weighted Logics for Traces
  27. Altmetric Badge
    Chapter 26 On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone
  28. Altmetric Badge
    Chapter 27 Unwinding a Non-effective Cut Elimination Proof
  29. Altmetric Badge
    Chapter 28 Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover
  30. Altmetric Badge
    Chapter 29 Shannon Entropy vs. Kolmogorov Complexity
  31. Altmetric Badge
    Chapter 30 Language Equations with Symmetric Difference
  32. Altmetric Badge
    Chapter 31 On Primitive Recursive Realizabilities
  33. Altmetric Badge
    Chapter 32 Evidence Reconstruction of Epistemic Modal Logic S5
  34. Altmetric Badge
    Chapter 33 Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
  35. Altmetric Badge
    Chapter 34 On the Frequency of Letters in Morphic Sequences
  36. Altmetric Badge
    Chapter 35 Functional Equations in Shostak Theories
  37. Altmetric Badge
    Chapter 36 All Semi-local Longest Common Subsequences in Subquadratic Time
  38. Altmetric Badge
    Chapter 37 Non-approximability of the Randomness Deficiency Function
  39. Altmetric Badge
    Chapter 38 Multi-agent Explicit Knowledge
  40. Altmetric Badge
    Chapter 39 Polarized Subtyping for Sized Types
  41. Altmetric Badge
    Chapter 40 Neural-Network Based Physical Fields Modeling Techniques
  42. Altmetric Badge
    Chapter 41 Approximate Methods for Constrained Total Variation Minimization
  43. Altmetric Badge
    Chapter 42 Dynamic Isoline Extraction for Visualization of Streaming Data
  44. Altmetric Badge
    Chapter 43 Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback
  45. Altmetric Badge
    Chapter 44 Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM
  46. Altmetric Badge
    Chapter 45 Evolutionary Multi-objective Optimisation by Diversity Control
  47. Altmetric Badge
    Chapter 46 3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach
  48. Altmetric Badge
    Chapter 47 A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity
  49. Altmetric Badge
    Chapter 48 Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition
  50. Altmetric Badge
    Chapter 49 A Shortest Path Algorithm Based on Limited Search Heuristics
  51. Altmetric Badge
    Chapter 50 A New Hybrid Directory Scheme for Shared Memory Multi-processors
  52. Altmetric Badge
    Chapter 51 Manipulator Path Planning in 3-Dimensional Space
  53. Altmetric Badge
    Chapter 52 Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time
  54. Altmetric Badge
    Chapter 53 Nonlinear Visualization of Incomplete Data Sets
  55. Altmetric Badge
    Chapter 54 A Review of Race Detection Mechanisms
  56. Altmetric Badge
    Chapter 55 Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis
  57. Altmetric Badge
    Chapter 56 Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics
  58. Altmetric Badge
    Chapter 57 Analytic Modeling of Channel Traffic in n -Cubes
  59. Altmetric Badge
    Chapter 58 Capturing an Intruder in the Pyramid
  60. Altmetric Badge
    Chapter 59 Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition
  61. Altmetric Badge
    Chapter 60 Extended Resolution Proofs for Conjoining BDDs
  62. Altmetric Badge
    Chapter 61 Optimal Difference Systems of Sets with Multipliers
  63. Altmetric Badge
    Chapter 62 Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN
  64. Altmetric Badge
    Chapter 63 Optimizing Personalized Retrieval System Based on Web Ranking
  65. Altmetric Badge
    Chapter 64 Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm
  66. Altmetric Badge
    Chapter 65 A New Flow Control Algorithm for High Speed Computer Network
  67. Altmetric Badge
    Chapter 66 Nonlinear Systems Modeling and Control Using Support Vector Machine Technique
  68. Altmetric Badge
    Chapter 67 Fast Motif Search in Protein Sequence Databases
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Readers on

mendeley
2 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
Computer Science – Theory and Applications
Published by
Springer Berlin Heidelberg, April 2006
DOI 10.1007/11753728
ISBNs
978-3-54-034166-6, 978-3-54-034168-0
Editors

Grigoriev, Dima, Harrison, John, Hirsch, Edward A.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Student > Ph. D. Student 1 50%
Student > Doctoral Student 1 50%
Researcher 1 50%
Librarian 1 50%
Other 0 0%
Readers by discipline Count As %
Computer Science 4 200%
Engineering 1 50%