Description |
1 online resource (xii, 313 pages) : illustrations |
Series |
International Federation for Information Processing (Series), 1571-5736 ; 209 |
|
International Federation for Information Processing (Series) ; 209. 1571-5736
|
Contents |
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 |
Summary |
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org |
Analysis |
computertechnieken |
|
computer techniques |
|
computerwetenschappen |
|
computer sciences |
|
computational science |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
Copyright by International Federation for Information Processing |
Bibliography |
Includes bibliographical references and author index |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
Print version record |
|
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL |
Subject |
Robots -- Programming.
|
|
RDF (Document markup language)
|
|
Queuing theory.
|
|
Recursion theory.
|
|
COMPUTERS -- Reference.
|
|
COMPUTERS -- Machine Theory.
|
|
COMPUTERS -- Computer Literacy.
|
|
COMPUTERS -- Information Technology.
|
|
COMPUTERS -- Data Processing.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Hardware -- General.
|
|
Computer science.
|
|
Computer networks.
|
|
Artificial intelligence.
|
|
Informatique.
|
|
Queuing theory
|
|
RDF (Document markup language)
|
|
Recursion theory
|
|
Robots -- Programming
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Navarro, Gonzalo, 1969-
|
|
Bertossi, Leopoldo.
|
|
Kohayakawa, Yoshiharu.
|
|
IFIP World Computer Congress (19th : 2006 : Santiago, Chile)
|
ISBN |
9780387347356 |
|
0387347356 |
|
0387346333 |
|
9780387346335 |
|
6610724490 |
|
9786610724499 |
|