Kategoria BISAC: Computers >> Programming - Algorithms

This comprehensive textbook presents a clean and coherent account of most fundamental tools and techniques in Parameterized Algorithms and is a self-contained guide to the area. The book covers many of the recent developments of the field, including application of important separators, branching based on linear programming, Cut & Count to obtain faster algorithms on tree decompositions, algorithms based on representative families of matroids, and use of the Strong Exponential Time Hypothesis. A number of older results are revisited and explained in a modern and didactic way.

The book...

This book constitutes revised selected papers from the 24th International Symposium on Graph Drawing and Network Visualization, GD 2016, held in Athens, Greece, in September 2016.
The 45 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: large graphs and clutter avoidance; clustered graphs; planar graphs, layered and tree drawings; visibility representations; beyond planarity; crossing minimization and crossing numbers; topological graph theory; special graph embeddings; dynamic graphs, contest...

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Swarm Intelligence Based Optimization, ICSIBO 2016, held in Mulhouse, France, in June 2016. The 9 full papers presented were carefully reviewed and selected from 20 submissions. They are centered around the following topics: theoretical advances of swarm intelligence metaheuristics; combinatorial discrete, binary, constrained, multi-objective, multi-modal, dynamic, noisy, and large scale optimization; artificial immune systems, particle swarms, ant colony, bacterial forging,...

"This is without question the best PhD thesis that I have read since the 1970s.
Its coverage is breathtaking." Robert Sedgewick

Quicksort is the fastest general-purpose sorting method in practice and a showcase for the paradigms of the mathematical analysis of algorithms: it can occasionally be very slow, but is almost always extremely fast, and its typical performance can be computed very accurately in
a mathematical model. It is a distinctive feature of computer science that such mathematical models describe many phenomena precisely because we know how our...

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling...

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017.
The 32 papers presented in this volume were carefully reviewed and selected from 103 submissions. They deal with the following areas: algorithms, graph theory, codes, polyhedral combinatorics, computational geometry, and discrete geometry.

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016.

The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.

"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas.

The essential guide to solving algorithmic and networking problems in commercial computer games, revised and extended

Algorithms and Networking for Computer Games, Second Edition is written from the perspective of the computer scientist. Combining algorithmic knowledge and game-related problems, it explores the most common problems encountered in game programing.

The first part of the book presents practical algorithms for solving "classical" topics, such as random numbers, procedural generation, tournaments, group formations and game trees. The authors also...

This book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017, held in Hsinchu, Taiwan, in March 2017.

The 35 full papers presented together with three invited talks were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on invited talks; computational geometry; combinatorial optimization; graph drawing; graph algorithms; space-efficient algorithms; computational complexity; approximation algorithms.

The 33 revised full papers presented together with 13 poster presentations were carefully reviewed and selected from 72 submissions. The EMO 2017 aims to discuss all aspects of EMO development and deployment, including theoretical foundations; constraint handling techniques; preference handling techniques; handling of continuous, combinatorial or mixed-integer problems; local search techniques; hybrid approaches;...