Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Data structures (Computer science). --- Computers. --- Algorithms. --- Computer science --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Computation by Abstract Devices. --- Data Structures. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Mathematics. --- Mathematics --- Foundations --- Computer software. --- Computational complexity. --- Data structures (Computer scienc. --- Complexity, Computational --- Software, Computer --- Data structures (Computer science) --- Computer science—Mathematics. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Theory of Computation. --- Data Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 25th International Symposium on String Processing and Information Retrieval, SPIRE 2018, held in Lima, Peru, in October 2018. The 22 full papers and 6 short papers presented were carefully reviewed and selected from 51 submissions. They focus on fundamental studies on string processing and information retrieval, as well as on computational biology.

Information storage and retrieva. --- Computer science. --- Artificial intelligence. --- Computer vision. --- Information Storage and Retrieval. --- Arithmetic and Logic Structures. --- Information Systems Applications (incl. Internet). --- Artificial Intelligence. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Data compression (Computer science) --- Compression of data (Computer science) --- Compression of files (Computer science) --- Compression of text (Computer science) --- File compression (Computer science) --- Text compression (Computer science) --- Coding theory --- Database management --- File organization (Computer science) --- Data compression (Telecommunication) --- Information storage and retrieval. --- Arithmetic and logic units, Computer. --- Application software. --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Optical equipment --- Circuits --- Computer arithmetic and logic units. --- Image processing—Digital techniques. --- Computer and Information Systems Applications. --- Data centers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org.

Robots --- RDF (Document markup language) --- Queuing theory --- Recursion theory --- RDF (Langage de balisage) --- Files d'attente, Théorie des --- Théorie de la récursivité --- Programming --- Programmation --- Computer science -- Congresses. --- Computer science --- Engineering & Applied Sciences --- Computer Science --- Computer networks --- Artificial intelligence --- Computer science. --- Computers. --- Computer Science. --- Theory of Computation. --- Computer Science, general. --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace