Mathematical theory of computation

Information is a key factor in business today, and data warehousing has become a major activity in the development and management of information systems to support the proper flow of information.

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.

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 work summarizes the theoretical and algorithmic basis of optimized pr- abilistic advising.

This book constitutes the refereed proceedings of the 24th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2024, held in Amsterdam, The Netherlands, during November 26-28, 2024.

The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2024, held in Zakopane, Poland, during June 16-20, 2024.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.

Die Zukunft der modernen Industriegesellschaft hängt letztlich nicht von ökonomischen, vielmehr von kulturellen und politischen Faktoren ab.

This book constitutes the proceedings of the International Workshop on Computational Diffusion MRI, CDMRI 2022, which was held 22 September 2022, in conjunction with MICCAI 2022.

This book constitutes the refereed proceedings of the Third Southern African Conference on  Artificial Intelligence Research, SACAIR 2022, held in Stellenbosch, South Africa, in  December 2022.

Abu?

This book constitutes the refereed proceedings of the 14th International Conference on Advances in Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 2023.

Monte Carlo Methods are among the most used, and useful, computational tools available today.

This book is written for statisticians, data analysts, programmers, researchers, professionals, and general consumers on how to perform different types of statistical data analysis for research purposes using R object-oriented programming language and RStudio integrated development environment (IDE).

The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com- puter Systems (FM89} was an invitational workshop that brought together repre- sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.

Die Arbeiten zu Bildverarbeitung und Mustererkennung sind ein Versuch, die Natur der Wahrnehmung zu begreifen und die menschliche Intelligenzleistung in einern schmalen Teilbereich zu unterstützen.

This book presents a new methodology to develop system-level brain models using ordinary differential equations (ODE), which are to be solved and analyzed through simple Python scripts.

Shine a spotlight into the deep learning ';black box'.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15-17, 2023.

This book presents a detailed exploration of advanced computational modeling techniques in the design, testing, and applications of rigid polyurethane foams (RPUFs).

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc.

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications.

This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model.

This proceedings, ICAST 2022, constitutes the refereed post-conference proceedings of the 10th International Conference on Advancement of Science and Technology, ICAST 2022, which took place in Bahir Dar, Ethiopia, in November 2022.

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 the refereed proceedings of the 14th International Conference on Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 2023.

This textbook comprehensively explores the foundational principles, algorithms, and applications of intelligent optimization, making it an ideal resource for both undergraduate and postgraduate artificial intelligence courses.

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands.

This book brings together for the first time two important features of a computer system to be embedded in an organisational context: responsibility, meaning whether the computer system properly supports the organisational responsibilities that people are allocated; and dependability, which means whether it does so in a way that people can justifiably trust it to perform its operation correctly.

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing.

This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.

This book constitutes the refereed proceedings of the 17th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2022, held in Wuhan, China, during December 16-18, 2022.

This book presents the latest developments in the theory and applications of time series analysis and forecasting.

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 textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques.

This textbook presents an algorithmic approach to mathematical analysis, with a focus on modelling and on the applications of analysis.

Ein weit verbreitetes Missverständnis ist, dass unser Gehirn mehrere komplexe Aufgaben gleichzeitig bewältigen kann.

Get efficient in performing data mining and machine learning using IBM SPSS Modeler Key FeaturesLearn how to apply machine learning techniques in the field of data scienceUnderstand when to use different data mining techniques, how to set up different analyses, and how to interpret the resultsA step-by-step approach to improving model development and performanceBook DescriptionMachine learning (ML) combined with data mining can give you amazing results in your data mining work by empowering you with several ways to look at data.

This innovative textbook presents the key foundational concepts for a one-semester undergraduate course in the theory of computation.