Probabilistic – alle Bücher und CDs, Seite 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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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

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

SpringerBriefs in Mathematical Physics - Band 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

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

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…

lieferbar innerhalb 1-2 Wochen

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,…

lieferbar innerhalb 2-3 Wochen

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. …

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

Buch

Data Information in Online Environments

.- Machine Learning and Artificial Intelligence..- Multimodal Bind for Few-Shot SAR Object Detection in Drone Remote Sensing Images..- SAR Moving Target Detection Based on Denoising Diffusion Probabilisti…

lieferbar innerhalb 2-3 Wochen

Buch