×

Found 186 Documents (Results 1–100)

Exploring formalisation. A primer in human-readable mathematics in Lean 3 with examples from simplicial topology. (English) Zbl 1496.68006

Surveys and Tutorials in the Applied Mathematical Sciences 11. Cham: Springer (ISBN 978-3-031-14648-0/pbk; 978-3-031-14649-7/ebook). iv, 147 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Pine: enabling privacy-preserving deep packet inspection on TLS with rule-hiding and fast connection establishment. (English) Zbl 1524.68044

Chen, Liqun (ed.) et al., Computer security – ESORICS 2020. 25th European symposium on research in computer security, ESORICS 2020, Guildford, UK, September 14–18, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12308, 3-22 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Ergodic theoretic methods in group homology. A minicourse on \(L^2\)-Betti numbers in group theory. (English) Zbl 1444.37001

SpringerBriefs in Mathematics. Cham: Springer (ISBN 978-3-030-44219-4/pbk; 978-3-030-44220-0/ebook). ix, 114 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

A generic framework for accountable optimistic fair exchange protocol. (English) Zbl 1518.94082

Su, Chunhua (ed.) et al., Information security practice and experience. 14th international conference, ISPEC 2018, Tokyo, Japan, September 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11125, 299-309 (2018).
MSC:  94A60 94A62
PDFBibTeX XMLCite
Full Text: DOI

A multi-client DSSE scheme supporting range queries. (English) Zbl 1509.94116

Guo, Fuchun (ed.) et al., Information security and cryptology. 14th international conference, Inscrypt 2018, Fuzhou, China, December 14–17, 2018, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11449, 289-307 (2018).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

Compression-RSA technique: a more efficient encryption-decryption procedure. (English) Zbl 07752937

Zawiah, Wan Zin Wan (ed.) et al., Proceedings of the 3rd international conference on mathematical sciences, Kuala Lumpur, Malaysia, December 17–19, 2013. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 1602, 50-55 (2014).
MSC:  00A69
PDFBibTeX XMLCite
Full Text: DOI

Feature extraction within the Fei-tsui arch dam under environmental variations. (English) Zbl 1219.62178

Zhu, W. Q. (ed.) et al., IUTAM symposium on nonlinear stochastic dynamics and control. Proceedings of the IUTAM symposium held in Hangzhou, China, May 10–14, 2010. Dordrecht: Springer (ISBN 978-94-007-0731-3/hbk; 978-94-007-0732-0/ebook). IUTAM Bookseries 29, 45-54 (2011).
MSC:  62P12 86A15 86A17
PDFBibTeX XMLCite
Full Text: DOI

“Scrap your boilerplate” reloaded. (English) Zbl 1185.68196

Hagiya, Masami (ed.) et al., Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24–26, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33438-6/pbk). Lecture Notes in Computer Science 3945, 13-29 (2006).
MSC:  68N18
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