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.
The topics treated in this handbook cover all areas of games and entertainment technologies, such as digital entertainment; technology, design/art, and sociology.
The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 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 discusses the two fundamental elements that underline the science and design of artificial intelligence (AI) systems: the learning and acquisition of knowledge from observational data, and the reasoning of that knowledge together with whatever information is available about the application at hand.
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.
This book presents a collection of selected papers presented at the 22nd FAI International Conference on Mathematical, Computational Intelligence and Engineering Approaches to Healthcare, Business and Tourism Analytics (FAI-ICMCIE 2020), held at American College, Madurai, India, from 20-22 December 2020.
Delve into the realm of statistical methodology for mediation analysis with a Bayesian perspective in high dimensional data through this comprehensive guide.
This book offers a structured algebraic and geometric approach to the classification and construction of quantum codes for topological quantum computation.
This book presents the best papers from the 3rd International Conference on Mathematical Research for Blockchain Economy (MARBLE) 2022, held in Vilamoura, Portugal.
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.
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.
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.
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 demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.
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.
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.
Not only is the quantity of life science data expanding, but new types of biological data continue to be introduced as a result of technological development and a growing understanding of biological systems.
This book constitutes the refereed proceedings of the 14th International Conference on Metaheuristics, MIC 2022, held in Syracuse, Italy, in July 2022.
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.
This book provides a practical and comprehensive introduction to computational problem solving from the viewpoints of practitioners in both academic and industrial worlds.
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 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 book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.
This book provides state-of-art statistical methodologies, practical considerations from regulators and sponsors, logistics, and real use cases for practitioners for the uptake of RWE/D.
This book provides state-of-art statistical methodologies, practical considerations from regulators and sponsors, logistics, and real use cases for practitioners for the uptake of RWE/D.
This book presents a selection of peer-reviewed contributions on the latest developments in time series analysis and forecasting, presented at the 7th International Conference on Time Series and Forecasting, ITISE 2021, held in Gran Canaria, Spain, July 19-21, 2021.
This textbook integrates scientific programming with the use of R and uses it both as a tool for applied problems and to aid in learning calculus ideas.
The Digital Twin book is about harnessing the power of technology, business practices, and the digital infrastructure to make revolutionary improvements for the benefit of society.
This textbook is a comprehensive introduction to computational mathematics and scientific computing suitable for undergraduate and postgraduate courses.
This textbook is a comprehensive introduction to computational mathematics and scientific computing suitable for undergraduate and postgraduate courses.
This book constitutes the refereed proceedings of the 24th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2023, held in Madison, WI, USA, during June 21-23, 2023.
This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science.
This book has two main objectives: * to provide a concise introduction to nonlinear optimization methods, which can be used as a textbook at a graduate or upper undergraduate level; * to collect and organize selected important topics on optimization algorithms, not easily found in textbooks, which can provide material for advanced courses or can serve as a reference text for self-study and research.
Quantum computing is not merely an incremental advancement in computing technology; it represents a fundamentally new paradigm, distinct from classical computing.
This book constitutes the refereed proceedings of the 24th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2023, held in Madison, WI, USA, during June 21-23, 2023.
This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science.
