Overview

Full Product Details

Author:   Sergio Rajsbaum
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2002 ed.
Volume:   2286
Dimensions:   Width: 15.50cm , Height: 3.30cm , Length: 23.50cm
Weight:   1.990kg
ISBN:  

9783540434009

ISBN 10:   3540434003
Pages:   638
Publication Date:   20 March 2002
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Invited Talks and Tutorials.- Phase Transitions in Computer Science.- The Internet, the Web, and Algorithms.- Erd?s Magic.- Open Problems in Computational Geometry.- Quantum Algorithms.- Testing and Checking of Finite State Systems.- From Algorithms to Cryptography Tutorial.- Dihomotopy as a Tool in State Space Analysis Tutorial.- Regular Contributions.- Algorithms for Local Alignment with Length Constraints*.- An Algorithm That Builds a Set of Strings Given Its Overlap Graph.- Conversion between Two Multiplicatively Dependent Linear Numeration Systems.- Star Height of Reversible Languages and Universal Automata.- Weakly Iterated Block Products of Finite Monoids.- The Hidden Number Problem in Extension Fields and Its Applications.- The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves.- Random Partitions with Non Negative rth Differences.- Beta-Expansions for Cubic Pisot Numbers.- Facility Location Constrained to a Polygonal Domain.- A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three.- A Metric Index for Approximate String Matching.- On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm.- On the Power of BFS to Determine a Graphs Diameter.- k-pseudosnakes in Large Grids.- L(2, 1)-Coloring Matrogenic Graphs.- Pipeline Transportation of Petroleum Products with No Due Dates.- Ancestor Problems on Pure Pointer Machines.- Searching in Random Partially Ordered Sets.- Packing Arrays.- Generalized Shannon Code Minimizes the Maximal Redundancy.- An Improved Algorithm for Sequence Comparison with Block Reversals.- Pattern Matching and Membership for Hierarchical Message Sequence Charts.- Improved Exact Algorithms for Max-Sat.- Characterising Strong Normalisation for Explicit Substitutions.- Parameters in Pure Type Systems.- Category, Measure, Inductive Inference: A Triality Theorem and Its Applications.- Verification of Embedded Reactive Fiffo Systems.- Electronic Jury Voting Protocols.- Square Roots Modulo p.- Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities.- Signals for Cellular Automata in Dimension 2 or Higher.- Holographic Trees.- On the Spanning Ratio of Gabriel Graphs and ?-skeletons.- In-Place Planar Convex Hull Algorithms.- The Level Ancestor Problem Simplified.- Flow Metrics.- On Logical Descriptions of Regular Languages.- Computing Boolean Functions from Multiple Faulty Copies of Input Bits.- Inapproximability Results on Stable Marriage Problems.- Tight Bounds for Online Class-Constrained Packing.- On-line Algorithms for Edge-Disjoint Paths in Trees of Rings.- Massive Quasi-Clique Detection.- Improved Tree Decomposition Based Algorithms for Domination-like Problems.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions