Mathematical theory of computation

This volume constitutes selected papers presented at the First International Conference on Artificial Intelligence: Theories and Applications, ICAITA 2022, held in Mascara, Algeria, in November 2022.

Microprocessors are the key component of the infrastructure of our 21st-century electronic- and digital information-based society.

Im Rahmen mehrerer Veranstaltungen hat das Informationszentrum Sozial­ wissenschaften seit 1989 die aktuelle Diskussion um Einsatz und Nutzen von 1 moderner Informationstechnologie in den Sozialwissenschaften gefördert.

This book constitutes the proceedings of the Third International Workshop on Explainable Artificial Intelligence in Healthcare, XAI-Healthcare 2023, and the First International Workshop on Process Mining Applications for Healthcare, PM4H 2023, which took place in conjunction with AIME 2023 in Portoroz, Slovenia, on June 15, 2023.

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023.

This volume contains the full text of twenty-six of the thirty-one papers given at the Montreux 1989 International Chemical Information Conference in Montreux, Switzerland between 26 and 28 September 1989.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011.

Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional parametric objects.

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry.

The fields of image analysis, computer vision, and artificial intelligence all make use of descriptions of shape in grey-level images.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023.

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T.

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Chateau de Villebrumier, France, during January 23-25, 2023.

This book brings together papers from the 2018 International Conference on Communications, Signal Processing, and Systems, which was held in Dalian, China on July 14-16, 2018.

"e;Algorithmic information theory (AIT) is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously"e;, says G.

This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.

This book constitutes the refereed proceedings of the Third International Joint Conference on Discrete Geometry and Mathematical Morphology, DGMM 2024, held in Florence, Italy during April 15-18, 2024.

This book constitutes the refereed proceedings of the 13th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2023, which took place in Vietri sul Mare, Italy, in September 2023.

Computational methods pertaining to many branches of science, such as physics, physical chemistry and biology, are presented.

This book presents the fundamental and technical concepts of fuzzy hypergraphs and explains their extensions and applications.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.

The first part of this preface is for the student; the second for the instructor.

This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2024, held in Kobe, Japan, during September 17-20, 2024.

The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.

This book constitutes the refereed proceedings of the 12th China Workshop on Machine Translation, CWMT 2016, held in Urumqi, China, in August 2016.

This monograph deals with the Hadamard products of algebraic varieties.

This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 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.

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023.

This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7-8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

This book constitutes the refereed proceedings of the 8th International Conference on Modelling and Development of Intelligent Systems, MDIS 2022, held in Sibiu, Romania, during October 28-30, 2022.

This graduate textbook unifies the presentation of new and well-established basic theory and experiments for the quantum properties of light.

This book constitutes the refereed proceedings of the 12th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2022 held in Leiden, The Netherlands, during March 20-24, 2023.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

This book presents the Proceedings from the Second International Workshop GLOW 2024 held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI 2024, in Jeju Island, South Korea, in August 2024.

This book constitutes the refereed proceedings of the 7th International Conference on Optimization and Learning, OLA 2024, held in Dubrovnik, Croatia, during May 13-15, 2024.

This book constitutes the refereed proceedings of the 25th International Conference on Distributed Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 2022.

Formal Concept Analysis is a field of applied mathematics based on the math-ematization of concept and conceptual hierarchy.

Die Gestaltung von Informationssystemen, ihre Organisation und ihr Betrieb, werden angesichts komplexerer Anforderungen und heterogener Betriebsmittel immer problematischer.

The two-volume set LNAI 14125 and 14126 constitutes the refereed conference proceedings of the 22nd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2023, held in Zakopane, Poland, during June 18-22, 2023.

This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18-20, 2023.

This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, held in Tonantzintla, Mexico, during October 21-25, 2024.