×

zbMATH — the first resource for mathematics

Found 11,608 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Gorikhovskii, V. I.; Nagnibeda, E. A.
Optimization of \(\mathrm{CO}_2\) vibrational kinetics modeling in the full state-to-state approach. (English. Russian original) Zbl 07311069
Vestn. St. Petersbg. Univ., Math. 53, No. 3, 358-365 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 527-538 (2020).
MSC:  65 65L
PDF BibTeX XML Cite
\textit{V. I. Gorikhovskii} and \textit{E. A. Nagnibeda}, Vestn. St. Petersbg. Univ., Math. 53, No. 3, 358--365 (2020; Zbl 07311069); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 527--538 (2020)
Full Text: DOI
Devonport, Alex; Khaled, Mahmoud; Arcak, Murat; Zamani, Majid
PIRK: scalable interval reachability analysis for high-dimensional nonlinear systems. (English) Zbl 07306428
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{A. Devonport} et al., Lect. Notes Comput. Sci. 12224, 556--568 (2020; Zbl 07306428)
Full Text: DOI
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872
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. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{A. Lavaei} 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. 31, 2 p. (2020; Zbl 07300872)
Full Text: DOI
Andoni, Alexandr; Stein, Clifford; Zhong, Peilin
Parallel approximate undirected shortest paths via low hop emulators. (English) Zbl 07298251
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). 322-335 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{A. Andoni} 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). 322--335 (2020; Zbl 07298251)
Full Text: DOI
Li, Jason
Faster parallel algorithm for approximate shortest path. (English) Zbl 07298250
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). 308-321 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{J. Li}, 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). 308--321 (2020; Zbl 07298250)
Full Text: DOI
Balkanski, Eric; Singer, Yaron
A lower bound for parallel submodular minimization. (English) Zbl 07298236
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). 130-139 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{E. Balkanski} and \textit{Y. Singer}, 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). 130--139 (2020; Zbl 07298236)
Full Text: DOI
Sarsembayev, M.; Urmashev, B.; Mladenovic, N.; Zaslavskyi, V. A.
Using the cuda technology to speed up computations in problems of chemical kinetics. (English. Russian original) Zbl 07285131
Cybern. Syst. Anal. 56, No. 4, 675-682 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 185-195 (2020).
Reviewer: Ilya A. Chernov (Petrozavodsk)
MSC:  80A25 80A30 65Y05 65Y10 65L05
PDF BibTeX XML Cite
\textit{M. Sarsembayev} et al., Cybern. Syst. Anal. 56, No. 4, 675--682 (2020; Zbl 07285131); translation from Kibern. Sist. Anal. 2020, No. 4, 185--195 (2020)
Full Text: DOI
Shylo, V. P.; Glybovets, M. M.; Gulayeva, N. M.; Nikishchikhina, K. V.
Genetic algorithm of tournament crowding based on Gaussian mutation. (English. Russian original) Zbl 07284554
Cybern. Syst. Anal. 56, No. 2, 231-242 (2020); translation from Kibern. Sist. Anal. 2020, No. 2, 75-88 (2020).
MSC:  68T 68W 68 90C 90
PDF BibTeX XML Cite
\textit{V. P. Shylo} et al., Cybern. Syst. Anal. 56, No. 2, 231--242 (2020; Zbl 07284554); translation from Kibern. Sist. Anal. 2020, No. 2, 75--88 (2020)
Full Text: DOI
Ambartsumyan, Ilona; Boukaram, Wajih; Bui-Thanh, Tan; Ghattas, Omar; Keyes, David; Stadler, Georg; Turkiyyah, George; Zampini, Stefano
Hierarchical matrix approximations of Hessians arising in inverse problems governed by PDEs. (English) Zbl 07271900
SIAM J. Sci. Comput. 42, No. 5, A3397-A3426 (2020).
Reviewer: Alain Brillard (Riedisheim)
MSC:  65M32 35Q93 49M25 49N45 65F10 65F99 65Y05 65Y10 78A46
PDF BibTeX XML Cite
\textit{I. Ambartsumyan} et al., SIAM J. Sci. Comput. 42, No. 5, A3397--A3426 (2020; Zbl 07271900)
Full Text: DOI
Schwardmann, Ulrich (ed.); Boehme, Christian (ed.); B. Heras, Dora (ed.); Cardellini, Valeria (ed.); Jeannot, Emmanuel (ed.); Salis, Antonio (ed.); Schifanella, Claudio (ed.); Manumachu, Ravi Reddy (ed.); Schwamborn, Dieter (ed.); Ricci, Laura (ed.); Sangyoon, Oh (ed.); Gruber, Thomas (ed.); Antonelli, Laura (ed.); Scott, Stephen L. (ed.)
Euro-Par 2019: parallel processing workshops. Euro-Par 2019 international workshops, Göttingen, Germany, August 26–30, 2019. Revised selected papers. (English) Zbl 1445.68026
Lecture Notes in Computer Science 11997. Cham: Springer (ISBN 978-3-030-48339-5/pbk; 978-3-030-48340-1/ebook). xvii, 763 p. (2020).
MSC:  68-06 65Y05 68Mxx 68W10 00B25
PDF BibTeX XML Cite
\textit{U. Schwardmann} (ed.) et al., Euro-Par 2019: parallel processing workshops. Euro-Par 2019 international workshops, Göttingen, Germany, August 26--30, 2019. Revised selected papers. Cham: Springer (2020; Zbl 1445.68026)
Full Text: DOI
Primavera, Leonardo; Florio, Emilia
Parallel algorithms for multifractal analysis of river networks. (English) Zbl 07249937
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer (ISBN 978-3-030-39080-8/pbk; 978-3-030-39081-5/ebook). Lecture Notes in Computer Science 11973, 307-317 (2020).
MSC:  65
PDF BibTeX XML Cite
\textit{L. Primavera} and \textit{E. Florio}, Lect. Notes Comput. Sci. 11973, 307--317 (2020; Zbl 07249937)
Full Text: DOI
De Luca, Pasquale; Galletti, Ardelio; Giunta, Giulio; Marcellino, Livia; Raei, Marzie
Performance analysis of a multicore implementation for solving a two-dimensional inverse anomalous diffusion problem. (English) Zbl 07249921
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer (ISBN 978-3-030-39080-8/pbk; 978-3-030-39081-5/ebook). Lecture Notes in Computer Science 11973, 109-121 (2020).
MSC:  65
PDF BibTeX XML Cite
\textit{P. De Luca} et al., Lect. Notes Comput. Sci. 11973, 109--121 (2020; Zbl 07249921)
Full Text: DOI
Binder, Nikolaus; Keller, Alexander
Massively parallel construction of radix tree forests for the efficient sampling of discrete or piecewise constant probability distributions. (English) Zbl 07240093
Tuffin, Bruno (ed.) et al., Monte Carlo and quasi-Monte Carlo methods. MCQMC 2018. Proceedings of the 13th international conference on Monte Carlo and quasi-Monte Carlo methods in scientific computing, Rennes, France, July 1–6, 2018. Cham: Springer (ISBN 978-3-030-43464-9/hbk; 978-3-030-43465-6/ebook). Springer Proceedings in Mathematics & Statistics 324, 143-159 (2020).
MSC:  65C05
PDF BibTeX XML Cite
\textit{N. Binder} and \textit{A. Keller}, in: Monte Carlo and quasi-Monte Carlo methods. MCQMC 2018. Proceedings of the 13th international conference on Monte Carlo and quasi-Monte Carlo methods in scientific computing, Rennes, France, July 1--6, 2018. Cham: Springer. 143--159 (2020; Zbl 07240093)
Full Text: DOI
Holm, Håvard H.; Sætra, Martin L.; Brodtkorb, André R.
Data assimilation for ocean drift trajectories using massive ensembles and GPUs. (English) Zbl 07239656
Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer (ISBN 978-3-030-43650-6/hbk; 978-3-030-43651-3/ebook). Springer Proceedings in Mathematics & Statistics 323, 715-723 (2020).
Reviewer: Abdallah Bradji (Annaba)
MSC:  65M08 65N08 62M99 60G35 35L65 76B15 68N19 65Y10 65Y05 86A05
PDF BibTeX XML Cite
\textit{H. H. Holm} et al., in: Finite volumes for complex applications IX -- methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15--19, 2020. In 2 volumes. Volume I and II. Cham: Springer. 715--723 (2020; Zbl 07239656)
Full Text: DOI
Bougeret, Marin; Jansen, Klaus; Poss, Michael; Rohwedder, Lars
Approximation results for makespan minimization with budgeted uncertainty. (English) Zbl 07238559
Bampis, Evripidis (ed.) et al., Approximation and online algorithms. 17th international workshop, WAOA 2019, Munich, Germany, September 12–13, 2019. Revised selected papers. Cham: Springer (ISBN 978-3-030-39478-3/pbk; 978-3-030-39479-0/ebook). Lecture Notes in Computer Science 11926, 60-71 (2020).
MSC:  68W25 68W27
PDF BibTeX XML Cite
\textit{M. Bougeret} et al., Lect. Notes Comput. Sci. 11926, 60--71 (2020; Zbl 07238559)
Full Text: DOI
Selvitopi, Oguz; Acer, Seher; Manguoğlu, Murat; Aykanat, Cevdet
The effect of various sparsity structures on parallelism and algorithms to reveal those structures. (English) Zbl 07225630
Grama, Ananth (ed.) et al., Parallel algorithms in computational science and engineering. Cham: Birkhäuser (ISBN 978-3-030-43735-0/hbk; 978-3-030-43736-7/ebook). Modeling and Simulation in Science, Engineering and Technology, 35-62 (2020).
MSC:  68W10 05B20 05C50 65F50 65Y05 15A20
PDF BibTeX XML Cite
\textit{O. Selvitopi} et al., in: Parallel algorithms in computational science and engineering. Cham: Birkhäuser. 35--62 (2020; Zbl 07225630)
Full Text: DOI
Plachý, Štěpán; Janoušek, Jan
On synchronizing tree automata and their work-optimal parallel run, usable for parallel tree pattern matching. (English) Zbl 1440.68162
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 576-586 (2020).
MSC:  68Q45 68W10
PDF BibTeX XML Cite
\textit{Š. Plachý} and \textit{J. Janoušek}, Lect. Notes Comput. Sci. 12011, 576--586 (2020; Zbl 1440.68162)
Full Text: DOI
Jargalsaikhan, Davaajav; Hendrian, Diptarama; Yoshinaka, Ryo; Shinohara, Ayumi
Parallel duel-and-sweep algorithm for the order-preserving pattern matching. (English) Zbl 1440.68342
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 211-222 (2020).
MSC:  68W32 68W10
PDF BibTeX XML Cite
\textit{D. Jargalsaikhan} et al., Lect. Notes Comput. Sci. 12011, 211--222 (2020; Zbl 1440.68342)
Full Text: DOI
Balabanov, Todor; Ivanov, Stoyan; Ketipov, Rumen
Solving combinatorial puzzles with parallel evolutionary algorithms. (English) Zbl 1440.68349
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 493-500 (2020).
MSC:  68W50 68Q42 68W10 90C59
PDF BibTeX XML Cite
\textit{T. Balabanov} et al., Lect. Notes Comput. Sci. 11958, 493--500 (2020; Zbl 1440.68349)
Full Text: DOI
Stefonishin, Daniil A.; Matveev, Sergey A.; Zheltkov, Dmitry A.
Tensors in modelling multi-particle interactions. (English) Zbl 07223024
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer (ISBN 978-3-030-41031-5/pbk; 978-3-030-41032-2/ebook). Lecture Notes in Computer Science 11958, 173-180 (2020).
MSC:  65
PDF BibTeX XML Cite
\textit{D. A. Stefonishin} et al., Lect. Notes Comput. Sci. 11958, 173--180 (2020; Zbl 07223024)
Full Text: DOI
Cholamjiak, Watcharaporn; Khan, Suhel Ahmad; Yambangwai, Damrongsak; Kazmi, Kaleem Raza
Strong convergence analysis of common variational inclusion problems involving an inertial parallel monotone hybrid method for a novel application to image restoration. (English) Zbl 1443.47055
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 114, No. 2, Paper No. 99, 20 p. (2020).
MSC:  47J22 47J25 47H05 47N10 68U10
PDF BibTeX XML Cite
\textit{W. Cholamjiak} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 114, No. 2, Paper No. 99, 20 p. (2020; Zbl 1443.47055)
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