Electronic Books

Total Books: 41 - 60 /261

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

Total Books: 41 - 60 /261