Mathematical theory of computation

This book constitutes the refereed proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, EKAW 2022, held in Bolzano, Italy, in September 2022.

The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing.

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.

This book constitutes the proceedings of the 27th International Conference on Conceptual Structures, ICCS 2022, held virtually in September 2022.

This book provides a comprehensive introduction to the foundations and frontiers of graph neural networks.

This book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Munster, Germany, in September 2022.

This book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022.

This book constitutes the refereed proceedings of the 10th International Symposium "e;From Data Models and Back"e;, DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.

This book discusses state-of-the-art stochastic optimization algorithms for distributed machine learning and analyzes their convergence speed.

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022.

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.

This book constitutes the refereed proceedings of the 4th International Conference on Computational and Corpus-Based Phraseology, Europhras 2022, held in Malaga, Spain, in September 2022.

This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9-10, 2022.

This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022.

This book explores music with respect to quantum computing, a nascent technology that is advancing rapidly.

This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-consuming, resource-producing (industrial) and resource-distributing (economical) sociotechnological systems (STS).

This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022.

This practical new book offers the distributed-computing fundamental knowledge for individuals to connect with one another in a more secure and efficient way than with traditional blockchains.

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.

This book, based on classroom-tested lecture notes, provides a self-contained one semester undergraduate course on quantum optics, accessible to students (and other readers) who have completed an introductory quantum mechanics course and are familiar with Dirac notation and the concept of entanglement.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.

This book constitutes the refereed proceedings of the 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, which took place in Geneva, Switzerland, in September 2022.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022.

This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.

This book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.

This book presents a comprehensive study covering the design and application of models and algorithms for assessing the joint device failures of telecommunication backbone networks caused by large-scale regional disasters.

This book constitutes the refereed proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2020, Virtual Event, November 2-4, 2020.

This book constitutes the refereed proceedings of the 9th International Conference on Machines, Computations, and Universality, MCU 2022, held in Debrecen, Hungary, in August/September 2022.

Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language.

This book addresses the urgent issue of massive and inefficient energy consumption by data centers, which have become the largest co-located computing systems in the world and process trillions of megabytes of data every second.

This book constitutes the refereed post-conference proceedings of the 17th International Conference on Advances in Computer Games, ACG 2021, which was held as a virtual event during November 23-25, 2021.

This book comprehensively introduces readers to Digital Twins, from the basic concepts, core technologies and technical architecture, to application scenarios and other aspects.

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems.

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022.

This book constitutes selected papers from the refereed proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, which was held online during February 4-6, 2021.

Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "e;computation"e; and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others?

This book constitutes the refereed conference proceedings of the 29th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2022, held in Paderborn, Germany, in June 2022.

Lattice rules are a powerful and popular form of quasi-Monte Carlo rules based on multidimensional integration lattices.

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.

This book constitutes the proceedings of the satellite events held at the 19th Extended Semantic Web Conference, ESWC 2022, during May-June in Hersonissos, Greece, 2022.

The three-volume sets constitute the refereed proceedings of the 15th International Conference on Knowledge Science, Engineering and Management, KSEM 2022, held in Singapore, during August 6-8, 2022.

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.

This book includes extended and revised versions of selected papers from the 9th and 10th edition of the International Conference on Operations Research and Enterprise Systems (ICORES 2020 and ICORES 2021).

Introductory courses in combinatorial optimization are popular at the upper undergraduate/graduate levels in computer science, industrial engineering, and business management/OR, owed to its wide applications in these fields.