Search

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 28–30, 2023.The 14 full papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Chess and its Variants, Solving Games, Board Games, Card Games, Player Investigation, Math, Games, and Puzzles.

This book constitutes the post-conference proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra, ICACGA 2022, held in Denver, CO, USA, during October 2-5, 2022. The 18 full papers presented in this book together with 12 abstracts of invited talks were carefully reviewed and selected from 24 submissions. The papers are grouped in the following topical sections: geometric applications; computer science applications; technological applications; and applications to physics and mathematics.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks.Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks. Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

Uncover the secrets of cutting-edge research in “Infrared Small Target Detection,” a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms. This comprehensive book is an indispensable gem for the research community, offering a profound introduction to the theory, methods, and algorithms underlying infrared small object detection. As an invaluable guide, this book explores diverse models and categories of infrared small object detection algorithms, providing meticulous descriptions and comparisons of their strengths and limitations. Perfectly tailored for researchers, practitioners, and students with a passion for infrared imaging and detection, this book equips readers with the necessary knowledge to embark on groundbreaking investigations in this field.Readers can particularly be drawn to the book's methods, results, and topics, encompassing diverse categories of infrared small object detection algorithms and their corresponding advantages and disadvantages. The book also imparts foundational knowledge in mathematical morphology, tensor decomposition, and deep learning, enabling readers to grasp the underlying principles of these advanced algorithms. Experience the key benefits of “Infrared Small Target Detection” as readers gain a profound understanding of theory, methods, and algorithms tailored to infrared small object detection. The comprehensive descriptions and comparisons of various algorithm categories empower readers to select the perfect algorithms for their specific applications. Unlock the potential of this groundbreaking resource with a basic understanding of mathematics, statistics, and image processing. Some familiarity with infrared imaging and detection proves advantageous in fully immersing oneself in the wealth of knowledge presented within these pages.

This book offers an introduction to quantum technology that is specifically tailored to economists, students of economics, and professionals in the financial and payments industries. The book reviews quantum speedups that have been identified for algorithms used to solve and estimate economic models, including function approximation, linear systems analysis, graphical modeling, Monte Carlo simulation, matrix inversion, principal component analysis, linear regression, dynamic programming, interpolation, numerical differentiation, and true random number generation. It also provides an overview of quantum financial technology and its potential applications in economics and finance. Written by an interdisciplinary team with backgrounds in economics, computer science, and physics, this book offers a valuable guide for researchers and practitioners who want to understand the implications and possibilities of quantum technology for the field of economics.

This open access book presents the mathematical methods for huge data and network analysis.The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a Service (MaaS). Needless to say, mathematics and informatics are important to support such innovations. As the concept of cars and movement itself is diversifying, they are indispensable for grasping the essence of the future mobility society and building the foundation for the next generation. Based on this idea, Research unit named'Advanced Mathematical Science for Mobility Society'was established at Kyoto University as a base for envisioning a future mobility society in collaboration with researchers led by Toyota Motor Corporation and Kyoto University.This book contains three main contents.1. Mathematical models of flow2. Mathematical methodsfor huge data and network analysis3. Algorithm for mobility societyThe first one discusses mathematical models of pedestrian and traffic flow, as they are important for preventing accidents and achieving efficient transportation. The authors mainly focus on global dynamics caused by the interaction of particles. The authors discuss many-body particle systems in terms of geometry and box-ball systems. The second one consists of four chapters and deals with mathematical technologies for handling huge data related to mobility from the viewpoints of machine learning, numerical analysis, and statistical physics, which also includes blockchain techniques. Finally, the authors discuss algorithmic issues on mobility society. By making use of car-sharing service as an example of mobility systems, the authors consider how to construct and analyze algorithms for mobility system from viewpoints of control, optimization, and AI.