Kategoria BISAC: Computers >> Programming - Algorithms

This book is the first comprehensive tutorial on matheuristics. Matheuristics are based on mathematical extensions of previously known heuristics, mainly metaheuristics, and on original, area-specific approaches. This tutorial provides a detailed discussion of both contributions, presenting the pseudocodes of over 40 algorithms, abundant literature references, and for each case a step-by-step description of a sample run on a common Generalized Assignment Problem example. C++ source codes of all algorithms are available in an associated SW repository.

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.
The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections:
Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and...

This introductory book on quantum computing includes an emphasis on the development of algorithms.  Appropriate for both university students as well as software developers interested in programming a quantum computer, this practical approach to modern quantum computing takes the reader through the required background and up to the latest developments.

Beginning with introductory chapters on the required math and quantum mechanics, Fundamentals of Quantum Computing proceeds to describe four leading qubit modalities and explains the core principles of...

This book constitutes the refereed proceedings of the 19th International Semantic Web Conference, ESWC 2022, held in Hersonissos, Crete, Greece in May/June 2022.

The 28 full papers presented were carefully reviewed and selected from 119 submissions. The papers are covering subjects related to semantic technologies, ranging from deep learning and knowledge graphs to integration for software development and ontologies.

The quality of the accepted papers put the maturity level reached by the Semantic Web technologies into perspective. They provide evidence of...

This book has a two-fold purpose:

(1) An introduction to the computer-based modeling of influenza, a continuing major worldwide communicable disease.

(2) The use of (1) as an illustration of a methodology for the computer-based modeling of communicable diseases.

For the purposes of (1) and (2), a basic influenza model is formulated as a system of partial differential equations (PDEs) that define the spatiotemporal evolution of four populations: susceptibles, untreated and treated infecteds, and recovereds. The requirements of a well-posed PDE model are...