Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3650
Tytuł: | Posterior Probability on Finite Set |
Autorzy: | Okazaki, Hiroyuki |
Data wydania: | 2012 |
Data dodania: | 6-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 20, Issue 4, 2012, Pages 257-263 |
Abstrakt: | In [14] we formalized probability and probability distribution on a finite sample space. In this article first we propose a formalization of the class of finite sample spaces whose element’s probability distributions are equivalent with each other. Next, we formalize the probability measure of the class of sample spaces we have formalized above. Finally, we formalize the sampling and posterior probability. |
Afiliacja: | Shinshu University Nagano, Japan |
Sponsorzy: | This work is supported by JSPS KAKENHI 21240001 |
URI: | http://hdl.handle.net/11320/3650 |
DOI: | 10.2478/v10037-012-0030-0 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2012, Volume 20, Issue 4 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
v10037-012-0030-0.pdf | 286,76 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL