Mathematical theory of computation

This book constitutes the refereed proceedings of the 26th International Workshop on Computer Algebra in Scientific Computing, CASC 2024, which took place in Rennes, France, during September 2 - September 6, 2024.

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.

This standard textbook on modern graph theory combines the authority of a classic with the engaging freshness of style that is the hallmark of active mathematics.

This volume presents peer-reviewed and selected papers from the 2024 European Conference on Integrated Optics (ECIO), held on 17-19 June, 2024, and organized by RWTH Aachen University, Germany, in collaboration with Max-Planck Institute of Microstructure Physics, Technical University of Berlin, Leibniz Institute for High Performance Microelectronics, and Karlsruhe Institute of Technology.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7-10, 2024.

Edge computing has been identified as one of the key technologies for 5G networks and beyond due to two prominent advantages: low network latency and reduced core network load.

This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024.

Spiking neural P systems represent a significant advancement in the field of membrane computing, drawing inspiration from the communication patterns observed in neurons.

This book constitutes the refereed proceedings of the 19th International Workshop on Modelling and Mining Networks, WAW 2024, held in Warsaw, Poland, during June 3-6, 2024.

This book constitutes the proceedings of the 21st International Conference on Comparative Genomics, RECOMB-CG 2024, which was held in Boston, MA, USA, during April 27-28, 2024.

This book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13-15, 2024.

This book constitutes the refereed proceedings of the 19th International Workshop on Modelling and Mining Networks, WAW 2024, held in Warsaw, Poland, during June 3-6, 2024.

This two volume set volume LNCS 14422-14423 constitutes the refereed proceedings of the 29th International Conference, COCOON 2023, held in Hawaii, HI, USA, during December 2023.

This textbook addresses and introduces new developments in the field of quantum information and computing (QIC) for a primary audience of undergraduate students.

This volume contains papers based on presentations at the "e;Nagoya Winter Workshop 2015: Reality and Measurement in Algebraic Quantum Theory (NWW 2015)"e;, held in Nagoya, Japan, in March 2015.

This book discusses recent advances and research in applied mathematics, statistics and their applications in computing.

This book constitutes the proceedings of the First International Conference on Modeling, Machine Learning and Astronomy, MMLA 2019, held in Bangalore, India, in November 2019.

This book constitutes the thoroughly refereed proceedings of the themed workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and of the 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, held in Hangzhou, China, in October 2020.

This book constitutes the refereed proceedings of the 16th China Conference on Machine Translation, CCMT 2020, held in Hohhot, China, in October 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 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.