×

Found 331 Documents (Results 1–100)

100
MathJax

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Using machine learning with PySpark and MLib for solving a binary classification problem: case of searching for exotic particles. (English) Zbl 07438702

Melliani, Said (ed.) et al., Recent advances in intuitionistic fuzzy logic systems and mathematics. Selected papers based on the presentations at the 6th international congress of the Moroccan Society of Applied Mathematics, Beni Mellal, Morocco, November 7–9, 2019. Cham: Springer. Stud. Fuzziness Soft Comput. 395, 109-118 (2021).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI

Machine learning approach for analyzing symptoms associated with COVID-19 risk factors. (English) Zbl 1471.92167

Mishra, Sushruta (ed.) et al., Impact of AI and data science in response to coronavirus pandemic. Singapore: Springer. Algorithms Intell. Syst., 71-96 (2021).
MSC:  92C50 68T07
PDF BibTeX XML Cite
Full Text: DOI

Medical risk prediction models. With ties to machine learning. (English) Zbl 1466.62007

Chapman & Hall/CRC Biostatistics Series. Boca Raton, FL: CRC Press (ISBN 978-1-138-38447-7/hbk; 978-1-138-38448-4/ebook). xix, 292 p. (2021).
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

Biographic Reference