Introduction to Probability


Book Description

An intuitive, yet precise introduction to probability theory, stochastic processes, statistical inference, and probabilistic models used in science, engineering, economics, and related fields. This is the currently used textbook for an introductory probability course at the Massachusetts Institute of Technology, attended by a large number of undergraduate and graduate students, and for a leading online class on the subject. The book covers the fundamentals of probability theory (probabilistic models, discrete and continuous random variables, multiple random variables, and limit theorems), which are typically part of a first course on the subject. It also contains a number of more advanced topics, including transforms, sums of random variables, a fairly detailed introduction to Bernoulli, Poisson, and Markov processes, Bayesian inference, and an introduction to classical statistics. The book strikes a balance between simplicity in exposition and sophistication in analytical reasoning. Some of the more mathematically rigorous analysis is explained intuitively in the main text, and then developed in detail (at the level of advanced calculus) in the numerous solved theoretical problems.




Dynamic Probabilistic Systems, Volume I


Book Description

This book is an integrated work published in two volumes. The first volume treats the basic Markov process and its variants; the second, semi-Markov and decision processes. Its intent is to equip readers to formulate, analyze, and evaluate simple and advanced Markov models of systems, ranging from genetics and space engineering to marketing. More than a collection of techniques, it constitutes a guide to the consistent application of the fundamental principles of probability and linear system theory. Author Ronald A. Howard, Professor of Management Science and Engineering at Stanford University, begins with the basic Markov model, proceeding to systems analyses of linear processes and Markov processes, transient Markov processes and Markov process statistics, and statistics and inference. Subsequent chapters explore recurrent events and random walks, Markovian population models, and time-varying Markov processes. Volume I concludes with a pair of helpful indexes.




Probabilistic Methods of Signal and System Analysis


Book Description

Probabilistic Methods of Signal and System Analysis, 3/e stresses the engineering applications of probability theory, presenting the material at a level and in a manner ideally suited to engineering students at the junior or senior level. It is also useful as a review for graduate students and practicing engineers. Thoroughly revised and updated, this third edition incorporates increased use of the computer in both text examples and selected problems. It utilizes MATLAB as a computational tool and includes new sections relating to Bernoulli trials, correlation of data sets, smoothing of data, computer computation of correlation functions and spectral densities, and computer simulation of systems. All computer examples can be run using the Student Version of MATLAB. Almost all of the examples and many of the problems have been modified or changed entirely, and a number of new problems have been added. A separate appendix discusses and illustrates the application of computers to signal and system analysis.




Abstraction, Refinement and Proof for Probabilistic Systems


Book Description

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm.




Probabilistic Methods Applied to Electric Power Systems


Book Description

Probabilistic Methods Applied to Electric Power Systems contains the proceedings of the First International Symposium held in Toronto, Ontario, Canada, on July 11-13, 1986. The papers explore significant technical advances that have been made in the application of probability methods to the design of electric power systems. This volume is comprised of 65 chapters divided into 10 sections and begins by discussing the probabilistic methodologies used in the assessment of power system reliability and structural design. The following chapters focus on the applications of probabilistic techniques to the analysis and design of transmission systems and structures; evaluation of design and reliability of distribution systems; system planning; and assessment of performance of transmission system components such as insulators, tower joints, and foundations. The probability-based procedures for dealing with data bases such as wind load and ice load are also considered, along with the effects of weather-induced loads on overhead power lines and the use of probability methods in upgrading existing power lines and components. The final section deals with applications of probability methods to power system problems not covered in other chapters. This book will be of value to engineers involved in uprating, designing, analyzing, and assessing reliability of transmission and distribution systems.




Dynamic Probabilistic Systems, Volume II


Book Description

This book is an integrated work published in two volumes. The first volume treats the basic Markov process and its variants; the second, semi-Markov and decision processes. Its intent is to equip readers to formulate, analyze, and evaluate simple and advanced Markov models of systems, ranging from genetics and space engineering to marketing. More than a collection of techniques, it constitutes a guide to the consistent application of the fundamental principles of probability and linear system theory. Author Ronald A. Howard, Professor of Management Science and Engineering at Stanford University, continues his treatment from Volume I with surveys of the discrete- and continuous-time semi-Markov processes, continuous-time Markov processes, and the optimization procedure of dynamic programming. The final chapter reviews the preceding material, focusing on the decision processes with discussions of decision structure, value and policy iteration, and examples of infinite duration and transient processes. Volume II concludes with an appendix listing the properties of congruent matrix multiplication.




Probabilistic Networks and Expert Systems


Book Description

Probabilistic expert systems are graphical networks which support the modeling of uncertainty and decisions in large complex domains, while retaining ease of calculation. Building on original research by the authors, this book gives a thorough and rigorous mathematical treatment of the underlying ideas, structures, and algorithms. The book will be of interest to researchers in both artificial intelligence and statistics, who desire an introduction to this fascinating and rapidly developing field. The book, winner of the DeGroot Prize 2002, the only book prize in the field of statistics, is new in paperback.




Probabilistic Risk Analysis


Book Description

Probabilistic risk analysis aims to quantify the risk caused by high technology installations. Increasingly, such analyses are being applied to a wider class of systems in which problems such as lack of data, complexity of the systems, uncertainty about consequences, make a classical statistical analysis difficult or impossible. The authors discuss the fundamental notion of uncertainty, its relationship with probability, and the limits to the quantification of uncertainty. Drawing on extensive experience in the theory and applications of risk analysis, the authors focus on the conceptual and mathematical foundations underlying the quantification, interpretation and management of risk. They cover standard topics as well as important new subjects such as the use of expert judgement and uncertainty propagation. The relationship of risk analysis with decision making is highlighted in chapters on influence diagrams and decision theory. Finally, the difficulties of choosing metrics to quantify risk, and current regulatory frameworks are discussed.




Introduction to Enumerative and Analytic Combinatorics


Book Description

Introduction to Enumerative and Analytic Combinatorics fills the gap between introductory texts in discrete mathematics and advanced graduate texts in enumerative combinatorics. The book first deals with basic counting principles, compositions and partitions, and generating functions. It then focuses on the structure of permutations, graph enumerat




Probability and Computing


Book Description

Randomization and probabilistic techniques play an important role in modern computer science, with applications ranging from combinatorial optimization and machine learning to communication networks and secure protocols. This 2005 textbook is designed to accompany a one- or two-semester course for advanced undergraduates or beginning graduate students in computer science and applied mathematics. It gives an excellent introduction to the probabilistic techniques and paradigms used in the development of probabilistic algorithms and analyses. It assumes only an elementary background in discrete mathematics and gives a rigorous yet accessible treatment of the material, with numerous examples and applications. The first half of the book covers core material, including random sampling, expectations, Markov's inequality, Chevyshev's inequality, Chernoff bounds, the probabilistic method and Markov chains. The second half covers more advanced topics such as continuous probability, applications of limited independence, entropy, Markov chain Monte Carlo methods and balanced allocations. With its comprehensive selection of topics, along with many examples and exercises, this book is an indispensable teaching tool.