The Resource LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings, Sergio Rajsbaum (ed.)

LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings, Sergio Rajsbaum (ed.)

Label
LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings
Title
LATIN 2002
Title remainder
theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings
Statement of responsibility
Sergio Rajsbaum (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA75.5
LC item number
.L348 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
Latin American Symposium on Theoretical Informatics
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Rajsbaum, Sergio
http://library.link/vocab/subjectName
  • Computer science
  • Computer science
  • Informatique
  • Informatique
  • Computer science
  • Fundamentele informatica
  • Theoretische Informatik
  • optimisation
  • temps réel
  • grille calcul
  • géométrie algorithmique
  • complexité
  • algorithme algébrique
  • cryptographie
  • mathématiques discrètes
  • analyse algorithme
  • théorie graphe
  • informatique théorique
  • Informatique
  • optimisation
  • temps réel
  • grille calcul
  • géométrie algorithmique
  • complexité
  • algorithme algébrique
  • cryptographie
  • mathématiques discrètes
  • analyse algorithme
  • théorie graphe
  • informatique théorique
  • Latin America
  • Cancun <2002>
Label
LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings, Sergio Rajsbaum (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Phase Transitions in Computer Science / Jennifer Chayes -- The Internet, the Web, and Algorithms / Christos H. Papadimitriou -- Erdos Magic / Joel Spencer -- Open Problems in Computational Geometry / Jorge Urrutia -- Quantum Algorithms / Umesh Vazirani -- Testing and Checking of Finite State Systems / Mihalis Yannakakis -- From Algorithms to Cryptography / Fabrizio Luccio and Linda Pagli -- Dihomotopy as a Tool in State Space Analysis / Eric Goubault and Martin Raussen -- Algorithms for Local Alignment with Length Constraints / Abdullah N. Arslan and Omer Egecioglu -- An Algorithm That Builds a Set of Strings Given Its Overlap Graph / Marilia D. V. Braga and Joao Meidanis -- Conversion between Two Multiplicatively Dependent Linear Numeration Systems / Christiane Frougny -- Star Height of Reversible Languages and Universal Automata / Sylvain Lombardy and Jacques Sakarovitch -- Weakly Iterated Block Products of Finite Monoids / Howard Straubing and Denis Therien -- The Hidden Number Problem in Extension Fields and Its Applications / Maria Isabel Gonzalez Vasco, Mats Naslund and Igor E. Shparlinski -- The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves / Theodoulos Garefalakis -- Random Partitions with Non Negative r[superscript th] Differences / Rod Canfield, Sylvie Corteel and Pawel Hitczenko -- Beta-Expansions for Cubic Pisot Numbers / Frederique Bassino -- Facility Location Constrained to a Polygonal Domain / Prosenjit Bose and Qingda Wang -- A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three / Hanno Lefmann and Niela Schmitt -- A Metric Index for Approximate String Matching / Edgar Chavez and Gonzalo Navarro -- On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm / Wojciech Rytter -- On the Power of BFS to Determine a Graphs Diameter / Derek G. Corneil, Feodor F. Dragan and Ekkehard Kohler -- k-pseudosnakes in Large Grids / Martin Matamala, Erich Prisner and Ivan Rapaport -- L(2,1)-Coloring Matrogenic Graphs / Tiziana Calamoneri and Rossella Petreschi -- Pipeline Transportation of Petroleum Products with No Due Dates / Ruy Luiz Milidiu, Artur Alves Pessoa and Eduardo Sany Laber -- Ancestor Problems on Pure Pointer Machines / Enrico Pontelli and Desh Ranjan -- Searching in Random Partially Ordered Sets / Renato Carmo, Jair Donadelli and Yoshiharu Kohayakawa / [et al.] -- Packing Arrays / Brett Stevens and Eric Mendelsohn -- Generalized Shannon Code Minimizes the Maximal Redundancy / Michael Drmota and Wojciech Szpankowski -- An Improved Algorithm for Sequence Comparison with Block Reversals / S. Muthukrishnan and S. Cenk Sahinalp -- Pattern Matching and Membership for Hierarchical Message Sequence Charts / Blaise Genest and Anca Muscholl -- Improved Exact Algorithms for Max-Sat / Jianer Chen and Iyad A. Kanj -- Characterising Strong Normalisation for Explicit Substitutions / Steffen van Bakel and Mariangiola Dezani-Ciancaglini -- Parameters in Pure Type Systems / Roel Bloo, Fairouz Kamareddine and Twan Laan / [et al.] -- Category, Measure, Inductive Inference: A Triality Theorem and Its Applications / Rusins Freivalds and Carl H. Smith -- Verification of Embedded Reactive Fiffo Systems / Frederic Herbreteau, Franck Cassez and Alain Finkel / [et al.] -- Electronic Jury Voting Protocols / Alejandro Hevia and Marcos Kiwi -- Square Roots Modulo p / Gonzalo Tornaria -- Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities / Goran Konjevod, Soohyun Oh and Andrea W. Richa -- Signals for Cellular Automats in Dimension 2 or Higher / Jean-Christophe Dubacq and Veronique Terrier -- Holographic Trees / Paolo Boldi and Sebastiano Vigna -- On the Spanning Ratio of Gabriel Graphs and [beta]-skeletons / Prosenjit Bose, Luc Devroye and William Evans / [et al.] -- In-Place Planar Convex Hull Algorithms / Herve Bronnimann, John Iacono and Jyrki Katajainen / [et al.] -- The Level Ancestor Problem Simplified / Michael A. Bender and Martin Farach-Colton -- Flow Metrics / Claudson F. Bornstein and Santosh Vempala -- On Logical Descriptions of Regular Languages / Howard Straubing -- Computing Boolena Functions from Multiple Faulty Copies of Input Bits / Mario Szegedy and Xiaomin Chen -- Inapproximability Results on Stable Marriage Problems / Magnus Halldorsson, Kazuo Iwama and Shuichi Miyazaki / [et al.] -- Tight Bounds for Online Class-Constrained Packing / Hadas Shachnai and Tami Tamir -- On-line Algorithms for Edge-Disjoint Paths in Trees of Rings / R. Sai Anand and Thomas Erlebach -- Massive Quasi-Clique Detection / James Abello, Mauricio G. C. Reseande and Sandra Sudarsky -- Improved Tree Decomposition Based Algorithms for Domination-like Problems / Jochen Alber and Rolf Niedermeier
Dimensions
24 cm.
Dimensions
unknown
Extent
xiii, 630 pages
Isbn
9783540434009
Lccn
2002021226
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)49285652
  • (OCoLC)ocm49285652
Label
LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings, Sergio Rajsbaum (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Phase Transitions in Computer Science / Jennifer Chayes -- The Internet, the Web, and Algorithms / Christos H. Papadimitriou -- Erdos Magic / Joel Spencer -- Open Problems in Computational Geometry / Jorge Urrutia -- Quantum Algorithms / Umesh Vazirani -- Testing and Checking of Finite State Systems / Mihalis Yannakakis -- From Algorithms to Cryptography / Fabrizio Luccio and Linda Pagli -- Dihomotopy as a Tool in State Space Analysis / Eric Goubault and Martin Raussen -- Algorithms for Local Alignment with Length Constraints / Abdullah N. Arslan and Omer Egecioglu -- An Algorithm That Builds a Set of Strings Given Its Overlap Graph / Marilia D. V. Braga and Joao Meidanis -- Conversion between Two Multiplicatively Dependent Linear Numeration Systems / Christiane Frougny -- Star Height of Reversible Languages and Universal Automata / Sylvain Lombardy and Jacques Sakarovitch -- Weakly Iterated Block Products of Finite Monoids / Howard Straubing and Denis Therien -- The Hidden Number Problem in Extension Fields and Its Applications / Maria Isabel Gonzalez Vasco, Mats Naslund and Igor E. Shparlinski -- The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves / Theodoulos Garefalakis -- Random Partitions with Non Negative r[superscript th] Differences / Rod Canfield, Sylvie Corteel and Pawel Hitczenko -- Beta-Expansions for Cubic Pisot Numbers / Frederique Bassino -- Facility Location Constrained to a Polygonal Domain / Prosenjit Bose and Qingda Wang -- A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three / Hanno Lefmann and Niela Schmitt -- A Metric Index for Approximate String Matching / Edgar Chavez and Gonzalo Navarro -- On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm / Wojciech Rytter -- On the Power of BFS to Determine a Graphs Diameter / Derek G. Corneil, Feodor F. Dragan and Ekkehard Kohler -- k-pseudosnakes in Large Grids / Martin Matamala, Erich Prisner and Ivan Rapaport -- L(2,1)-Coloring Matrogenic Graphs / Tiziana Calamoneri and Rossella Petreschi -- Pipeline Transportation of Petroleum Products with No Due Dates / Ruy Luiz Milidiu, Artur Alves Pessoa and Eduardo Sany Laber -- Ancestor Problems on Pure Pointer Machines / Enrico Pontelli and Desh Ranjan -- Searching in Random Partially Ordered Sets / Renato Carmo, Jair Donadelli and Yoshiharu Kohayakawa / [et al.] -- Packing Arrays / Brett Stevens and Eric Mendelsohn -- Generalized Shannon Code Minimizes the Maximal Redundancy / Michael Drmota and Wojciech Szpankowski -- An Improved Algorithm for Sequence Comparison with Block Reversals / S. Muthukrishnan and S. Cenk Sahinalp -- Pattern Matching and Membership for Hierarchical Message Sequence Charts / Blaise Genest and Anca Muscholl -- Improved Exact Algorithms for Max-Sat / Jianer Chen and Iyad A. Kanj -- Characterising Strong Normalisation for Explicit Substitutions / Steffen van Bakel and Mariangiola Dezani-Ciancaglini -- Parameters in Pure Type Systems / Roel Bloo, Fairouz Kamareddine and Twan Laan / [et al.] -- Category, Measure, Inductive Inference: A Triality Theorem and Its Applications / Rusins Freivalds and Carl H. Smith -- Verification of Embedded Reactive Fiffo Systems / Frederic Herbreteau, Franck Cassez and Alain Finkel / [et al.] -- Electronic Jury Voting Protocols / Alejandro Hevia and Marcos Kiwi -- Square Roots Modulo p / Gonzalo Tornaria -- Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities / Goran Konjevod, Soohyun Oh and Andrea W. Richa -- Signals for Cellular Automats in Dimension 2 or Higher / Jean-Christophe Dubacq and Veronique Terrier -- Holographic Trees / Paolo Boldi and Sebastiano Vigna -- On the Spanning Ratio of Gabriel Graphs and [beta]-skeletons / Prosenjit Bose, Luc Devroye and William Evans / [et al.] -- In-Place Planar Convex Hull Algorithms / Herve Bronnimann, John Iacono and Jyrki Katajainen / [et al.] -- The Level Ancestor Problem Simplified / Michael A. Bender and Martin Farach-Colton -- Flow Metrics / Claudson F. Bornstein and Santosh Vempala -- On Logical Descriptions of Regular Languages / Howard Straubing -- Computing Boolena Functions from Multiple Faulty Copies of Input Bits / Mario Szegedy and Xiaomin Chen -- Inapproximability Results on Stable Marriage Problems / Magnus Halldorsson, Kazuo Iwama and Shuichi Miyazaki / [et al.] -- Tight Bounds for Online Class-Constrained Packing / Hadas Shachnai and Tami Tamir -- On-line Algorithms for Edge-Disjoint Paths in Trees of Rings / R. Sai Anand and Thomas Erlebach -- Massive Quasi-Clique Detection / James Abello, Mauricio G. C. Reseande and Sandra Sudarsky -- Improved Tree Decomposition Based Algorithms for Domination-like Problems / Jochen Alber and Rolf Niedermeier
Dimensions
24 cm.
Dimensions
unknown
Extent
xiii, 630 pages
Isbn
9783540434009
Lccn
2002021226
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)49285652
  • (OCoLC)ocm49285652

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...