×

Found 1,765 Documents (Results 1–100)

Stochastic computational methods and experiment design. (English. Russian original) Zbl 07711980

Vestn. St. Petersbg. Univ., Math. 56, No. 2, 135-142 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 2, 187-199 (2023).
MSC:  65-02 65C05 65C40
PDF BibTeX XML Cite
Full Text: DOI

Internal shortest absent word queries. (English) Zbl 07695992

Gawrychowski, Paweł (ed.) et al., 32nd annual symposium on combinatorial pattern matching, CPM 2021, Wrocław, Poland, July 5–7, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 191, Article 6, 18 p. (2021).
MSC:  68W32
PDF BibTeX XML Cite
Full Text: DOI

Verifying the correctness of distributed systems via mergeable parallelism. (English) Zbl 1498.68079

Qin, Shengchao (ed.) et al., Dependable software engineering. Theories, tools, and applications. 7th international symposium, SETTA 2021, Beijing, China, November 25–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13071, 122-140 (2021).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

New parallelisms of \(\operatorname{PG}(3,5)\) with automorphisms of order 8. (English) Zbl 07497967

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 409-419 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Fast swapping in a quantum multiplier modelled as a queuing network. (English) Zbl 07419496

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 256-265 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Killing tensor on Hopf real hypersurfaces in the complex quadric. (English) Zbl 1475.53063

Suh, Young Jin (ed.) et al., Proceedings of the 23rd international differential geometry workshop on submanifolds in homogeneous spaces and related topics and the 19th RIRCM-OCAMI joint differential geometry workshop, virtual conference, July 2–3, 2021. Daegu: Kyungpook National University, Research Institute of Real and Complex Manifolds (RIRCM); Osaka: Osaka City University Advanced Mathematical Institute (OCAMI). 219-236 (2021).
MSC:  53C40 53C55
PDF BibTeX XML Cite

Birkhoff-James orthogonality and applications: a survey. (English) Zbl 1482.46017

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 293-315 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Detecting \(k\)-(Sub-)cadences and equidistant subsequence occurrences. (English) Zbl 07651103

Gørtz, Inge Li (ed.) et al., 31st annual symposium on combinatorial pattern matching, CPM 2020, Copenhagen, Denmark, June 17–19, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 161, Article 12, 11 p. (2020).
MSC:  68W32
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fully discrete Schwarz waveform relaxation on two bounded overlapping subdomains. (English) Zbl 1509.65094

Haynes, Ronald (ed.) et al., Domain decomposition methods in science and engineering XXV. Selected papers based on the presentations at the 25th international conference on domain decomposition methods, Memorial University of Newfoundland, in St. John’s, Newfoundland and Labrador, Canada, July 23–27, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 138, 159-166 (2020).
PDF BibTeX XML Cite
Full Text: DOI

A general framework for static cost analysis of parallel logic programs. (English) Zbl 1502.68068

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 19-35 (2020).
MSC:  68N17 68N19
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Contention resolution without collision detection. (English) Zbl 07298234

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). 105-118 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Numerical algorithms for systems with extramassive parallelism. (English. Russian original) Zbl 1451.65122

Comput. Math. Math. Phys. 60, No. 5, 783-794 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 5, 802-814 (2020).
MSC:  65M08
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software