Mathematical Foundations of Computer Science 2010 - Erstausgabe

EAN (ISBN-13): 9783642151545
ISBN (ISBN-10): 364215154X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
714 Seiten
Gewicht: 1,028 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-11-20T00:57:54+01:00 (Vienna)
Detailseite zuletzt geändert am 2022-06-19T11:56:23+02:00 (Vienna)
ISBN/EAN: 9783642151545

ISBN - alternative Schreibweisen:
3-642-15154-X, 978-3-642-15154-5

---

Daten vom Verlag:

Autor/in: Petr Hlineny; Antonin Kucera
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Mathematical Foundations of Computer Science 2010 - 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
Verlag: Springer; Springer Berlin
714 Seiten
Erscheinungsjahr: 2010-08-10
Berlin; Heidelberg; DE
Gewicht: 1,088 kg
Sprache: Englisch
123,04 € (DE)
126,49 € (AT)
153,65 CHF (CH)
POD
XVII, 714 p. 71 illus.

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; algorithmic game theory; algorithms; artificial intelligence; complexity; computational geometry; data structures; databases; logic; algorithm analysis and problem complexity; C; Programming Techniques; Programming Languages, Compilers, Interpreters; Theory of Computation; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science; Computation by Abstract Devices; Programming Techniques; Compilers and Interpreters; Theory of Computation; Algorithms; Discrete Mathematics in Computer Science; Computer Science; Compiler und Übersetzer; Theoretische Informatik; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Diskrete Mathematik; EA

New Developments in Quantum Algorithms.- Persistent Homology under Non-uniform Error.- Information Complexity of Online Problems.- Algorithmic Lower Bounds for Problems on Decomposable Graphs.- Do We Really Understand the Crossing Numbers?.- Balanced Queries: Divide and Conquer.- Slowly Synchronizing Automata and Digraphs.- Weights of Exact Threshold Functions.- Proof Systems and Transformation Games.- Scheduling Real-Time Mixed-Criticality Jobs.- A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.- On Problem Kernels for Possible Winner Determination under the k-Approval Protocol.- Counting Minimum (s,t)-Cuts in Weighted Planar Graphs in Polynomial Time.- Finding Best Swap Edges Minimizing the Routing Cost of a Spanning Tree.- Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems.- Distance Constraint Satisfaction Problems.- Faster Algorithms on Branch and Clique Decompositions.- Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks.- Robust Computations with Dynamical Systems.- On Factor Universality in Symbolic Spaces.- Toward a Deterministic Polynomial Time Algorithm with Optimal Additive Query Complexity.- Resource Combinatory Algebras.- Randomness for Free.- Qualitative Analysis of Partially-Observable Markov Decision Processes.- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model.- Online Clustering with Variable Sized Clusters.- Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains.- Counting Classes and the Fine Structure between NC 1 and L.- The Average Complexity of Moore’s State Minimization Algorithm Is O( n loglogn).- Connected Searching of Weighted Trees.- Iterated Regret Minimization in Game Graphs.- Properties of Visibly Pushdown Transducers.- Second-Order Algebraic Theories.- Frame Definability for Classes of Trees in the ?-calculus.- Evaluating Non-square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model.- Finding and Counting Vertex-Colored Subtrees.- Limiting Negations in Bounded Treewidth and Upward Planar Circuits.- On the Topological Complexity of MSO+U and Related Automata Models.- Least and Greatest Solutions of Equations over Sets of Integers.- Improved Simulation of Nondeterministic Turing Machines.- The Prize-Collecting Edge Dominating Set Problem in Trees.- The Multivariate Resultant Is NP-hard in Any Characteristic.- Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems.- Meta-Envy-Free Cake-Cutting Protocols.- Two Variables and Two Successors.- Harnessing ML F with the Power of System F.- Describing Average- and Longtime-Behavior by Weighted MSO Logics.- Solving minones-2-sat as Fast as vertex cover.- Unambiguous Finite Automata over a Unary Alphabet.- The Complexity of Finding Reset Words in Finite Automata.- Does Treewidth Help in Modal Satisfiability?.- Asynchronous Omega-Regular Games with Partial Information.- Parity Games with Partial Information Played on Graphs of Bounded Complexity.- Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets.- Enumeration of the Monomials of a Polynomial and Related Complexity Classes.- Faster Approximation Schemes and Parameterized Algorithms on H-Minor-Free and Odd-Minor-Free Graphs.- Semi-linear Parikh Images of Regular Expressions via Reduction.- Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds.- Mesh Deformation of Dynamic Smooth Manifolds with Surface Correspondences.- Counting Dependent and Independent Strings.- Impossibility of Independence Amplification in Kolmogorov Complexity Theory.