Mathematical theory of computation

This book gives a comprehensive introduction to computer algebra together with advanced topics in this field.

This book presents a self-consistent review of quantum computation with topological quantum codes.

This book covers the latest advances in playful user interfaces - interfaces that invite social and physical interaction.

How did the Commodore 64 conquer the hearts of millions and become a platform people still actively develop for even today?

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 is dedicated for engineers and researchers who would like to increase the knowledge in area of mobile mapping systems.

The book presents a comprehensive treatment on a novel design theory that fosters innovative thinking and creativity essential for addressing wicked problems.

This book aims to systematically review and design different intelligent control algorithms for the small-signal stability assessment of HPS.

Machine learning heavily relies on optimization algorithms to solve its learning models.

This book is a collection of peer-reviewed best selected research papers presented at the Second International Conference on Machine Intelligence and Smart Systems (MISS 2021), organized during September 24-25, 2021, in Gwalior, India.

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one.

This book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time - that is, time is independent of the input size.

Machine learning (ML) has become a commonplace element in our everyday lives and a standard tool for many fields of science and engineering.

This book A Guide to Graph Algorithms offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics.

Deep Learning models are at the core of artificial intelligence research today.

This book offers a new Modular Petri Net as a solution to the vast Petri net models.

This textbook is intended as a textbook for one-semester, introductory computer science courses aimed at undergraduate students from all disciplines.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data.

Today, big data affects countless aspects of our daily lives.

This book highlights the practical aspects of computer modelling and simulation of complex dynamical systems for students.

The world is changing at a fast pace, so is the Government and Governance style.

This book discusses different types of distance functions defined in an n-D integral space for their usefulness in approximating the Euclidean metric.

This book focuses on lattice-based cryptosystems, widely considered to be one of the most promising post-quantum cryptosystems and provides fundamental insights into how to construct provably secure cryptosystems from hard lattice problems.

With the diversification of Internet services and the increase in mobile users, efficient management of network resources has become an extremely important issue in the field of wireless communication networks (WCNs).

This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, complex numbers, gauge integration, the Fourier transformation and its discrete counterpart, matrices and their transformation, inner product spaces, and function matrices.

Since the 1980s, mobile communication has undergone major transitions from 1G to 4G, at a rate of roughly one generation per decade.

This book is the first general and extensive review on the algorithmics and mathematical results of beyond planar graphs.

This book provides readers with a guide to both ordinal analysis, and to proof theory.

This is the first textbook that allows readers who may be unfamiliar with matrices to understand a variety of multivariate analysis procedures in matrix forms.

This book covers applications of machine learning in artificial intelligence.

This book features selected papers presented at the 2nd International Conference on Advanced Computing Technologies and Applications, held at SVKM's Dwarkadas J.

This book focuses on the multidisciplinary state-of-the-art of full-duplex wireless communications and applications.

This book on optimization includes forewords by Michael I.

Matrix algebra plays an important role in many core artificial intelligence (AI) areas, including machine learning, neural networks, support vector machines (SVMs) and evolutionary computation.

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018.

This book presents reinforcement learning (RL) based solutions for user-centric online network selection optimization.

The book consists of high-quality papers presented at the International Conference on Computational Science and Applications (ICCSA 2019), held at Maharashtra Institute of Technology World Peace University, Pune, India, from 7 to 9 August 2019.

This book discusses the latest channel coding techniques, MIMO systems, and 5G channel coding evolution.

This book discusses all the major nature-inspired algorithms with a focus on their application in the context of solving navigation and routing problems.

This book brings together the best contributions of the Applied Statistics and Policy Analysis Conference 2019.

Machine Learning, a vital and core area of artificial intelligence (AI), is propelling the AI field ever further and making it one of the most compelling areas of computer science research.

This book explores the ways in which the broad range of technologies that make up the smart city infrastructure can be harnessed to incorporate more playfulness into the day-to-day activities that take place within smart cities, making them not only more efficient but also more enjoyable for the people who live and work within their confines.

This book presents examples of and the latest simulation studies on artificial societies and populations, highlighting innovative implementations of various models of artificial societies and populations using a new, C++-related simulation tool.

This book presents a cutting-edge research procedure in the Nature-Inspired Computing (NIC) domain and its connections with computational intelligence areas in real-world engineering applications.

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively.

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively.

This book is a product of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) to be held in Langkawi in November 2017.

This book systematically classifies the mathematical formalisms of computational models that are required for solving problems in mathematics, engineering and various other disciplines.

High-temperature superconducting (HTS) materials are becoming more and more attractive in the context of designing RF/microwave filters because of their lower losses and excellent performance.

This book introduces readers to a reconfigurable chip architecture for future wireless communication systems, such as 5G and beyond.