Mathematical theory of computation

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

This book addresses the topic of playable cities, which use the 'smartness' of digital cities to offer their citizens playful events and activities.

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia.

This book presents special systems derived from industrial models, including the complex saturation nonlinear functions and the delay nonlinear functions.

This uniquely accessible book helps readers use CABology to solve real-world business problems and drive real competitive advantage.

This book provides practical applications of doubly classified models by using R syntax to generate the models.

This book provides the mathematical fundamentals of linear algebra to practicers in computer vision, machine learning, robotics, applied mathematics, and electrical engineering.

Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni argomenti indispensabili per l'attività di ricerca, come le tecniche di simulazione Monte Carlo, i metodi di inferenza statistica, di best fit e di analisi dei dati di laboratorio.

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 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.

Numerical Methods for Engineering and Data Science guides students in implementing numerical methods in engineering and in assessing their limitations and accuracy, particularly using algorithms from the field of machine learning.

This book addresses the basics of interval/fuzzy set theory, artificial neural networks (ANN) and computational methods.

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

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

A word is said to be primitive if it cannot be represented as any power of another word.

The book presents theory and algorithms for secure networked inference in the presence of Byzantines.

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

This book brings together the latest findings on efficient solutions of multi/many-objective optimization problems from the leading researchers in the field.

This book sheds new light on Transform methods, which dominate the study of linear time-invariant systems in all areas of science and engineering, such as circuit theory, signal/image processing, communications, controls, vibration analysis, remote sensing, biomedical systems, optics and acoustics.

The book is about user interfaces to applications that have been designed for social and physical interaction.

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 First International Conference on Machine Intelligence and Smart Systems 2020 (MISS 2020), organized during September 24-25, 2020, in Gwalior, India.

This book presents cutting-edge developments in the advanced mathematical theories utilized in computer graphics research - fluid simulation, realistic image synthesis, and texture, visualization and digital fabrication.

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 covers applications of machine learning in artificial intelligence.

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 presents essential concepts of traditional Flower Pollination Algorithm (FPA) and its recent variants and also its application to find optimal solution for a variety of real-world engineering and medical problems.

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view.

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

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

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

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

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 all the major nature-inspired algorithms with a focus on their application in the context of solving navigation and routing problems.

This book addresses single-valued neutrosophic graphs and their applications.

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.

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 volume looks at applications of quantum mechanical (QM) methods in drug discovery.

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

This book focuses on improving the performance (convergence rate, communication efficiency, computational efficiency, etc.

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022.

Immunoinformatics: Predicting Immunogenicity In Silico is a primer for researchers interested in this emerging and exciting technology and provides examples in the major areas within the field of immunoinformatics.

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

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.

Students studying different branches of computer graphics need to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces.

Students studying different branches of computer graphics need to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces.

This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic disks.

A practical guide for data scientists who want to improve the performance of any machine learning solution with feature engineering.