Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008935244/catalog> ?p ?o. }

Showing items 1 to 32 of 32 with 100 items per page.

catalog contributor b12547608.
catalog contributor b12547609.
catalog created "c2002.".
catalog date "2002".
catalog date "c2002.".
catalog dateCopyrighted "c2002.".
catalog description "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.] -- ".
catalog description "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.".
catalog description "Includes bibliographical references and index.".
catalog description "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 -- ".
catalog description "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 -- ".
catalog description "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 -- ".
catalog extent "xiii, 630 p. :".
catalog identifier "3540434003 (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2286".
catalog issued "2002".
catalog issued "c2002.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog spatial "Latin America".
catalog subject "004 21".
catalog subject "Computer science Congresses.".
catalog subject "Computer science Latin America Congresses.".
catalog subject "QA75.5 .L348 2002".
catalog tableOfContents "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.] -- ".
catalog tableOfContents "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.".
catalog tableOfContents "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 -- ".
catalog tableOfContents "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 -- ".
catalog tableOfContents "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 -- ".
catalog title "LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings / Sergio Rajsbaum (ed.).".
catalog type "Conference proceedings. fast".
catalog type "text".