Latin 2020 Theoretical Informatics

Author : Yoshiharu Kohayakawa,Flávio Keidi Miyazawa
Publisher : Springer Nature
Page : 653 pages
File Size : 46,5 Mb
Release : 2020-12-02
Category : Computers
ISBN : 9783030617929

Get Book

LATIN 2020: Theoretical Informatics by Yoshiharu Kohayakawa,Flávio Keidi Miyazawa Pdf

This book constitutes the refereed proceedings of the 14th Latin American Symposium on Theoretical Informatics, LATIN 2020, held in Sao Paulo, Brazil, in January 2021. The 50 full papers presented in this book were carefully reviewed and selected from 136 submissions. The papers are grouped into these topics: approximation algorithms; parameterized algorithms; algorithms and data structures; computational geometry; complexity theory; quantum computing; neural networks and biologically inspired computing; randomization; combinatorics; analytic and enumerative combinatorics; graph theory. Due to the Corona pandemic the event was postponed from May 2020 to January 2021.

Author : Armando Castañeda,Francisco Rodríguez-Henríquez
Publisher : Springer Nature
Page : 782 pages
File Size : 40,9 Mb
Release : 2022-10-28
Category : Computers
ISBN : 9783031206245

Get Book

LATIN 2022: Theoretical Informatics by Armando Castañeda,Francisco Rodríguez-Henríquez Pdf

This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical Informatics, LATIN 2022, which took place in Guanajuato, Mexico, in November 2022. The 46 papers presented in this volume were carefully reviewed and selected from 114 submissions. They were organized in topical sections as follows: Algorithms and Data Structures; Approximation Algorithms; Cryptography; Social Choice Theory; Theoretical Machine Learning; Automata Theory and Formal Languages; Combinatorics and Graph Theory; Complexity Theory; Computational Geometry. Chapter “Klee’s Measure Problem Made Oblivious” is available open access under a CC BY 4.0 license.

Author : José A. Soto
Publisher : Springer Nature
Page : 362 pages
File Size : 51,5 Mb
Release : 2024-06-26
Category : Electronic
ISBN : 9783031556012

Get Book

LATIN 2024: Theoretical Informatics by José A. Soto Pdf

Author : Tomáš Bureš,Riccardo Dondi,Johann Gamper,Giovanna Guerrini,Tomasz Jurdziński,Claus Pahl,Florian Sikora,Prudence W.H. Wong
Publisher : Springer Nature
Page : 628 pages
File Size : 44,8 Mb
Release : 2021-01-20
Category : Computers
ISBN : 9783030677312

Get Book

SOFSEM 2021: Theory and Practice of Computer Science by Tomáš Bureš,Riccardo Dondi,Johann Gamper,Giovanna Guerrini,Tomasz Jurdziński,Claus Pahl,Florian Sikora,Prudence W.H. Wong Pdf

This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Italy. The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.

Author : Michael A. Bender,Martín Farach-Colton,Miguel A. Mosteiro
Publisher : Springer
Page : 904 pages
File Size : 51,6 Mb
Release : 2018-04-05
Category : Computers
ISBN : 9783319774046

Get Book

LATIN 2018: Theoretical Informatics by Michael A. Bender,Martín Farach-Colton,Miguel A. Mosteiro Pdf

This book constitutes the proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018, held in Buenos Aires, Argentina, in April 2018. The 63 papers presented in this volume were carefully reviewed and selected from 161 submissions. The Symposium is devoted to different areas in theoretical computer science, including, but not limited to: algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, and random structures.

Author : José A. Soto
Publisher : Springer Nature
Page : 363 pages
File Size : 48,6 Mb
Release : 2024-06-26
Category : Electronic
ISBN : 9783031555985

Get Book

LATIN 2024: Theoretical Informatics by José A. Soto Pdf

Author : Imre Simon
Publisher : Springer Science & Business Media
Page : 564 pages
File Size : 49,6 Mb
Release : 1992-03-11
Category : Computers
ISBN : 3540552847

Get Book

LATIN '92 by Imre Simon Pdf

This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of computer science. The volume includesfull versions of the invited papers by 11 distinguished guest lecturers as well as 32 contributed papers selected from 66 submissions from authors with affiliations in 26 countries.

Author : Alejandro Lopez-Ortiz
Publisher : Unknown
Page : 730 pages
File Size : 52,5 Mb
Release : 2011-03-13
Category : Electronic
ISBN : 3642122019

Get Book

Latin 2010 by Alejandro Lopez-Ortiz Pdf

Author : Claudio L. Lucchesi,Arnaldo V. Moura
Publisher : Unknown
Page : 412 pages
File Size : 43,5 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 3662177889

Get Book

Latin'98 by Claudio L. Lucchesi,Arnaldo V. Moura Pdf

Author : Stasys Jukna
Publisher : Springer Nature
Page : 138 pages
File Size : 54,7 Mb
Release : 2023-12-08
Category : Mathematics
ISBN : 9783031423543

Get Book

Tropical Circuit Complexity by Stasys Jukna Pdf

This book presents an enticing introduction to tropical circuits and their use as a rigorous mathematical model for dynamic programming (DP), which is one of the most fundamental algorithmic paradigms for solving combinatorial, discrete optimization problems. In DP, an optimization problem is broken up into smaller subproblems that are solved recursively. Many classical DP algorithms are pure in that they only use the basic (min,+) or (max,+) operations in their recursion equations. In tropical circuits, these operations are used as gates. Thanks to the rigorous combinatorial nature of tropical circuits, elements from the Boolean and arithmetic circuit complexity can be used to obtain lower bounds for tropical circuits, which play a crucial role in understanding the limitations and capabilities of these computational models. This book aims to offer a toolbox for proving lower bounds on the size of tropical circuits. In this work, the reader will find lower-bound ideas and methods that have emerged in the last few years, with detailed proofs. Largely self-contained, this book is meant to be approachable by graduate students in mathematics and computer science with a special interest in circuit complexity.

Author : José R. Correa
Publisher : Springer Science & Business Media
Page : 828 pages
File Size : 49,8 Mb
Release : 2006-03-06
Category : Computers
ISBN : 9783540327554

Get Book

LATIN 2006: Theoretical Informatics by José R. Correa Pdf

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.

Author : Alejandro López-Ortiz
Publisher : Springer Science & Business Media
Page : 726 pages
File Size : 41,9 Mb
Release : 2010-04-09
Category : Computers
ISBN : 9783642121999

Get Book

LATIN 2010: Theoretical Informatics by Alejandro López-Ortiz Pdf

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.

Author : Ricardo Baeza-Yates,Eric Goles,Patricio V. Poblete
Publisher : Springer Science & Business Media
Page : 550 pages
File Size : 42,5 Mb
Release : 1995-03-20
Category : Computers
ISBN : 3540591753

Get Book

LATIN '95: Theoretical Informatics by Ricardo Baeza-Yates,Eric Goles,Patricio V. Poblete Pdf

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.

Author : Evangelos Kranakis,Gonzalo Navarro,Edgar Chávez
Publisher : Springer
Page : 714 pages
File Size : 48,9 Mb
Release : 2016-03-21
Category : Computers
ISBN : 9783662495292

Get Book

LATIN 2016: Theoretical Informatics by Evangelos Kranakis,Gonzalo Navarro,Edgar Chávez Pdf

This book constitutes the refereed proceedings of the 12th Latin American Symposium on Theoretical Informatics, LATIN 2016, held in Ensenada, Mexico, in April 2016. The 52 papers presented together with 5 abstracts were carefully reviewed and selected from 131 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, and random structures.

Author : Sergio Rajsbaum
Publisher : Unknown
Page : 652 pages
File Size : 44,9 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 366220987X

Get Book

Latin 2002 by Sergio Rajsbaum Pdf