Maths for computer scientists

Chance is uncanny to us.

This book provides an accessible yet rigorous first reference for readers interested in learning how to model and analyze cellular network performance using stochastic geometry.

This book constitutes the refereed joint proceedings of the International Workshop on Fetal and Infant Image Analysis, FIFI 2017, and the 6th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.

This volume offers a broad, philosophical discussion on mechanical explanations.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.

This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020.

This book constitutes the refereed joint proceedings of the Second International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2018 and the First International Workshop on Integrating Medical Imaging and Non-Imaging Modalities, Beyond MIC 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.

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.

In recent years, cosmic rays have become the protagonists of a new scientific revolution.

This book presents a comprehensive treatment of recently developed scalable algorithms for solving multibody contact problems of linear elasticity.

This book, using R and RStudio, demonstrates how to render an audit opinion that is legally and statistically defensible; analyze, extract, and manipulate accounting data; build a risk assessment matrix to inform the conduct of a cost-effective audit program; and more.

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic.

Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies.

This book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices of the International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI), which took place virtually on October 8th, 2020, having originally been planned to take place in Lima, Peru.

This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds.

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.