×

Found 825 Documents (Results 1–100)

Three-dimensional simulation of single- and multiphase flow in roughness microchannels. (Russian. English summary) Zbl 07868521

Sib. Zh. Ind. Mat. 26, No. 2, 130-141 (2023); translation in J. Appl. Ind. Math. 17, No. 2, 396-404 (2023).
MSC:  76-XX 86-XX
PDFBibTeX XMLCite
Full Text: DOI MNR

Multiple-stream parallel pseudo-random number generation with cellular automata. (English) Zbl 07855514

Manzoni, Luca (ed.) et al., Cellular automata and discrete complex systems. 29th IFIP WG 1.5 international workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14152, 90-104 (2023).
MSC:  68Q80
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

TIDAL: practical collisions on state-reduced Keccak variants. (English) Zbl 07763065

Tibouchi, Mehdi (ed.) et al., Applied cryptography and network security. 21st international conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13905, 208-233 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

GPU computation of the Euler characteristic curve for imaging data. (English) Zbl 07849062

Goaoc, Xavier (ed.) et al., 38th international symposium on computational geometry, SoCG 2022, Berlin, Germany, June 7–10, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 224, Article 64, 16 p. (2022).
MSC:  68U05
PDFBibTeX XMLCite
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