Search results for “[Subject: programming-algorithms]”

• Author(s): Arnaud Liefooghe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 18th European Conference on Evolutionary Computation in Combinatorial Optimiz...

• Author(s): W. F. Symth • Publisher: Springer • Publisher Imprint: Springer • BISAC: Environmental - GeneralFrom the Back CoverThis book constitutes the thoroughly referred post-workshop proceedings of the 23rd International Workshop on Combinat...

• Author(s): Verónica Dahl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portug...

• Author(s): Henning Fernau | Binhai Zhu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 36th International Workshop on Combinatorial Algorithms, IWOCA 2025, held ...

• Author(s): Franz Rothlauf • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverIn the field of genetic and evolutionary algorithms (GEAs), a large amount of theory and empirical study ...

• Author(s): Vincenzo Manca • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThe book is a gentle introduction to Python using arithmetic, and vice versa, with a historical perspective encompassing pro...

• Author(s): Leszek Rutkowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. Thos...

• Author(s): Arnab Bhattacharyya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book introduces important results and techniques in property testing, where the goal is to design algorithms that decide wh...

• Author(s): Robert Ghanea-Hercock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book is intended for students, researchers, and professionals interested in evolutionary algorithms at graduate and postg...

• Author(s): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms...

• Author(s): Daniel Kroening • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverA decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focu...

• Author(s): T. Lickteig • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThe algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive no...

• Author(s): Arturo Gonzalez-Escribano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceMany applications in different domains need to calculate the shortest-path between two points in a graph. In this paper we describ...

• Author(s): Hasmat Malik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book addresses the principles and applications of metaheuristic approaches in engineering and related fields. The ...

• Author(s): Lee Spector • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralOnce realized, the potential of large-scale quantum computers promises to radically transform computer science. Despite large-sca...

• Author(s): Daniel Bienstock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingPotential Function Methods For Approximately Solving Linear Programming Problems breaks new ground in linear programming ...

• Author(s): Jens Knoop • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersStarting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and esse...

• Author(s): Ting Hu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo*2020...

• Author(s): Vijay V. Vazirani • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back Cover This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization an...

• Author(s): Olli Mali • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe importance of accuracy verification methods was understood at the very beginning of the development of numerical an...

• Author(s): Xin-She Yang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverNature-inspired algorithms such as cuckoo search and firefly algorithm have become...

• Author(s): Yunqing Rao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book investigates in detail the two-dimensional packing and cutting problems in the field of operations research an...

• Author(s): Hung T. Nguyen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume is intended to be used as a textbook for a special topic course in computer science. It addresses contemporary research topics of...

• Author(s): Olli Mali • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe importance of accuracy verification methods was understood at the very beginning of the development of numerical an...

• Author(s): Christian Blum • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverOptimization problems are of great importance in many fields. They can be tackled, for example, by approx...

• Author(s): Xiaoming Sun • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held ...

• Author(s): J. K. Mandal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited volume on computational intelligence algorithms-based applications includes work presented at t...

• Author(s): Jaime Moreno • Publisher: Springer • Publisher Imprint: Springer • BISAC: MatricesMatrix Computations on Systolic-Type Arrays provides a framework which permits a good understanding of the features and limitations of processor arrays...

• Author(s): Setareh Rafatirad • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis textbook introduces readers to the theoretical aspects of machine learning (ML) algorithms, starting from simple neur...

• Author(s): Sathish Govindarajan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book collects the refereed proceedings of the Second International Conference on Algorithms and Discrete Applied Mathematics,...

• Author(s): T. Bönniger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations Research

• Author(s): Herbert Edelsbrunner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsComputational geometry as an area of research in its own right emerged in the early seventies...

• Author(s): Daniel Ashlock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GamesAutomatic content generation is the production of content for games, web pages, or other purposes by procedural means. Search-based automa...

• Author(s): Shu-Heng Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Finance - GeneralAfter a decade of development, genetic algorithms and genetic programming have become a widely accepted toolkit for computational finance. Ge...

• Author(s): Yossi Azar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, Switzerland, in the...

• Author(s): Shiyi Shen • Publisher: Springer • Publisher Imprint: Springer • BISAC: BioinformaticsFrom the Back CoverThis monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to deal w...