Automata, Languages, and Programming
Springer Berlin (Verlag)
978-3-662-43950-0 (ISBN)
Track B: Logic, Semantics, Automata, and Theory of Programming.- Symmetric Groups and Quotient Complexity of Boolean Operations.- Handling Infinitely Branching WSTS.- Transducers with Origin Information.- Weak MSO+U with Path Quantifiers over Infinite Trees.- On the Decidability of MSO+U on Infinite Trees.- A Coalgebraic Foundation for Coinductive Union Types.- Turing Degrees of Limit Sets of Cellular Automata.- On the Complexity of Temporal-Logic Path Checking.- Parameterised Linearisability.- Games with a Weak Adversary.- The Complexity of Ergodic Mean-payoff Games.- Toward a Structure Theory of Regular Infinitary Trace Languages.- Unary Pushdown Automata and Straight-Line Programs.- Robustness against Power is PSpace-complete.- A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic.- Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs.- Coalgebraic Weak Bisimulation from Recursive Equations over Monads.- Piecewise Boolean Algebras and Their Domains.- Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency.- Bisimulation Equivalence of First-Order Grammars.- Context Unification is in PSPACE.- Monodic Fragments of Probabilistic First-Order Logic.- Stability and Complexity of Minimising Probabilistic Automata.- Kleene Algebra with Equations.- All-Instances Termination of Chase is Undecidable.- Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus.- On the Positivity Problem for Simple Linear Recurrence Sequences.- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words.- Hardness Results for Intersection Non-Emptiness.- Branching Bisimilarity Checking for PRS.- Track C: Foundations of Networked Computing Labeling Schemes for Bounded Degree Graphs.- Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints.- Distributed Computing on Core-Periphery Networks:Axiom-Based Design 399.- Fault-Tolerant Rendezvous in Networks.- Data Delivery by Energy-Constrained Mobile Agents on a Line.- The Power of Two Choices in Distributed Voting.- Jamming-Resistant Learning in Wireless Networks.- Facility Location in Evolving Metrics.- Solving the ANTS Problem with Asynchronous Finite State Machines.- Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set.- Randomized Rumor Spreading in Dynamic Graphs.- Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods.- Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems.- Orienting Fully Dynamic Graphs with Worst-Case Time Bounds.- Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router.- The Melbourne Shuffle: Improving Oblivious Storage in the Cloud.- Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems.- Bypassing Erdos' Girth Conjecture: Hybrid Stretch and Sourcewise Spanners.
| Erscheint lt. Verlag | 23.6.2014 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XXX, 624 p. 49 illus. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 991 g |
| Themenwelt | Informatik ► Theorie / Studium ► Algorithmen |
| Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik | |
| Schlagworte | Algorithm analysis and problem complexity • approximation algorithms • Cellular Automata • Computational Complexity • cryptography • Dynamic Programming • Fault-Tolerance • Mobile Agents • number theory algorithms • Pattern Matching • proof systems • state compexity |
| ISBN-10 | 3-662-43950-6 / 3662439506 |
| ISBN-13 | 978-3-662-43950-0 / 9783662439500 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
