Mathematical theory of computation

This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS 2017, and the 5th International Conference on Agreement Technologies, AT 2017, held in Evry, France, in December 2017.

A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel applications, most notably in data compression and computational molecular biology.

For quite some time, philosophers, economists, and statisticians have endorsed a view on rational choice known as Bayesianism.

This textbook treats graph colouring as an algorithmic problem, with a strong emphasis on practical applications.

State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing.

This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10-11, 2024.

Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications.

This first comprehensive book on models behind Generative AI has been thoroughly revised to cover all major classes of deep generative models: mixture models, Probabilistic Circuits, Autoregressive Models, Flow-based Models, Latent Variable Models, GANs, Hybrid Models, Score-based Generative Models, Energy-based Models, and Large Language Models.

Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt.

A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists.

This book constitutes the refereed post-conference proceedings of the 6th International Conference on Variable Neighborhood Search, ICVNS 2018, held in Sithonia, Greece, in October 2018.

Examine business problems and use a practical analytical approach to solve them by implementing predictive models and machine learning techniques using SAS and the R analytical language.

This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umea, Sweden, during June 12-16, 2023.

This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.

"e;Sustainability"e; is often used in a qualitative sense.

This unique volume introduces and discusses the methods of validating computer simulations in scientific research.

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Nuria, Spain, in June 2019.

This book contains fundamental concepts on discrete mathematical structures in an easy to understand style so that the reader can grasp the contents and explanation easily.

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

This volume was published in honor of Stefania Gnesi's 65th birthday.

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 proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.

The purpose of this book is to teach quantum computing hardware from an engineer's perspective.

This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017.

Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration.

Introduction to Probability with Statistical Applications targets non-mathematics students, undergraduates and graduates, who do not need an exhaustive treatment of the subject.

This book provides an essential update for experienced data processing professionals, transaction managers and database specialists who are seeking system solutions beyond the confines of traditional approaches.

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 focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.

Designs and Finite Geometries brings together in one place important contributions and up-to-date research results in this important area of mathematics.

Introduction The International Federation for Information Processing (IFIP) is a non-profit umbrella organization for national societies working in the field of information processing.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.

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 constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during  June 5-7, 2024.

This book serves as a comprehensive introduction to quantum computing platforms, inspired by recent advancements in quantum technologies aimed at detecting and manipulating single quantum objects.

In the last decade, both scholars and practitioners have sought novel ways to address the problem of cybersecurity.

This Element explores the relations between dynamics and modularity on networks, emphasising the importance of time scale separation and network symmetry.

Cooperative game theory is a branch of (micro-)economics that studies the behavior of self-interested agents in strategic settings where binding agreements among agents are possible.

Create, train, and evaluate various machine learning models such as regression, classification, and clustering using ML.

A comprehensive guide to developing neural network-based solutions using TensorFlow 2.

This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for the fundamentals of computing rather than delving into the higher mathematical concepts.

 This book constitutes the joint refereed proceedings of six workshops, EvoWorkshops 2003, held together with EuroGP 2003 in Essex, UK in April 2003.

All the algorithms, proofs, and implementations in Python you need to know for tech job interviews and coding competitions.

Genetic Programming Theory and Practice VI was developed from the sixth workshop at the University of Michigan's Center for the Study of Complex Systems to facilitate the exchange of ideas and information related to the rapidly advancing field of Genetic Programming (GP).

The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose.

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.

Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.