Fourth Ifip International Conference on Theoretical Computer Science - Tcs 2006: Ifip 19th World Computer Congress, Tc-1, Foundations of Computer Scie (Paperback, 2006)

Invited Talks.- Locality of Queries and Transformations.- From Informatics to Quantum Informatics.- RDF as a Data Model.- Adversarial Queueing Theory Revisited.- Distributed Algorithms for Autonomous Mobile Robots.- Recursion and Probability.- Invited Papers.- From Informatics to Quantum Informatics.- Distributed Algorithms for Autonomous Mobile Robots.- Contributed Papers.- The Unsplittable Stable Marriage Problem.- Variations on an Ordering Theme with Constraints.- BuST-Bundled Suffix Trees.- An O(1) Solution to the Prefix Sum Problem on a Specialized Memory Architecture.- An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table.- Exploring an Unknown Graph to Locate a Black Hole Using Tokens.- Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity.- Asynchonous Distributed Components: Concurrency and Determinacy.- Decidable Properties for Regular Cellular Automata.- Symbolic Determinisation of Extended Automata.- Regular Hedge Model Checking.- Completing Categorical Algebras.- Reusing Optimal TSP Solutions for Locally Modified Input Instances.- Spectral Partitioning of Random Graphs with Given Expected Degrees.- A Connectivity Rating for Vertices in Networks.- On PTAS for Planar Graph Problems.