Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيد
Basic Principles and Applications of Probability Theory
This introductory chapter discusses such notions as determinism, chaos and randomness, p- dictibility and unpredictibility, ...
اقرأ المزيد
Basic Probability Theory with Applications
This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. ...
اقرأ المزيد
Bayesian Core: A Practical Approach to Computational Bayesian Statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on ...
اقرأ المزيدBayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...
اقرأ المزيد
Bayesian Networks and Influence Diagrams : A Guide to Construction and Analysis
Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
اقرأ المزيد
Bayesian Reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...
اقرأ المزيد
Cambridge and Vienna
The Institute Vienna Circle held a conference in 2003, Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, to commemorate ...
اقرأ المزيد
Case-Based Approximate Reasoning
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology ...
اقرأ المزيد
Case-Based Approximate Reasoning
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology ...
اقرأ المزيد
Chance : The life of games and the game of life
With its many easy-to-follow mathematical examples, this book takes the reader on an almost chronological trip through the ...
اقرأ المزيد
Chance Rules : an informal guide to probability, risk and statistics
This second edition of Chance Rules again recounts the story of chance through history and the various ways it impacts on ...
اقرأ المزيد
Classic Works on the Dempster-Shafer Theory of Belief Functions
This book brings together a collection of classic research papers on the Dempster-Shafer theory of belief functions. By bridging ...
اقرأ المزيد
Classical Methods of Statistics
Classical Methods of Statistics is a blend of theory and practical statistical methods written for graduate students and ...
اقرأ المزيد
Computational Intelligence
The book Computational Intelligence: Principles, Techniques and Applications presents both theories and applications of Computational ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيد
Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...
اقرأ المزيد
Computational Probability
Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers ...
اقرأ المزيد
