Abell, Martha L.; Braselton, James P. Differential equations with Mathematica. 5th edition. (English) Zbl 1481.34001 Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-824160-8/pbk; 978-0-323-98436-2/ebook). ix, 592 p. (2023). MSC: 34-01 65-01 68N15 PDF BibTeX XML Cite \textit{M. L. Abell} and \textit{J. P. Braselton}, Differential equations with Mathematica. 5th edition. Amsterdam: Elsevier/Academic Press (2023; Zbl 1481.34001) Full Text: DOI OpenURL
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Zorzenon, Davide; Komenda, Jan; Raisch, Jörg The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory. (English) Zbl 07516296 Discrete Appl. Math. 315, 56-70 (2022). MSC: 90C35 PDF BibTeX XML Cite \textit{D. Zorzenon} et al., Discrete Appl. Math. 315, 56--70 (2022; Zbl 07516296) Full Text: DOI OpenURL
Lin, Hai; Antsaklis, Panos J. Hybrid dynamical systems. Fundamentals and methods. (English) Zbl 07510259 Advanced Textbooks in Control and Signal Processing. Cham: Springer (ISBN 978-3-030-78729-5/hbk; 978-3-030-78731-8/ebook). xviii, 442 p. (2022). MSC: 93-02 93C30 93D05 93B45 90C11 49N70 91A23 91A50 68Q45 PDF BibTeX XML Cite \textit{H. Lin} and \textit{P. J. Antsaklis}, Hybrid dynamical systems. Fundamentals and methods. Cham: Springer (2022; Zbl 07510259) Full Text: DOI OpenURL
Xie, Ruifeng; Hu, Zhenjiang Generic recursive lens combinators and their calculation laws. (English) Zbl 07505207 Theor. Comput. Sci. 913, 113-137 (2022). MSC: 68N30 68N15 PDF BibTeX XML Cite \textit{R. Xie} and \textit{Z. Hu}, Theor. Comput. Sci. 913, 113--137 (2022; Zbl 07505207) Full Text: DOI OpenURL
Wang, Liang; Zhao, Jianxin; Mortier, Richard OCaml scientific computing. Functional programming in data science and artificial intelligence. (English) Zbl 07503505 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6/pbk; 978-3-030-97645-3/ebook). xxii, 359 p. (2022). MSC: 68-01 65-01 68N15 68N18 68Txx PDF BibTeX XML Cite \textit{L. Wang} et al., OCaml scientific computing. Functional programming in data science and artificial intelligence. Cham: Springer (2022; Zbl 07503505) Full Text: DOI OpenURL
Mastrodomenico, Rob The Python book. (English) Zbl 1481.68004 Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-57331-9/pbk; 978-1-119-57336-4/ebook). vi, 261 p. (2022). MSC: 68-01 68N15 68T09 PDF BibTeX XML Cite \textit{R. Mastrodomenico}, The Python book. Hoboken, NJ: John Wiley \& Sons (2022; Zbl 1481.68004) Full Text: DOI OpenURL
Mahmoodirad, Ali; Garg, Harish; Niroomand, Sadegh Solving fuzzy linear fractional set covering problem by a goal programming based solution approach. (English) Zbl 07475200 J. Ind. Manag. Optim. 18, No. 1, 439-456 (2022). MSC: 68T35 90B50 62A86 03E72 PDF BibTeX XML Cite \textit{A. Mahmoodirad} et al., J. Ind. Manag. Optim. 18, No. 1, 439--456 (2022; Zbl 07475200) Full Text: DOI OpenURL
Brijder, Robert; Gyssens, Marc; Van den Bussche, Jan On matrices and \(K\)-relations. (English) Zbl 07473199 Ann. Math. Artif. Intell. 90, No. 2-3, 181-210 (2022). MSC: 68N15 68P15 16Y60 PDF BibTeX XML Cite \textit{R. Brijder} et al., Ann. Math. Artif. Intell. 90, No. 2--3, 181--210 (2022; Zbl 07473199) Full Text: DOI arXiv OpenURL
Bilokon, Paul Alexander Python, data science and machine learning. From scratch to productivity (to appear). (English) Zbl 07291789 Hackensack, NJ: World Scientific (ISBN 978-981-12-1572-8/hbk). 300 p. (2022). MSC: 68-01 62-01 68N15 68T05 68T09 PDF BibTeX XML Cite \textit{P. A. Bilokon}, Python, data science and machine learning. From scratch to productivity (to appear). Hackensack, NJ: World Scientific (2022; Zbl 07291789) Full Text: DOI OpenURL
Zimmermann, Wolf; Picht, Roswitha (Konzepte höherer Programmiersprachen. (to appear).) (German) Zbl 05834957 München: de Gruyter/Oldenbourg (ISBN 978-3-486-58102-7/pbk). 350 p. (2022). MSC: 68N15 68N01 68-01 PDF BibTeX XML Cite \textit{W. Zimmermann} and \textit{R. Picht}, Konzepte höherer Programmiersprachen. (to appear). München: de Gruyter/Oldenbourg (2022; Zbl 05834957) OpenURL
Yoshida, Nobuko; Zhou, Fangyi; Ferreira, Francisco Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 07530222 Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021). MSC: 68Q85 68N19 68Q45 PDF BibTeX XML Cite \textit{N. Yoshida} et al., Lect. Notes Comput. Sci. 12867, 18--35 (2021; Zbl 07530222) Full Text: DOI OpenURL
Zhu, Wei; Chang, Leilei; Sun, Jianbin; Wu, Guohua; Xu, Xiaobin; Xu, Xiaojian Parallel multipopulation optimization for belief rule base learning. (English) Zbl 1484.68202 Inf. Sci. 556, 436-458 (2021). MSC: 68T05 68T35 68W50 90C59 PDF BibTeX XML Cite \textit{W. Zhu} et al., Inf. Sci. 556, 436--458 (2021; Zbl 1484.68202) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Function management in multi-population methods with a variable number of populations: a variable action learning automaton approach. (English) Zbl 1485.68325 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 323-340 (2021). MSC: 68W50 68Q45 68T05 68T20 90C59 PDF BibTeX XML Cite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 323--340 (2021; Zbl 1485.68325) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Learning automata for online function evaluation management in evolutionary multi-population methods for dynamic optimization problems. (English) Zbl 1485.68324 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 287-321 (2021). MSC: 68W50 68Q45 68T05 68T20 90C59 PDF BibTeX XML Cite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 287--321 (2021; Zbl 1485.68324) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Learning automata for behavior control in evolutionary computation. (English) Zbl 1485.68219 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 127-157 (2021). MSC: 68T05 68Q45 68W50 90C59 PDF BibTeX XML Cite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 127--157 (2021; Zbl 1485.68219) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Cellular automata, learning automata, and cellular learning automata for optimization. (English) Zbl 1485.68218 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 75-125 (2021). MSC: 68T05 68Q45 68Q80 90C59 PDF BibTeX XML Cite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 75--125 (2021; Zbl 1485.68218) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Learning automaton and its variants for optimization: a bibliometric analysis. (English) Zbl 1485.68217 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 51-73 (2021). MSC: 68T05 01A90 68Q45 90C59 PDF BibTeX XML Cite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 51--73 (2021; Zbl 1485.68217) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza An introduction to learning automata and optimization. (English) Zbl 1485.68216 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 1-50 (2021). MSC: 68T05 68Q45 68Q80 90C59 PDF BibTeX XML Cite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 1--50 (2021; Zbl 1485.68216) Full Text: DOI OpenURL
Wilhelm, Reinhard Book review of: K. D. Lee, Foundations of programming languages. (English) Zbl 07455786 Formal Asp. Comput. 33, No. 6, 1279-1280 (2021). MSC: 00A17 68-01 68N15 PDF BibTeX XML Cite \textit{R. Wilhelm}, Formal Asp. Comput. 33, No. 6, 1279--1280 (2021; Zbl 07455786) Full Text: DOI OpenURL
Cruttwell, Geoffrey; Gallagher, Jonathan; Pronk, Dorette Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021). MSC: 68T05 18C50 18F40 68N15 68Q55 PDF BibTeX XML Cite \textit{G. Cruttwell} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289--310 (2021; Zbl 1477.68262) Full Text: arXiv Link OpenURL
Destyl, Edès; Laminie, Jacques; Nuiro, Paul; Poullet, Pascal Numerical simulations of parity-time symmetric nonlinear Schrödinger equations in critical case. (English) Zbl 07451795 Discrete Contin. Dyn. Syst., Ser. S 14, No. 8, 2805-2821 (2021). MSC: 65-XX 35B40 35B44 35J10 35Q41 65M06 68N15 PDF BibTeX XML Cite \textit{E. Destyl} et al., Discrete Contin. Dyn. Syst., Ser. S 14, No. 8, 2805--2821 (2021; Zbl 07451795) Full Text: DOI OpenURL
Babati, Bence; Pataki, Norbert Evaluation of predicates in the C++ standard template library. (English) Zbl 07444236 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 57-72 (2021). MSC: 68N15 PDF BibTeX XML Cite \textit{B. Babati} and \textit{N. Pataki}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 57--72 (2021; Zbl 07444236) Full Text: Link OpenURL
Bistarelli, Stefano; Taticchi, Carlo Introducing a tool for concurrent argumentation. (English) Zbl 07437030 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 18-24 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{S. Bistarelli} and \textit{C. Taticchi}, Lect. Notes Comput. Sci. 12678, 18--24 (2021; Zbl 07437030) Full Text: DOI OpenURL
Hoang, Hung P.; Mütze, Torsten Combinatorial generation via permutation languages. II. Lattice congruences. (English) Zbl 1479.05182 Isr. J. Math. 244, No. 1, 359-417 (2021). MSC: 05C45 68W40 68Q45 52B11 52B12 06A07 PDF BibTeX XML Cite \textit{H. P. Hoang} and \textit{T. Mütze}, Isr. J. Math. 244, No. 1, 359--417 (2021; Zbl 1479.05182) Full Text: DOI arXiv OpenURL
Kutrib, Martin; Meyer, Uwe; Deworetzki, Niklas; Schuster, Marc Compiling Janus to RSSA. (English) Zbl 07419483 Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 64-78 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{M. Kutrib} et al., Lect. Notes Comput. Sci. 12805, 64--78 (2021; Zbl 07419483) Full Text: DOI OpenURL
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam Logic gates, circuits, processors, compilers and computers. (English) Zbl 1473.68005 Cham: Springer (ISBN 978-3-030-68552-2/pbk; 978-3-030-68553-9/ebook). xiv, 251 p. (2021). MSC: 68-01 68M07 68N15 68N20 94C11 PDF BibTeX XML Cite \textit{J. F. Groote} et al., Logic gates, circuits, processors, compilers and computers. Cham: Springer (2021; Zbl 1473.68005) Full Text: DOI OpenURL
Zhang, Han; Zhang, Chi; Azevedo de Amorim, Arthur; Agarwal, Yuvraj; Fredrikson, Matt; Jia, Limin Netter: probabilistic, stateful network models. (English) Zbl 1472.68012 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021). MSC: 68M10 60J20 68N15 68Q45 68Q60 PDF BibTeX XML Cite \textit{H. Zhang} et al., Lect. Notes Comput. Sci. 12597, 486--508 (2021; Zbl 1472.68012) Full Text: DOI OpenURL
Song, Yahui; Chin, Wei-Ngan A synchronous effects logic for temporal verification of pure Esterel. (English) Zbl 1472.68020 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021). MSC: 68N15 03B70 68Q60 PDF BibTeX XML Cite \textit{Y. Song} and \textit{W.-N. Chin}, Lect. Notes Comput. Sci. 12597, 417--440 (2021; Zbl 1472.68020) Full Text: DOI OpenURL
Steffen, Bernhard; Murtovi, Alnis Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021). MSC: 68N30 03B44 68Q55 68Q60 PDF BibTeX XML Cite \textit{B. Steffen} and \textit{A. Murtovi}, Lect. Notes Comput. Sci. 12597, 29--51 (2021; Zbl 1472.68042) Full Text: DOI OpenURL
Abbasi, Rosa; Schiffl, Jonas; Darulova, Eva; Ulbrich, Mattias; Ahrendt, Wolfgang Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021). MSC: 68Q60 65G50 68N15 PDF BibTeX XML Cite \textit{R. Abbasi} et al., Lect. Notes Comput. Sci. 12652, 242--261 (2021; Zbl 1474.68186) Full Text: DOI arXiv OpenURL
Ricciotti, Wilmer; Cheney, James Query lifting. Language-integrated query for heterogeneous nested collections. (English) Zbl 1473.68067 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 579-606 (2021). MSC: 68P15 68N15 68N30 PDF BibTeX XML Cite \textit{W. Ricciotti} and \textit{J. Cheney}, Lect. Notes Comput. Sci. 12648, 579--606 (2021; Zbl 1473.68067) Full Text: DOI arXiv OpenURL
Paquet, Hugo Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 519-547 (2021). MSC: 68N30 62H22 68N15 68N19 68Q55 91A80 PDF BibTeX XML Cite \textit{H. Paquet}, Lect. Notes Comput. Sci. 12648, 519--547 (2021; Zbl 1473.68054) Full Text: DOI OpenURL
Lundén, Daniel; Borgström, Johannes; Broman, David Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021). MSC: 68N15 68N18 68N19 68Q55 68Q87 68T37 PDF BibTeX XML Cite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv OpenURL
Jaber, Guilhem; Murawski, Andrzej S. Complete trace models of state and control. (English) Zbl 1473.68037 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{G. Jaber} and \textit{A. S. Murawski}, Lect. Notes Comput. Sci. 12648, 348--374 (2021; Zbl 1473.68037) Full Text: DOI arXiv OpenURL
Beringer, Lennart Verified software units. (English) Zbl 1473.68035 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021). MSC: 68N15 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{L. Beringer}, Lect. Notes Comput. Sci. 12648, 118--147 (2021; Zbl 1473.68035) Full Text: DOI OpenURL
Raleigh, Sean Programming with data. (English) Zbl 1474.68040 Carter, Nathan (ed.), Data science for mathematicians. Boca Raton, FL: CRC Press. CRC Press/Chapman Hall Handb. Math. Ser., 13-42 (2021). MSC: 68N15 68T09 PDF BibTeX XML Cite \textit{S. Raleigh}, in: Data science for mathematicians. Boca Raton, FL: CRC Press. 13--42 (2021; Zbl 1474.68040) OpenURL
Liao, Mingjie; Wang, Haolei; Zhang, Lei The application of Julia language to material simulation. (Chinese. English summary) Zbl 07404351 J. Numer. Methods Comput. Appl. 42, No. 1, 71-79 (2021). MSC: 68N15 65Y15 65Z05 82C44 PDF BibTeX XML Cite \textit{M. Liao} et al., J. Numer. Methods Comput. Appl. 42, No. 1, 71--79 (2021; Zbl 07404351) Full Text: DOI OpenURL
Xu, Zhiwei; Zhang, Jialin Computational thinking: a perspective on computer science. (English) Zbl 07385350 Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 68M01 68M11 68N15 68P05 68P10 68Q04 68Q06 68Q15 68Q25 97P10 PDF BibTeX XML Cite \textit{Z. Xu} and \textit{J. Zhang}, Computational thinking: a perspective on computer science. Singapore: Springer (2021; Zbl 07385350) Full Text: DOI OpenURL
Quatmann, Tim; Katoen, Joost-Pieter Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021). MSC: 68Q60 68Q45 68Q87 90C29 90C40 PDF BibTeX XML Cite \textit{T. Quatmann} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 12651, 230--249 (2021; Zbl 1467.68094) Full Text: DOI arXiv OpenURL
Bansal, Suguman; Chatterjee, Krishnendu; Vardi, Moshe Y. On satisficing in quantitative games. (English) Zbl 1467.68161 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021). MSC: 68T20 68Q45 90C35 91A43 91A80 PDF BibTeX XML Cite \textit{S. Bansal} et al., Lect. Notes Comput. Sci. 12651, 20--37 (2021; Zbl 1467.68161) Full Text: DOI arXiv OpenURL
Lucas, Salvador Applications and extensions of context-sensitive rewriting. (English) Zbl 07377682 J. Log. Algebr. Methods Program. 121, Article ID 100680, 33 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Lucas}, J. Log. Algebr. Methods Program. 121, Article ID 100680, 33 p. (2021; Zbl 07377682) Full Text: DOI OpenURL
Ketkar, Nikhil; Moolayil, Jojo Deep learning with Python. Learn best practices of deep learning models with PyTorch. 2nd updated edition. (English) Zbl 1467.68002 Berkeley, CA: Apress (ISBN 978-1-4842-5363-2/pbk; 978-1-4842-5364-9/ebook). xvii, 306 p. (2021). MSC: 68-01 68N15 68T07 PDF BibTeX XML Cite \textit{N. Ketkar} and \textit{J. Moolayil}, Deep learning with Python. Learn best practices of deep learning models with PyTorch. 2nd updated edition. Berkeley, CA: Apress (2021; Zbl 1467.68002) Full Text: DOI OpenURL
Lohmann, Timo; Bussieck, Michael R.; Westermann, Lutz; Rebennack, Steffen High-performance prototyping of decomposition methods in GAMS. (English) Zbl 07362302 INFORMS J. Comput. 33, No. 1, 34-50 (2021). MSC: 90Cxx PDF BibTeX XML Cite \textit{T. Lohmann} et al., INFORMS J. Comput. 33, No. 1, 34--50 (2021; Zbl 07362302) Full Text: DOI OpenURL
Kordestani, Javidan Kazemi (ed.); Mirsaleh, Mehdi Razapoor (ed.); Rezvanian, Alireza (ed.); Meybodi, Mohammad Reza (ed.) Advances in learning automata and intelligent optimization. (English) Zbl 1470.68021 Intelligent Systems Reference Library 208. Cham: Springer (ISBN 978-3-030-76290-2/hbk; 978-3-030-76291-9/ebook). xx, 340 p. (2021). MSC: 68-06 68Q45 68Q80 68T05 68T20 68W50 90C59 00B15 PDF BibTeX XML Cite \textit{J. K. Kordestani} (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer (2021; Zbl 1470.68021) Full Text: DOI OpenURL
Paul, Jomon A.; Zhang, Minjiao Decision support model for cybersecurity risk planning: a two-stage stochastic programming framework featuring firms, government, and attacker. (English) Zbl 07355349 Eur. J. Oper. Res. 291, No. 1, 349-364 (2021). MSC: 90C90 68T35 90C15 91B06 PDF BibTeX XML Cite \textit{J. A. Paul} and \textit{M. Zhang}, Eur. J. Oper. Res. 291, No. 1, 349--364 (2021; Zbl 07355349) Full Text: DOI OpenURL
Artikis, Alexander; Makris, Evangelos; Paliouras, Georgios A probabilistic interval-based event calculus for activity recognition. (English) Zbl 07355085 Ann. Math. Artif. Intell. 89, No. 1-2, 29-52 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{A. Artikis} et al., Ann. Math. Artif. Intell. 89, No. 1--2, 29--52 (2021; Zbl 07355085) Full Text: DOI OpenURL
Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching in associative and commutative theories. (English) Zbl 07354268 J. Symb. Comput. 106, 78-109 (2021). MSC: 03B70 68Q42 68N15 33F10 PDF BibTeX XML Cite \textit{B. Dundua} et al., J. Symb. Comput. 106, 78--109 (2021; Zbl 07354268) Full Text: DOI OpenURL
Morales, Fernando A. The RaPID-\( \Omega\) system: room and Proctor intelligent decider for large scale tests programming. (English) Zbl 1474.90295 Yugosl. J. Oper. Res. 31, No. 1, 23-44 (2021). MSC: 90C10 90B80 68N15 PDF BibTeX XML Cite \textit{F. A. Morales}, Yugosl. J. Oper. Res. 31, No. 1, 23--44 (2021; Zbl 1474.90295) Full Text: DOI arXiv OpenURL
Bynum, Michael L.; Hackebeil, Gabriel A.; Hart, William E.; Laird, Carl D.; Nicholson, Bethany L.; Siirola, John D.; Watson, Jean-Paul; Woodruff, David L. Pyomo – optimization modeling in Python. 3rd edition. (English) Zbl 1462.90001 Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68930-8/pbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021). MSC: 90-01 00A71 68N15 68W30 90-04 90C90 PDF BibTeX XML Cite \textit{M. L. Bynum} et al., Pyomo -- optimization modeling in Python. 3rd edition. Cham: Springer (2021; Zbl 1462.90001) Full Text: DOI OpenURL
Carbin, Michael; Misailovic, Sasa Programming unreliable hardware. (English) Zbl 07311055 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 533-568 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{M. Carbin} and \textit{S. Misailovic}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 533--568 (2021; Zbl 07311055) Full Text: DOI OpenURL
Gordon, Andrew D.; Russo, Claudio; Szymczak, Marcin; Borgström, Johannes; Rolland, Nicolas; Graepel, Thore; Tarlow, Daniel Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{A. D. Gordon} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489--532 (2021; Zbl 07311054) Full Text: DOI OpenURL
Lampropoulos, Leonidas; Pierce, Benjamin C.; Xia, Li-yao; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John Luck: a probabilistic language for testing. (English) Zbl 07311053 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{L. Lampropoulos} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449--488 (2021; Zbl 07311053) Full Text: DOI OpenURL
Gibbons, Jeremy; McIver, Annabelle; Morgan, Carroll; Schrijvers, Tom Quantitative information flow with monads in Haskell. (English) Zbl 07311052 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 391-448 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{J. Gibbons} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 391--448 (2021; Zbl 07311052) Full Text: DOI OpenURL
Trilla, José Manuel Calderón; Hicks, Michael; Magill, Stephen; Mardziel, Piotr; Sweet, Ian Probabilistic abstract interpretation: sound inference and application to privacy. (English) Zbl 07311051 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{J. M. C. Trilla} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361--390 (2021; Zbl 07311051) Full Text: DOI OpenURL
Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon Quantitative equational reasoning. (English) Zbl 07311050 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 333-360 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Bacci} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 333--360 (2021; Zbl 07311050) Full Text: DOI OpenURL
Jacobs, Bart; Zanasi, Fabio The logical essentials of Bayesian reasoning. (English) Zbl 07311049 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 295-332 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{B. Jacobs} and \textit{F. Zanasi}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 295--332 (2021; Zbl 07311049) Full Text: DOI arXiv OpenURL
Sankaranarayanan, Sriram Quantitative analysis of programs with probabilities and concentration of measure inequalities. (English) Zbl 07311048 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 259-294 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{S. Sankaranarayanan}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 259--294 (2021; Zbl 07311048) Full Text: DOI OpenURL
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr Termination analysis of probabilistic programs with martingales. (English) Zbl 07311047 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 221-258 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 221--258 (2021; Zbl 07311047) Full Text: DOI OpenURL
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph Expected runtime analyis by program verification. (English) Zbl 07311046 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185-220 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{B. L. Kaminski} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185--220 (2021; Zbl 07311046) Full Text: DOI OpenURL
Barthe, Gilles; Hsu, Justin Probabilistic couplings from program logics. (English) Zbl 07311045 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 145-184 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Barthe} and \textit{J. Hsu}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 145--184 (2021; Zbl 07311045) Full Text: DOI OpenURL
Dal Lago, Ugo On probabilistic \(\lambda\)-calculi. (English) Zbl 07311044 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 121-144 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{U. Dal Lago}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 121--144 (2021; Zbl 07311044) Full Text: DOI OpenURL
Huang, Daniel; Morrisett, Greg; Spitters, Bas An application of computable distributions to the semantics of probabilistic programs. (English) Zbl 07311043 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 75-120 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{D. Huang} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 75--120 (2021; Zbl 07311043) Full Text: DOI arXiv OpenURL
Staton, Sam Probabilistic programs as measures. (English) Zbl 07311042 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 43-74 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{S. Staton}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 43--74 (2021; Zbl 07311042) Full Text: DOI OpenURL
Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter Semantics of probabilistic programming: a gentle introduction. (English) Zbl 07311041 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1-42 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{F. Dahlqvist} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1--42 (2021; Zbl 07311041) Full Text: DOI OpenURL
Barthe, Gilles (ed.); Katoen, Joost-Pieter (ed.); Silva, Alexandra (ed.) Preface. (English) Zbl 07311040 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. xi-xiv (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Barthe} (ed.) et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. xi-xiv (2021; Zbl 07311040) Full Text: DOI OpenURL
Prajna, K.; Manikanthababu, N. Bat algorithm with applications to signal, speech, and image processing – a review. (English) Zbl 1459.94042 Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021). MSC: 94A12 94A08 90C59 68T35 PDF BibTeX XML Cite \textit{K. Prajna} and \textit{N. Manikanthababu}, in: Applications of bat algorithm and its variants. Singapore: Springer. 133--153 (2021; Zbl 1459.94042) Full Text: DOI OpenURL
Weitz, Edmund Concrete mathematics (not only) for computer scientists. With many graphics and algorithms in Python. With illustrations by Heike Stephan. 2nd revised and expanded edition. (Konkrete Mathematik (nicht nur) für Informatiker. Mit vielen Grafiken und Algorithmen in Python.) (German) Zbl 1457.00003 Berlin: Springer Spektrum (ISBN 978-3-662-62617-7/hbk; 978-3-662-62618-4/ebook). xv, 989 p. (2021). MSC: 00A06 68-01 68N15 PDF BibTeX XML Cite \textit{E. Weitz}, Konkrete Mathematik (nicht nur) für Informatiker. Mit vielen Grafiken und Algorithmen in Python. 2nd revised and expanded edition. Berlin: Springer Spektrum (2021; Zbl 1457.00003) Full Text: DOI OpenURL
Kong, Qingkai; Siauw, Timmy; Bayen, Alexandre Python programming and numerical methods. A guide for engineers and scientists. (English) Zbl 1452.68001 Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-819549-9/pbk; 978-0-12-819550-5/ebook). xxiv, 456 p. (2021). MSC: 68-01 65-01 68N15 PDF BibTeX XML Cite \textit{Q. Kong} et al., Python programming and numerical methods. A guide for engineers and scientists. Amsterdam: Elsevier/Academic Press (2021; Zbl 1452.68001) Full Text: DOI OpenURL
Buro, Samuele; Crole, Roy; Mastroeni, Isabella Equational logic and categorical semantics for multi-languages. (English) Zbl 07516372 Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 79-103 (2020). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{S. Buro} et al., Electron. Notes Theor. Comput. Sci. 352, 79--103 (2020; Zbl 07516372) Full Text: DOI OpenURL
Amálio, Nuno Sound and relaxed behavioural inheritance. (English) Zbl 07483013 Adamatzky, Andrew (ed.) et al., From astrophysics to unconventional computation. Essays presented to Susan Stepney on the occasion of her 60th birthday. Cham: Springer. Emerg. Complex. Comput. 35, 255-298 (2020). MSC: 68N30 68N15 PDF BibTeX XML Cite \textit{N. Amálio}, Emerg. Complex. Comput. 35, 255--298 (2020; Zbl 07483013) Full Text: DOI OpenURL
Meeks, Kitty Book review of: J. MacCormick, What can be computed? A practical guide to the theory of computation. (English) Zbl 1480.00030 Lond. Math. Soc., Newsl. 2020, No. 490, 50-51 (2020). MSC: 00A17 68-01 68N15 68Q01 68Q04 68Q15 68Q17 68Q25 68Q45 PDF BibTeX XML Cite \textit{K. Meeks}, Lond. Math. Soc., Newsl. 2020, No. 490, 50--51 (2020; Zbl 1480.00030) Full Text: Link OpenURL
Trindade, André; Mota, João; Ravara, António Typestates to automata and back: a tool. (English) Zbl 1477.68073 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020). MSC: 68N18 68-04 68N19 68Q45 PDF BibTeX XML Cite \textit{A. Trindade} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25--42 (2020; Zbl 1477.68073) Full Text: arXiv Link OpenURL
Szokoli, Mátyás; Kiss, Attila Enhanced type inference for binding-time analysis. (English) Zbl 07443568 Acta Univ. Sapientiae, Inform. 12, No. 2, 232-250 (2020). MSC: 68N18 68N15 03B38 PDF BibTeX XML Cite \textit{M. Szokoli} and \textit{A. Kiss}, Acta Univ. Sapientiae, Inform. 12, No. 2, 232--250 (2020; Zbl 07443568) Full Text: DOI OpenURL
Verbeek, Freek; Bockenek, Joshua A.; Ravindran, Binoy Highly automated formal proofs over memory usage of assembly code. (English) Zbl 1483.68211 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 98-117 (2020). MSC: 68Q60 68N15 68V15 PDF BibTeX XML Cite \textit{F. Verbeek} et al., Lect. Notes Comput. Sci. 12079, 98--117 (2020; Zbl 1483.68211) Full Text: DOI OpenURL
Mangal, Ravi; Sarangmath, Kartik; Nori, Aditya V.; Orso, Alessandro Probabilistic Lipschitz analysis of neural networks. (English) Zbl 1474.68155 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 274-309 (2020). MSC: 68Q06 68N15 68N30 68Q55 PDF BibTeX XML Cite \textit{R. Mangal} et al., Lect. Notes Comput. Sci. 12389, 274--309 (2020; Zbl 1474.68155) Full Text: DOI OpenURL
Rozplokhas, Dmitry; Vyatkin, Andrey; Boulytchev, Dmitry Certified semantics for relational programming. (English) Zbl 1476.68043 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 167-185 (2020). MSC: 68N15 68N17 68Q55 68V15 PDF BibTeX XML Cite \textit{D. Rozplokhas} et al., Lect. Notes Comput. Sci. 12470, 167--185 (2020; Zbl 1476.68043) Full Text: DOI arXiv OpenURL
Mackay, Julian; Potanin, Alex; Aldrich, Jonathan; Groves, Lindsay Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI OpenURL
Bravetti, Mario; Francalanza, Adrian; Golovanov, Iaroslav; Hüttel, Hans; Jakobsen, Mathias S.; Kettunen, Mikkel K.; Ravara, António Behavioural types for memory and method safety in a core object-oriented language. (English) Zbl 1476.68039 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 105-124 (2020). MSC: 68N15 68N30 PDF BibTeX XML Cite \textit{M. Bravetti} et al., Lect. Notes Comput. Sci. 12470, 105--124 (2020; Zbl 1476.68039) Full Text: DOI arXiv OpenURL
de Souza Amorim, Luís Eduardo; Visser, Eelco Multi-purpose syntax definition with SDF3. (English) Zbl 1476.68040 de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 1-23 (2020). MSC: 68N15 68Q42 PDF BibTeX XML Cite \textit{L. E. de Souza Amorim} and \textit{E. Visser}, Lect. Notes Comput. Sci. 12310, 1--23 (2020; Zbl 1476.68040) Full Text: DOI OpenURL
Mourad, Benjamin; Cimini, Matteo System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 198--214 (2020; Zbl 07368092) Full Text: DOI OpenURL
Fu, Peng; Kishida, Kohei; Ross, Neil J.; Selinger, Peter A tutorial introduction to quantum circuit programming in dependently typed proto-quipper. (English) Zbl 07368053 Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 153-168 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{P. Fu} et al., Lect. Notes Comput. Sci. 12227, 153--168 (2020; Zbl 07368053) Full Text: DOI arXiv OpenURL
Matos, Armando B.; Paolini, Luca; Roversi, Luca On the expressivity of total reversible programming languages. (English) Zbl 07368051 Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 128-143 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Lect. Notes Comput. Sci. 12227, 128--143 (2020; Zbl 07368051) Full Text: DOI OpenURL
Kawahara, Satoru; Kameyama, Yukiyoshi One-shot algebraic effects as coroutines. (English) Zbl 1475.68063 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 159-179 (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{S. Kawahara} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12222, 159--179 (2020; Zbl 1475.68063) Full Text: DOI OpenURL
Bereczky, Péter; Horpácsi, Dániel; Thompson, Simon A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020). MSC: 68N18 68N15 68Q55 68V20 PDF BibTeX XML Cite \textit{P. Bereczky} et al., Lect. Notes Comput. Sci. 12222, 139--158 (2020; Zbl 1475.68059) Full Text: DOI arXiv Link OpenURL
Zhang, Junjie Development of customized scripts. (English) Zbl 07364705 Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139-174 (2020). MSC: 68T35 78A55 PDF BibTeX XML Cite \textit{J. Zhang}, in: Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139--174 (2020; Zbl 07364705) Full Text: DOI OpenURL
Soeken, Mathias; Meuli, Giulia; Schmitt, Bruno; Mozafari, Fereshte; Riener, Heinz; De Micheli, Giovanni Boolean satisfiability in quantum compilation. (English) Zbl 1462.81065 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 378, No. 2164, Article ID 20190161, 16 p. (2020). MSC: 81P68 PDF BibTeX XML Cite \textit{M. Soeken} et al., Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 378, No. 2164, Article ID 20190161, 16 p. (2020; Zbl 1462.81065) Full Text: DOI OpenURL
Gao, Kaifeng; Mei, Gang; Piccialli, Francesco; Cuomo, Salvatore; Tu, Jingzhi; Huo, Zenan Julia language in machine learning: algorithms, applications, and open issues. (English) Zbl 1478.68285 Comput. Sci. Rev. 37, Article ID 100254, 12 p. (2020). MSC: 68T05 68N15 68T07 68-02 PDF BibTeX XML Cite \textit{K. Gao} et al., Comput. Sci. Rev. 37, Article ID 100254, 12 p. (2020; Zbl 1478.68285) Full Text: DOI arXiv OpenURL
Amir-Mohammadian, Sepehr; Kari, Chadi Correct audit logging in concurrent systems. (English) Zbl 07313968 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 115-141 (2020). MSC: 03B70 68Q55 68T27 PDF BibTeX XML Cite \textit{S. Amir-Mohammadian} and \textit{C. Kari}, Electron. Notes Theor. Comput. Sci. 351, 115--141 (2020; Zbl 07313968) Full Text: DOI OpenURL
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. (English) Zbl 1459.68092 J. Autom. Reasoning 64, No. 8, 1611-1662 (2020). MSC: 68Q42 68N15 PDF BibTeX XML Cite \textit{S. Lucas} et al., J. Autom. Reasoning 64, No. 8, 1611--1662 (2020; Zbl 1459.68092) Full Text: DOI OpenURL
Agrawal, Akshay; Boyd, Stephen Disciplined quasiconvex programming. (English) Zbl 1459.90148 Optim. Lett. 14, No. 7, 1643-1657 (2020). MSC: 90C25 90-04 PDF BibTeX XML Cite \textit{A. Agrawal} and \textit{S. Boyd}, Optim. Lett. 14, No. 7, 1643--1657 (2020; Zbl 1459.90148) Full Text: DOI arXiv OpenURL
Kruis, Joost; Borsboom, Denny Book review of: P. Mair, Modern psychometrics with R. (English) Zbl 1455.00011 Psychometrika 85, No. 2, 437-438 (2020). MSC: 00A17 62-02 62P15 62H25 62H20 68N15 91E45 62M10 62H30 92C55 PDF BibTeX XML Cite \textit{J. Kruis} and \textit{D. Borsboom}, Psychometrika 85, No. 2, 437--438 (2020; Zbl 1455.00011) Full Text: DOI OpenURL
Czarnul, Paweł Investigation of parallel data processing using hybrid high performance CPU. (English) Zbl 07299781 Comput. Inform. 39, No. 3, 510-536 (2020). MSC: 68M20 65Y05 68N15 PDF BibTeX XML Cite \textit{P. Czarnul}, Comput. Inform. 39, No. 3, 510--536 (2020; Zbl 07299781) Full Text: DOI OpenURL
Fu, Peng; Kishida, Kohei; Selinger, Peter Linear dependent type theory for quantum programming languages. Extended abstract. (English) Zbl 07299487 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{P. Fu} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 440--453 (2020; Zbl 07299487) Full Text: DOI arXiv OpenURL
Ehrhard, Thomas Cones as a model of intuitionistic linear logic. (English) Zbl 07299482 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 370-383 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Ehrhard}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 370--383 (2020; Zbl 07299482) Full Text: DOI OpenURL
Müller, Dennis; Rabe, Florian; Rothgang, Colin; Kohlhase, Michael Representing structural language features in formal meta-languages. (English) Zbl 1455.68268 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 206-221 (2020). MSC: 68V30 68N15 PDF BibTeX XML Cite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 12236, 206--221 (2020; Zbl 1455.68268) Full Text: DOI OpenURL
Liu, Siyang; Cai, Yan Using Stan to implement Bayesian parameter estimation of IRT models. (Chinese. English summary) Zbl 1463.62073 J. Jiangxi Norm. Univ., Nat. Sci. Ed. 44, No. 3, 282-291 (2020). MSC: 62F15 62F10 68N15 62-08 PDF BibTeX XML Cite \textit{S. Liu} and \textit{Y. Cai}, J. Jiangxi Norm. Univ., Nat. Sci. Ed. 44, No. 3, 282--291 (2020; Zbl 1463.62073) Full Text: DOI OpenURL
Zhuo, Xilong; Zhang, Chenyi TFA: an efficient and precise virtual method call resolution for Java. (English) Zbl 1458.68036 Formal Asp. Comput. 32, No. 4-6, 395-416 (2020). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{X. Zhuo} and \textit{C. Zhang}, Formal Asp. Comput. 32, No. 4--6, 395--416 (2020; Zbl 1458.68036) Full Text: DOI OpenURL
Vasenin, V. A.; Krivchikov, M. A. Intermediate representation of programs with type specification based on pattern matching. (English. Russian original) Zbl 1455.68040 Program. Comput. Softw. 46, No. 1, 57-66 (2020); translation from Programmirovanie 46, No. 1, 63-74 (2020). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{V. A. Vasenin} and \textit{M. A. Krivchikov}, Program. Comput. Softw. 46, No. 1, 57--66 (2020; Zbl 1455.68040); translation from Programmirovanie 46, No. 1, 63--74 (2020) Full Text: DOI OpenURL
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten Verifying tight logic programs with anthem and vampire. (English) Zbl 1468.68127 Theory Pract. Log. Program. 20, No. 5, 735-750 (2020). MSC: 68Q60 03C07 68N17 PDF BibTeX XML Cite \textit{J. Fandinno} et al., Theory Pract. Log. Program. 20, No. 5, 735--750 (2020; Zbl 1468.68127) Full Text: DOI arXiv OpenURL