Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings - nuovo livro

EAN (ISBN-13): 9783540734192
ISBN (ISBN-10): 3540734198
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer Berlin
953 Páginas
Peso: 1,087 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-10-22T12:54:42-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-07-30T17:58:18-03:00 (Sao Paulo)
Número ISBN/EAN: 3540734198

Número ISBN - Ortografia alternativa:
3-540-73419-8, 978-3-540-73419-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: automata, programming language, cach, lars, jurdzinski, andrzej
Título do livro: poland, wroclaw, july, proceedings the international colloquium language, automata languages and programming, seven languages, lecture notes computer science automata

---

Dados da editora

Autor: Lars Arge; Christian Cachin; Tomasz Jurdzinski
Título: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Automata, Languages and Programming - 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
Editora: Springer; Springer Berlin
958 Páginas
Ano de publicação: 2007-06-29
Berlin; Heidelberg; DE
Peso: 1,466 kg
Língua: Inglês
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XVII, 958 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Automat; algorithms; automata; complexity; logic; programming; security; data structures; Theory of Computation; Discrete Mathematics in Computer Science; Numeric Computing; Data Structures; Data Structures and Information Theory; Software Engineering; Theory of Computation; Discrete Mathematics in Computer Science; Numerical Analysis; Data Science; Data Structures and Information Theory; Theoretische Informatik; Mathematik für Informatiker; Diskrete Mathematik; Numerische Mathematik; Datenbanken; Algorithmen und Datenstrukturen; Informationstheorie; EA

Invited Lectures.- Ushering in a New Era of Algorithm Design.- A “proof-reading” of Some Issues in Cryptography.- Credentials-Based Authorization: Evaluation and Implementation.- Subexponential Parameterized Algorithms.- Session A1.- Competitive Algorithms for Due Date Scheduling.- Mechanism Design for Fractional Scheduling on Unrelated Machines.- Session A2.- Estimating Sum by Weighted Sampling.- Sampling Methods for Shortest Vectors, Closest Vectors and Successive Minima.- Session A3.- Low Distortion Spanners.- Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar Graphs.- Labeling Schemes for Vertex Connectivity.- Session A4.- Unbounded-Error One-Way Classical and Quantum Communication Complexity.- A Lower Bound on Entanglement-Assisted Quantum Communication Complexity.- Separating Deterministic from Nondeterministic NOF Multiparty Communication Complexity.- Session A5.- An Optimal Decomposition Algorithm for Tree Edit Distance.- On Commutativity Based Edge Lean Search.- Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems.- Session A6.- On the Complexity of Hard-Core Set Constructions.- Approximation by DNF: Examples and Counterexamples.- Exotic Quantifiers, Complexity Classes, and Complete Problems.- Session A7.- Online Conflict-Free Colorings for Hypergraphs.- Distributed Computing with Advice: Information Sensitivity of Graph Coloring.- Session C1.- Private Multiparty Sampling and Approximation of Vector Combinations.- Constant-Round Private Database Queries.- Session A8.- Universal Algebra and Hardness Results for Constraint Satisfaction Problems.- On the Power of k-Consistency.- Complexity of Propositional Proofs Under a Promise.- Session C2.- Deterministic History-Independent Strategies for Storing Information on Write-Once Memories.- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge.- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC).- Session A9.- Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs.- Parameterized Algorithms for Directed Maximum Leaf Problems.- Parameterized Approximability of the Disjoint Cycle Problem.- Linear Problem Kernels for NP-Hard Problems on Planar Graphs.- Session C3.- Private Locally Decodable Codes.- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms.- Unrestricted Aggregate Signatures.- Ring Signatures of Sub-linear Size Without Random Oracles.- Session A10.- Balanced Families of Perfect Hash Functions and Their Applications.- An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks.- Session B1.- Modular Algorithms for Heterogeneous Modal Logics.- Co-Logic Programming: Extending Logic Programming with Coinduction.- Session C4.- Offline/Online Mixing.- Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys.- Session A11.- Succinct Ordinal Trees Based on Tree Covering.- A Framework for Dynamizing Succinct Data Structures.- In-Place Suffix Sorting.- Session B2.- Maximal Infinite-Valued Constraint Languages.- Affine Systems of Equations and Counting Infinitary Logic.- Boundedness of Monadic FO over Acyclic Structures.- Session A12.- Strong Price of Anarchy for Machine Load Balancing.- Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games.- Session B3.- Equational Systems and Free Constructions (Extended Abstract).- Categorical Views on Computations on Trees (Extended Abstract).- Session A13.- Holographic Algorithms: The Power of Dimensionality Resolved.- Reconciling Data Compression and Kolmogorov Complexity.- Size Competitive Meshing Without Large Angles.- Session B4.- A Fully Abstract Trace Semantics for General References.- Aliased Register Allocation for Straight-Line Programs Is NP-Complete.- Conservative Ambiguity Detection in Context-Free Grammars.- Session A14.- Lower Bounds for Quantile Estimation in Random-Order and Multi-pass Streaming.- Streaming and Fully Dynamic Centralized Algorithms for Constructing and Maintaining Sparse Spanners.- Checking and Spot-Checking the Correctness of Priority Queues.- Session B5.- Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the ?-Calculus.- Ready Simulation for Concurrency: It’s Logical!.- Continuous Capacities on Continuous State Spaces.- Session A15.- On the Chromatic Number of Random Graphs.- Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions.- Complexity of the Cover Polynomial.- Session B6.- A Generalization of Cobham’s Theorem to Automata over Real Numbers.- Minimum-Time Reachability in Timed Games.- Reachability-Time Games on Timed Automata.- Perfect Information Stochastic Priority Games.- Session B7.- Bounded Depth Data Trees.- Unranked Tree Automata with Sibling Equalities and Disequalities.- Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.- A Combinatorial Theorem for Trees.- Session B8.- Model Theory Makes Formulas Large.- Decision Problems for Lower/Upper Bound Parametric Timed Automata.- On the Complexity of Ltl Model-Checking of Recursive State Machines.- Paper Retraction.- Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics.