Automated Deduction – CADE 29
This open access book constitutes the proceedings of the 29th International Conference on...
EAN: 9783031384981
Model Validation and Uncertainty Quantification, Volume 3
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A...
EAN: 9783031370021
Mathematical Foundations of Software Engineering
EAN: 9783031262142
Concrete Abstractions
This book demonstrates how to formally model various mathematical domains (including algorithms...
EAN: 9783031249365
Bayesian Scientific Computing
The once esoteric idea of embedding scientific computing into a probabilistic framework, mostly...
EAN: 9783031238260
Toward Robots That Reason: Logic, Probability & Causal Laws
This book discusses the two fundamental elements that underline the science and design of...
EAN: 9783031210051
Theory and Applications of Time Series Analysis and Forecasting
This book presents a selection of peer-reviewed contributions on the latest developments in time...
EAN: 9783031141997
Application of Gray System Theory in Fishery Science
The chapters cover the basic concept and theory of gray system, original data processing and gray...
EAN: 9789819906345
R-Calculus, IV: Propositional Logic
This fourth volume of the book series combines propositional logic and R-calculus for a new point...
EAN: 9789811986352
Distributed Optimization in Networked Systems
This book focuses on improving the performance (convergence rate, communication efficiency,...
EAN: 9789811985614
Sampled-data Control of Logical Networks
EAN: 9789811982637
Foundations of Software Science and Computation Structures
EAN: 9783031572302
Hypothesis Generation and Interpretation
This book focuses in detail on data science and data analysis and emphasizes the importance of...
EAN: 9783031435393
Dynamic Graph Learning for Dimension Reduction and Data Clustering
The authors explain how to accomplish this by utilizing the advanced dynamic graph learning...
EAN: 9783031423123
Mathematical Transformations and Wavelet Filters for Source Coding and Signal Processing Systems
EAN: 9783031346835
Hidden Markov Models and Applications
This book focuses on recent advances, approaches, theories, and applications related Hidden...
EAN: 9783030991449
Pedigree Polytopes
This book defines and studies a combinatorial object called the pedigree and develops the theory...
EAN: 9789811999543
Handbook of Biometric Anti-Spoofing
The third edition of this authoritative and comprehensive handbook is the definitive work on the...
EAN: 9789811952906
Confidential Computing
This book highlights the three pillars of data security, viz protecting data at rest, in transit,...
EAN: 9789811930478
Linear Programming Computation
The first volume addresses foundations of LP, including the geometry of feasible region, the...
EAN: 9789811901492
New Trends of Mathematical Inverse Problems and Applications
EAN: 9783031330681
