↓ Skip to main content

SOFSEM 2008 : theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings

Overview of attention for book
Cover of 'SOFSEM 2008 : theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Quantum Random Walks – New Method for Designing Quantum Algorithms
  3. Altmetric Badge
    Chapter 2 Social Information Access: The Other Side of the Social Web
  4. Altmetric Badge
    Chapter 3 Designing Adaptive Web Applications
  5. Altmetric Badge
    Chapter 4 Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa
  6. Altmetric Badge
    Chapter 5 On the Hardness of Reoptimization
  7. Altmetric Badge
    Chapter 6 Describing Self-assembly of Nanostructures
  8. Altmetric Badge
    Chapter 7 On the Undecidability of the Tiling Problem
  9. Altmetric Badge
    Chapter 8 Remote Entrusting by Run-Time Software Authentication
  10. Altmetric Badge
    Chapter 9 Trusted Computing — Special Aspects and Challenges
  11. Altmetric Badge
    Chapter 10 Optimizing Winning Strategies in Regular Infinite Games
  12. Altmetric Badge
    Chapter 11 Recursive Domain Equations of Filter Models
  13. Altmetric Badge
    Chapter 12 Algorithmic Problems for Metrics on Permutation Groups
  14. Altmetric Badge
    Chapter 13 Periodic and Infinite Traces in Matrix Semigroups
  15. Altmetric Badge
    Chapter 14 From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
  16. Altmetric Badge
    Chapter 15 Exact OBDD Bounds for Some Fundamental Functions
  17. Altmetric Badge
    Chapter 16 Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers
  18. Altmetric Badge
    Chapter 17 A Useful Bounded Resource Functional Language
  19. Altmetric Badge
    Chapter 18 On Reachability Games of Ordinal Length
  20. Altmetric Badge
    Chapter 19 An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points
  21. Altmetric Badge
    Chapter 20 The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring
  22. Altmetric Badge
    Chapter 21 How Much Information about the Future Is Needed?
  23. Altmetric Badge
    Chapter 22 On Compiling Structured Interactive Programs with Registers and Voices
  24. Altmetric Badge
    Chapter 23 Optimal Orientation On-Line
  25. Altmetric Badge
    Chapter 24 Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality
  26. Altmetric Badge
    Chapter 25 Assisted Problem Solving and Decompositions of Finite Automata
  27. Altmetric Badge
    Chapter 26 Energy-Efficient Windows Scheduling
  28. Altmetric Badge
    Chapter 27 A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns
  29. Altmetric Badge
    Chapter 28 Certification of Proving Termination of Term Rewriting by Matrix Interpretations
  30. Altmetric Badge
    Chapter 29 Extension of Rescheduling Based on Minimal Graph Cut
  31. Altmetric Badge
    Chapter 30 Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
  32. Altmetric Badge
    Chapter 31 Computing Longest Common Substring and All Palindromes from Compressed Strings
  33. Altmetric Badge
    Chapter 32 Basic Sets in the Digital Plane
  34. Altmetric Badge
    Chapter 33 Algebraic Optimization of Relational Queries with Various Kinds of Preferences
  35. Altmetric Badge
    Chapter 34 Mortality Problem for 2×2 Integer Matrices
  36. Altmetric Badge
    Chapter 35 Element Distinctness and Sorting on One-Tape Off-Line Turing Machines
  37. Altmetric Badge
    Chapter 36 Improved Bounds for Range Mode and Range Median Queries
  38. Altmetric Badge
    Chapter 37 An Automata Theoretic Approach to Rational Tree Relations
  39. Altmetric Badge
    Chapter 38 Slicing Petri Nets with an Application to Workflow Verification
  40. Altmetric Badge
    Chapter 39 Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata
  41. Altmetric Badge
    Chapter 40 Verifying Parameterized taDOM+ Lock Managers
  42. Altmetric Badge
    Chapter 41 Untangling a Planar Graph
  43. Altmetric Badge
    Chapter 42 Quantum Walks with Multiple or Moving Marked Locations
  44. Altmetric Badge
    Chapter 43 Parallel Immune System for Graph Coloring
  45. Altmetric Badge
    Chapter 44 The Quantum Complexity of Group Testing
  46. Altmetric Badge
    Chapter 45 Quantum Walks: A Markovian Perspective
  47. Altmetric Badge
    Chapter 46 A Memetic Algorithm for Global Induction of Decision Trees
  48. Altmetric Badge
    Chapter 47 Geometric Rates of Approximation by Neural Networks
  49. Altmetric Badge
    Chapter 48 A Sensitive Metaheuristic for Solving a Large Optimization Problem
  50. Altmetric Badge
    Chapter 49 Domain Name System as a Memory and Communication Medium
  51. Altmetric Badge
    Chapter 50 Strong Authentication over Lock-Keeper
  52. Altmetric Badge
    Chapter 51 Short Ballot Assumption and Threeballot Voting Protocol
  53. Altmetric Badge
    Chapter 52 Practical Deniable Encryption
  54. Altmetric Badge
    Chapter 53 Taming of Pict
  55. Altmetric Badge
    Chapter 54 Classification, Formalization and Verification of Security Functional Requirements
  56. Altmetric Badge
    Chapter 55 ONN the Use of Neural Networks for Data Privacy
  57. Altmetric Badge
    Chapter 56 Threshold Privacy Preserving Keyword Searches
  58. Altmetric Badge
    Chapter 57 3D_XML: A Three-Dimensional XML-Based Model
  59. Altmetric Badge
    Chapter 58 Visual Exploration of RDF Data
  60. Altmetric Badge
    Chapter 59 Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web
  61. Altmetric Badge
    Chapter 60 Algorithm for Intelligent Prediction of Requests in Business Systems
  62. Altmetric Badge
    Chapter 61 Mining Personal Social Features in the Community of Email Users
  63. Altmetric Badge
    Chapter 62 Proofs of Communication and Its Application for Fighting Spam
  64. Altmetric Badge
    Chapter 63 Web Pages Reordering and Clustering Based on Web Patterns
  65. Altmetric Badge
    Chapter 64 Compression of Concatenated Web Pages Using XBW
  66. Altmetric Badge
    Chapter 65 The Dynamic Web Presentations with a Generality Model on the News Domain
  67. Altmetric Badge
    Chapter 66 A Highly Efficient XML Compression Scheme for the Web
  68. Altmetric Badge
    Chapter 67 Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
twitter
1 X user

Readers on

mendeley
52 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
SOFSEM 2008 : theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings
Published by
Springer, January 2008
DOI 10.1007/978-3-540-77566-9
ISBNs
978-3-54-077565-2, 978-3-54-077566-9
Authors

Geffert, Viliam

Editors

Geffert, Viliam, Karhumäki, Juhani, Bertoni, Alberto, Preneel, Bart, Návrat, Pavol, Bieliková, Mária

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 52 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 2%
France 1 2%
Austria 1 2%
United Kingdom 1 2%
Spain 1 2%
United States 1 2%
Unknown 46 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 8%
Student > Master 4 8%
Other 1 2%
Researcher 1 2%
Professor > Associate Professor 1 2%
Other 1 2%
Unknown 40 77%
Readers by discipline Count As %
Computer Science 9 17%
Agricultural and Biological Sciences 1 2%
Social Sciences 1 2%
Unknown 41 79%