LATIN'98 : theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20 24, 1998 : proceedings
This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, in April 1998. The 28 revised full papers presented together with five invited surveys were carefully selected from a total of 53 submissions base...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1380 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Latin'98, theoretical informatics, Third Latin American Symposium, Campinas, Brazil, April 1998, proceedings, Cláudio L. Lucchesi, Arnaldo V. Moura (eds.), 1998, Berlin, Springer, 1 volume (XI-390 pages), Lecture notes in computer science, 3-540-64275-7 • LATIN'98: Theoretical Informatics, Texte imprimé, 9783662177884 |
Table des matières:
- Analysis of Rabin's polynomial irreducibility test
- A chip search problem on binary numbers
- Uniform service systems with k servers
- Faster non-linear parametric search with applications to optimization and dynamic geometry
- Super-state automata and rational trees
- An Eilenberg theorem for words on countable ordinals
- Maximal groups in free Burnside semigroups
- Positive varieties and infinite words
- Unfolding parametric automata
- Fundamental structures in Well-Structured infinite Transition Systems
- Shape reconstruction with Delaunay complex
- Bases for non-homogeneous polynomial C k splines on the sphere
- The splitting number of the 4-cube
- Short and smooth polygonal paths
- Quantum cryptanalysis of hash and claw-free functions
- Batch verification with applications to cryptography and checking
- Strength of two Data Encryption Standard implementations under timing attacks
- Spectral techniques in graph algorithms
- Colouring graphs whose chromatic number is almost their maximum degree
- Circuit covers in series-parallel mixed graphs
- A linear time algorithm to recognize clustered planar graphs and its parallelization
- A new characterization for parity graphs and a coloring problem with costs
- On the clique operator
- Dynamic packet routing on arrays with bounded buffers
- On-Line matching routing on trees
- Analyzing Glauber dynamics by comparison of Markov chains
- The CREW PRAM complexity of modular inversion
- Communication-efficient parallel multiway and approximate minimum cut computation
- The geometry of browsing
- Fast two-dimensional approximate pattern matching
- Improved approximate pattern matching on hypertext
- Solving equations in strings: On Makanin's algorithm
- Spelling approximate repeated or common motifs using a suffix tree.