Mathematical theory of computation

This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.

This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.

This book presents best selected research papers presented at the Thirteenth International Conference on Applied Mathematics and Mechanics in the Aerospace Industry (AMMAI 2020), held from September 6 to September 13, 2020, at the Alushta Health and Educational Center (The Republic of Crimea).

This book gathers the selected papers from the Second International Symposium on Simulation and Process Modelling (ISSPM 2020), which was held online on August 29-30, 2020, due to COVID-19 pandemic.

This book provides a comprehensive overview of signal filtering, including an introduction, definitions of the terms and algorithms for numerical calculation of the properties of the transfer function in frequency and time domains.

This book constitutes the refereed proceedings of the 23st International Symposium on VLSI Design and Test, VDAT 2019, held in Indore, India, in July 2019.

This book presents two practical physical attacks.

This book first introduces classic as well as recent computational models for just-noticeable-difference (JND) applications.

This book constitutes the refereed proceedings of the 20th Australasian Conference on Data Mining, AusDM 2022, held in Western Sydney, Australia, during December 12-15, 2022.

This book constitutes the refereed proceedings of the 7th China Conference on Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy, CCKS 2022,  in Qinhuangdao, China, August 24-27, 2022.

This book constitutes the refereed proceedings of the Third International Workshop on Human Brain and Artificial Intelligence, HBAI 2022, held in conjunction with IJCAI-ECAI 2022, Vienna, Austria, on July 23, 2022.

This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory of an aircraft in conditions of its limited resource.

This book provides essential information on Petri net theory and Petri net-based model checking methods.

The two-volume Proceedings set CCIS 1637 and 1638 constitutes the refereed proceedings of the Third International Conference on Neural Computing for Advanced Applications, NCAA 2022, held in Jinan, China, during July 8-10, 2022.

In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more.

This book is a concise primer of quantum technology aiming at providing a comprehensive material of fundamentals to help beginners understand the common concepts and background theories to technologies for individual quantum systems.

Network Function Virtualization (NFV) has recently attracted considerable attention from both research and industrial communities.

This book constitutes the refereed proceedings of the 12th International Symposium, ISICA 2021, held in Guangzhou, China, during November 19-21, 2021.

This book presents thoughts and pathways to build revolutionary machine learning models with the new paradigm of machine learning to adapt behaviorism.

This book highlights the three pillars of data security, viz protecting data at rest, in transit, and in use.

This book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing (ICEMC 2020), held at the Haldia Institute of Technology, Purba Midnapur, West Bengal, India, from 5-7 February 2020.

This book constitutes selected papers of the 19th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2021, held in Los Angeles, CA, USA, in July 2021.

This two-volume set (CCIS 1565 and CCIS 1566) constitutes selected and revised papers from the 16th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2021, held in Taiyuan, China, in December 2021.

The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in computational mathematics.

The 5G technology has been commercialized worldwide and is expected to provide superior performance with enhanced mobile broadband, ultra-low latency transmission, and massive IoT connections.

This book constitutes the refereed proceedings of the 19th Australasian Conference on Data Mining, AusDM 2021, held in Brisbane, Queensland, Australia, in December 2021.

This book contains selected papers presented at ICGEC 2021, the 14th International Conference on Genetic and Evolutionary Computing, held from October 21-23, 2021 in Jilin City, China.

This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP.

This book constitutes the refereed proceedings of the 17th China Conference on Machine Translation, CCMT 2020, held in Xining, China, in October 2021.

This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021.

The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.

The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.

This book provides essential information on Petri net theory and Petri net-based model checking methods.

This book constitutes revised and selected papers of the First International Conference on Computational Sciences - Modelling, Computing and Soft Computing, held in Kozhikode, Kerala, India, in September 2020.

?

The emerging biotechnologies have significantly advanced the study of biological mechanisms.

This book gathers selected papers presented at the 6th International Conference on Artificial Intelligence and Evolutionary Computations in Engineering Systems, held at the Anna University, Chennai, India, from 20 to 22 April 2020.

This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020.

This volume constitutes the revised selected papers of the 15th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2020, held in Qingdao, China, in October  2020.

This book constitutes the proceedings of the 8th CCF Conference on Big Data, BigData 2020, held in Chongqing, China, in October 2020.

This book presents new knowledge and recent developments in all aspects of computational techniques, mathematical modeling, energy systems, applications of fuzzy sets and intelligent computing.

This book constitutes selected papers of the ?

This book features selected papers from the 6th International Conference on Mathematics and Computing (ICMC 2020), organized by Sikkim University, Gangtok, Sikkim, India, during September 2020.

This book presents refereed proceedings of the First International Conference on Neural Computing for Advanced Applications, NCAA 2020, held in July, 2020.

This book provides theories on non-parametric shape optimization problems, systematically keeping in mind readers with an engineering background.

This book constitutes refereed proceedings of the 5th International Conference on Data Mining and Big Data, DMBD 2020, held in July 2020.

This book focuses on typical health services and remote monitoring methods, such as visual recognition and deep learning.

This book constitutes the refereed proceedings of the 7th International Conference on Geoinformatics in Sustainable Ecosystem and Society, GSES 2019, and First International Conference on Geospatial Artificial Intelligence for Urban Computing, GeoAI 2019, held in Guangzhou, China, in November 2019.

This book constitutes the thoroughly refereed proceedings of the 11th International Symposium on Intelligence Computation and Applications, ISICA 2019, held in Guangzhou, China, in November 2019.

This book features selected papers from the 5th International Conference on Mathematics and Computing (ICMC 2019), organized by the School of Computer Engineering, Kalinga Institute of Industrial Technology Bhubaneswar, India, on February 6 - 9, 2019.