Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki.
Material type: TextSeries: Lecture Notes in Computer Science ; 2731Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Description: IX, 300 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540450665Subject(s): Computer science | Data structures (Computer science) | Coding theory | Information theory | Computer software | Computational complexity | Computer graphics | Computer Science | Algorithm Analysis and Problem Complexity | Data Structures | Coding and Information Theory | Theory of Computation | Discrete Mathematics in Computer Science | Computer GraphicsAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.9.A43Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK5155 |
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.
There are no comments on this title.