Coverart for item
The Resource Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I, Luca Aceto [and others] (eds.)

Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I, Luca Aceto [and others] (eds.)

Label
Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I
Title
Automata, languages and programming
Title remainder
35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings
Title number
Part I
Statement of responsibility
Luca Aceto [and others] (eds.)
Subject
Genre
Language
eng
Summary
Annotation The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5125 contains 70 contributions of track A selected from 269 submissions as well as 2 invited lectures. The papers are organized in topical sections on complexity: boolean functions and circuits, data structures, random walks and random structures, design and analysis of algorithms, scheduling, codes and coding, coloring, randomness in computation, online and dynamic algorithms, approximation algorithms, property testing, parameterized algorithms and complexity, graph algorithms, computational complexity, games and automata, group testing, streaming, and quantum, algorithmic game theory, and quantum computing
Member of
Is part of
Cataloging source
GW5XE
Dewey number
004.0151
Index
no index present
LC call number
QA267
LC item number
.I55 2008eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science,
Series volume
5125
http://library.link/vocab/subjectName
  • Machine theory
  • Computer programming
  • Formal languages
  • Computer programming
  • Computer science
  • Data structures
  • Data Structures, Cryptology and Information Theory
  • Discrete Mathematics in Computer Science
  • Numeric Computing
  • Software Engineering/Programming and Operating Systems
  • Theory of Computation
  • Machine theory
  • Formal languages
  • Informatique
  • Computer programming
  • Formal languages
  • Machine theory
Label
Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I, Luca Aceto [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions -- On Berge Multiplication for Monotone Boolean Dualization -- Diagonal Circuit Identity Testing and Lower Bounds -- Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity -- Constructing Efficient Dictionaries in Close to Sorting Time -- On List Update with Locality of Reference -- A New Combinatorial Approach for Sparse Graph Problems -- How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs) -- Networks Become Navigable as Nodes Move and Forget -- Fast Distributed Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved Approximation Algorithms for Budgeted Allocations -- The Travelling Salesman Problem in Bounded Degree Graphs -- Treewidth Computation and Extremal Combinatorics -- Fast Scheduling of Weighted Unit Jobs with Release Times and Deadlines -- Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 -- A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation -- Optimal Monotone Encodings -- Polynomial-Time Construction of Linear Network Coding -- Complexity of Decoding Positive-Rate Reed-Solomon Codes -- Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) -- The Randomized Coloring Procedure with Symmetry-Breaking -- The Local Nature of List Colorings for Graphs of High Girth -- Approximating List-Coloring on a Fixed Surface -- Asymptotically Optimal Hitting Sets Against Polynomials -- The Smoothed Complexity of Edit Distance -- Randomized Self-assembly for Approximate Shapes -- Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) -- Competitive Weighted Matching in Transversal Matroids -- Scheduling for Speed Bounded Processors -- Faster Algorithms for Incremental Topological Ordering -- Dynamic Normal Forms and Dynamic Characteristic Polynomial -- Algorithms for?-Approximations of Terrains -- An Approximation Algorithm for Binary Searching in Trees -- Algorithms for 2-Route Cut Problems -- The Two-Edge Connectivity Survivable Network Problem in Planar Graphs -- Efficiently Testing Sparse GF(2) Polynomials -- Testing Properties of Sets of Points in Metric Spaces -- An Expansion Tester for Bounded Degree Graphs -- Property Testing on k-Vertex-Connectivity of Graphs -- Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) -- On Problems without Polynomial Kernels (Extended Abstract) -- Faster Algebraic Algorithms for Path and Packing Problems -- Understanding the Complexity of Induced Subgraph Isomorphisms -- Spanners in Sparse Graphs -- Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error -- All-Pairs Shortest Paths with a Sublinear Additive Error -- Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations -- The Complexity of the Counting Constraint Satisfaction Problem -- On the Hardness of Losing Weight -- Product Theorems Via Semidefinite Programming -- Sound 3-Query PCPPs Are Long -- Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations -- Recursive Stochastic Games with Positive Rewards -- Complementation, Disambiguation, and Determinization of Büchi Automata Unified -- Tree Projections: Hypergraph Games and Minimality -- Explicit Non-adaptive Combinatorial Group Testing Schemes -- Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination -- Impossibility of a Quantum Speed-Up with a Faulty Oracle -- Superpolynomial Speedups Based on Almost Any Quantum Circuit -- The Speed of Convergence in Congestion Games under Best-Response Dynamics -- Uniform Budgets and the Envy-Free Pricing Problem -- Bayesian Combinatorial Auctions -- Truthful Unification Framework for Packing Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing -- Finding Optimal Flows Efficiently -- Optimal Quantum Adversary Lower Bounds for Ordered Search -- Quantum SAT for a Qutrit-Cinquit Pair Is QMA 1-Complete -- Superpolynomial Speedups Based on Almost Any Quantum Circuit
Control code
272314715
Dimensions
unknown
Extent
1 online resource (896 pages).
Form of item
online
Isbn
9783540705741
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-70575-8
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-70574-1
Specific material designation
remote
System control number
(OCoLC)272314715
Label
Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I, Luca Aceto [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions -- On Berge Multiplication for Monotone Boolean Dualization -- Diagonal Circuit Identity Testing and Lower Bounds -- Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity -- Constructing Efficient Dictionaries in Close to Sorting Time -- On List Update with Locality of Reference -- A New Combinatorial Approach for Sparse Graph Problems -- How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs) -- Networks Become Navigable as Nodes Move and Forget -- Fast Distributed Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved Approximation Algorithms for Budgeted Allocations -- The Travelling Salesman Problem in Bounded Degree Graphs -- Treewidth Computation and Extremal Combinatorics -- Fast Scheduling of Weighted Unit Jobs with Release Times and Deadlines -- Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 -- A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation -- Optimal Monotone Encodings -- Polynomial-Time Construction of Linear Network Coding -- Complexity of Decoding Positive-Rate Reed-Solomon Codes -- Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) -- The Randomized Coloring Procedure with Symmetry-Breaking -- The Local Nature of List Colorings for Graphs of High Girth -- Approximating List-Coloring on a Fixed Surface -- Asymptotically Optimal Hitting Sets Against Polynomials -- The Smoothed Complexity of Edit Distance -- Randomized Self-assembly for Approximate Shapes -- Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) -- Competitive Weighted Matching in Transversal Matroids -- Scheduling for Speed Bounded Processors -- Faster Algorithms for Incremental Topological Ordering -- Dynamic Normal Forms and Dynamic Characteristic Polynomial -- Algorithms for?-Approximations of Terrains -- An Approximation Algorithm for Binary Searching in Trees -- Algorithms for 2-Route Cut Problems -- The Two-Edge Connectivity Survivable Network Problem in Planar Graphs -- Efficiently Testing Sparse GF(2) Polynomials -- Testing Properties of Sets of Points in Metric Spaces -- An Expansion Tester for Bounded Degree Graphs -- Property Testing on k-Vertex-Connectivity of Graphs -- Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) -- On Problems without Polynomial Kernels (Extended Abstract) -- Faster Algebraic Algorithms for Path and Packing Problems -- Understanding the Complexity of Induced Subgraph Isomorphisms -- Spanners in Sparse Graphs -- Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error -- All-Pairs Shortest Paths with a Sublinear Additive Error -- Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations -- The Complexity of the Counting Constraint Satisfaction Problem -- On the Hardness of Losing Weight -- Product Theorems Via Semidefinite Programming -- Sound 3-Query PCPPs Are Long -- Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations -- Recursive Stochastic Games with Positive Rewards -- Complementation, Disambiguation, and Determinization of Büchi Automata Unified -- Tree Projections: Hypergraph Games and Minimality -- Explicit Non-adaptive Combinatorial Group Testing Schemes -- Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination -- Impossibility of a Quantum Speed-Up with a Faulty Oracle -- Superpolynomial Speedups Based on Almost Any Quantum Circuit -- The Speed of Convergence in Congestion Games under Best-Response Dynamics -- Uniform Budgets and the Envy-Free Pricing Problem -- Bayesian Combinatorial Auctions -- Truthful Unification Framework for Packing Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing -- Finding Optimal Flows Efficiently -- Optimal Quantum Adversary Lower Bounds for Ordered Search -- Quantum SAT for a Qutrit-Cinquit Pair Is QMA 1-Complete -- Superpolynomial Speedups Based on Almost Any Quantum Circuit
Control code
272314715
Dimensions
unknown
Extent
1 online resource (896 pages).
Form of item
online
Isbn
9783540705741
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-70575-8
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-70574-1
Specific material designation
remote
System control number
(OCoLC)272314715

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...