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

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

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

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The AI Con

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

The Causal Mindset Handbook

A practical guide to the science of cause and effect for evidence-based decision making

BiteSize Python for Intermediate Learners

With Practice Labs, Real-World Examples, and ChatGPT

BiteSize Python for Intermediate Learners

With Practice Labs, Real-World Examples, and ChatGPT

Redefining Innovative Practices in the Age of AI

Unlocking Business Insights

The Basics

What Art Is Now

Creativity in the Age of AI

Deep Learning in Genome Mapping

Computation and Analysis

Architecture and AI

Controlling the Hallucination

Building Next-Gen ESG Platforms with IoT and AI for Sustainable Development Goals

Artificial Intelligence and Safety

A Practical Guide for Programmers and Decision Makers

Artificial Intelligence and Safety

A Practical Guide for Programmers and Decision Makers

Unveiling the Art of Steganography

A Modern Approach

Intelligent User Interface

Usable Artificial Intelligence and Artificial Intelligence for Usability

This product is categorised by