Del i serien Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Häftad, Engelska, 2006

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.

Produktinformation

Utgivningsdatum2006-08-11
Mått155 x 235 x 143 mm
Vikt1 216 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor816
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540377917

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Invited Talks.- A Core Calculus for Scala Type Checking.- Tree Exploration with an Oracle.- Distributed Data Structures: A Survey on Informative Labeling Schemes.- From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.- The Structure of Tractable Constraint Satisfaction Problems.- On the Representation of Kleene Algebras with Tests.- From Three Ideas in TCS to Three Applications in Bioinformatics.- Contributed Papers.- Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles.- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces.- A Unified Construction of the Glushkov, Follow, and Antimirov Automata.- Algebraic Characterizations of Unitary Linear Quantum Cellular Automata.- A Polynomial Time Nilpotence Test for Galois Groups and Related Results.- The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems.- Crochemore Factorization of Sturmian and Other Infinite Words.- Equations on Partial Words.- Concrete Multiplicative Complexity of Symmetric Functions.- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures.- Coloring Random 3-Colorable Graphs with Non-uniform Edge Probabilities.- The Kleene Equality for Graphs.- On the Repetition Threshold for Large Alphabets.- Improved Parameterized Upper Bounds for Vertex Cover.- On Comparing Sums of Square Roots of Small Integers.- A Combinatorial Approach to Collapsing Words.- Optimal Linear Arrangement of Interval Graphs.- The Lempel-Ziv Complexity of Fixed Points of Morphisms.- Partially Commutative Inverse Monoids.- Learning Bayesian Networks Does Not Have to Be NP-Hard.- Lower Bounds for the Transition Complexity of NFAs.- Smart Robot Teams Exploring Sparse Trees.- k-Sets of Convex Inclusion Chains of Planar Point Sets.- Toward the Eigenvalue Power Law.- Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves.- Very Sparse Leaf Languages.- On the Correlation Between Parity and Modular Polynomials.- Optimally Fast Data Gathering in Sensor Networks.- Magic Numbers in the State Hierarchy of Finite Automata.- Online Single Machine Batch Scheduling.- Machines that Can Output Empty Words.- Completeness of Global Evaluation Logic.- NOF-Multiparty Information Complexity Bounds for Pointer Jumping.- Dimension Characterizations of Complexity Classes.- Approximation Algorithms and Hardness Results for Labeled Connectivity Problems.- An Expressive Temporal Logic for Real Time.- On Matroid Representability and Minor Problems.- Non-cooperative Tree Creation.- Guarantees for the Success Frequency of an Algorithm for Finding Dodgson-Election Winners.- Reductions for Monotone Boolean Circuits.- Generalised Integer Programming Based on Logically Defined Relations.- Probabilistic Length-Reducing Automata.- Sorting Long Sequences in a Single Hop Radio Network.- Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.- Valiant’s Model: From Exponential Sums to Exponential Products.- A Reachability Algorithm for General Petri Nets Based on Transition Invariants.- Approximability of Bounded Occurrence Max Ones.- Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability.- Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.- Quantum Weakly Nondeterministic Communication Complexity.- Minimal Chordal Sense of Direction and Circulant Graphs.- Querying and Embedding Compressed Texts.- Lempel-Ziv Dimension for Lempel-Ziv Compression.- CharacterizingValiant’s Algebraic Complexity Classes.- The Price of Defense.- The Data Complexity of MDatalog in Basic Modal Logics.- The Complexity of Counting Functions with Easy Decision Version.- On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model.- Constrained Minimum Enclosing Circle with Center on a Query Line Segment.- Hierarchical Unambiguity.- An Efficient Algorithm Finds Noticeable Trends and Examples Concerning the ?erny Conjecture.- On Genome Evolution with Innovation.

Du kanske också är intresserad av

Del 149

Lectures on the Curry-Howard Isomorphism

Morten Heine S�rensen, Pawel Urzyczyn

Inbunden, 2006

2 029 kr

Typed Lambda Calculi and Applications

Pawel Urzyczyn

Häftad, 2005

749 kr

Mathematical Foundations of Computer Science 2009

Rastislav Královic, Damian Niwinski

Häftad, 2009

1 479 kr

Teaching Fundamental Concepts of Informatics

Juraj Hromkovič, Rastislav Královic, Jan Vahrenhold

Häftad, 2010

699 kr

SOFSEM 2011: Theory and Practice of Computer Science

Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovič, Keith Jeffery, Rastislav Kralovic, Marko Vukolic, Stefan Wolf

Häftad, 2011

749 kr

Del 11376

SOFSEM 2019: Theory and Practice of Computer Science

Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini

Häftad, 2019

719 kr

Del 15539

SOFSEM 2025: Theory and Practice of Computer Science

Rastislav Královič, Věra Kůrková

Häftad, 2025

1 079 kr

Del 15538

SOFSEM 2025: Theory and Practice of Computer Science

Rastislav Královič, Věra Kůrková

Häftad, 2025

1 079 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Del i serien Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Häftad, Engelska, 2006

AvRastislav Královic,Pawel Urzyczyn

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2006-08-11
Mått155 x 235 x 143 mm
Vikt1 216 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor816
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540377917

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Invited Talks.- A Core Calculus for Scala Type Checking.- Tree Exploration with an Oracle.- Distributed Data Structures: A Survey on Informative Labeling Schemes.- From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.- The Structure of Tractable Constraint Satisfaction Problems.- On the Representation of Kleene Algebras with Tests.- From Three Ideas in TCS to Three Applications in Bioinformatics.- Contributed Papers.- Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles.- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces.- A Unified Construction of the Glushkov, Follow, and Antimirov Automata.- Algebraic Characterizations of Unitary Linear Quantum Cellular Automata.- A Polynomial Time Nilpotence Test for Galois Groups and Related Results.- The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems.- Crochemore Factorization of Sturmian and Other Infinite Words.- Equations on Partial Words.- Concrete Multiplicative Complexity of Symmetric Functions.- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures.- Coloring Random 3-Colorable Graphs with Non-uniform Edge Probabilities.- The Kleene Equality for Graphs.- On the Repetition Threshold for Large Alphabets.- Improved Parameterized Upper Bounds for Vertex Cover.- On Comparing Sums of Square Roots of Small Integers.- A Combinatorial Approach to Collapsing Words.- Optimal Linear Arrangement of Interval Graphs.- The Lempel-Ziv Complexity of Fixed Points of Morphisms.- Partially Commutative Inverse Monoids.- Learning Bayesian Networks Does Not Have to Be NP-Hard.- Lower Bounds for the Transition Complexity of NFAs.- Smart Robot Teams Exploring Sparse Trees.- k-Sets of Convex Inclusion Chains of Planar Point Sets.- Toward the Eigenvalue Power Law.- Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves.- Very Sparse Leaf Languages.- On the Correlation Between Parity and Modular Polynomials.- Optimally Fast Data Gathering in Sensor Networks.- Magic Numbers in the State Hierarchy of Finite Automata.- Online Single Machine Batch Scheduling.- Machines that Can Output Empty Words.- Completeness of Global Evaluation Logic.- NOF-Multiparty Information Complexity Bounds for Pointer Jumping.- Dimension Characterizations of Complexity Classes.- Approximation Algorithms and Hardness Results for Labeled Connectivity Problems.- An Expressive Temporal Logic for Real Time.- On Matroid Representability and Minor Problems.- Non-cooperative Tree Creation.- Guarantees for the Success Frequency of an Algorithm for Finding Dodgson-Election Winners.- Reductions for Monotone Boolean Circuits.- Generalised Integer Programming Based on Logically Defined Relations.- Probabilistic Length-Reducing Automata.- Sorting Long Sequences in a Single Hop Radio Network.- Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.- Valiant’s Model: From Exponential Sums to Exponential Products.- A Reachability Algorithm for General Petri Nets Based on Transition Invariants.- Approximability of Bounded Occurrence Max Ones.- Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability.- Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.- Quantum Weakly Nondeterministic Communication Complexity.- Minimal Chordal Sense of Direction and Circulant Graphs.- Querying and Embedding Compressed Texts.- Lempel-Ziv Dimension for Lempel-Ziv Compression.- CharacterizingValiant’s Algebraic Complexity Classes.- The Price of Defense.- The Data Complexity of MDatalog in Basic Modal Logics.- The Complexity of Counting Functions with Easy Decision Version.- On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model.- Constrained Minimum Enclosing Circle with Center on a Query Line Segment.- Hierarchical Unambiguity.- An Efficient Algorithm Finds Noticeable Trends and Examples Concerning the ?erny Conjecture.- On Genome Evolution with Innovation.

Du kanske också är intresserad av

Del 149

Lectures on the Curry-Howard Isomorphism

Morten Heine S�rensen, Pawel Urzyczyn

Inbunden, 2006

2 029 kr

Typed Lambda Calculi and Applications

Pawel Urzyczyn

Häftad, 2005

749 kr

Mathematical Foundations of Computer Science 2009

Rastislav Královic, Damian Niwinski

Häftad, 2009

1 479 kr

Teaching Fundamental Concepts of Informatics

Juraj Hromkovič, Rastislav Královic, Jan Vahrenhold

Häftad, 2010

699 kr

SOFSEM 2011: Theory and Practice of Computer Science

Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovič, Keith Jeffery, Rastislav Kralovic, Marko Vukolic, Stefan Wolf

Häftad, 2011

749 kr

Del 11376

SOFSEM 2019: Theory and Practice of Computer Science

Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini

Häftad, 2019

719 kr

Del 15539

SOFSEM 2025: Theory and Practice of Computer Science

Rastislav Královič, Věra Kůrková

Häftad, 2025

1 079 kr

Del 15538

SOFSEM 2025: Theory and Practice of Computer Science

Rastislav Královič, Věra Kůrková

Häftad, 2025

1 079 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av