Author: Alberto Pardo
Publisher: Springer
ISBN: 3642544231
Category : Computers
Languages : en
Pages : 793
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 11th Latin American Symposium on Theoretical Informatics, LATIN 2014, held in Montevideo, Uruguay, in March/April 2014. The 65 papers presented together with 5 abstracts were carefully reviewed and selected from 192 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on complexity, computational geometry, graph drawing, automata, computability, algorithms on graphs, algorithms, random structures, complexity on graphs, analytic combinatorics, analytic and enumerative combinatorics, approximation algorithms, analysis of algorithms, computational algebra, applications to bioinformatics, budget problems and algorithms and data structures.
Author: Yoshiharu Kohayakawa
Publisher: Springer Nature
ISBN: 3030617920
Category : Computers
Languages : en
Pages : 653
Get Book Here
Book Description
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
Publisher: Springer Nature
ISBN: 303120624X
Category : Computers
Languages : en
Pages : 782
Get Book Here
Book Description
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
ISBN: 3031555988
Category :
Languages : en
Pages : 363
Get Book Here
Book Description
Author: Evangelos Kranakis
Publisher: Springer
ISBN: 3662495295
Category : Computers
Languages : en
Pages : 736
Get Book Here
Book Description
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: Michael A. Bender
Publisher: Springer
ISBN: 3319774042
Category : Computers
Languages : en
Pages : 904
Get Book Here
Book Description
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: Benjamin Steinberg
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110984520
Category : Mathematics
Languages : en
Pages : 589
Get Book Here
Book Description
This reference discusses how automata and language theory can be used to understand solutions to solving equations in groups and word problems in groups. Examples presented include, how Fine scale complexity theory has entered group theory via these connections and how cellular automata, has been generalized into a group theoretic setting. Chapters written by experts in group theory and computer science explain these connections.
Author: Inge Li Gørtz
Publisher: Springer
ISBN: 3319084046
Category : Computers
Languages : en
Pages : 409
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014, held in Copenhagen, Denmark, in July 2014. The 33 papers were carefully reviewed and selected from a total of 134 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures including but not limited to approximation algorithms, parameterized algorithms, computational biology, computational geometry and topology, distributed algorithms, external-memory algorithms, exponential algorithms, graph algorithms, online algorithms, optimization algorithms, randomized algorithms, streaming algorithms, string algorithms, sublinear algorithms and algorithmic game theory.
Author: Gonzalo Navarro
Publisher: Cambridge University Press
ISBN: 1316791009
Category : Computers
Languages : en
Pages : 575
Get Book Here
Book Description
Compact data structures help represent data in reduced space while allowing it to be queried, navigated, and operated in compressed form. They are essential tools for efficiently handling massive amounts of data by exploiting the memory hierarchy. They also reduce the resources needed in distributed deployments and make better use of the limited memory in low-end devices. The field has developed rapidly, reaching a level of maturity that allows practitioners and researchers in application areas to benefit from the use of compact data structures. This first comprehensive book on the topic focuses on the structures that are most relevant for practical use. Readers will learn how the structures work, how to choose the right ones for their application scenario, and how to implement them. Researchers and students in the area will find in the book a definitive guide to the state of the art in compact data structures.
Author: Elisabeth Lübbecke
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832541152
Category : Traffic flow
Languages : en
Pages : 148
Get Book Here
Book Description
This book provides theoretical and practical insights related to bidirectional traffic on a stretch containing bottleneck segments. On a bottleneck segment concurrent traveling of vehicles in opposite direction is not possible. The book is motivated by and considers in particular the ship traffic at the Kiel Canal. It connects the North and Baltic Seas and is operated in both directions. In addition, considerations are included that account for the fact that ships register their requests only shortly before their arrival such that scheduling decisions must be adapted online.
