Latin 2014 Theoretical Informatics

Author : Alberto Pardo,Alfredo Viola
Publisher : Springer
Page : 793 pages
File Size : 52,9 Mb
Release : 2014-03-24
Category : Computers
ISBN : 9783642544231

Get Book

LATIN 2014: Theoretical Informatics by Alberto Pardo,Alfredo Viola Pdf

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 : Evangelos Kranakis,Gonzalo Navarro,Edgar Chávez
Publisher : Springer
Page : 714 pages
File Size : 52,8 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 : Yoshiharu Kohayakawa,Flávio Keidi Miyazawa
Publisher : Springer Nature
Page : 653 pages
File Size : 54,8 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 : Michael A. Bender,Martín Farach-Colton,Miguel A. Mosteiro
Publisher : Springer
Page : 904 pages
File Size : 49,5 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 : Armando Castañeda,Francisco Rodríguez-Henríquez
Publisher : Springer Nature
Page : 782 pages
File Size : 52,7 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 : 363 pages
File Size : 54,7 Mb
Release : 2024-06-26
Category : Electronic
ISBN : 9783031555985

Get Book

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

Author : Imre Bárány,Gyula O. H. Katona,Attila Sali
Publisher : Springer Nature
Page : 616 pages
File Size : 45,6 Mb
Release : 2020-02-04
Category : Mathematics
ISBN : 9783662592045

Get Book

Building Bridges II by Imre Bárány,Gyula O. H. Katona,Attila Sali Pdf

This volume collects together research and survey papers written by invited speakers of the conference celebrating the 70th birthday of László Lovász. The topics covered include classical subjects such as extremal graph theory, coding theory, design theory, applications of linear algebra and combinatorial optimization, as well as recent trends such as extensions of graph limits, online or statistical versions of classical combinatorial problems, and new methods of derandomization. László Lovász is one of the pioneers in the interplay between discrete and continuous mathematics, and is a master at establishing unexpected connections, “building bridges” between seemingly distant fields. His invariably elegant and powerful ideas have produced new subfields in many areas, and his outstanding scientific work has defined and shaped many research directions in the last 50 years. The 14 contributions presented in this volume, all of which are connected to László Lovász's areas of research, offer an excellent overview of the state of the art of combinatorics and related topics and will be of interest to experienced specialists as well as young researchers.

Author : Delaram Kahrobaei,Bren Cavallo,David Garber
Publisher : American Mathematical Soc.
Page : 229 pages
File Size : 53,8 Mb
Release : 2016-11-28
Category : Algebra
ISBN : 9781470423032

Get Book

Algebra and Computer Science by Delaram Kahrobaei,Bren Cavallo,David Garber Pdf

This volume contains the proceedings of three special sessions: Algebra and Computer Science, held during the Joint AMS-EMS-SPM meeting in Porto, Portugal, June 10–13, 2015; Groups, Algorithms, and Cryptography, held during the Joint Mathematics Meeting in San Antonio, TX, January 10–13, 2015; and Applications of Algebra to Cryptography, held during the Joint AMS-Israel Mathematical Union meeting in Tel-Aviv, Israel, June 16–19, 2014. Papers contained in this volume address a wide range of topics, from theoretical aspects of algebra, namely group theory, universal algebra and related areas, to applications in several different areas of computer science. From the computational side, the book aims to reflect the rapidly emerging area of algorithmic problems in algebra, their computational complexity and applications, including information security, constraint satisfaction problems, and decision theory. The book gives special attention to recent advances in quantum computing that highlight the need for a variety of new intractability assumptions and have resulted in a new area called group-based cryptography.

Author : Cristina Bazgan,Henning Fernau
Publisher : Springer Nature
Page : 538 pages
File Size : 44,9 Mb
Release : 2022-05-29
Category : Computers
ISBN : 9783031066788

Get Book

Combinatorial Algorithms by Cristina Bazgan,Henning Fernau Pdf

This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA 2022, which took place as a hybrid event in Trier, Germany, during June 7-9, 2022.The 35 papers presented in these proceedings were carefully reviewed and selected from 86 submissions. They deal with diverse topics related to combinatorial algorithms, such as algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawing and graph labelling; network theory and temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic andrandomized algorithms; and streaming algorithms.

Author : Derek F. Holt,Sarah Rees,Claas E. Röver
Publisher : Cambridge University Press
Page : 307 pages
File Size : 48,9 Mb
Release : 2017-02-23
Category : Mathematics
ISBN : 9781107152359

Get Book

Groups, Languages and Automata by Derek F. Holt,Sarah Rees,Claas E. Röver Pdf

A reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.

Author : Imre Simon
Publisher : Springer Science & Business Media
Page : 564 pages
File Size : 46,5 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 : Marc Fischlin,Jean-Sébastien Coron
Publisher : Springer
Page : 853 pages
File Size : 53,8 Mb
Release : 2016-04-27
Category : Computers
ISBN : 9783662498903

Get Book

Advances in Cryptology – EUROCRYPT 2016 by Marc Fischlin,Jean-Sébastien Coron Pdf

The two-volume proceedings LNCS 9665 + LNCS 9666 constitutes the thoroughly refereed proceedings of the 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2016, held in Vienna, Austria, in May 2016. The 62 full papers included in these volumes were carefully reviewed and selected from 274 submissions. The papers are organized in topical sections named: (pseudo)randomness; LPN/LWE; cryptanalysis; masking; fully homomorphic encryption; number theory; hash functions; multilinear maps; message authentification codes; attacks on SSL/TLS; real-world protocols; robust designs; lattice reduction; latticed-based schemes; zero-knowledge; pseudorandom functions; multi-party computation; separations; protocols; round complexity; commitments; lattices; leakage; in differentiability; obfuscation; and automated analysis, functional encryption, and non-malleable codes.

Author : Martin Farach-Colton
Publisher : Springer Science & Business Media
Page : 642 pages
File Size : 44,6 Mb
Release : 2004-03-19
Category : Computers
ISBN : 9783540212584

Get Book

LATIN 2004: Theoretical Informatics by Martin Farach-Colton Pdf

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.

Author : David Gerber,Evangelos Pantazis,Biayna Bogosian,Alicia Nahmad,Constantinos Miltiadis
Publisher : Springer Nature
Page : 567 pages
File Size : 53,9 Mb
Release : 2022-03-24
Category : Computers
ISBN : 9789811912801

Get Book

Computer-Aided Architectural Design. Design Imperatives: The Future is Now by David Gerber,Evangelos Pantazis,Biayna Bogosian,Alicia Nahmad,Constantinos Miltiadis Pdf

This book constitutes selected papers of the 19th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2021, held in Los Angeles, CA, USA, in July 2021. The 33 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on ​past futures and present futures: research and pedagogy; past futures and present futures: aesthetics and ethics of space; architectural automations and augmentations: design; architectural automations and augmentations: fabrication; architectural automations and augmentations: environment; architectural automations and augmentations: spatial computing.

Author : Alejandro López-Ortiz
Publisher : Springer Science & Business Media
Page : 726 pages
File Size : 46,5 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.