SOFSEM 2001: Theory and Practice of Informatics

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences
3. Altmetric Badge
   Chapter 2 Agreement Problems in Fault-Tolerant Distributed Systems
4. Altmetric Badge
   Chapter 3 Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes
5. Altmetric Badge
   Chapter 4 Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited
6. Altmetric Badge
   Chapter 5 Recent Advances in Wavelength Routing
7. Altmetric Badge
   Chapter 6 From Metacomputing to Grid Computing: Evolution or Revolution?
8. Altmetric Badge
   Chapter 7 Knowledge-Based Control Systems
9. Altmetric Badge
   Chapter 8 Beyond the Turing Limit: Evolving Interactive Systems
10. Altmetric Badge
    Chapter 9 Distributed Computations by Autonomous Mobile Robots
11. Altmetric Badge
    Chapter 10 Formal Verification Methods for Industrial Hardware Design
12. Altmetric Badge
    Chapter 11 How Can Computer Science Contribute to Knowledge Discovery
13. Altmetric Badge
    Chapter 12 On the Approximability of Interactive Knapsack Problems
14. Altmetric Badge
    Chapter 13 Model Checking Communication Protocols
15. Altmetric Badge
    Chapter 14 Pipelined Decomposable BSP Computers
16. Altmetric Badge
    Chapter 15 Quantum versus Probabilistic One-Way Finite Automata with Counter
17. Altmetric Badge
    Chapter 16 How to Employ Reverse Search in Distributed Single Source Shortest Paths
18. Altmetric Badge
    Chapter 17 Multi-agent Systems as Concurrent Constraint Processes
19. Altmetric Badge
    Chapter 18 ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs
20. Altmetric Badge
    Chapter 19 Approximative Learning of Regular Languages
21. Altmetric Badge
    Chapter 20 Quantum Finite State Transducers
22. Altmetric Badge
    Chapter 21 Lemmatizer for Document Information Retrieval Systems in JAVA
23. Altmetric Badge
    Chapter 22 The Reconstruction of Polyominoes from Approximately Orthogonal Projections
24. Altmetric Badge
    Chapter 23 Bounding Lamport’s Bakery Algorithm
25. Altmetric Badge
    Chapter 24 Fast Independent Component Analysis in Kernel Feature Spaces
26. Altmetric Badge
    Chapter 25 On Majority Voting Games in Trees
27. Altmetric Badge
    Chapter 26 Time and Space Complexity of Reversible Pebbling
28. Altmetric Badge
    Chapter 27 The HiQoS Rendering System
29. Altmetric Badge
    Chapter 28 Two-Way Restarting Automata and J-Monotonicity
30. Altmetric Badge
    Chapter 29 P-Hardness of Equivalence Testing on Finite-State Processes
31. Altmetric Badge
    Chapter 30 Software Geography: Physical and Economic Aspects