Mathematical theory of computation

The journal Computing has established a series of supplement volumes the fourth of which appears this year.

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems.

This book constitutes the refereed post-conference proceedings of the 4th International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2024, held in Szczecin, Poland, during June 24–26, 2024.

This self-contained book describes social influence from a computational point of view, with a focus on recent and practical applications, models, algorithms and open topics for future research.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19-20, 2023.

Apply neural network architectures to build state-of-the-art computer vision applications using the Python programming languageKey FeaturesGain a fundamental understanding of advanced computer vision and neural network models in use todayCover tasks such as low-level vision, image classification, and object detectionDevelop deep learning models on cloud platforms and optimize them using TensorFlow Lite and the OpenVINO toolkitBook DescriptionComputer vision allows machines to gain human-level understanding to visualize, process, and analyze images and videos.

This book provides a structured introduction to the verification of sequen- tial and concurrent programs.

This book is intended for academics, researchers, Ph.

There is currently a great emphasis on teaching quality in Higher Education.

Deploy supervised and unsupervised machine learning algorithms using scikit-learn to perform classification, regression, and clustering.

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.

This books reviews recent theoretical and practical advances on suffix sorting and introduces algorithmic solutions to problems of wide interest for the construction of fundamental data structures that operate efficiently on strings namely, constructing the suffix array, the longest common prefix (LCP) array, the document array and the Lyndon array.

This book constitutes the refereed proceedings of the 12th International Conference on Computational Processing of the Portuguese Language, PROPOR 2016, held in Tomar, Portugal, in July 2016.

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017.

Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into a unified framework that allows them to be generalized and combined.

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.

This book constitutes the refereed proceedings of the 26th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2025, held in Baltimore, MD, USA, during June 11–13, 2025.

This two-volume set, LNCS 15612 and 15613 constitutes the refereed proceedings of the 28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025, in Trieste, Italy, during April 23–25, 2025, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.

This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020.

The proceedings constitute papers presented in the 27th International Conference, DCCN 2024, held in Moscow, Russia, during September 23–27, 2024.

The focus of electromagnetic theory is initial boundary value and boundary value problems for the Maxwell equations.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.

This book contains all refereed papers accepted during the fourth asia-pacific edition & twelve edition - which were merged this year - of the CSD&M conference that took place in Beijing, People's Republic of China by 2021.

This book explores the intersection of data envelopment analysis (DEA) and various analytical decision-making methodologies.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.

Fuzzy cognitive maps (FCMs) have gained popularity in the scientific community due to their capabilities in modeling and decision making for complex problems.

This volume, the 23rd issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems,focuses on information and security engineering.

Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree.

Based on talks from the 2017 and 2018 Combinatorial and Additive Number Theory (CANT) workshops at the City University of New York, these proceedings offer 17 peer-reviewed and edited papers on current topics in number theory.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.

This textbook provides a step-by-step approach to numerical methods in engineering modelling.

This two-volume set of LNCS 11871 and 11872 constitutes the thoroughly refereed conference proceedings of the 20th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2019, held in Manchester, UK, in November 2019.

Practical Optimization: Algorithms and Engineering Applications provides a hands-on treatment of the subject of optimization.

Congruences are ubiquitous in computer science, engineering, mathematics, and related areas.

Machine learning and nonparametric function estimation procedures can be effectively used in forecasting.

Medicineand health care are currently faced with a significant rise in theircomplexity.

The cryptosystems based on the Integer Factorization Problem (IFP), the Discrete Logarithm Problem (DLP) and the Elliptic Curve Discrete Logarithm Problem (ECDLP) are essentially the only three types of practical public-key cryptosystems in use.

Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency.

The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic Web Conference, ISWC 2019, held in Auckland, New Zealand, in October 2019.

This book constitutes the refereed post-conference proceedings of the 11th International Seminar on Speech Production, ISSP 2017, held in Tianjin, China, In October 2017.

Researchers and educational software developers have talked about building authoring tools for intelligent tutoring systems (ITSs), adaptive and knowled- based instructional systems, and other forms of advanced-technology learning environments (ATLEs) ever since these forms of educational software were introduced in the 1970s.

This book constitutes the proceedings of Third International Conference on Information Systems and Design, ICID 2022, which took place in Tashkent, Uzbekistan, in September 2022.

The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.

This book constitutes the refereed proceedings of the First International Conference, AlCoB 2014, held in July 2014 in Tarragona, Spain.

Algorithmic Graph Theory and Perfect Graphs, first published in 1980, has become the classic introduction to the field.

Retailing today is one of the largest, most buoyant and most competitive market sectors.