LATIN 2002 : Theoretical Informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings - Sergio Rajsbaum

Instant online reading.
Don't wait for delivery!
Go digital and save!

LATIN 2002

Theoretical Informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings

By: Sergio Rajsbaum (Editor)

Write A Review

Paperback | 20 March 2002

At a Glance

Paperback
652 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 7 to 10 business days

This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002.
The 44 revised full papers presented together with a tutorial and 7 abstracts of invited contributions were carefully reviewed and selected from a total of 104 submissions. The papers presented are devoted to a broad range of topics from theoretical computer science and mathematical foundations, with a certain focus on algorithmics and computations related to discrete structures.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Computing & I.T.Computer Science Mathematical Theory of Computation Graphical & Digital Media Applications 3D Graphics & Modelling Databases Data Capture & Analysis Computer Programming & Software Development Algorithms & Data Structures

Invited Talks and Tutorials
Phase Transitions in Computer Science	p. 1
The Internet, the Web, and Algorithms	p. 2
Erd&odacute;s Magic	p. 3
Open Problems in Computational Geometry	p. 4
Quantum Algorithms	p. 12
Testing and Checking of Finite State Systems	p. 14
From Algorithms to Cryptography	p. 15
Dihomotopy as a Tool in State Space Analysis	p. 16
Regular Contributions
Algorithms for Local Alignment with Length Constraints	p. 38
An Algorithm That Builds a Set of Strings Given Its Overlap Graph	p. 52
Conversion between Two Multiplicatively Dependent Linear Numeration Systems	p. 64
Star Height of Reversible Languages and Universal Automata	p. 76
Weakly Iterated Block Products of Finite Monoids	p. 91
The Hidden Number Problem in Extension Fields and Its Applications	p. 105
The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves	p. 118
Random Partitions with Non Negative r^th Differences	p. 131
Beta-Expansions for Cubic Pisot Numbers	p. 141
Facility Location Constrained to a Polygonal Domain	p. 153
A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three	p. 165
A Metric Index for Approximate String Matching	p. 181
On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm	p. 196
On the Power of BFS to Determine a Graphs Diameter	p. 209
k-pseudosnakes in Large Grids	p. 224
L(2, 1)-Coloring Matrogenic Graphs	p. 236
Pipeline Transportation of Petroleum Products with No Due Dates	p. 248
Ancestor Problems on Pure Pointer Machines	p. 263
Searching in Random Partially Ordered Sets	p. 278
Packing Arrays	p. 293
Generalized Shannon Code Minimizes the Maximal Redundancy	p. 306
An Improved Algorithm for Sequence Comparison with Block Reversals	p. 319
Pattern Matching and Membership for Hierarchical Message Sequence Charts	p. 326
Improved Exact Algorithms for Max-Sat	p. 341
Characterising Strong Normalisation for Explicit Substitutions	p. 356
Parameters in Pure Type Systems	p. 371
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications	p. 386
Verification of Embedded Reactive Fiffo Systems	p. 400
Electronic Jury Voting Protocols	p. 415
Square Roots Modulo p	p. 430
Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities	p. 435
Signals for Cellular Automata in Dimension 2 or Higher	p. 451
Holographic Trees	p. 465
On the Spanning Ratio of Gabriel Graphs and ß-skeletons	p. 479
In-Place Planar Convex Hull Algorithms	p. 494
The Level Ancestor Problem Simplified	p. 508
Flow Metrics	p. 516
On Logical Descriptions of Regular Languages	p. 528
Computing Boolean Functions from Multiple Faulty Copies of Input Bits	p. 539
Inapproximability Results on Stable Marriage Problems	p. 554
Tight Bounds for Online Class-Constrained Packing	p. 569
On-line Algorithms for Edge-Disjoint Paths in Trees of Rings	p. 584
Massive Quasi-Clique Detection	p. 598
Improved Tree Decomposition Based Algorithms for Domination-like Problems	p. 613
Author Index	p. 629
Table of Contents provided by Publisher. All Rights Reserved.

LATIN 2002

Theoretical Informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Empire of AI

Inside the reckless race for total domination

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

A Cultural History of Computer Graphics

Human-Centered Solutions through Human-Computer Interaction

From Healthcare to Smart Environments

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

Artificial Intelligence Powered Sustainable Development of Business 4.0

Intelligent Data-Driven Systems and Artificial Intelligence

Digital Wisdom

Searching for Agency in the Age of AI

Digital Wisdom

Searching for Agency in the Age of AI

What Art Is Now

Creativity in the Age of AI

AI Powered B2B Marketing

Develop AI Enabled Strategies and Practices for Maximum Impact

Determining Provenance from Compositional Data

Elements in Current Archaeological Tools and Techniques

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

This product is categorised by