Maths for computer scientists

This book constitutes revised selected papers from the 6th International Workshop on Active Inference, IWAI 2025, held in Montreal, Canada, during October 15-17, 2025.

This book constitutes revised selected papers from the 6th International Workshop on Active Inference, IWAI 2025, held in Montreal, Canada, during October 15-17, 2025.

Das Lehrbuch bietet eine umfassende Einführung in wesentliche Themen der diskreten Mathematik und der Anwendung in Algorithmen und Datenstrukturen.

Das Lehrbuch bietet eine umfassende Einführung in wesentliche Themen der diskreten Mathematik und der Anwendung in Algorithmen und Datenstrukturen.

Beginning with a gentle introduction to causal discovery and the foundations of probability and statistics, this textbook is written in a highly pedagogical way.

Beginning with a gentle introduction to causal discovery and the foundations of probability and statistics, this textbook is written in a highly pedagogical way.

Despite decades of work in evolutionary algorithms, there remains a lot of uncertainty as to when it is beneficial or detrimental to use recombination or mutation.

Natural Computing is concerned with computation that is taking place in Nature.

This two-volume set LNICST 666-667 constitutes the refereed proceedings of the19th EAI International Conference on Body Area Networks, BODYNETS 2024, held in Varanasi, India, during December 15–16, 2024.

This two-volume set LNICST 666-667 constitutes the refereed proceedings of the19th EAI International Conference on Body Area Networks, BODYNETS 2024, held in Varanasi, India, during December 15–16, 2024.

This book constitutes the refereed proceedings of the 16th International Conference on Optimization and Applications, OPTIMA 2025, held in Petrovac, Montenegro, during September 22-26, 2025.

This two-volume set LNICST 666-667 constitutes the refereed proceedings of the19th EAI International Conference on Body Area Networks, BODYNETS 2024, held in Varanasi, India, during December 15–16, 2024.

This book constitutes the refereed proceedings of the 16th International Conference on Optimization and Applications, OPTIMA 2025, held in Petrovac, Montenegro, during September 22-26, 2025.

This two-volume set LNICST 666-667 constitutes the refereed proceedings of the19th EAI International Conference on Body Area Networks, BODYNETS 2024, held in Varanasi, India, during December 15–16, 2024.

This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Bedlewo, Poland, during April 7–10, 2026.

This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Bedlewo, Poland, during April 7–10, 2026.

This book addresses the emergence of Interactive Natural Language Processing (iNLP) and its novel paradigm within the field of NLP and discusses the limitations in existing frameworks while aligning with the ultimate goals of artificial intelligence.

Dieses Lehrbuch liefert eine grundlegende, aber verständliche Einführung in die Theoretische Informatik.

Dieses Lehrbuch liefert eine grundlegende, aber verständliche Einführung in die Theoretische Informatik.

Almost all physical phenomena can be mathematically described in terms of differential equations.

With the proliferation of huge amounts of (heterogeneous) data on the Web, the importance of information retrieval (IR) has grown considerably over the last few years.

This book addresses the emergence of Interactive Natural Language Processing (iNLP) and its novel paradigm within the field of NLP and discusses the limitations in existing frameworks while aligning with the ultimate goals of artificial intelligence.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as performance optimization in IoT, big data, reliability, privacy, security, service selection, QoS and machine learning.

This book examines the mismatch between discrete programs, which lie at the center of modern applied mathematics, and the continuous space phenomena they simulate.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as performance optimization in IoT, big data, reliability, privacy, security, service selection, QoS and machine learning.

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems.

The resilience of computing systems includes their dependability as well as their fault tolerance and security.

The first part of this book covers the key concepts of cryptography on an undergraduate level, from encryption and digital signatures to cryptographic protocols.

Knowledge Representation plays an essential role in Semantic Web, in particular in automated information processing and communications among software agents.

Data mining, an interdisciplinary field combining methods from artificial intelligence, machine learning, statistics and database systems, has grown tremendously over the last 20 years and produced core results for applications like business intelligence, spatio-temporal data analysis, bioinformatics, and stream data processing.

This volume is based on the workshop"e;Modelling in Molecular Biology"e; that tookplacein2002inSingapore.

In the last 15 years we have seen a major transformation in the world of music.

As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement.

In operations research and computer science it is common practice to evaluate the performance of optimization algorithms on the basis of computational results, and the experimental approach should follow accepted principles that guarantee the reliability and reproducibility of results.

Parallel and distributed computer systems are built to close the gap between the demand for high-performance computing and the computing power available using standalone single-processor machines.

This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics.

This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?

This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics.

A second edition of a book is a success and an obligation at the same time.

This book constitutes the thoroughly refereed post-workshop proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2001, held in Boltenhagen, Germany, in June 2001.

 This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001.

INDOCRYPT 2001, the Second Annual Crypto Conference, is proof of the s- ni?

The papers collected in this volume reproduce contributions by leading sch- arstoaninternationalschoolandworkshopwhichwasorganizedandheldwith thegoaloftakinga snapshotofadiscipline undertumultuous growth.

Property Testing is the study of super-fast (randomized) algorithms for approximate decision making.

This volume constitutes the strictly refereed post-workshop proceedings of the Fourth International Workshop on Fast Software Encryption, FSE'97, held in Haifa, Israel, in January 1997.