LATIN 95 Theoretical Informatics

LATIN  95  Theoretical Informatics

This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995.

Author: Ricardo Baeza-Yates

Publisher: Springer Science & Business Media

ISBN: 3540591753

Category: Computers

Page: 530

View: 699

This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to computational graph theory; other topics strongly represented are complexity, automata theory, networks, symbolic computation, formal languages, data structures, and pattern matching.
Categories: Computers

LATIN 95 Theoretical Informatics

LATIN  95  Theoretical Informatics

This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995.

Author: Ricardo Baeza-Yates

Publisher: Springer

ISBN: 3662188058

Category: Computers

Page: 530

View: 592

This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to computational graph theory; other topics strongly represented are complexity, automata theory, networks, symbolic computation, formal languages, data structures, and pattern matching.
Categories: Computers

LATIN 95

LATIN  95

"This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995.

Author:

Publisher:

ISBN: 0387591753

Category: Artificial intelligence

Page: 523

View: 589

Categories: Artificial intelligence

LATIN 95

LATIN  95

Author:

Publisher:

ISBN: 0387591753

Category: Artificial intelligence

Page: 523

View: 545

Categories: Artificial intelligence

LATIN 95

LATIN  95

Author:

Publisher:

ISBN: OCLC:32241692

Category: Computer science

Page: 523

View: 556

Categories: Computer science

LATIN 2002 Theoretical Informatics

LATIN 2002  Theoretical Informatics

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

Author: Latin American Symposium on Theoretical Informatics

Publisher: Springer Science & Business Media

ISBN: 9783540434009

Category: Computers

Page: 630

View: 324

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.
Categories: Computers

LATIN 98 Theoretical Informatics

LATIN 98  Theoretical Informatics

Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings Claudio L. Lucchesi, Latin American Symposium on Theoretical Informatics ...

Author: Claudio L. Lucchesi

Publisher: Springer Science & Business Media

ISBN: 3540642757

Category: Computers

Page: 390

View: 736

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 based on 160 referees' reports. The papers are organized in sections on algorithms and complexity; automata, transition systems and combinatorics on words; computational geometry and graph drawing; cryptography; graph theory and algorithms on graphs; packet routing; parallel algorithms; and pattern matching and browsing.
Categories: Computers

LATIN 2012 Theoretical Informatics

LATIN 2012  Theoretical Informatics

10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, ... the European Association for Theoretical Computer Science (EATCS) 95, 45–58 (2008) 8.

Author: David Fernández-Baca

Publisher: Springer

ISBN: 9783642293443

Category: Computers

Page: 669

View: 676

This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptography, theoretical aspects of databases and information retrieval, data structures, networks, logic in computer science, machine learning, mathematical programming, parallel and distributed computing, pattern matching, quantum computing and random structures.
Categories: Computers

LATIN 2010 Theoretical Informatics

LATIN 2010  Theoretical Informatics

9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings Alejandro López-Ortiz ... Theoretical Computer Science 123(1), 95–115 ...

Author: Alejandro López-Ortiz

Publisher: Springer

ISBN: 9783642122002

Category: Computers

Page: 706

View: 700

This book constitutes the refereed proceedings of the 9th International Latin American Symposium on Theoretical Informatics, LATIN 2010, held in Oaxaca, Mexico; in April 2010. The 56 revised full papers presented together with the abstracts of 4 invited plenary talks were carefully reviewed and selected from 155 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptography, theoretical aspects of databases and information retrieval, data structures, networks, logic in computer science, machine learning, mathematical programming, parallel and distributed computing, pattern matching, quantum computing and random structures.
Categories: Computers

LATIN 2000 Theoretical Informatics

LATIN 2000  Theoretical Informatics

4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings ... pages 405–411, San Francisco, California, 22–24 January 1995.

Author: Gaston H. Gonnet

Publisher: Springer

ISBN: 9783540464150

Category: Computers

Page: 484

View: 281

This book constitutes the refereed proceedings of the 4th International Conference, Latin American Theoretical Informatics, LATIN 2000, held in Punta del Est, Uruguay, in April 2000. The 42 revised papers presented were carefully reviewed and selected from a total of 87 submissions from 26 countries. Also included are abstracts or full papers of several invited talks. The papers are organized in topical sections on random structures and algorithms, complexity, computational number theory and cryptography, algebraic algorithms, computability, automata and formal languages, and logic and programming theory.
Categories: Computers

LATIN 2006 Theoretical Informatics

LATIN 2006  Theoretical Informatics

Theoretical Aspects of Computer Science, (STACS), March 2002, LNCS 2285, pp. ... of positive Boolean functions, Information and Computation 123 (1995) pp.

Author: José R. Correa

Publisher: Springer

ISBN: 9783540327561

Category: Computers

Page: 814

View: 344

This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.
Categories: Computers

LATIN 2004 Theoretical Informatics

LATIN 2004  Theoretical Informatics

An informative discussion on the HP model and its applicability to protein folding is given by Hart and Istrail [HI95]. Related Work.

Author: Martin Farach-Colton

Publisher: Springer Science & Business Media

ISBN: 9783540212584

Category: Computers

Page: 632

View: 925

This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5–8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin American community and computer scientists around the world. This was the sixth event in the series, following S ̃ ao Paulo, Brazil (1992), Valparaiso, Chile (1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), and Cancun, Mexico (2002). The proceedings of these conferences were also published by Springer-Verlag in the Lecture Notes in Computer Science series: Volumes 583, 911, 1380, 1776, and 2286, respectively. Also, as before, we published a selection of the papers in a special issue of a prestigious journal. We received 178 submissions. Each paper was assigned to four program c- mittee members, and 59 papers were selected. This was 80% more than the previous record for the number of submissions. We feel lucky to have been able to build on the solid foundation provided by the increasingly successful previous LATINs. And we are very grateful for the tireless work of Pablo Mart ́ ?nez L ́ opez, the Local Arrangements Chair. Finally, we thank Springer-Verlag for publishing these proceedings in its LNCS series.
Categories: Computers

Fundamentals of Computation Theory

Fundamentals of Computation Theory

10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. ... E. Goles, P. V. Poblete (Eds.), LATIN '95: Theoretical Informatics.

Author: Horst Reichel

Publisher: Springer Science & Business Media

ISBN: 3540602496

Category: Computers

Page: 441

View: 364

This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.
Categories: Computers

Mathematical Foundations of Computer Science 1995

Mathematical Foundations of Computer Science 1995

LATIN '95: Theoretical Informatics. Proceedings. 1995. IX, 525 pages. 1995. Vol. 912: N. Lavrac, S. Wrobel (Eds.), Machine Learning: ECML- 95.

Author: International Symposium on Mathematical Foundations of Computer Science (20 : 1995 : Praha)

Publisher: Springer Science & Business Media

ISBN: 3540602461

Category: Computers

Page: 588

View: 423

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.
Categories: Computers

Computer Science Logic

Computer Science Logic

1995. Vol. 904: P. Vitanyi (Ed.), Computational Learning Theory. EuroCOLT'95. ... E. Goles, P. V. Poblete (Eds.), LATIN '95: Theoretical Informatics.

Author: Leszek Pacholski

Publisher: Springer Science & Business Media

ISBN: 3540600175

Category: Computers

Page: 553

View: 992

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Categories: Computers

Theory and Practice in Distributed Systems

Theory and Practice in Distributed Systems

Proceedings, 1995. XI, 315 pages. 1995. Vol. 91 1 : R. Baeza- Yates, E. Goles, P. V. Poblete (Eds.), LATIN '95: Theoretical Informatics. Proceedings, 1995.

Author: Kenneth P. Birman

Publisher: Springer Science & Business Media

ISBN: 3540600426

Category: Computers

Page: 261

View: 303

This book summarizes the current knowledge on a cascade of gene regulation levels which operate in the cytoplasm of eukaryotic cells and which has until recently been poorly understood. While transcriptional control of eukaryotic genes has been extensively researched and the understanding of this process has reached very sophisticated levels, post- transcriptional control has received much less attention. As the contributions in this book demonstrate, not only is post-transcriptional control in eukaryotes better understood, it is now thought to be a major player in gene expression control in a number of key processes, i.e. control of cell proliferation, gametogenesis and early development or cellular homeostasis.
Categories: Computers

LATIN 2020 Theoretical Informatics

LATIN 2020  Theoretical Informatics

In: Ngo, H.Q. (ed.) COCOON 2009. LNCS, vol. 5609, pp. 86–95. ... Proceeding of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018.

Author: Yoshiharu Kohayakawa

Publisher: Springer Nature

ISBN: 9783030617929

Category:

Page:

View: 785

Categories:

ZUM 95 The Z Formal Specification Notation

ZUM  95  The Z Formal Specification Notation

Proceedings International Conference of Z Users (9 : 1995 : Limerick), ... E. Goles, P. V. Poblete (Eds.), LATIN '95: Theoretical Informatics.

Author: International Conference of Z Users (9 : 1995 : Limerick)

Publisher: Springer Science & Business Media

ISBN: 3540602712

Category: Computers

Page: 569

View: 120

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
Categories: Computers

LATIN 2008 Theoretical Informatics

LATIN 2008  Theoretical Informatics

8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, ... American Economic Review, Papers and Proceedings 95, 364–367 (2005) 2.

Author: Eduardo Sany Laber

Publisher: Springer

ISBN: 9783540787730

Category: Computers

Page: 796

View: 369

This proceedings volume examines a range of topics in theoretical computer science, including automata theory, data compression, logic, machine learning, mathematical programming, parallel and distributed computing, quantum computing and random structures.
Categories: Computers

Number Theory

Number Theory

(preprint, 1995). — Recognizable sets of numbers in nonstandard bases. LATIN'95: Theoretical Informatics, Lecture Notes in Comput. Sci. 911 by Baeza-Yates, ...

Author: Kalman Gyoery

Publisher: Walter de Gruyter

ISBN: 9783110809794

Category: Mathematics

Page: 612

View: 374

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.
Categories: Mathematics