×

zbMATH — the first resource for mathematics

Found 4,265 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Gordon, Andrew D.; Russo, Claudio; Szymczak, Marcin; Borgström, Johannes; Rolland, Nicolas; Graepel, Thore; Tarlow, Daniel
Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{A. D. Gordon} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489--532 (2021; Zbl 07311054)
Full Text: DOI
Lampropoulos, Leonidas; Pierce, Benjamin C.; Xia, Li-yao; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John
Luck: a probabilistic language for testing. (English) Zbl 07311053
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{L. Lampropoulos} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449--488 (2021; Zbl 07311053)
Full Text: DOI
Gibbons, Jeremy; McIver, Annabelle; Morgan, Carroll; Schrijvers, Tom
Quantitative information flow with monads in Haskell. (English) Zbl 07311052
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 391-448 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{J. Gibbons} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 391--448 (2021; Zbl 07311052)
Full Text: DOI
Trilla, José Manuel Calderón; Hicks, Michael; Magill, Stephen; Mardziel, Piotr; Sweet, Ian
Probabilistic abstract interpretation: sound inference and application to privacy. (English) Zbl 07311051
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{J. M. C. Trilla} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361--390 (2021; Zbl 07311051)
Full Text: DOI
Sankaranarayanan, Sriram
Quantitative analysis of programs with probabilities and concentration of measure inequalities. (English) Zbl 07311048
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 259-294 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{S. Sankaranarayanan}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 259--294 (2021; Zbl 07311048)
Full Text: DOI
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr
Termination analysis of probabilistic programs with martingales. (English) Zbl 07311047
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 221-258 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{K. Chatterjee} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 221--258 (2021; Zbl 07311047)
Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
Expected runtime analyis by program verification. (English) Zbl 07311046
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 185-220 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{B. L. Kaminski} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185--220 (2021; Zbl 07311046)
Full Text: DOI
Dal Lago, Ugo
On probabilistic \(\lambda\)-calculi. (English) Zbl 07311044
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 121-144 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{U. Dal Lago}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 121--144 (2021; Zbl 07311044)
Full Text: DOI
Huang, Daniel; Morrisett, Greg; Spitters, Bas
An application of computable distributions to the semantics of probabilistic programs. (English) Zbl 07311043
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 75-120 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{D. Huang} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 75--120 (2021; Zbl 07311043)
Full Text: DOI
Staton, Sam
Probabilistic programs as measures. (English) Zbl 07311042
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 43-74 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{S. Staton}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 43--74 (2021; Zbl 07311042)
Full Text: DOI
Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter
Semantics of probabilistic programming: a gentle introduction. (English) Zbl 07311041
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 1-42 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{F. Dahlqvist} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1--42 (2021; Zbl 07311041)
Full Text: DOI
Kotwal, Adit; Bharti, Rishika; Pandya, Mansi; Jhaveri, Harshil; Mangrulkar, Ramchandra
Application of BAT algorithm for detecting malignant brain tumors. (English) Zbl 07310495
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 119-132 (2021).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{A. Kotwal} et al., in: Applications of bat algorithm and its variants. Singapore: Springer. 119--132 (2021; Zbl 07310495)
Full Text: DOI
Limbeck, Jan; Bisdom, Kevin; Lanz, Fabian; Park, Timothy; Barbaro, Eduardo; Bourne, Stephen; Kiraly, Franz; Bierman, Stijn; Harris, Chris; Nevenzeel, Keimpe; den Bezemer, Taco; van Elk, Jan
Using machine learning for model benchmarking and forecasting of depletion-induced seismicity in the Groningen gas field. (English) Zbl 07307224
Comput. Geosci. 25, No. 1, 529-551 (2021).
MSC:  86A15 86A32 68T05
PDF BibTeX XML Cite
\textit{J. Limbeck} et al., Comput. Geosci. 25, No. 1, 529--551 (2021; Zbl 07307224)
Full Text: DOI
Sun, Ting; Vasarhalyi, Miklos A.
Predicting credit card delinquencies: an application of deep neural networks. (English) Zbl 07283339
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific (ISBN 978-981-12-0244-5/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). 4349-4381 (2021).
MSC:  91G40 68T07
PDF BibTeX XML Cite
\textit{T. Sun} and \textit{M. A. Vasarhalyi}, in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific. 4349--4381 (2021; Zbl 07283339)
Full Text: DOI
Hong, Ted; Lee, Daniel; Wang, Wenching
Algorithmic analyst (ALAN) – an application for artificial intelligence content as a service. (English) Zbl 07283331
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific (ISBN 978-981-12-0244-5/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). 4075-4086 (2021).
MSC:  91G15 91G80 62P05 68T07
PDF BibTeX XML Cite
\textit{T. Hong} et al., in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific. 4075--4086 (2021; Zbl 07283331)
Full Text: DOI
Yu, T. Robert; Song, Xuehu
Big data and artificial intelligence in the banking industry. (English) Zbl 07283329
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific (ISBN 978-981-12-0244-5/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). 4025-4041 (2021).
MSC:  91G45 62P05 62R07 68T05
PDF BibTeX XML Cite
\textit{T. R. Yu} and \textit{X. Song}, in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific. 4025--4041 (2021; Zbl 07283329)
Full Text: DOI
Teng, Huei-Wen; Lee, Michael
Estimation procedures of using five alternative machine learning methods for predicting credit card default. (English) Zbl 07283313
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific (ISBN 978-981-12-0244-5/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). 3545-3572 (2021).
MSC:  91G40 91G80 68T05
PDF BibTeX XML Cite
\textit{H.-W. Teng} and \textit{M. Lee}, in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific. 3545--3572 (2021; Zbl 07283313)
Full Text: DOI
Li, Jianping; Li, Gang; Sun, Dongxia; Lee, Cheng Few
Evolution strategy-based adaptive \(L_q\) penalty support vector machines with Gauss kernel for credit risk analysis. (English) Zbl 07283256
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 2. Hackensack, NJ: World Scientific (ISBN 978-981-12-0242-1/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). 1675-1693 (2021).
MSC:  91G40 62P05 68T05
PDF BibTeX XML Cite
\textit{J. Li} et al., in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 2. Hackensack, NJ: World Scientific. 1675--1693 (2021; Zbl 07283256)
Full Text: DOI
Usilin, S. A.; Arlazarov, V. V.; Rokhlin, N. S.; Rudyka, S. A.; Matveev, S. A.; Zatsarinnyy, A. A.
Training Viola-Jones detectors for 3D objects based on fully synthetic data for use in rescue missions with UAV. (English) Zbl 07312384
Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 13, No. 4, 94-106 (2020).
MSC:  68T10
PDF BibTeX XML Cite
\textit{S. A. Usilin} et al., Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 13, No. 4, 94--106 (2020; Zbl 07312384)
Full Text: DOI MNR
Miolane, Nina; Guigui, Nicolas; Le Brigant, Alice; Mathe, Johan; Hou, Benjamin; Thanwerdas, Yann; Heyder, Stefan; Peltre, Olivier; Koep, Niklas; Zaatiti, Hadi; Hajri, Hatem; Cabanes, Yann; Gerald, Thomas; Chauchat, Paul; Shewmake, Christian; Brooks, Daniel; Kainz, Bernhard; Donnat, Claire; Holmes, Susan; Pennec, Xavier
Geomstats: a Python package for Riemannian geometry in machine learning. (English) Zbl 07307485
J. Mach. Learn. Res. 21, Paper No. 223, 9 p. (2020).
MSC:  68T05
PDF BibTeX XML Cite
\textit{N. Miolane} et al., J. Mach. Learn. Res. 21, Paper No. 223, 9 p. (2020; Zbl 07307485)
Full Text: Link
Derbentsev, Vasily; Matviychuk, Andriy; Soloviev, Vladimir N.
Forecasting of cryptocurrency prices using machine learning. (English) Zbl 07306698
Pichl, Lukáš (ed.) et al., Advanced studies of financial technologies and cryptocurrency markets. Springer: Singapore (ISBN 978-981-15-4497-2/hbk; 978-981-15-4498-9/ebook). 211-231 (2020).
MSC:  91G99 62P05 68T05
PDF BibTeX XML Cite
\textit{V. Derbentsev} et al., in: Advanced studies of financial technologies and cryptocurrency markets. Springer: Singapore. 211--231 (2020; Zbl 07306698)
Full Text: DOI
Rafael-Patino, Jonathan; Yu, Thomas; Delvigne, Victor; Barakovic, Muhamed; Pizzolato, Marco; Girard, Gabriel; Jones, Derek K.; Canales-Rodríguez, Erick J.; Thiran, Jean-Philippe
DWI simulation-assisted machine learning models for microstructure estimation. (English) Zbl 07304442
Bonet-Carne, Elisenda (ed.) et al., Computational diffusion MRI. MICCAI workshop, Shenzhen, China, October 17, 2019. Cham: Springer (ISBN 978-3-030-52892-8/hbk; 978-3-030-52893-5/ebook). Mathematics and Visualization, 125-134 (2020).
MSC:  92C55 92B20 68T05
PDF BibTeX XML Cite
\textit{J. Rafael-Patino} et al., in: Computational diffusion MRI. MICCAI workshop, Shenzhen, China, October 17, 2019. Cham: Springer. 125--134 (2020; Zbl 07304442)
Full Text: DOI
Schilling, Kurt G.; Rogers, Baxter; Anderson, Adam W.; Landman, Bennett A.
Current challenges and future directions in diffusion MRI: from model- to data-driven analysis. (English) Zbl 07304437
Bonet-Carne, Elisenda (ed.) et al., Computational diffusion MRI. MICCAI workshop, Shenzhen, China, October 17, 2019. Cham: Springer (ISBN 978-3-030-52892-8/hbk; 978-3-030-52893-5/ebook). Mathematics and Visualization, 63-78 (2020).
MSC:  92C55 92B20 92-08
PDF BibTeX XML Cite
\textit{K. G. Schilling} et al., in: Computational diffusion MRI. MICCAI workshop, Shenzhen, China, October 17, 2019. Cham: Springer. 63--78 (2020; Zbl 07304437)
Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300871
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 30, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{P. Ashok} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 30, 2 p. (2020; Zbl 07300871)
Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300858
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 17, 7 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{P. Ashok} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 17, 7 p. (2020; Zbl 07300858)
Full Text: DOI
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre
Interpretable classification of time-series data using efficient enumerative techniques. (English) Zbl 07300850
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 9, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{S. Mohammadinejad} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 9, 10 p. (2020; Zbl 07300850)
Full Text: DOI
England, Matthew
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. (English) Zbl 07300047
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 13 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{M. England}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 13 (2020; Zbl 07300047)
Full Text: DOI
Schubotz, Moritz; Scharpf, Philipp; Teschke, Olaf; Kühnemund, Andreas; Breitinger, Corinna; Gipp, Bela
AutoMSC: automatic assignment of Mathematics Subject Classification labels. (English) Zbl 07298567
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-53517-9/pbk; 978-3-030-53518-6/ebook). Lecture Notes in Computer Science 12236. Lecture Notes in Artificial Intelligence, 237-250 (2020).
MSC:  68Vxx
PDF BibTeX XML Cite
\textit{M. Schubotz} et al., Lect. Notes Comput. Sci. 12236, 237--250 (2020; Zbl 07298567)
Full Text: DOI
Chia, Nai-Hui; Gilyén, András; Li, Tongyang; Lin, Han-Hsuan; Tang, Ewin; Wang, Chunhao
Sampling-based sublinear low-rank matrix arithmetic framework for dequantizing quantum machine learning. (English) Zbl 07298256
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 387-400 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{N.-H. Chia} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 387--400 (2020; Zbl 07298256)
Full Text: DOI
Zenkov, V. V.
Applying an approximation of the Anderson discriminant function and support vector machines for solving some classification tasks. (English. Russian original) Zbl 07294353
Autom. Remote Control 81, No. 1, 118-129 (2020); translation from Avtom. Telemekh. 2020, No. 1, 159-172 (2020).
MSC:  62H30 68T05
PDF BibTeX XML Cite
\textit{V. V. Zenkov}, Autom. Remote Control 81, No. 1, 118--129 (2020; Zbl 07294353); translation from Avtom. Telemekh. 2020, No. 1, 159--172 (2020)
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
all top 3
Software