×

Found 1,121 Documents (Results 1–100)

Learning support systems based on mathematical knowledge management. (English) Zbl 07810725

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 84-97 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Almost tightly-secure re-randomizable and replayable CCA-secure public key encryption. (English) Zbl 1526.94030

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 275-305 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

An investigation of the recoverable robust assignment problem. (English) Zbl 07803597

Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 19, 14 p. (2021).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards tight adaptive security of non-interactive key exchange. (English) Zbl 1511.94110

Nissim, Kobbi (ed.) et al., Theory of cryptography. 19th international conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13044, 286-316 (2021).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

The collected papers of Albert Einstein. Volume 16 (documentary edition). The Berlin years / writings & correspondence / June 1927 – May 1929. Edited by Diana Kormos Buchwald, Ze’ev Rosenkranz, József Illy, Daniel J. Kennefick, A. J. Kox, Dennis Lehmkuhl, Tilman Sauer and Jennifer Nollar James. (German, English, French, Italian, Dutch) Zbl 1499.01052

Princeton, NJ: Princeton University Press (ISBN 978-0-691-21681-2/hbk). civ, 1021 p. (2021).
PDFBibTeX XMLCite

The collected papers of Albert Einstein. Volume 16 (translation supplement). The Berlin years / writings & correspondence / June 1927 – May 1929. Edited by Diana Kormos Buchwald, Ze’ev Rosenkranz, József Illy, Daniel J. Kennefick, A. J. Kox, Dennis Lehmkuhl, Tilman Sauer and Jennifer Nollar James. Translated from the German by Jennifer Nollar James, William D. Brewer and Steven Rendall. (English, German) Zbl 1499.01051

Princeton, NJ: Princeton University Press (ISBN 978-0-691-21682-9/pbk). xxxiv, 491 p. (2021).
PDFBibTeX XMLCite

Checking data-race freedom of GPU kernels, compositionally. (English) Zbl 1493.68025

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 403-426 (2021).
MSC:  68M07 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Deformation retraction of the group of strict contactomorphisms of the three-sphere to the unitary group. arXiv:2108.08961

Preprint, arXiv:2108.08961 [math.DG] (2021).
BibTeX Cite
Full Text: arXiv

The stretch factor of hexagon-Delaunay triangulations. (English) Zbl 07760163

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 34, 16 p. (2020).
MSC:  68U05 68-06 65Y20
PDFBibTeX XMLCite
Full Text: DOI

A flexible and easy-to-use library for the rapid development of graph tools in Java. (English) Zbl 1502.68014

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 297-306 (2020).
MSC:  68-04 68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software