×

Found 394 Documents (Results 1–100)

Capacity of the range of branching random walks in low dimensions. (English. Russian original) Zbl 1511.60120

Proc. Steklov Inst. Math. 316, 26-39 (2022); translation from Tr. Mat. Inst. Steklova 316, 32-46 (2022).
MSC:  60J80 60G50 60F05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Online machine learning techniques for Coq: a comparison. (English) Zbl 1485.68288

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 67-83 (2021).
MSC:  68V15 68T05 68W27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decision concept lattice vs. decision trees and random forests. (English) Zbl 07493564

Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 252-260 (2021).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference