Mathematical theory of computation

The sequential quadratic hamiltonian (SQH) method is a novel numerical optimization procedure for solving optimal control problems governed by differential models.

The sequential quadratic hamiltonian (SQH) method is a novel numerical optimization procedure for solving optimal control problems governed by differential models.

Courses on linear algebra and numerical analysis need each other.

Courses on linear algebra and numerical analysis need each other.

Handbook of Price Impact Modeling provides practitioners and students with a mathematical framework grounded in academic references to apply price impact models to quantitative trading and portfolio management.

The 18th European Advanced Course on AI (ACAI) took place in Berlin on 11-15 October 2021, organized by the European project Humane-AI Net in collaboration with the European AI Association (EURAI).

This book tackles issues associated with inconsistency in pairwise comparisons from both theoretical and practical perspectives.

Transfer learning is one of the most important technologies in the era of artificial intelligence and deep learning.

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision.

This textbook highlights a concise introduction to quantum mechanics in a readable and serious manner.

Quantum Computation presents the mathematics of quantum computation.

Quantum Computation presents the mathematics of quantum computation.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

This book provides an introduction to information theory, focussing on Shannon's three foundational theorems of 1948-1949.

This book enables readers to understand, model, and predict complex dynamical systems using new methods with stochastic tools.

This textbook aims to point out the most important principles of data analysis from the mathematical point of view.

As the first book of a three-part series, this book is offered as a tribute to pioneers in vision, such as Bela Julesz, David Marr, King-Sun Fu, Ulf Grenander, and David Mumford.

Using metaheuristics to enhance machine learning techniques has become trendy and has achieved major successes in both supervised (classification and regression) and unsupervised (clustering and rule mining) problems.

This book provides a practical and comprehensive introduction to computational problem solving from the viewpoints of practitioners in both academic and industrial worlds.

This book constitutes the proceedings of the 21st International Conference on Smart Card Research and Advanced Applications, CARDIS 2022, which took place in November 2022.

In this third edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the second edition, and added chapters on systems of counting, area and volume.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software.

The two-volume set LNAI 13588 and 13589 constitutes the refereed post-conference proceedings of the 21st International Conference on Artificial Intelligence and Soft Computing, ICAISC 2022, held in Zakopane, Poland, during June 19-23, 2022.

This book presents the state-of-the-art in supercomputer simulation.

This book constitutes the refereed proceedings of the 12th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2022, held in Barnaul, Russia, during May 20-21, 2022.

This book constitutes the refereed proceedings of the 17th International Conference on Green, Pervasive, and Cloud Computing, GPC 2022, held in Chengdu, China, in December 2022.

The two-volume set LNAI 13588 and 13589 constitutes the refereed post-conference proceedings of the 21st International Conference on Artificial Intelligence and Soft Computing, ICAISC 2022, held in Zakopane, Poland, during June 19-23, 2022.

This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering, EPEW 2022, held in Santa Pola, Spain, in September 2022.

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023.

This textbook offers advanced content on computer vision (basic content can be found in its prerequisite textbook, "e;2D Computer Vision: Principles, Algorithms and Applications"e;), including the basic principles, typical methods and practical techniques.

This book gathers the peer-reviewed proceedings of the 15th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'20, held in Sofia, Bulgaria.

This textbook demonstrates the strong interconnections between linear algebra and group theory by presenting them simultaneously, a pedagogical strategy ideal for an interdisciplinary audience.

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August - September 2022.

This Festschrift celebrates Teddy Seidenfeld and his seminal contributions to philosophy, statistics, probability, game theory and related areas.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022.

This book constitutes the refereed proceedings of three workshops symposia, held at the 41st International Conference on Conceptual Modeling, ER 2022, as a virtual event, in October 2022.

This book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022.

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

The book is designed to serve as a textbook for advanced undergraduate and graduate students enrolled in physics and electronics and communication engineering and mathematics.

This book constitutes the refereed proceedings of the 201st International Workshop on Combinatorial Image Analysis, IWCIA 2022, held in Messina, Italy, in July 2022.

This book constitutes the proceedings of the International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2022), for the 16th International Conference on Frontier of Algorithmic Wisdom (FAW) and the third International Joint Conference on Theoretical Computer Science (IJTCS), held in Hong Kong, China, in August 15-19 2022.

The volume constitutes the proceedings of the 23rd International Conference on Cryptology, INDOCRYPT 2022, which was held during December 11-14, 2022.

This book organizes principles and methods of signal processing and machine learning into the framework of coherence.

This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, held in Novy Smokovec, Slovakia, during January 15-18, 2023.

Chapter(s) "e;Chapter Name or No.

This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2022, held in Montreal, QC, Canada, in August 2022.