×

Found 1,863 Documents (Results 1–100)

100
MathJax

Understand volatility of algorithmic stablecoin: modeling, verification and empirical analysis. (English) Zbl 07535903

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 97-108 (2021).
MSC:  91Bxx 94A60
PDF BibTeX XML Cite
Full Text: DOI

KHAPE: Asymmetric PAKE from key-hiding key exchange. (English) Zbl 07529216

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 701-730 (2021).
MSC:  94A60 68P25 94A62
PDF BibTeX XML Cite
Full Text: DOI

The Loewner framework for system identification and reduction. (English) Zbl 07445316

Benner, Peter (ed.) et al., Model order reduction. Volume 1: System- and data-driven methods and algorithms. Berlin: De Gruyter. 181-228 (2021).
MSC:  65-XX 68-XX
PDF BibTeX XML Cite
Full Text: DOI

Assur decompositions of direction-length frameworks. (English) Zbl 1479.05232

Gentile, Claudio (ed.) et al., Graphs and combinatorial optimization: from theory to applications. Proceedings of the 18th Cologne-Twente workshop on graphs and combinatorial optimization (CTW2020), online, September 14–16, 2020. Cham: Springer. AIRO Springer Ser. 5, 131-143 (2021).
MSC:  05C62 05C70
PDF BibTeX XML Cite
Full Text: DOI

A multistage mosquito-centred mathematical model for malaria dynamics that captures mosquito gonotrophic cycle contributions to its population abundance and malaria transmission. (English) Zbl 1478.92229

Teboh-Ewungkem, Miranda I. (ed.) et al., Infectious diseases and our planet. Cham: Springer. Math. Planet Earth 7, 97-148 (2021).
MSC:  92D30 92D25 34D23
PDF BibTeX XML Cite
Full Text: DOI

\( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages. (English) Zbl 07415135

Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 98-119 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

A general framework for studying certain generalized topologically open sets in relator spaces. (English) Zbl 1473.54001

Rassias, Themistocles M. (ed.), Nonlinear analysis, differential equations, and applications. Cham: Springer. Springer Optim. Appl. 173, 415-491 (2021).
MSC:  54A05
PDF BibTeX XML Cite
Full Text: DOI

Slope one meets neighbourhood: revisiting slope one predictor in collaborative filtering. (English) Zbl 07388985

Giri, Debasis (ed.) et al., Proceedings of the sixth international conference on mathematics and computing, ICMC 2020, Gangtok, Sikkim, India, March 18–20, 2020. Singapore: Springer. Adv. Intell. Syst. Comput. 1262, 217-225 (2021).
MSC:  65-XX
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

Classification

Biographic Reference

all top 3

Software