×

Found 454 Documents (Results 1–100)

Power-to-chemicals: a superstructure problem for sustainable syngas production. (English) Zbl 1471.92479

Göttlich, Simone (ed.) et al., Mathematical modeling, simulation and optimization for power engineering and management. Cham: Springer. Math. Ind. 34, 145-168 (2021).
MSC:  92E20 93B11 93C20
PDF BibTeX XML Cite
Full Text: DOI

Global implicit solver for multiphase multicomponent flow in porous media with multiple gas phases and general reactions. (English) Zbl 1454.65166

Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer. Springer Proc. Math. Stat. 323, 595-603 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Parallel fuzzy inference method for higher order Takagi-Sugeno systems. (English. Russian original) Zbl 1411.93107

Cybern. Syst. Anal. 54, No. 6, 1003-1012 (2018); translation from Kibern. Sist. Anal. 2018, No. 6, 170-180 (2018).
MSC:  93C42 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Standardization of a call-by-value lambda-calculus. (English) Zbl 1367.68052

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 211-225 (2015).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI

Semantics of probabilistic processes. An operational approach. (English) Zbl 1315.68002

Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Full lattice basis reduction on graphics cards. (English) Zbl 1305.68080

Armknecht, Frederik (ed.) et al., Research in cryptology. 4th Western European workshop, WEWoRC 2011, Weimar, Germany, July 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34158-8/pbk). Lecture Notes in Computer Science 7242, 30-44 (2012).
MSC:  68P25 94A60 68W10
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

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