×

Found 1,317 Documents (Results 1–100)

Newest Citations Relevance
Utkarsh, Utkarsh; Churavy, Valentin; Ma, Yingbo; Besard, Tim; Srisuma, Prakitr; Gymnich, Tim; Gerlach, Adam R.; Edelman, Alan; Barbastathis, George; Braatz, Richard D.; Rackauckas, Christopher

Automated translation and accelerated solving of differential equations on multiple GPU platforms. (English) Zbl 1539.65077

Comput. Methods Appl. Mech. Eng. 419, Article ID 116591, 28 p. (2024).
MSC:  65L05 65L06 65Y05
PDFBibTeX XMLCite
\textit{U. Utkarsh} et al., Comput. Methods Appl. Mech. Eng. 419, Article ID 116591, 28 p. (2024; Zbl 1539.65077)
Full Text: DOI arXiv
Tvërdyĭ, DMitriĭ Aleksandrovich; Parovik, Roman Ivanovich

Solution of the inverse problem of identifying the order of the fractional derivative in a mathematical model of the dynamics of solar activity the at rising phase. (Russian. English summary) Zbl 07831236

Vestn. KRAUNTS, Fiz.-Mat. Nauki 45, No. 4, 36-51 (2023).
MSC:  34A08 34A34
PDFBibTeX XMLCite
\textit{D. A. Tvërdyĭ} and \textit{R. I. Parovik}, Vestn. KRAUNTS, Fiz.-Mat. Nauki 45, No. 4, 36--51 (2023; Zbl 07831236)
Full Text: DOI MNR
OA License
Tvërdyĭ, Dmitriĭ Aleksandrovich; Parovik, Roman Ivanovich; Khaëtov, Abdullo Rakhmonovich; Boltaev, Aziz Kozievich

Parallelization of a numerical algorithm for solving the Cauchy problem for a nonlinear differential equation of fractional variable order using OpenMP technology. (English) Zbl 07823377

Vestn. KRAUNTS, Fiz.-Mat. Nauki 43, No. 2, 87-110 (2023).
MSC:  34A08 65Y05 65M06
PDFBibTeX XMLCite
\textit{D. A. Tvërdyĭ} et al., Vestn. KRAUNTS, Fiz.-Mat. Nauki 43, No. 2, 87--110 (2023; Zbl 07823377)
Full Text: DOI MNR
OA License
Belenchia, Matteo; Corradini, Flavio; Quadrini, Michela; Loreti, Michele

Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks. (English) Zbl 07786541

Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 37-54 (2023).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
\textit{M. Belenchia} et al., Lect. Notes Comput. Sci. 13910, 37--54 (2023; Zbl 07786541)
Full Text: DOI
Aggarwal, Saksham; de la Banda, Alejandro Stuckey; Yang, Luke; Gutierrez, Julian

A matrix-based approach to parity games. (English) Zbl 07777329

Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 666-683 (2023).
MSC:  68Q60 68Q10 68Q25 91A43 91A80
PDFBibTeX XMLCite
\textit{S. Aggarwal} et al., Lect. Notes Comput. Sci. 13993, 666--683 (2023; Zbl 07777329)
Full Text: DOI
OA License
Tardivo, Fabio; Dovier, Agostino; Formisano, Andrea; Michel, Laurent; Pontelli, Enrico

Constraint propagation on GPU: a case study for the cumulative constraint. (English) Zbl 07745670

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 336-353 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{F. Tardivo} et al., Lect. Notes Comput. Sci. 13884, 336--353 (2023; Zbl 07745670)
Full Text: DOI
Pavlov, Daniil; Kolotinskii, Daniil; Stegailov, Vladimir

GPU-based molecular dynamics of turbulent liquid flows with OpenMM. (English) Zbl 1533.65009

Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 14th international conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13826, 346-358 (2023).
MSC:  65C05 76-04 76F99
PDFBibTeX XMLCite
\textit{D. Pavlov} et al., Lect. Notes Comput. Sci. 13826, 346--358 (2023; Zbl 1533.65009)
Full Text: DOI
Bellini, Emanuele; Chavez-Saab, Jorge; Chi-Domínguez, Jesús-Javier; Esser, Andre; Ionica, Sorina; Rivera-Zamarripa, Luis; Rodríguez-Henríquez, Francisco; Trimoska, Monika; Zweydinger, Floyd

Parallel isogeny path finding with limited memory. (English) Zbl 1519.94047

Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 294-316 (2023).
MSC:  94A60
PDFBibTeX XMLCite
\textit{E. Bellini} et al., Lect. Notes Comput. Sci. 13774, 294--316 (2023; Zbl 1519.94047)
Full Text: DOI
Khrapov, S. S.

Numerical modeling of hydrodynamic accidents: erosion of dams and flooding of territories. (English. Russian original) Zbl 07711994

Vestn. St. Petersbg. Univ., Math. 56, No. 2, 261-272 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 2, 357-373 (2023).
MSC:  65Mxx 76Mxx 86Axx
PDFBibTeX XMLCite
\textit{S. S. Khrapov}, Vestn. St. Petersbg. Univ., Math. 56, No. 2, 261--272 (2023; Zbl 07711994); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 2, 357--373 (2023)
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software