×

Found 3,574 Documents (Results 1–100)

Mathematical model of replacing methane in hydrate with carbon dioxide when it is injected into a reservoir saturated with a mixture of hydrate, methane, and water. (English. Russian original) Zbl 07781675

Proc. Steklov Inst. Math. 322, 224-231 (2023); translation from Tr. Mat. Inst. Steklova 322, 233-240 (2023).
MSC:  76S05 76V05 76M55
PDFBibTeX XMLCite
Full Text: DOI

Prior density learning in variational Bayesian phylogenetic parameters inference. (English) Zbl 07777118

Jahn, Katharina (ed.) et al., Comparative genomics. 20th international conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13883, 112-130 (2023).
MSC:  92D15 62F15
PDFBibTeX XMLCite
Full Text: DOI arXiv

General equilibrium models in production networks with substitution of inputs. (English) Zbl 1525.91116

Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 22nd international conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13930, 3-22 (2023).
MSC:  91B50 91B38 90C25
PDFBibTeX XMLCite
Full Text: DOI

A new method for relaxation of elastic stresses during the growth of heteroepitaxial films. (English. Russian original) Zbl 1526.74047

Mech. Solids 58, No. 3, 716-726 (2023); translation from Izv. Ross. Akad. Nauk, Mekh. Tverd. Tela 2023, No. 3, 58-72 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Variable binding and substitution for (nameless) dummies. (English) Zbl 07793039

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 389-408 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

FUTURE: a lightweight block cipher using an optimal diffusion matrix. (English) Zbl 1515.94072

Batina, Lejla (ed.) et al., Progress in cryptology – AFRICACRYPT 2022. 13th international conference on cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18–20, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13503, 28-52 (2022).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

An interpolation algorithm for computing Dixon resultants. (English) Zbl 1508.13027

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 185-205 (2022).
MSC:  13P05 13P15 68W30
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