Author: Alejandro López-Ortiz
Publisher: Springer Science & Business Media
ISBN: 3642121993
Category : Computers
Languages : en
Pages : 726
Book Description
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.
LATIN 2010: Theoretical Informatics
Author: Alejandro López-Ortiz
Publisher: Springer Science & Business Media
ISBN: 3642121993
Category : Computers
Languages : en
Pages : 726
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642121993
Category : Computers
Languages : en
Pages : 726
Book Description
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.
LATIN 2012: Theoretical Informatics
Author: David Fernández-Baca
Publisher: Springer Science & Business Media
ISBN: 3642293433
Category : Computers
Languages : en
Pages : 685
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642293433
Category : Computers
Languages : en
Pages : 685
Book Description
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.
LATIN 2022: Theoretical Informatics
Author: Armando Castañeda
Publisher: Springer Nature
ISBN: 303120624X
Category : Computers
Languages : en
Pages : 782
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.
Publisher: Springer Nature
ISBN: 303120624X
Category : Computers
Languages : en
Pages : 782
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.
LATIN 2018: Theoretical Informatics
Author: Michael A. Bender
Publisher: Springer
ISBN: 3319774042
Category : Computers
Languages : en
Pages : 904
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.
Publisher: Springer
ISBN: 3319774042
Category : Computers
Languages : en
Pages : 904
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.
LATIN 2014: Theoretical Informatics
Author: Alberto Pardo
Publisher: Springer
ISBN: 3642544231
Category : Computers
Languages : en
Pages : 793
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.
Publisher: Springer
ISBN: 3642544231
Category : Computers
Languages : en
Pages : 793
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.
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
Author: Stavros Konstantinidis
Publisher: World Scientific
ISBN: 9813148217
Category : Computers
Languages : en
Pages : 312
Book Description
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.
Publisher: World Scientific
ISBN: 9813148217
Category : Computers
Languages : en
Pages : 312
Book Description
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.
Algorithms - ESA 2010
Author: Mark de Berg
Publisher: Springer Science & Business Media
ISBN: 3642157742
Category : Computers
Languages : en
Pages : 603
Book Description
This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.
Publisher: Springer Science & Business Media
ISBN: 3642157742
Category : Computers
Languages : en
Pages : 603
Book Description
This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.
Contest Theory
Author: Milan Vojnović
Publisher: Cambridge University Press
ISBN: 1316472906
Category : Computers
Languages : en
Pages : 737
Book Description
Contests are prevalent in many areas, including sports, rent seeking, patent races, innovation inducement, labor markets, scientific projects, crowdsourcing and other online services, and allocation of computer system resources. This book provides unified, comprehensive coverage of contest theory as developed in economics, computer science, and statistics, with a focus on online services applications, allowing professionals, researchers and students to learn about the underlying theoretical principles and to test them in practice. The book sets contest design in a game-theoretic framework that can be used to model a wide-range of problems and efficiency measures such as total and individual output and social welfare, and offers insight into how the structure of prizes relates to desired contest design objectives. Methods for rating the skills and ranking of players are presented, as are proportional allocation and similar allocation mechanisms, simultaneous contests, sharing utility of productive activities, sequential contests, and tournaments.
Publisher: Cambridge University Press
ISBN: 1316472906
Category : Computers
Languages : en
Pages : 737
Book Description
Contests are prevalent in many areas, including sports, rent seeking, patent races, innovation inducement, labor markets, scientific projects, crowdsourcing and other online services, and allocation of computer system resources. This book provides unified, comprehensive coverage of contest theory as developed in economics, computer science, and statistics, with a focus on online services applications, allowing professionals, researchers and students to learn about the underlying theoretical principles and to test them in practice. The book sets contest design in a game-theoretic framework that can be used to model a wide-range of problems and efficiency measures such as total and individual output and social welfare, and offers insight into how the structure of prizes relates to desired contest design objectives. Methods for rating the skills and ranking of players are presented, as are proportional allocation and similar allocation mechanisms, simultaneous contests, sharing utility of productive activities, sequential contests, and tournaments.
Language and Automata Theory and Applications
Author: Carlos Martin-Vide
Publisher: Springer Science & Business Media
ISBN: 3642130887
Category : Computers
Languages : en
Pages : 633
Book Description
This book constitutes the proceedings of the 4th International Conference, LATA 2010, held in May 2010 in Trier, Germany. The 47 full papers presented were carefully selected from 115 submissions and focus on topics such as algebraic language theory , algorithmic learning, bioinformatics, computational biology, pattern recognition, program verification, term rewriting and tree machines.
Publisher: Springer Science & Business Media
ISBN: 3642130887
Category : Computers
Languages : en
Pages : 633
Book Description
This book constitutes the proceedings of the 4th International Conference, LATA 2010, held in May 2010 in Trier, Germany. The 47 full papers presented were carefully selected from 115 submissions and focus on topics such as algebraic language theory , algorithmic learning, bioinformatics, computational biology, pattern recognition, program verification, term rewriting and tree machines.
Models, Algorithms, and Technologies for Network Analysis
Author: Boris I. Goldengorin
Publisher: Springer Science & Business Media
ISBN: 1461485886
Category : Mathematics
Languages : en
Pages : 223
Book Description
This volume contains two types of papers—a selection of contributions from the “Second International Conference in Network Analysis” held in Nizhny Novgorod on May 7–9, 2012, and papers submitted to an "open call for papers" reflecting the activities of LATNA at the Higher School for Economics. This volume contains many new results in modeling and powerful algorithmic solutions applied to problems in • vehicle routing • single machine scheduling • modern financial markets • cell formation in group technology • brain activities of left- and right-handers • speeding up algorithms for the maximum clique problem • analysis and applications of different measures in clustering The broad range of applications that can be described and analyzed by means of a network brings together researchers, practitioners, and other scientific communities from numerous fields such as Operations Research, Computer Science, Transportation, Energy, Social Sciences, and more. The contributions not only come from different fields, but also cover a broad range of topics relevant to the theory and practice of network analysis. Researchers, students, and engineers from various disciplines will benefit from the state-of-the-art in models, algorithms, technologies, and techniques presented.
Publisher: Springer Science & Business Media
ISBN: 1461485886
Category : Mathematics
Languages : en
Pages : 223
Book Description
This volume contains two types of papers—a selection of contributions from the “Second International Conference in Network Analysis” held in Nizhny Novgorod on May 7–9, 2012, and papers submitted to an "open call for papers" reflecting the activities of LATNA at the Higher School for Economics. This volume contains many new results in modeling and powerful algorithmic solutions applied to problems in • vehicle routing • single machine scheduling • modern financial markets • cell formation in group technology • brain activities of left- and right-handers • speeding up algorithms for the maximum clique problem • analysis and applications of different measures in clustering The broad range of applications that can be described and analyzed by means of a network brings together researchers, practitioners, and other scientific communities from numerous fields such as Operations Research, Computer Science, Transportation, Energy, Social Sciences, and more. The contributions not only come from different fields, but also cover a broad range of topics relevant to the theory and practice of network analysis. Researchers, students, and engineers from various disciplines will benefit from the state-of-the-art in models, algorithms, technologies, and techniques presented.