×

Found 87 Documents (Results 1–87)

OptiLog: a framework for SAT-based systems. (English) Zbl 1518.68346

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 1-10 (2021).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Structuring data with block term decomposition: decomposition of joint tensors and variational block term decomposition as a parametrized mixture distribution model. (English. Russian original) Zbl 1468.62309

Comput. Math. Math. Phys. 61, No. 5, 816-835 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 5, 845-864 (2021).
MSC:  62H30 62R01 68T05
PDFBibTeX XMLCite
Full Text: DOI

Symbolic formulae for linear mixed models. (English) Zbl 1445.62177

Nguyen, Hien (ed.), Statistics and data science. Proceedings of the research school on statistics and data science, RSSDS 2019, Melbourne, Australia, July 24–26, 2019. Singapore: Springer. Commun. Comput. Inf. Sci. 1150, 3-21 (2019).
MSC:  62J05 62A01
PDFBibTeX XMLCite
Full Text: DOI arXiv

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. (English) Zbl 1428.68399

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 93-108 (2019).
MSC:  68W30 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Numerical Python. Scientific computing and data science applications with Numpy, SciPy and Matplotlib. 2nd revised and updated edition. (English) Zbl 1415.65002

Berkeley, CA: Apress (ISBN 978-1-4842-4245-2/pbk; 978-1-4842-4246-9/ebook). xxiii, 700 p. (2019).
MSC:  65-01 62-04 65-04
PDFBibTeX XMLCite
Full Text: DOI

PySAT: a Python toolkit for prototyping with SAT oracles. (English) Zbl 1484.68215

Beyersdorff, Olaf (ed.) et al., Theory and applications of satisfiability testing – SAT 2018. 21st international conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10929, 428-437 (2018).
MSC:  68T20 68V15
PDFBibTeX XMLCite
Full Text: DOI

Adaptive simulation selection for the discovery of the ground state line of binary alloys with a limited computational budget. (English) Zbl 1381.74235

Melnik, Roderick (ed.) et al., Recent progress and modern challenges in applied mathematics, modeling and computational science. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-6968-5/hbk; 978-1-4939-6969-2/ebook). Fields Institute Communications 79, 185-211 (2017).
MSC:  74S30
PDFBibTeX XMLCite
Full Text: DOI

Novel methods in computational finance. (English) Zbl 1390.91011

Mathematics in Industry 25. The European Consortium for Mathematics in Industry. Cham: Springer (ISBN 978-3-319-61281-2/hbk; 978-3-319-61282-9/ebook). xviii, 606 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. (English) Zbl 1365.62003

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software