Results 1 to 10 of about 761,085 (243)
Random Variables and Product of Probability Spaces [PDF]
, 2013 We have been working on the formalization of the probability and the randomness. In [15] and [16], we formalized some theorems concerning the real-valued random variables and the product of two probability spaces.
Okazaki, Hiroyuki, Shidama, Yasunari
core +2 more sources
Tracing evolutionary links between species [PDF]
, 2014 The idea that all life on earth traces back to a common beginning dates back at least to Charles Darwin's {\em Origin of Species}. Ever since, biologists have tried to piece together parts of this `tree of life' based on what we can observe today ...
Steel, Mike
core +2 more sources
Probability on Finite Set and Real-Valued Random Variables [PDF]
, 2009 In the various branches of science, probability and randomness provide us with useful theoretical frameworks. The Formalized Mathematics has already published some articles concerning the probability: [23], [24], [25], and [30].
Okazaki, Hiroyuki, Shidama, Yasunari
core +2 more sources
Random unfriendly seating arrangement in a dining table [PDF]
, 2015 A detailed study is made of the number of occupied seats in an unfriendly seating scheme with two rows of seats. An unusual identity is derived for the probability generating function, which is itself an asymptotic expansion.
Chern, Hua-Huai +2 more
core +1 more source
Mathematics and Probability [PDF]
Nature, 1967 Green's Function Methods in Probability Theory By Julian Keilson. (Griffin's Statistical Monographs and Courses, No. 17.) Pp. viii + 220. (London: Charles Griffin and Co., Ltd., 1965.) 40s. net.
openaire +1 more source
A Conversation with Eugenio Regazzini [PDF]
, 2011 Eugenio Regazzini was born on August 12, 1946 in Cremona (Italy), and took his degree in 1969 at the University "L. Bocconi" of Milano. He has held positions at the universities of Torino, Bologna and Milano, and at the University "L.
Lijoi, Antonio, Prünster, Igor
core +2 more sources
Quantum Probability Theory [PDF]
, 2005 The mathematics of classical probability theory was subsumed into classical measure theory by Kolmogorov in 1933. Quantum theory as nonclassical probability theory was incorporated into the beginnings of noncommutative measure theory by von Neumann in ...
Redei, Miklos, Summers, Stephen J.
core +5 more sources
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
, 2017 We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a
Guarino, Pierfrancesco
core +1 more source
Four lectures on probabilistic methods for data science
, 2016 Methods of high-dimensional probability play a central role in applications for statistics, signal processing theoretical computer science and related fields.
Vershynin, Roman
core +1 more source
Probability Guide to Gambling: The Mathematics of Dice, Slots, Roulette, Baccarat, Blackjack, Poker, Lottery and Sport Bets [PDF]
, 2006 Over the past two decades, gamblers have begun taking mathematics into account more seriously than ever before. While probability theory is the only rigorous theory modeling the uncertainty, even though in idealized conditions, numerical probabilities ...
Barboianu, Catalin
core