Probabilistic – all Bücher und CDs, Page 2

Peter V Coveney, Shunzhou Wan
Molecular Dynamics: Probability and Uncertainty

Embark on a fascinating exploration of molecular dynamics, which combines the authors' new probabilistic interpretation with cutting-edge simulations, some of which are performed on the largest supercompu…

deliverable within 2-3 weeks

Buch

Steven T. Hackman, Antonius B. Dieker
QPLEX: A Computational Modeling and Analysis Methodology for Stochastic Systems

This book introduces QPLEX, a powerful computational framework designed for modeling and analyzing nonstationary stochastic systems with large state spaces. The methodology excels at rapidly and accuratel…

deliverable within 2-3 weeks

Buch

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

deliverable within 2-3 weeks

Buch

Model-Based Safety and Assessment

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

deliverable within 2-3 weeks

Buch

Roman Vershynin
High-Dimensional Probability

'High-Dimensional Probability,' winner of the 2019 PROSE Award in Mathematics, offers an accessible and friendly introduction to key probabilistic methods for mathematical data scientists. Streamlined and…

lieferbar ab 31.3.2026.

Buch

Anestis Antoniadis, Jairo Cugliari, Matteo Fasiolo, Yannig Goude
Statistical Learning Tools for Electricity Load Forecasting

This monograph explores a set of statistical and machine learning tools that can be effectively utilized for applied data analysis in the context of electricity load forecasting. Drawing on their substant…

deliverable within 2-3 weeks

Buch

Bin Xu, Rui Pang
Stochastic Dynamic Response Analysis and Performance-Based Seismic Safety Evaluation for High Concrete Faced Rockfill Dams

This open access book provides a complete probabilistic analysis method and a performance-based seismic safety evaluation for high concrete faced rockfill dam (CFRD). Combined with random sample generatio…

deliverable within 2-3 weeks

Buch

Enrico Zacchei, Reyolando M. L. R. F. Brasil
Calculation of Seismic Actions for Structural Analysis

This book presents 8 methods for estimating seismic input, ranging from simplified and direct approaches, through the standard elastic response spectrum and artificial accelerograms, to more complete meth…

deliverable within 2-3 weeks

Buch

Noé Cuneo, Vojkan Jak¿i¿, Claude-Alain Pillet, Armen Shirikyan
What is a Fluctuation Theorem?

SpringerBriefs in Mathematical Physics - volume 54

This book provides a modern review of Fluctuation Relations and Fluctuation Theorems in nonequilibrium statistical mechanics. It focuses on the pioneering perspectives of Gallavotti and Cohen, according t…

lieferbar ab 23.2.2026.

Buch

Dhruv Mubayi, Jacques A. Verstraete
Extremal Graph and Hypergraph Theory

Providing a cohesive reference for advanced undergraduates, graduate students and even experienced researchers, this text contains both introductory and advanced material in extremal graph theory, hypergr…

lieferbar ab 28.2.2026.

Buch

Daniel Rippel
Online Decision Support for Offshore Wind Farm Installations

Offshore wind farms are major contributors to sustainable energy generation. However, their installation is highly weather-dependent, making the planning of costly resources, like jack-up vessels or port …

lieferbar ab 10.1.2026.

Buch

Louis W Pauly
Insuring States in an Uncertain World

Of the sectors comprising international capital markets, insurance and reinsurance have attracted relatively little attention from students of politics. New social conventions and financial instruments ar…

deliverable within 1-2 weeks

Buch

Gustavo Castañon
Possibilist Knowledge

Possibilist knowledge is the kind of scientific knowledge about what makes something possible or impossible in a given context, given the satisfaction or absence of a necessary condition, and which is for…

lieferbar ab 5.3.2026.

Buch

Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

deliverable within 2-3 weeks

Buch

Learning and Reasoning

This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjin…

deliverable within 2-3 weeks

Buch

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

deliverable within 2-3 weeks

Buch

Jakub M. Tomczak
Deep Generative Modeling

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…

deliverable within 2-3 weeks

Buch

Séminaire de Probabilités LII

Part I: In Memoriam Dominique Lépingle.- 1. From Martingales to Multivalued Stochastic Differential Equations in Polyhedral Domains: A Tribute to Dominique Lépingle. - Part II: Regular Contributions.- 2. …

deliverable within 2-3 weeks

Buch

Michele Campisi
Lectures on the Mechanical Foundations of Thermodynamics

This book provides a modern pedagogical exposition of the mechanical approach to statistical mechanics initiated by Boltzmann with his early works (1866-1871). Despite the later contribution by Helmholtz,…

deliverable within 2-3 weeks

Buch

Theoretical Aspects of Computing - ICTAC 2025

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24--28, 2025.The 21 full pap…

deliverable within 2-3 weeks

Buch