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)
Carbin, Michael; Misailovic, Sasa Programming unreliable hardware. (English) Zbl 07311055 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
Dal Lago, Ugo On probabilistic \(\lambda\)-calculi. (English) Zbl 07311044 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
Staton, Sam Probabilistic programs as measures. (English) Zbl 07311042 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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
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. (2021). 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 (2021; Zbl 07291789) Full Text: DOI
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
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. Electronic Notes in Theoretical Computer Science 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
Agrawal, Akshay; Boyd, Stephen Disciplined quasiconvex programming. (English) Zbl 07311780 Optim. Lett. 14, No. 7, 1643-1657 (2020). MSC: 90C PDF BibTeX XML Cite \textit{A. Agrawal} and \textit{S. Boyd}, Optim. Lett. 14, No. 7, 1643--1657 (2020; Zbl 07311780) Full Text: DOI
Kruis, Joost; Borsboom, Denny Book review of: P. Mair, Modern psychometrics with R. (English) Zbl 07300268 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 07300268) Full Text: DOI
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
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) (ISBN 978-1-4503-7104-9). 440-453 (2020). MSC: 68 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
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) (ISBN 978-1-4503-7104-9). 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
Liu, Siyang; Cai, Yan Using Stan to implement Bayesian parameter estimation of IRT models. (Chinese. English summary) Zbl 07295366 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 07295366) Full Text: DOI
Funken, Stefan A.; Schmidt, Anja Adaptive mesh refinement in 2D – an efficient implementation in Matlab. (English) Zbl 1451.65217 Comput. Methods Appl. Math. 20, No. 3, 459-479 (2020). MSC: 65N50 65N30 68N15 PDF BibTeX XML Cite \textit{S. A. Funken} and \textit{A. Schmidt}, Comput. Methods Appl. Math. 20, No. 3, 459--479 (2020; Zbl 1451.65217) Full Text: DOI
Paduraru, Ciprian Ionut; Stefanescu, Gheorghe Adaptive virtual organisms: a compositional model for complex hardware-software binding. (English) Zbl 07274551 Fundam. Inform. 173, No. 2-3, 139-176 (2020). MSC: 68 PDF BibTeX XML Cite \textit{C. I. Paduraru} and \textit{G. Stefanescu}, Fundam. Inform. 173, No. 2--3, 139--176 (2020; Zbl 07274551) Full Text: DOI
Gong, Mengxiao; Xie, Huiyang Weaknesses analysis of C string functions based on topological space. (Chinese. English summary) Zbl 07266797 J. Hefei Univ. Technol., Nat. Sci. 43, No. 1, 52-56 (2020). MSC: 68N15 PDF BibTeX XML Cite \textit{M. Gong} and \textit{H. Xie}, J. Hefei Univ. Technol., Nat. Sci. 43, No. 1, 52--56 (2020; Zbl 07266797) Full Text: DOI
Dvořák, Wolfgang; Rapberger, Anna; Wallner, Johannes P.; Woltran, Stefan ASPARTIX-V19 – an answer-set programming based system for abstract argumentation. (English) Zbl 07266046 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 79-89 (2020). MSC: 68P15 68T27 68T35 68U35 PDF BibTeX XML Cite \textit{W. Dvořák} et al., Lect. Notes Comput. Sci. 12012, 79--89 (2020; Zbl 07266046) Full Text: DOI
Verdhan, Vaibhav Supervised learning with Python. Concepts and practical implementation using Python. With a foreword by Eli Yechezkiel Kling. (English) Zbl 1448.68016 Berkeley, CA: Apress (ISBN 978-1-4842-6155-2/pbk; 978-1-4842-6156-9/ebook). xx, 372 p. (2020). MSC: 68-01 68N15 68T05 PDF BibTeX XML Cite \textit{V. Verdhan}, Supervised learning with Python. Concepts and practical implementation using Python. With a foreword by Eli Yechezkiel Kling. Berkeley, CA: Apress (2020; Zbl 1448.68016) Full Text: DOI
Péchoux, Romain; Perdrix, Simon; Rennela, Mathys; Zamdzhiev, Vladimir Quantum programming with inductive datatypes: causality and affine type theory. (English) Zbl 1442.68034 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 562-581 (2020). MSC: 68N30 68N15 68Q55 81P68 PDF BibTeX XML Cite \textit{R. Péchoux} et al., Lect. Notes Comput. Sci. 12077, 562--581 (2020; Zbl 1442.68034) Full Text: DOI
Sundnes, Joakim Introduction to scientific programming with Python. (English) Zbl 1439.65001 Simula SpringerBriefs on Computing 6. Cham: Springer (ISBN 978-3-030-50355-0/pbk; 978-3-030-50356-7/ebook). xiv, 148 p., open access (2020). MSC: 65-01 65-04 68N15 00A06 PDF BibTeX XML Cite \textit{J. Sundnes}, Introduction to scientific programming with Python. Cham: Springer (2020; Zbl 1439.65001) Full Text: DOI
Bird, Richard; Gibbons, Jeremy Algorithm design with Haskell. (English) Zbl 1440.68002 Cambridge: Cambridge University Press (ISBN 978-1-108-49161-7/hbk; 978-1-108-86904-1/ebook). xvi, 437 p. (2020). MSC: 68-01 68N18 68W01 PDF BibTeX XML Cite \textit{R. Bird} and \textit{J. Gibbons}, Algorithm design with Haskell. Cambridge: Cambridge University Press (2020; Zbl 1440.68002) Full Text: DOI
Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir Leveraging compiler intermediate representation for multi- and cross-language verification. (English) Zbl 1451.68071 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 90-111 (2020). MSC: 68N20 68N15 68Q60 PDF BibTeX XML Cite \textit{J. J. Garzella} et al., Lect. Notes Comput. Sci. 11990, 90--111 (2020; Zbl 1451.68071) Full Text: DOI
Babb, Joseph; Lee, Joohyung Action language \(\mathcal{BC}+\). (English) Zbl 07228389 J. Log. Comput. 30, No. 4, 899-922 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{J. Babb} and \textit{J. Lee}, J. Log. Comput. 30, No. 4, 899--922 (2020; Zbl 07228389) Full Text: DOI
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej Galois connections for recursive types. (English) Zbl 1440.68042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020). MSC: 68N18 06A15 68N15 68N30 68Q42 PDF BibTeX XML Cite \textit{A. S. Al-Sibahi} et al., Lect. Notes Comput. Sci. 12065, 105--131 (2020; Zbl 1440.68042) Full Text: DOI
Mourad, Benjamin; Cimini, Matteo A calculus for language transformations. (English) Zbl 07223121 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-38918-5/pbk; 978-3-030-38919-2/ebook). Lecture Notes in Computer Science 12011, 547-555 (2020). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12011, 547--555 (2020; Zbl 07223121) Full Text: DOI
Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig Doo bee doo bee doo. (English) Zbl 1442.68026 J. Funct. Program. 30, Paper No. e9, 53 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{L. Convent} et al., J. Funct. Program. 30, Paper No. e9, 53 p. (2020; Zbl 1442.68026) Full Text: DOI
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. (English) Zbl 1442.68024 J. Funct. Program. 30, Paper No. e8, 46 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{J. I. Brachthäuser} et al., J. Funct. Program. 30, Paper No. e8, 46 p. (2020; Zbl 1442.68024) Full Text: DOI
Cockx, Jesper; Abel, Andreas Elaborating dependent (co)pattern matching: no pattern left behind. (English) Zbl 1442.68025 J. Funct. Program. 30, Paper No. e2, 43 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{J. Cockx} and \textit{A. Abel}, J. Funct. Program. 30, Paper No. e2, 43 p. (2020; Zbl 1442.68025) Full Text: DOI
Tsarev, Aleksandr Laws of the lattices of \(\sigma \)-local formations of finite groups. (English) Zbl 07198879 Mediterr. J. Math. 17, No. 3, Paper No. 75, 13 p. (2020). MSC: 20D10 20D15 20D20 20F17 20M35 68Q70 PDF BibTeX XML Cite \textit{A. Tsarev}, Mediterr. J. Math. 17, No. 3, Paper No. 75, 13 p. (2020; Zbl 07198879) Full Text: DOI
Cea, Sebastián; Durán, Guillermo; Guajardo, Mario; Sauré, Denis; Siebert, Joaquín; Zamorano, Gonzalo An analytics approach to the FIFA ranking procedure and the world cup final draw. (English) Zbl 07198365 Ann. Oper. Res. 286, No. 1-2, 119-146 (2020). MSC: 65Y 68N 68N15 65Y05 PDF BibTeX XML Cite \textit{S. Cea} et al., Ann. Oper. Res. 286, No. 1--2, 119--146 (2020; Zbl 07198365) Full Text: DOI
Dylus, Sandra; Christiansen, Jan; Teegen, Finn Implementing a library for probabilistic programming using non-strict non-determinism. (English) Zbl 1434.68062 Theory Pract. Log. Program. 20, No. 1, 147-175 (2020). MSC: 68N15 68N17 68N18 68N19 PDF BibTeX XML Cite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI
Matos, Armando B.; Paolini, Luca; Roversi, Luca The fixed point problem of a simple reversible language. (English) Zbl 1433.68079 Theor. Comput. Sci. 813, 143-154 (2020). MSC: 68N15 03B70 68N30 68Q09 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Theor. Comput. Sci. 813, 143--154 (2020; Zbl 1433.68079) Full Text: DOI
Cheramangalath, Unnikrishnan; Nasre, Rupesh; Srikant, Y. N. Distributed graph analytics. Programming, languages, and their compilation. (English) Zbl 1434.68005 Cham: Springer (ISBN 978-3-030-41885-4/hbk; 978-3-030-41886-1/ebook). xi, 207 p. (2020). MSC: 68-02 68M14 68N15 68N20 68P05 68R10 68W15 PDF BibTeX XML Cite \textit{U. Cheramangalath} et al., Distributed graph analytics. Programming, languages, and their compilation. Cham: Springer (2020; Zbl 1434.68005) Full Text: DOI
Darquennes, Denis; Jacquet, Jean-Marie; Linden, Isabelle On the expressiveness of multiplicities in data-based coordination languages. (English) Zbl 1433.68076 J. Log. Algebr. Methods Program. 112, Article ID 100528, 23 p. (2020). MSC: 68N15 68M14 PDF BibTeX XML Cite \textit{D. Darquennes} et al., J. Log. Algebr. Methods Program. 112, Article ID 100528, 23 p. (2020; Zbl 1433.68076) Full Text: DOI
Klinge, Titus H.; Lathrop, James I.; Lutz, Jack H. Robust biomolecular finite automata. (English) Zbl 1432.68148 Theor. Comput. Sci. 816, 114-143 (2020). MSC: 68Q07 68Q45 PDF BibTeX XML Cite \textit{T. H. Klinge} et al., Theor. Comput. Sci. 816, 114--143 (2020; Zbl 1432.68148) Full Text: DOI
Juma, Nahid; Dietl, Werner; Tripunitara, Mahesh A computational complexity analysis of tunable type inference for Generic Universe Types. (English) Zbl 1435.68059 Theor. Comput. Sci. 814, 189-209 (2020). MSC: 68N15 68N19 68Q17 68Q25 68R07 PDF BibTeX XML Cite \textit{N. Juma} et al., Theor. Comput. Sci. 814, 189--209 (2020; Zbl 1435.68059) Full Text: DOI
Finzi, Alberto; Lukasiewicz, Thomas Partially observable game-theoretic agent programming in Golog. (English) Zbl 1434.68583 Int. J. Approx. Reasoning 119, 220-241 (2020). MSC: 68T40 68N15 68T20 68T42 91A15 91A80 PDF BibTeX XML Cite \textit{A. Finzi} and \textit{T. Lukasiewicz}, Int. J. Approx. Reasoning 119, 220--241 (2020; Zbl 1434.68583) Full Text: DOI
New, Max S.; Licata, Daniel R. Call-by-name gradual type theory. (English) Zbl 1442.68031 Log. Methods Comput. Sci. 16, No. 1, Paper No. 7, 45 p. (2020). MSC: 68N18 03B70 18C50 68Q55 PDF BibTeX XML Cite \textit{M. S. New} and \textit{D. R. Licata}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 7, 45 p. (2020; Zbl 1442.68031) Full Text: arXiv
Wang, Meng; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Yao, Chenguang Translating Xd-C programs to MSVL programs. (English) Zbl 1436.68077 Theor. Comput. Sci. 809, 430-465 (2020). MSC: 68N15 68N20 68Q60 PDF BibTeX XML Cite \textit{M. Wang} et al., Theor. Comput. Sci. 809, 430--465 (2020; Zbl 1436.68077) Full Text: DOI
Correia, Alexandre; Iyoda, Juliano; Mota, Alexandre Combining model finder and genetic programming into a general purpose automatic program synthesizer. (English) Zbl 07138139 Inf. Process. Lett. 154, Article ID 105866, 7 p. (2020). MSC: 68Q PDF BibTeX XML Cite \textit{A. Correia} et al., Inf. Process. Lett. 154, Article ID 105866, 7 p. (2020; Zbl 07138139) Full Text: DOI
Linge, Svein; Langtangen, Hans Petter Programming for computations – Python. A gentle introduction to numerical simulations with Python 3.6. 2nd revised and extended edition. (English) Zbl 1429.65004 Texts in Computational Science and Engineering 15. Cham: Springer (ISBN 978-3-030-16876-6/hbk; 978-3-030-16877-3/ebook). xxiii, 332 p., open access (2020). MSC: 65-01 65-04 68N15 PDF BibTeX XML Cite \textit{S. Linge} and \textit{H. P. Langtangen}, Programming for computations -- Python. A gentle introduction to numerical simulations with Python 3.6. 2nd revised and extended edition. Cham: Springer (2020; Zbl 1429.65004) Full Text: DOI
Demiray, Seyma Tuluce; Bulut, Hasan Hyperbolic function solutions for positive Gardner-KP equation. (English) Zbl 1452.35060 J. Adv. Math. Stud. 12, No. 1, 101-106 (2019). MSC: 35C08 35-04 35N05 68N15 PDF BibTeX XML Cite \textit{S. T. Demiray} and \textit{H. Bulut}, J. Adv. Math. Stud. 12, No. 1, 101--106 (2019; Zbl 1452.35060)
Fu, Zhihui; Wu, Jian; Ma, Mingyue Application of Rstan package in parameter estimation of four-parameter logistic model. (Chinese. English summary) Zbl 1449.62167 J. Shenyang Norm. Univ., Nat. Sci. 37, No. 4, 309-314 (2019). MSC: 62J12 68N15 62-08 PDF BibTeX XML Cite \textit{Z. Fu} et al., J. Shenyang Norm. Univ., Nat. Sci. 37, No. 4, 309--314 (2019; Zbl 1449.62167) Full Text: DOI
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin POPLMark reloaded: mechanizing proofs by logical relations. (English) Zbl 1442.68257 J. Funct. Program. 29, Paper No. e19, 43 p. (2019). MSC: 68V15 68N15 PDF BibTeX XML Cite \textit{A. Abel} et al., J. Funct. Program. 29, Paper No. e19, 43 p. (2019; Zbl 1442.68257) Full Text: DOI
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDF BibTeX XML Cite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Wolf, Petra On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. (English) Zbl 1434.68291 Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 272-284 (2019). MSC: 68Q45 03B25 90C10 PDF BibTeX XML Cite \textit{P. Wolf}, Lect. Notes Comput. Sci. 11612, 272--284 (2019; Zbl 1434.68291) Full Text: DOI
Hagebring, Fredrik; Lennartson, Bengt Time-optimal control of large-scale systems of systems using compositional optimization. (English) Zbl 1441.93010 Discrete Event Dyn. Syst. 29, No. 3, 411-443 (2019). MSC: 93A15 93C65 68Q45 68Q17 90C26 PDF BibTeX XML Cite \textit{F. Hagebring} and \textit{B. Lennartson}, Discrete Event Dyn. Syst. 29, No. 3, 411--443 (2019; Zbl 1441.93010) Full Text: DOI
Waga, Masaki Online quantitative timed pattern matching with semiring-valued weighted automata. (English) Zbl 1434.68695 André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 3-22 (2019). MSC: 68W27 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Waga}, Lect. Notes Comput. Sci. 11750, 3--22 (2019; Zbl 1434.68695) Full Text: DOI
Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis Symbolic analysis of Maude theories with Narval. (English) Zbl 1434.68214 Theory Pract. Log. Program. 19, No. 5-6, 874-890 (2019). MSC: 68Q42 68N15 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 19, No. 5--6, 874--890 (2019; Zbl 1434.68214) Full Text: DOI
Nigiyan, S. A. \(\lambda\)-definability of built-in McCarthy functions as functions with indeterminate values of arguments. (English) Zbl 1435.68060 Proc. Yerevan State Univ., Phys. Math. Sci. 53, No. 3, 191-202 (2019). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{S. A. Nigiyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 53, No. 3, 191--202 (2019; Zbl 1435.68060) Full Text: Link
Bartoletti, Massimo (ed.); Bocchi, Laura (ed.); Henrio, Ludovic (ed.); Knight, Sophia (ed.) Preface for the special issue on interaction and concurrency experience 2017. (English) Zbl 1434.68017 J. Log. Algebr. Methods Program. 109, Article ID 100488, 2 p. (2019). MSC: 68-06 68M14 68N15 68Q85 00B25 PDF BibTeX XML Cite \textit{M. Bartoletti} (ed.) et al., J. Log. Algebr. Methods Program. 109, Article ID 100488, 2 p. (2019; Zbl 1434.68017) Full Text: DOI
Dabrowski, Frédéric A denotational semantics of textually aligned SPMD programs. (English) Zbl 1435.68058 J. Log. Algebr. Methods Program. 108, 90-104 (2019). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{F. Dabrowski}, J. Log. Algebr. Methods Program. 108, 90--104 (2019; Zbl 1435.68058) Full Text: DOI
Marquer, Yoann Algorithmic completeness of imperative programming languages. (English) Zbl 1423.68087 Fundam. Inform. 168, No. 1, 51-77 (2019). MSC: 68N15 68N30 68Q05 PDF BibTeX XML Cite \textit{Y. Marquer}, Fundam. Inform. 168, No. 1, 51--77 (2019; Zbl 1423.68087) Full Text: DOI
Mahmoud, Mohamed Yousri; Felty, Amy P. Formalization of metatheory of the quipper quantum programming language in a linear logic. (English) Zbl 07121996 J. Autom. Reasoning 63, No. 4, 967-1002 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{M. Y. Mahmoud} and \textit{A. P. Felty}, J. Autom. Reasoning 63, No. 4, 967--1002 (2019; Zbl 07121996) Full Text: DOI
Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita QPCF: higher-order languages and quantum circuits. (English) Zbl 07121995 J. Autom. Reasoning 63, No. 4, 941-966 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{L. Paolini} et al., J. Autom. Reasoning 63, No. 4, 941--966 (2019; Zbl 07121995) Full Text: DOI
Białek, Łukasz; Dunin-Kęplicz, Barbara; Szałas, Andrzej A paraconsistent approach to actions in informationally complex environments. (English) Zbl 07121048 Ann. Math. Artif. Intell. 86, No. 4, 231-255 (2019). MSC: 03B42 03B53 68N17 68T27 PDF BibTeX XML Cite \textit{Ł. Białek} et al., Ann. Math. Artif. Intell. 86, No. 4, 231--255 (2019; Zbl 07121048) Full Text: DOI
Marcucci, Tobia; Tedrake, Russ Mixed-integer formulations for optimal control of piecewise-affine systems. (English) Zbl 07120159 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 230-239 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{T. Marcucci} and \textit{R. Tedrake}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 230--239 (2019; Zbl 07120159) Full Text: DOI
Haager, Wilhelm Computer algebra with Maxima. Foundations of application and programming. 2nd updated edition. (Computeralgebra mit Maxima. Grundlagen der Anwendung und Programmierung.) (German) Zbl 1423.68004 Leipzig: Fachbuchverlag Leipzig im Carl Hanser Verlag (ISBN 978-3-446-44868-1/pbk; 978-3-446-46095-9/ebook). 320 p. (2019). MSC: 68-01 65Y15 68N15 68W30 PDF BibTeX XML Cite \textit{W. Haager}, Computeralgebra mit Maxima. Grundlagen der Anwendung und Programmierung. 2nd updated edition. Leipzig: Fachbuchverlag Leipzig im Carl Hanser Verlag (2019; Zbl 1423.68004)
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI
Amy, Matthew Sized types for low-level quantum metaprogramming. (English) Zbl 07118470 Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-21499-9/pbk; 978-3-030-21500-2/ebook). Lecture Notes in Computer Science 11497, 87-107 (2019). MSC: 68Q05 68Q10 81P68 PDF BibTeX XML Cite \textit{M. Amy}, Lect. Notes Comput. Sci. 11497, 87--107 (2019; Zbl 07118470) Full Text: DOI
Nishida, Naoki; Vidal, Germán Characterizing compatible view updates in syntactic bidirectionalization. (English) Zbl 07118469 Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-21499-9/pbk; 978-3-030-21500-2/ebook). Lecture Notes in Computer Science 11497, 67-83 (2019). MSC: 68Q05 68Q10 81P68 PDF BibTeX XML Cite \textit{N. Nishida} and \textit{G. Vidal}, Lect. Notes Comput. Sci. 11497, 67--83 (2019; Zbl 07118469) Full Text: DOI
Woyand, Hans-Bernhard Python for engineers and natural scientists. Introduction to programming, mathematical applications and visualizations. 3rd revised and extended edition. (Python für Ingenieure und Naturwissenschaftler. Einführung in die Programmierung, mathematische Anwendungen und Visualisierungen.) (German) Zbl 1422.68002 München: Carl Hanser Verlag (ISBN 978-3-446-46108-6/pbk; 978-3-446-46109-3/ebook). xii, 304 p. (2019). MSC: 68-01 00A06 68N15 PDF BibTeX XML Cite \textit{H.-B. Woyand}, Python für Ingenieure und Naturwissenschaftler. Einführung in die Programmierung, mathematische Anwendungen und Visualisierungen. 3rd revised and extended edition. München: Carl Hanser Verlag (2019; Zbl 1422.68002)
Roanes-Lozano, Eugenio; González-Martín, Rubén; Montero, Javier An algebraic approach to DC railway electrification verification. (English) Zbl 07103594 Math. Comput. Sci. 13, No. 3, 449-457 (2019). MSC: 90C35 34A30 68T35 PDF BibTeX XML Cite \textit{E. Roanes-Lozano} et al., Math. Comput. Sci. 13, No. 3, 449--457 (2019; Zbl 07103594) Full Text: DOI
Roanes-Lozano, Eugenio; Galán-García, Jose Luis; Solano-Macías, Carmen Some reflections about the success and impact of the computer algebra system DERIVE with a 10-year time perspective. (English) Zbl 07103591 Math. Comput. Sci. 13, No. 3, 417-431 (2019). MSC: 68W30 97P40 97P70 68N15 PDF BibTeX XML Cite \textit{E. Roanes-Lozano} et al., Math. Comput. Sci. 13, No. 3, 417--431 (2019; Zbl 07103591) Full Text: DOI
Telle, Jan Arne; Hernández-Orallo, José; Ferri, Cèsar The teaching size: computable teachers and learners for universal languages. (English) Zbl 07097485 Mach. Learn. 108, No. 8-9, 1653-1675 (2019). MSC: 68T05 PDF BibTeX XML Cite \textit{J. A. Telle} et al., Mach. Learn. 108, No. 8--9, 1653--1675 (2019; Zbl 07097485) Full Text: DOI
Kryvyi, S. L.; Opanasenko, V. M.; Zavyalov, S. B. Partitioning a set of vectors with integer coordinates by means of logical hardware. (English. Russian original) Zbl 1443.68219 Cybern. Syst. Anal. 55, No. 3, 462-473 (2019); translation from Kibern. Sist. Anal. 2019, No. 3, 136-148 (2019). MSC: 68W35 68Q45 68T20 90C11 PDF BibTeX XML Cite \textit{S. L. Kryvyi} et al., Cybern. Syst. Anal. 55, No. 3, 462--473 (2019; Zbl 1443.68219); translation from Kibern. Sist. Anal. 2019, No. 3, 136--148 (2019) Full Text: DOI
Odabaş, Alper; Soylu Yilmaz, Elis Relationships between category theory and functional programming with an application. (English) Zbl 1420.18002 Turk. J. Math. 43, No. 3, 1566-1577 (2019). Reviewer: Clément Aubert (Augusta) MSC: 18A05 68N18 68N15 PDF BibTeX XML Cite \textit{A. Odabaş} and \textit{E. Soylu Yilmaz}, Turk. J. Math. 43, No. 3, 1566--1577 (2019; Zbl 1420.18002) Full Text: DOI
Tabareau, Nicolas; Tanter, Éric Chemical foundations of distributed aspects. (English) Zbl 1451.68068 Distrib. Comput. 32, No. 3, 193-216 (2019). MSC: 68N19 68N15 68Q07 68Q10 PDF BibTeX XML Cite \textit{N. Tabareau} and \textit{É. Tanter}, Distrib. Comput. 32, No. 3, 193--216 (2019; Zbl 1451.68068) Full Text: DOI
Agrawal, Akshay; Diamond, Steven; Boyd, Stephen Disciplined geometric programming. (English) Zbl 1425.90078 Optim. Lett. 13, No. 5, 961-976 (2019). MSC: 90C25 PDF BibTeX XML Cite \textit{A. Agrawal} et al., Optim. Lett. 13, No. 5, 961--976 (2019; Zbl 1425.90078) Full Text: DOI arXiv
Boichut, Yohan; Chabin, Jacques; Réty, Pierre Towards more precise rewriting approximations. (English) Zbl 1425.68154 J. Comput. Syst. Sci. 104, 131-148 (2019). MSC: 68Q42 68N17 68Q45 PDF BibTeX XML Cite \textit{Y. Boichut} et al., J. Comput. Syst. Sci. 104, 131--148 (2019; Zbl 1425.68154) Full Text: DOI
Ghica, Dan R.; Alyahya, Khulood Latent semantic analysis of game models using LSTM. (English) Zbl 1423.68086 J. Log. Algebr. Methods Program. 106, 39-54 (2019). MSC: 68N15 68Q55 68T05 PDF BibTeX XML Cite \textit{D. R. Ghica} and \textit{K. Alyahya}, J. Log. Algebr. Methods Program. 106, 39--54 (2019; Zbl 1423.68086) Full Text: DOI
Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris Chromar, a language of parameterised agents. (English) Zbl 1423.68568 Theor. Comput. Sci. 765, 97-119 (2019). MSC: 68U20 68N15 68T42 92C42 92C80 PDF BibTeX XML Cite \textit{R. Honorato-Zimmer} et al., Theor. Comput. Sci. 765, 97--119 (2019; Zbl 1423.68568) Full Text: DOI
Finch, W. Holmes; Bolin, Jocelyn E.; Kelley, Ken Multilevel modeling using R. 2nd revised and updated edition. (English) Zbl 1418.62004 Chapman & Hall/CRC Statistics in the Social and Behavioral Sciences Series. Boca Raton, FL: CRC Press (ISBN 978-1-138-48071-1/hbk; 978-1-138-48067-4/pbk; 978-1-351-06226-8/ebook). ix, 242 p. (2019). MSC: 62-01 62-07 62-04 62Pxx 68N15 97K80 62J05 62F10 62F15 62-02 PDF BibTeX XML Cite \textit{W. H. Finch} et al., Multilevel modeling using R. 2nd revised and updated edition. Boca Raton, FL: CRC Press (2019; Zbl 1418.62004) Full Text: DOI
Ahrens, Benedikt Initial semantics for reduction rules. (English) Zbl 1421.68013 Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019). MSC: 68N30 18C10 18C50 68N18 PDF BibTeX XML Cite \textit{B. Ahrens}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019; Zbl 1421.68013) Full Text: DOI arXiv
Hardy, Yorick; Steeb, Willi-Hans Matrix calculus, Kronecker product and tensor product. A practical approach to linear algebra, multilinear algebra and tensor calculus with software implementations. 3rd edition. (English) Zbl 1411.15002 Hackensack, NJ: World Scientific (ISBN 978-981-12-0251-3/hbk; 978-981-12-0253-7/ebook). xiv, 373 p. (2019). MSC: 15-01 15A69 68N15 PDF BibTeX XML Cite \textit{Y. Hardy} and \textit{W.-H. Steeb}, Matrix calculus, Kronecker product and tensor product. A practical approach to linear algebra, multilinear algebra and tensor calculus with software implementations. 3rd edition. Hackensack, NJ: World Scientific (2019; Zbl 1411.15002) Full Text: DOI
van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil Executable component-based semantics. (English) Zbl 1417.68095 J. Log. Algebr. Methods Program. 103, 184-212 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{L. T. van Binsbergen} et al., J. Log. Algebr. Methods Program. 103, 184--212 (2019; Zbl 1417.68095) Full Text: DOI
van Engelenburg, Sélinde; Janssen, Marijn; Klievink, Bram Designing context-aware systems: a method for understanding and analysing context in practice. (English) Zbl 1423.68495 J. Log. Algebr. Methods Program. 103, 79-104 (2019). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T35 68N17 68T30 PDF BibTeX XML Cite \textit{S. van Engelenburg} et al., J. Log. Algebr. Methods Program. 103, 79--104 (2019; Zbl 1423.68495) Full Text: DOI
Giannini, Paola; Servetto, Marco; Zucca, Elena; Cone, James Flexible recovery of uniqueness and immutability. (English) Zbl 1417.68032 Theor. Comput. Sci. 764, 145-172 (2019). MSC: 68N30 68N15 68N19 PDF BibTeX XML Cite \textit{P. Giannini} et al., Theor. Comput. Sci. 764, 145--172 (2019; Zbl 1417.68032) Full Text: DOI
Schenk, Christina Book review of: W. E. Hart et al., Pyomo – optimization modeling in Python. 2nd ed. (English) Zbl 1409.00040 SIAM Rev. 61, No. 1, 223-225 (2019). MSC: 00A17 90-01 00A71 68N15 68W30 90-04 90C90 PDF BibTeX XML Cite \textit{C. Schenk}, SIAM Rev. 61, No. 1, 223--225 (2019; Zbl 1409.00040) Full Text: DOI
Murrell, Paul R graphics. 3rd edition. (English) Zbl 1403.68002 Chapman & Hall/CRC The R Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-8905-9/hbk). xvii, 423 p. (2018). MSC: 68-01 62-01 68N15 68U05 62-04 62-07 PDF BibTeX XML Cite \textit{P. Murrell}, R graphics. 3rd edition. Boca Raton, FL: CRC Press (2019; Zbl 1403.68002)
Kharab, Abdelwahab; Guenther, Ronald B. An introduction to numerical methods. A MATLAB approach. 4th edition. (English) Zbl 1402.65001 Boca Raton, FL: CRC Press (ISBN 978-1-138-09307-2/hbk; 978-1-351-60592-2/ebook). 615 p. (2019). MSC: 65-01 65Dxx 65Fxx 65Hxx 68N15 PDF BibTeX XML Cite \textit{A. Kharab} and \textit{R. B. Guenther}, An introduction to numerical methods. A MATLAB approach. 4th edition. Boca Raton, FL: CRC Press (2019; Zbl 1402.65001) Full Text: DOI
Deb, Anish; Roychoudhury, Srimanti Control system analysis and identification with MATLAB. Block pulse and related orthogonal functions. (English) Zbl 1402.93003 Boca Raton, FL: CRC Press (ISBN 978-1-138-30322-5/hbk; 978-1-351-39957-9/ebook). xxii, 364 p. (2019). MSC: 93-02 93B30 68N15 PDF BibTeX XML Cite \textit{A. Deb} and \textit{S. Roychoudhury}, Control system analysis and identification with MATLAB. Block pulse and related orthogonal functions. Boca Raton, FL: CRC Press (2019; Zbl 1402.93003) Full Text: Link
Uddin, Mohammad Monir Computational methods for approximation of large-scale descriptor systems. (English) Zbl 1416.65005 Boca Raton, FL: CRC Press (ISBN 978-0-8153-4803-0/hbk; 978-1-351-02862-2/ebook). xxiv, 312 p. (2019). MSC: 65-02 65D99 68N15 PDF BibTeX XML Cite \textit{M. M. Uddin}, Computational methods for approximation of large-scale descriptor systems. Boca Raton, FL: CRC Press (2019; Zbl 1416.65005) Full Text: DOI
Muroya, Koko; Cheung, Steven W. T.; Ghica, Dan R. The geometry of computation-graph abstraction. (English) Zbl 07298800 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 749-758 (2018). MSC: 68 PDF BibTeX XML Cite \textit{K. Muroya} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 749--758 (2018; Zbl 07298800) Full Text: DOI
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. (English) Zbl 07298791 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 659-668 (2018). MSC: 03B40 03F52 68N18 PDF BibTeX XML Cite \textit{B. Lindenhovius} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 659--668 (2018; Zbl 07298791) Full Text: DOI
Pill, Ingo; Wotawa, Franz Fault detection and localization using Modelica and abductive reasoning. (English) Zbl 07237448 Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer (ISBN 978-3-319-74961-7/hbk; 978-3-030-09114-9/pbk; 978-3-319-74962-4/ebook). 45-72 (2018). MSC: 68T99 68N15 93-10 93C30 PDF BibTeX XML Cite \textit{I. Pill} and \textit{F. Wotawa}, in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 45--72 (2018; Zbl 07237448) Full Text: DOI
Mahmoud, Mohamed Yousri; Felty, Amy P. Formal meta-level analysis framework for quantum programming languages. (English) Zbl 1433.68078 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 185-201 (2018). MSC: 68N15 03B40 03B70 68V15 81P68 PDF BibTeX XML Cite \textit{M. Y. Mahmoud} and \textit{A. P. Felty}, Electron. Notes Theor. Comput. Sci. 338, 185--201 (2018; Zbl 1433.68078) Full Text: DOI