Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006:IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile

Saved in:
Bibliographic Details
Corporate Authors: IFIP International Conference on Theoretical Computer Science (4th 2006 Santiago, Chile); NetLibrary, Inc.; IFIP World Computer Congress 2006 Santiago, Chile) (Santiago, Chile)); International Federation for Information Processing. Technical Committee 1.
Group Author: Navarro Gonzalo, 1969-; Bertossi Leopoldo.; Kohayakawa Yoshiharu.
Published: Springer,
Publisher Address: New York
Publication Dates: c2006.
Literature type: Book
Language: English
Series: IFIP ; v. 209
Subjects:
Online Access: http://dx.doi.org/10.1007/978-0-387-34735-6
Carrier Form: xii, 313 p.: ill. ; 24 cm.
ISBN: 9780387347356 (electronic bk.)
0387347356 (electronic bk.)
Index Number: TP3
CLC: TP3-532
Contents: Includes 18 papers and 6 abstracts of presentations from an international conference that was part of the 19th IFIP World Conference (WCC 2006).
Copyright by International Federation for Information Processing.
Includes bibliographical references and index.
Locality of queries and transformations / Marcelo Arenas -- From informatics to quantum informatics / Jozef Gruska -- RDF as a data model / Claudio Gutiérrez -- Adversarial queueing theory revisited / Marcos Kiwi -- Distributed algorithms for autonomous mobile robots / Nicola Santoro -- Recursion and probability / Mihalis Yannakakis -- Distributed algorithms for autonomous mobile robots / Giuseppe Prencipe, Nicola Santoro -- The unsplittable stable marriage problem / Brian C. Dean, Michel X. Goemans, Nicole Immorlica -- Variations on an ordering theme with constraints / Walter Guttmann, Markus Maucher -- BuST-bundled suffix trees / Luca Bartolussi, Francesco Fabris, Alberto Policriti -- An O(1) solution to the prefix sum problem on a specialized memory architecture / Andrej Brodnik, Johan Karlsson, J. Ian Munro, Andreas Nilsson -- An algorithm to reduce the communication traffic for multi-word searches in a distributed hash table / Yuchi Sei, Kazutaka Matsuzaki, Shinichi Honiden -- Exploring an unknown graph to locate a black hole using tokens / Stefan Dobrev, Paola Flocchini, Ratislav Královič, Nicola Santoro -- Fast cellular automata with restricted inter-cell communication / Martin Kutrib, Andreas Malcher -- Asynchronous distributed components: concurrency and determinacy / Denis Caromel, Ludovic Henrio -- Decidable properties for regular cellular automata / Pietro Di Lena --Symbolic determinisation of extended automata / Thierry Jéron, Hervé Marchand, Vlad Rusu -- Regular hedge model checking / Julien d'Orso, Tayssir Touili -- Completing categorical algebras / Stephen L. Bloom, Zoltán Ésik -- Reusing optimal TSP solutions for locally modified input instances / Hans-Joachim Böckenhauer and others -- Spectral partitioning of random graphs with given expected degrees / Amin Coja-Oghlan, Andreas Goerdt, André Lanka -- A connectivity rating for vertices in networks / Marco Abraham and others -- On PTAS for planar graph problems / Xiuchen Huang, Jianer Chen.