Discrete Mathematics and Theoretical Computer Science
4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings Herausgegeben:Calude, Cristian S.; Dinneen, Michael J.; Vajnovszki, Vincent
Discrete Mathematics and Theoretical Computer Science
4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings Herausgegeben:Calude, Cristian S.; Dinneen, Michael J.; Vajnovszki, Vincent
The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003. The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions. A broad variety of topics in discrete mathematics and the theory of computing is addressed including information theory, coding, algorithms, complexity, automata, computational mathematics, combinatorial computations, graph computations, algorithmic geometry, relational methods, game-theoretic methods, combinatorial optimization, and finite state systems.…mehr
The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003. The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions. A broad variety of topics in discrete mathematics and the theory of computing is addressed including information theory, coding, algorithms, complexity, automata, computational mathematics, combinatorial computations, graph computations, algorithmic geometry, relational methods, game-theoretic methods, combinatorial optimization, and finite state systems.
Cristian S. Calude, University of Auckland, New Zealand / Michael J. Dinneen, University of Auckland, New Zealand / Vincent Vajnovszki, Université de Bourgogne, Dijon, France
Inhaltsangabe
Invited Papers.- Two Philosophical Applications of Algorithmic Information Theory.- Covering and Secret Sharing with Linear Codes.- Combinatorial Problems Arising in SNP and Haplotype Analysis.- Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey.- Generating Gray Codes in O(1) Worst-Case Time per Word.- Contributed Papers.- Listing Vertices of Simple Polyhedra Associated with Dual LI(2) Systems.- Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata.- On the Order Dual of a Riesz Space.- A Finite Complete Set of Equations Generating Graphs.- ECO Method and the Exhaustive Generation of Convex Polyominoes.- Regular Expressions with Timed Dominoes.- On Infinitary Rational Relations and Borel Sets.- Efficient Algorithms for Disjoint Matchings among Intervals and Related Problems.- On Functions and Relations.- Paths Coloring Algorithms in Mesh Networks.- Finite State Strategies in One Player McNaughton Games.- On Algebraic Expressions of Series-Parallel and Fibonacci Graphs.- Boolean NP-Partitions and Projective Closure.- On Unimodality of Independence Polynomials of Some Well-Covered Trees.- A Coloring Algorithm for Finding Connected Guards in Art Galleries.- An Analysis of Quantified Linear Programs.- An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique.- On the Monotonic Computability of Semi-computable Real Numbers.
Invited Papers.- Two Philosophical Applications of Algorithmic Information Theory.- Covering and Secret Sharing with Linear Codes.- Combinatorial Problems Arising in SNP and Haplotype Analysis.- Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey.- Generating Gray Codes in O(1) Worst-Case Time per Word.- Contributed Papers.- Listing Vertices of Simple Polyhedra Associated with Dual LI(2) Systems.- Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata.- On the Order Dual of a Riesz Space.- A Finite Complete Set of Equations Generating Graphs.- ECO Method and the Exhaustive Generation of Convex Polyominoes.- Regular Expressions with Timed Dominoes.- On Infinitary Rational Relations and Borel Sets.- Efficient Algorithms for Disjoint Matchings among Intervals and Related Problems.- On Functions and Relations.- Paths Coloring Algorithms in Mesh Networks.- Finite State Strategies in One Player McNaughton Games.- On Algebraic Expressions of Series-Parallel and Fibonacci Graphs.- Boolean NP-Partitions and Projective Closure.- On Unimodality of Independence Polynomials of Some Well-Covered Trees.- A Coloring Algorithm for Finding Connected Guards in Art Galleries.- An Analysis of Quantified Linear Programs.- An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique.- On the Monotonic Computability of Semi-computable Real Numbers.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
