×

Found 685 Documents (Results 1–100)

100
MathJax

Cautious classification with data missing not at random using generative random forests. (English) Zbl 07542349

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 284-298 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

CSimpl: a rely-guarantee-based framework for verifying concurrent programs. (English) Zbl 1452.68053

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Statistical inference based on unbiased estimators for intervals of random length. (English. Russian original) Zbl 06764451

J. Math. Sci., New York 221, No. 4, 511-521 (2017); translation from Statisticheskie Metody Otsenivaniya i Proverki Gipotez 20, 59-71 (2007).
MSC:  62C10 62F03
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software