Hartung, Elizabeth; Hoang, Hung P.; Mütze, Torsten; Williams, Aaron Combinatorial generation via permutation languages. I: Fundamentals. (English) Zbl 1484.05009 Trans. Am. Math. Soc. 375, No. 4, 2255-2291 (2022). MSC: 05A05 05C45 06B05 06B10 52B11 52B12 PDF BibTeX XML Cite \textit{E. Hartung} et al., Trans. Am. Math. Soc. 375, No. 4, 2255--2291 (2022; Zbl 1484.05009) Full Text: DOI arXiv OpenURL
Kempf, Dominic; Heß, René; Müthing, Steffen; Bastian, Peter Automatic code generation for high-performance discontinuous Galerkin methods on modern architectures. (English) Zbl 07467966 ACM Trans. Math. Softw. 47, No. 1, Article No. 6, 31 p. (2021). MSC: 65-XX PDF BibTeX XML Cite \textit{D. Kempf} et al., ACM Trans. Math. Softw. 47, No. 1, Article No. 6, 31 p. (2021; Zbl 07467966) Full Text: DOI arXiv OpenURL
Barthels, Henrik; Psarras, Christos; Bientinesi, Paolo Linnea. Automatic generation of efficient linear algebra programs. (English) Zbl 07467953 ACM Trans. Math. Softw. 47, No. 3, Article No. 22, 26 p. (2021). MSC: 65-XX PDF BibTeX XML Cite \textit{H. Barthels} et al., ACM Trans. Math. Softw. 47, No. 3, Article No. 22, 26 p. (2021; Zbl 07467953) Full Text: DOI arXiv OpenURL
Cserép, Máté; Szendrei, Rudolf UML based modeling and code generation of network protocols. (English) Zbl 07444237 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 73-92 (2021). MSC: 68M12 68N19 PDF BibTeX XML Cite \textit{M. Cserép} and \textit{R. Szendrei}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 73--92 (2021; Zbl 07444237) Full Text: Link OpenURL
Yan, Wen; Blackwell, Robert Kernel aggregated fast multipole method. Efficient summation of Laplace and Stokes kernel functions. (English) Zbl 07400551 Adv. Comput. Math. 47, No. 5, Paper No. 69, 27 p. (2021). MSC: 65N99 65N50 65B10 65Y20 65-04 76D07 PDF BibTeX XML Cite \textit{W. Yan} and \textit{R. Blackwell}, Adv. Comput. Math. 47, No. 5, Paper No. 69, 27 p. (2021; Zbl 07400551) Full Text: DOI arXiv OpenURL
Funken, Stefan A.; Schmidt, Anja A coarsening algorithm on adaptive red-green-blue refined meshes. (English) Zbl 1476.65324 Numer. Algorithms 87, No. 3, 1147-1176 (2021). MSC: 65N50 65N30 65-04 PDF BibTeX XML Cite \textit{S. A. Funken} and \textit{A. Schmidt}, Numer. Algorithms 87, No. 3, 1147--1176 (2021; Zbl 1476.65324) Full Text: DOI arXiv OpenURL
Kurz, Stefan; Pauly, Dirk; Praetorius, Dirk; Repin, Sergey; Sebastian, Daniel Functional a posteriori error estimates for boundary element methods. (English) Zbl 1464.65234 Numer. Math. 147, No. 4, 937-966 (2021). Reviewer: Calin Ioan Gheorghiu (Cluj-Napoca) MSC: 65N38 65N30 65N35 65N12 65N15 65N50 PDF BibTeX XML Cite \textit{S. Kurz} et al., Numer. Math. 147, No. 4, 937--966 (2021; Zbl 1464.65234) Full Text: DOI arXiv OpenURL
Hapla, Vaclav; Knepley, Matthew G.; Afanasiev, Michael; Boehm, Christian; van Driel, Martin; Krischer, Lion; Fichtner, Andreas Fully parallel mesh I/O using PETSc DMPlex with an application to waveform modeling. (English) Zbl 1462.65005 SIAM J. Sci. Comput. 43, No. 2, C127-C153 (2021). MSC: 65-04 65Y05 65M50 05C90 35L05 PDF BibTeX XML Cite \textit{V. Hapla} et al., SIAM J. Sci. Comput. 43, No. 2, C127--C153 (2021; Zbl 1462.65005) Full Text: DOI arXiv OpenURL
Bauer, Martin; Eibl, Sebastian; Godenschwager, Christian; Kohl, Nils; Kuron, Michael; Rettinger, Christoph; Schornbaum, Florian; Schwarzmeier, Christoph; Thönnes, Dominik; Köstler, Harald; Rüde, Ulrich waLBerla: a block-structured high-performance framework for multiphysics simulations. (English) Zbl 07288725 Comput. Math. Appl. 81, 478-501 (2021). MSC: 65-XX 76-XX PDF BibTeX XML Cite \textit{M. Bauer} et al., Comput. Math. Appl. 81, 478--501 (2021; Zbl 07288725) Full Text: DOI arXiv OpenURL
Fournier, Yvan Massively parallel location and exchange tools for unstructured meshes. (English) Zbl 1482.76096 Int. J. Comput. Fluid Dyn. 34, No. 7-8, 549-568 (2020). MSC: 76M99 65M50 65N50 65Y05 PDF BibTeX XML Cite \textit{Y. Fournier}, Int. J. Comput. Fluid Dyn. 34, No. 7--8, 549--568 (2020; Zbl 1482.76096) Full Text: DOI OpenURL
Köstler, Harald; Heisig, Marco; Kohl, Nils; Kuckuk, Sebastian; Bauer, Martin; Rüde, Ulrich Code generation approaches for parallel geometric multigrid solvers. (English) Zbl 07376180 An. Științ. Univ. “Ovidius” Constanța, Ser. Mat. 28, No. 3, 123-152 (2020). MSC: 68N99 65N55 65Y10 PDF BibTeX XML Cite \textit{H. Köstler} et al., An. Științ. Univ. ``Ovidius'' Constanța, Ser. Mat. 28, No. 3, 123--152 (2020; Zbl 07376180) Full Text: DOI OpenURL
Burcsi, Péter; Fici, Gabriele; Lipták, Zsuzsanna; Raman, Rajeev; Sawada, Joe Generating a Gray code for prefix normal words in amortized polylogarithmic time per word. (English) Zbl 1460.68135 Theor. Comput. Sci. 842, 86-99 (2020). MSC: 68W32 68Q45 68R15 PDF BibTeX XML Cite \textit{P. Burcsi} et al., Theor. Comput. Sci. 842, 86--99 (2020; Zbl 1460.68135) Full Text: DOI arXiv OpenURL
Pessoa, Artur; Sadykov, Ruslan; Uchoa, Eduardo; Vanderbeck, François A generic exact solver for vehicle routing and related problems. (English) Zbl 1450.90017 Math. Program. 183, No. 1-2 (B), 483-523 (2020). MSC: 90C11 90C06 90B06 90-04 PDF BibTeX XML Cite \textit{A. Pessoa} et al., Math. Program. 183, No. 1--2 (B), 483--523 (2020; Zbl 1450.90017) Full Text: DOI Link OpenURL
Ciubotaru, Constantin Mixed algorithm for combinations generation. (English) Zbl 1445.68369 Comput. Sci. J. Mold. 27, No. 2(80), 242-249 (2019). MSC: 68W40 05A10 68R05 PDF BibTeX XML Cite \textit{C. Ciubotaru}, Comput. Sci. J. Mold. 27, No. 2(80), 242--249 (2019; Zbl 1445.68369) Full Text: Link OpenURL
Deon, Aleksei F.; Menyaev, Yulian A. Poisson twister generator by cumulative frequency technology. (English) Zbl 1461.60003 Algorithms (Basel) 12, No. 6, Paper No. 114, 18 p. (2019). MSC: 60-08 60-04 60G51 65C10 PDF BibTeX XML Cite \textit{A. F. Deon} and \textit{Y. A. Menyaev}, Algorithms (Basel) 12, No. 6, Paper No. 114, 18 p. (2019; Zbl 1461.60003) Full Text: DOI OpenURL
Funken, Stefan A.; Schmidt, Anja ameshref: a Matlab-toolbox for adaptive mesh refinement in two dimensions. (English) Zbl 1450.65110 Garanzha, Vladimir A. (ed.) et al., Numerical geometry, grid generation and scientific computing. Proceedings of the 9th international conference, NUMGRID 2018 / Voronoi 150, celebrating the 150th anniversary of G.F. Voronoi, Moscow, Russia, December 3–5, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 131, 269-279 (2019). MSC: 65M50 65N50 65M85 65N85 65-04 PDF BibTeX XML Cite \textit{S. A. Funken} and \textit{A. Schmidt}, Lect. Notes Comput. Sci. Eng. 131, 269--279 (2019; Zbl 1450.65110) Full Text: DOI OpenURL
Gauci, Eléonore; Belme, Anca; Carabias, Alexandre; Loseille, Adrien; Alauzet, Frédéric; Dervieux, Alain A priori error-based mesh adaptation in CFD. (English) Zbl 1468.65216 Methods Appl. Anal. 26, No. 2, 195-216 (2019). MSC: 65N50 65N15 76-04 PDF BibTeX XML Cite \textit{E. Gauci} et al., Methods Appl. Anal. 26, No. 2, 195--216 (2019; Zbl 1468.65216) Full Text: DOI OpenURL
Sabri, Ahmad; Vajnovszki, Vincent On the exhaustive generation of generalized ballot sequences in lexicographic and Gray code order. (English) Zbl 1449.05007 PU.M.A., Pure Math. Appl. 28, No. 1, 109-119 (2019). MSC: 05A05 05A19 94B25 PDF BibTeX XML Cite \textit{A. Sabri} and \textit{V. Vajnovszki}, PU.M.A., Pure Math. Appl. 28, No. 1, 109--119 (2019; Zbl 1449.05007) Full Text: DOI OpenURL
Zhan, Haolan; Lin, Qianqian; Wang, Shuling; Talpin, Jean-Pierre; Xu, Xiong; Zhan, Naijun Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow. (English) Zbl 07168636 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 109-129 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Zhan} et al., Lect. Notes Comput. Sci. 11885, 109--129 (2019; Zbl 07168636) Full Text: DOI Link OpenURL
Liu, Yang; Li, Jingfa; Sun, Shuyu; Yu, Bo Advances in Gaussian random field generation: a review. (English) Zbl 1427.60094 Comput. Geosci. 23, No. 5, 1011-1047 (2019). MSC: 60G60 60-04 60G15 86A32 PDF BibTeX XML Cite \textit{Y. Liu} et al., Comput. Geosci. 23, No. 5, 1011--1047 (2019; Zbl 1427.60094) Full Text: DOI Link OpenURL
Ortiz-Bernardin, A.; Alvarez, C.; Hitschfeld-Kahler, N.; Russo, A.; Silva-Valenzuela, R.; Olate-Sanzana, E. Veamy: an extensible object-oriented C++ library for the virtual element method. (English) Zbl 1442.65002 Numer. Algorithms 82, No. 4, 1189-1220 (2019). MSC: 65-04 65N30 65N50 35J05 74B99 PDF BibTeX XML Cite \textit{A. Ortiz-Bernardin} et al., Numer. Algorithms 82, No. 4, 1189--1220 (2019; Zbl 1442.65002) Full Text: DOI arXiv OpenURL
Maddison, James R.; Goldberg, Daniel N.; Goddard, Benjamin D. Automated calculation of higher order partial differential equation constrained derivative information. (English) Zbl 07105504 SIAM J. Sci. Comput. 41, No. 5, C417-C445 (2019). MSC: 65M32 65M60 68N20 35-XX PDF BibTeX XML Cite \textit{J. R. Maddison} et al., SIAM J. Sci. Comput. 41, No. 5, C417--C445 (2019; Zbl 07105504) Full Text: DOI OpenURL
Farrell, P. E.; Hake, J. E.; Funke, S. W.; Rognes, M. E. Automated adjoints of coupled PDE-ODE systems. (English) Zbl 1420.65077 SIAM J. Sci. Comput. 41, No. 3, C219-C244 (2019). MSC: 65L06 65M60 65M32 35Q92 PDF BibTeX XML Cite \textit{P. E. Farrell} et al., SIAM J. Sci. Comput. 41, No. 3, C219--C244 (2019; Zbl 1420.65077) Full Text: DOI arXiv OpenURL
Burstedde, Carsten; Holke, Johannes; Isaac, Tobin On the number of face-connected components of Morton-type space-filling curves. (English) Zbl 1422.65243 Found. Comput. Math. 19, No. 4, 843-868 (2019). MSC: 65M50 65D18 65N50 PDF BibTeX XML Cite \textit{C. Burstedde} et al., Found. Comput. Math. 19, No. 4, 843--868 (2019; Zbl 1422.65243) Full Text: DOI arXiv Link OpenURL
Lammich, Peter; Lochbihler, Andreas Automatic refinement to efficient data structures: a comparison of two approaches. (English) Zbl 1459.68228 J. Autom. Reasoning 63, No. 1, 53-94 (2019). MSC: 68V15 68P05 PDF BibTeX XML Cite \textit{P. Lammich} and \textit{A. Lochbihler}, J. Autom. Reasoning 63, No. 1, 53--94 (2019; Zbl 1459.68228) Full Text: DOI OpenURL
Fernando, Milinda; Neilsen, David; Lim, Hyun; Hirschmann, Eric; Sundar, Hari Massively parallel simulations of binary black hole intermediate-mass-ratio inspirals. (English) Zbl 1416.83050 SIAM J. Sci. Comput. 41, No. 2, C97-C138 (2019). MSC: 83C57 85A05 42C40 83-08 85-08 PDF BibTeX XML Cite \textit{M. Fernando} et al., SIAM J. Sci. Comput. 41, No. 2, C97--C138 (2019; Zbl 1416.83050) Full Text: DOI arXiv OpenURL
Chenavier, Cyrille A lattice formulation of the noncommutative \(F_4\) procedure. (English) Zbl 1417.06006 Int. J. Algebra Comput. 29, No. 1, 23-40 (2019). MSC: 06B99 06-04 13P10 68W30 16S15 16Z05 PDF BibTeX XML Cite \textit{C. Chenavier}, Int. J. Algebra Comput. 29, No. 1, 23--40 (2019; Zbl 1417.06006) Full Text: DOI OpenURL
Gevorkyan, Migran N.; Demidova, Anastasiya V.; Korolkova, Anna V.; Kulyabov, Dmitry S. Issues in the software implementation of stochastic numerical Runge-Kutta. (English) Zbl 1477.65021 Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 532-546 (2018). MSC: 65C30 60H35 65L06 PDF BibTeX XML Cite \textit{M. N. Gevorkyan} et al., Commun. Comput. Inf. Sci. 919, 532--546 (2018; Zbl 1477.65021) Full Text: DOI arXiv OpenURL
Dahlem, Marc; Bhagyanath, Anoop; Schneider, Klaus Optimal scheduling for exposed datapath architectures with buffered processing units by ASP. (English) Zbl 1451.68029 Theory Pract. Log. Program. 18, No. 3-4, 438-451 (2018). MSC: 68M07 68M20 68N17 PDF BibTeX XML Cite \textit{M. Dahlem} et al., Theory Pract. Log. Program. 18, No. 3--4, 438--451 (2018; Zbl 1451.68029) Full Text: DOI arXiv OpenURL
Herter, Felix; Rote, Günter Loopless Gray code enumeration and the Tower of Bucharest. (English) Zbl 1402.68135 Theor. Comput. Sci. 748, 40-54 (2018). MSC: 68R05 68W32 91A46 PDF BibTeX XML Cite \textit{F. Herter} and \textit{G. Rote}, Theor. Comput. Sci. 748, 40--54 (2018; Zbl 1402.68135) Full Text: DOI Link OpenURL
Bonelle, Jérôme; Fournier, Yvan; Moulinec, Charles New polyhedral discretisation methods applied to the Richards equation: CDO schemes in Code_Saturne. (English) Zbl 1410.76002 Comput. Fluids 173, 93-102 (2018). MSC: 76-04 76M25 65N50 65Y10 76S05 PDF BibTeX XML Cite \textit{J. Bonelle} et al., Comput. Fluids 173, 93--102 (2018; Zbl 1410.76002) Full Text: DOI OpenURL
Lusher, David J.; Jammy, Satya P.; Sandham, Neil D. Shock-wave/boundary-layer interactions in the automatic source-code generation framework OpenSBLI. (English) Zbl 1410.76299 Comput. Fluids 173, 17-21 (2018). MSC: 76M20 65M06 76L05 PDF BibTeX XML Cite \textit{D. J. Lusher} et al., Comput. Fluids 173, 17--21 (2018; Zbl 1410.76299) Full Text: DOI Link OpenURL
Meßner, Florian; Parsert, Julian; Schöpf, Jonas; Sternagel, Christian A formally verified solver for homogeneous linear Diophantine equations. (English) Zbl 06946995 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 441-458 (2018). MSC: 68T15 PDF BibTeX XML Cite \textit{F. Meßner} et al., Lect. Notes Comput. Sci. 10895, 441--458 (2018; Zbl 06946995) Full Text: DOI OpenURL
Konstantinidis, Stavros; Meijer, Casey; Moreira, Nelma; Reis, Rogério Symbolic manipulation of code properties. (English) Zbl 1396.68067 J. Autom. Lang. Comb. 23, No. 1-3, 243-269 (2018). MSC: 68Q45 68-04 94A45 PDF BibTeX XML Cite \textit{S. Konstantinidis} et al., J. Autom. Lang. Comb. 23, No. 1--3, 243--269 (2018; Zbl 1396.68067) Full Text: DOI arXiv OpenURL
Barany, Gergö Liveness-driven random program generation. (English) Zbl 06932826 Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 112-127 (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{G. Barany}, Lect. Notes Comput. Sci. 10855, 112--127 (2018; Zbl 06932826) Full Text: DOI arXiv OpenURL
Alberti, Michele; Signoles, Julien Context generation from formal specifications for C analysis tools. (English) Zbl 06932825 Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 93-111 (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Alberti} and \textit{J. Signoles}, Lect. Notes Comput. Sci. 10855, 93--111 (2018; Zbl 06932825) Full Text: DOI arXiv OpenURL
Cicalese, Ferdinando; Lipták, Zsuzsanna; Rossi, Massimiliano Bubble-flip – a new generation algorithm for prefix normal words. (English) Zbl 1398.68411 Theor. Comput. Sci. 743, 38-52 (2018). MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{F. Cicalese} et al., Theor. Comput. Sci. 743, 38--52 (2018; Zbl 1398.68411) Full Text: DOI OpenURL
Kikinzon, Evgeny; Shashkov, Mikhail; Garimella, Rao Establishing mesh topology in multi-material cells: enabling technology for robust and accurate multi-material simulations. (English) Zbl 1410.76239 Comput. Fluids 172, 251-263 (2018). MSC: 76M12 65M50 65N50 76-04 PDF BibTeX XML Cite \textit{E. Kikinzon} et al., Comput. Fluids 172, 251--263 (2018; Zbl 1410.76239) Full Text: DOI Link OpenURL
Homolya, Miklós; Mitchell, Lawrence; Luporini, Fabio; Ham, David A. TSFC: a structure-preserving form compiler. (English) Zbl 1388.68020 SIAM J. Sci. Comput. 40, No. 3, C401-C428 (2018). MSC: 68N20 65M60 65N30 PDF BibTeX XML Cite \textit{M. Homolya} et al., SIAM J. Sci. Comput. 40, No. 3, C401--C428 (2018; Zbl 1388.68020) Full Text: DOI arXiv OpenURL
Martino, Luca; Luengo, David; Míguez, Joaquín Independent random sampling methods. (English) Zbl 1414.62007 Statistics and Computing (Cham). Cham: Springer (ISBN 978-3-319-72633-5/hbk; 978-3-319-72634-2/ebook). xii, 280 p. (2018). Reviewer: Ludwig Paditz (Dresden) MSC: 62-02 62D05 65C10 65C05 65-01 65C60 PDF BibTeX XML Cite \textit{L. Martino} et al., Independent random sampling methods. Cham: Springer (2018; Zbl 1414.62007) Full Text: DOI OpenURL
Liu, Tiantian; Chen, Minxin; Lu, Benzhuo Efficient and qualified mesh generation for Gaussian molecular surface using adaptive partition and piecewise polynomial approximation. (English) Zbl 1393.65027 SIAM J. Sci. Comput. 40, No. 2, B507-B527 (2018). MSC: 65M50 68N01 65D17 65-04 PDF BibTeX XML Cite \textit{T. Liu} et al., SIAM J. Sci. Comput. 40, No. 2, B507--B527 (2018; Zbl 1393.65027) Full Text: DOI arXiv OpenURL
Schmidt, Stephan; Schütte, Maria; Walther, Andrea Efficient numerical solution of geometric inverse problems involving Maxwell’s equations using shape derivatives and automatic code generation. (English) Zbl 1402.65104 SIAM J. Sci. Comput. 40, No. 2, B405-B428 (2018). Reviewer: Luis Filipe Pinheiro de Castro (Aveiro) MSC: 65M32 65M25 65K10 68N19 35Q61 35R30 78M50 49Q10 78A25 PDF BibTeX XML Cite \textit{S. Schmidt} et al., SIAM J. Sci. Comput. 40, No. 2, B405--B428 (2018; Zbl 1402.65104) Full Text: DOI OpenURL
Walker, Shawn W. FELICITY: a Matlab/C++ toolbox for developing finite element methods and simulation modeling. (English) Zbl 1481.65192 SIAM J. Sci. Comput. 40, No. 2, C234-C257 (2018). MSC: 65M60 65N30 65-04 65Y15 68N19 68N20 PDF BibTeX XML Cite \textit{S. W. Walker}, SIAM J. Sci. Comput. 40, No. 2, C234--C257 (2018; Zbl 1481.65192) Full Text: DOI OpenURL
Schmidt, Stephan Weak and strong form shape hessians and their automatic generation. (English) Zbl 1448.49036 SIAM J. Sci. Comput. 40, No. 2, C210-C233 (2018). MSC: 49M15 65D18 68T35 68Q42 68U05 68U15 PDF BibTeX XML Cite \textit{S. Schmidt}, SIAM J. Sci. Comput. 40, No. 2, C210--C233 (2018; Zbl 1448.49036) Full Text: DOI OpenURL
Robinson, Peter N.; Piro, Rosario Michael; Jäger, Marten Computational exome and genome analysis. (English) Zbl 1384.92004 Chapman & Hall/CRC Mathematical and Computational Biology Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-7598-4/hbk; 978-1-4987-7599-1/ebook). xxi, 552 p. (2018). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 92-02 92D10 92D20 92-04 PDF BibTeX XML Cite \textit{P. N. Robinson} et al., Computational exome and genome analysis. Boca Raton, FL: CRC Press (2018; Zbl 1384.92004) Full Text: Link OpenURL
Chirilǎ, Ciprian C.; Ha, T. M. H. FXRS: fast X-ray spectrum-simulator theory and software implementation. (English) Zbl 07414464 Commun. Comput. Phys. 21, No. 5, 1475-1488 (2017). MSC: 78M31 65C05 78-10 78-04 78A35 78A40 78A45 81V45 81U35 PDF BibTeX XML Cite \textit{C. C. Chirilǎ} and \textit{T. M. H. Ha}, Commun. Comput. Phys. 21, No. 5, 1475--1488 (2017; Zbl 07414464) Full Text: DOI OpenURL
Wang, Wen; Szefer, Jakub; Niederhagen, Ruben FPGA-based key generator for the Niederreiter cryptosystem using binary Goppa codes. (English) Zbl 1450.94046 Fischer, Wieland (ed.) et al., Cryptographic hardware and embedded systems – CHES 2017. 19th international conference, Taipei, Taiwan, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10529, 253-274 (2017). MSC: 94A60 81P94 PDF BibTeX XML Cite \textit{W. Wang} et al., Lect. Notes Comput. Sci. 10529, 253--274 (2017; Zbl 1450.94046) Full Text: DOI OpenURL
Kim, Jongkyu; Reinert, Knut Vaquita: fast and accurate identification of structural variation using combined evidence. (English) Zbl 1443.92141 Schwartz, Russell (ed.) et al., 17th international workshop on algorithms in bioinformatics, WABI 2017, Boston, MA, USA, August 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 88, Article 13, 14 p. (2017). MSC: 92D20 92-04 PDF BibTeX XML Cite \textit{J. Kim} and \textit{K. Reinert}, LIPIcs -- Leibniz Int. Proc. Inform. 88, Article 13, 14 p. (2017; Zbl 1443.92141) Full Text: DOI OpenURL
Rathgeber, Florian; Ham, David A.; Mitchell, Lawrence; Lange, Michael; Luporini, Fabio; Mcrae, Andrew T. T.; Bercea, Gheorghe-Teodor; Markall, Graham R.; Kelly, Paul H. J. Firedrake, automating the finite element method by composing abstractions. (English) Zbl 1396.65144 ACM Trans. Math. Softw. 43, No. 3, Article No. 24, 27 p. (2017). MSC: 65M60 65N30 PDF BibTeX XML Cite \textit{F. Rathgeber} et al., ACM Trans. Math. Softw. 43, No. 3, Article No. 24, 27 p. (2017; Zbl 1396.65144) Full Text: DOI arXiv OpenURL
Uzgoren, Eray girdap: open source object-oriented autonomous grid management library for solving equations of conservation laws. (English) Zbl 1390.76012 Comput. Fluids 156, 642-652 (2017). MSC: 76-04 76M12 65M08 65M50 65Y15 PDF BibTeX XML Cite \textit{E. Uzgoren}, Comput. Fluids 156, 642--652 (2017; Zbl 1390.76012) Full Text: DOI OpenURL
Mogensen, Torben Ægidius Introduction to compiler design. 2nd revised edition. (English) Zbl 1401.68003 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-66965-6/pbk; 978-3-319-66966-3/ebook). xxi, 258 p. (2017). MSC: 68-01 68N20 PDF BibTeX XML Cite \textit{T. Æ. Mogensen}, Introduction to compiler design. 2nd revised edition. Cham: Springer (2017; Zbl 1401.68003) Full Text: DOI OpenURL
Kiselyov, Oleg; Biboudis, Aggelos; Palladinos, Nick; Smaragdakis, Yannis Stream fusion, to completeness. (English) Zbl 1380.68084 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 285-299 (2017). MSC: 68N15 68N20 PDF BibTeX XML Cite \textit{O. Kiselyov} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 285--299 (2017; Zbl 1380.68084) Full Text: DOI arXiv OpenURL
Aransay, Jesús; Divasón, Jose A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem. (English) Zbl 1409.68249 J. Autom. Reasoning 58, No. 4, 509-535 (2017). MSC: 68T15 03B35 15A24 PDF BibTeX XML Cite \textit{J. Aransay} and \textit{J. Divasón}, J. Autom. Reasoning 58, No. 4, 509--535 (2017; Zbl 1409.68249) Full Text: DOI OpenURL
Amatya, Anup; Demirtas, Hakan PoisNor: an R package for generation of multivariate data with Poisson and normal marginals. (English) Zbl 1370.62001 Commun. Stat., Simulation Comput. 46, No. 3, 2241-2253 (2017). MSC: 62-04 65C60 62H20 PDF BibTeX XML Cite \textit{A. Amatya} and \textit{H. Demirtas}, Commun. Stat., Simulation Comput. 46, No. 3, 2241--2253 (2017; Zbl 1370.62001) Full Text: DOI OpenURL
Baiges, Joan; Bayona, Camilo RefficientLib: an efficient load-rebalanced adaptive mesh refinement algorithm for high-performance computational physics meshes. (English) Zbl 1414.65042 SIAM J. Sci. Comput. 39, No. 2, C65-C95 (2017). MSC: 65N50 65Y05 65-04 PDF BibTeX XML Cite \textit{J. Baiges} and \textit{C. Bayona}, SIAM J. Sci. Comput. 39, No. 2, C65--C95 (2017; Zbl 1414.65042) Full Text: DOI OpenURL
Markert, E.; Shende, M.; Horn, T.; Wolf, P.; Heinkel, U. Tool-supported specification of a wind turbine. (English) Zbl 1361.93043 Derbel, Faouzi (ed.) et al., Communication, signal processing and information technology. Berlin: De Gruyter (ISBN 978-3-11-044616-6/pbk; 978-3-11-044839-9/ebook). Advances in Systems, Signals and Devices 4, 115-129 (2017). MSC: 93C95 93B07 93C30 PDF BibTeX XML Cite \textit{E. Markert} et al., Adv. Syst. Signals Devices 4, 115--129 (2017; Zbl 1361.93043) Full Text: DOI OpenURL
Barcucci, Elena; Bernini, Antonio; Bilotta, Stefano; Pinzani, Renzo Cross-bifix-free sets in two dimensions. (English) Zbl 1359.68157 Theor. Comput. Sci. 664, 29-38 (2017). MSC: 68Q45 68P30 94A45 PDF BibTeX XML Cite \textit{E. Barcucci} et al., Theor. Comput. Sci. 664, 29--38 (2017; Zbl 1359.68157) Full Text: DOI arXiv OpenURL
Bouyukliev, Iliya; Bouyuklieva, Stefka; Dzhumalieva-Stoeva, Maria; Monev, Venelin What is GenSelfDual? (English) Zbl 1387.94002 Serdica J. Comput. 10, No. 3-4, 231-244 (2016). MSC: 94-04 94B05 PDF BibTeX XML Cite \textit{I. Bouyukliev} et al., Serdica J. Comput. 10, No. 3--4, 231--244 (2016; Zbl 1387.94002) Full Text: Link OpenURL
Wojciechowski, Pawel; Frohmberg, Wojciech; Kierzynka, Michal; Zurkowski, Piotr; Blazewicz, Jacek G-MAPSEQ – a new method for mapping reads to a reference genome. (English) Zbl 1378.92004 Found. Comput. Decis. Sci. 41, No. 2, 123-142 (2016). MSC: 92-04 92D15 68W32 PDF BibTeX XML Cite \textit{P. Wojciechowski} et al., Found. Comput. Decis. Sci. 41, No. 2, 123--142 (2016; Zbl 1378.92004) Full Text: DOI OpenURL
Herter, Felix; Rote, Günter Loopless Gray code enumeration and the Tower of Bucharest. (English) Zbl 1369.68267 Demaine, Erik D. (ed.) et al., 8th international conference on fun with algorithms, FUN 2016, La Maddalena, Italy, June 8–10, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-005-7). LIPIcs – Leibniz International Proceedings in Informatics 49, Article 19, 19 p. (2016). MSC: 68R05 68W32 91A46 PDF BibTeX XML Cite \textit{F. Herter} and \textit{G. Rote}, LIPIcs -- Leibniz Int. Proc. Inform. 49, Article 19, 19~p. (2016; Zbl 1369.68267) Full Text: DOI arXiv OpenURL
Guskova, M. S.; Barash, L. Yu.; Shchur, L. N. RNGAVXLIB: program library for random number generation, AVX realization. (English) Zbl 1352.65003 Comput. Phys. Commun. 200, 402-405 (2016). MSC: 65-04 65C10 PDF BibTeX XML Cite \textit{M. S. Guskova} et al., Comput. Phys. Commun. 200, 402--405 (2016; Zbl 1352.65003) Full Text: DOI OpenURL
Jensen, Kristian Ejlebjerg; Gorman, Gerard Details of tetrahedral anisotropic mesh adaptation. (English) Zbl 1348.65003 Comput. Phys. Commun. 201, 135-143 (2016). MSC: 65-04 65N50 65M50 PDF BibTeX XML Cite \textit{K. E. Jensen} and \textit{G. Gorman}, Comput. Phys. Commun. 201, 135--143 (2016; Zbl 1348.65003) Full Text: DOI OpenURL
Schmidt, Stephan; Wadbro, Eddie; Berggren, Martin Large-scale three-dimensional acoustic Horn optimization. (English) Zbl 06646630 SIAM J. Sci. Comput. 38, No. 6, B917-B940 (2016). MSC: 35L05 65K10 65M25 65M32 68N19 PDF BibTeX XML Cite \textit{S. Schmidt} et al., SIAM J. Sci. Comput. 38, No. 6, B917--B940 (2016; Zbl 06646630) Full Text: DOI OpenURL
Harrison, Robert J.; Beylkin, Gregory; Bischoff, Florian A.; Calvin, Justus A.; Fann, George I.; Fosso-Tande, Jacob; Galindo, Diego; Hammond, Jeff R.; Hartman-Baker, Rebecca; Hill, Judith C.; Jia, Jun; Kottmann, Jakob S.; Yvonne Ou, M.-J.; Pei, Junchen; Ratcliff, Laura E.; Reuter, Matthew G.; Richie-Halford, Adam C.; Romero, Nichols A.; Sekino, Hideo; Shelton, William A.; Sundahl, Bryan E.; Thornton, W. Scott; Valeev, Edward F.; Vázquez-Mayagoitia, Álvaro; Vence, Nicholas; Yanai, Takeshi; Yokoi, Yukina MADNESS: a multiresolution, adaptive numerical environment for scientific simulation. (English) Zbl 1365.65327 SIAM J. Sci. Comput. 38, No. 5, S123-S142 (2016). MSC: 65Y15 00A72 65-04 65N50 65T60 65Y05 PDF BibTeX XML Cite \textit{R. J. Harrison} et al., SIAM J. Sci. Comput. 38, No. 5, S123--S142 (2016; Zbl 1365.65327) Full Text: DOI arXiv OpenURL
McRae, A. T. T.; Bercea, G.-T.; Mitchell, L.; Ham, D. A.; Cotter, C. J. Automated generation and symbolic manipulation of tensor product finite elements. (English) Zbl 1352.65615 SIAM J. Sci. Comput. 38, No. 5, S25-S47 (2016). MSC: 65N50 65N30 PDF BibTeX XML Cite \textit{A. T. T. McRae} et al., SIAM J. Sci. Comput. 38, No. 5, S25--S47 (2016; Zbl 1352.65615) Full Text: DOI arXiv OpenURL
Aransay, Jesús; Divasón, Jose Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. (English) Zbl 1348.68213 Formal Asp. Comput. 28, No. 6, 1005-1026 (2016). MSC: 68T15 15A21 68W30 PDF BibTeX XML Cite \textit{J. Aransay} and \textit{J. Divasón}, Formal Asp. Comput. 28, No. 6, 1005--1026 (2016; Zbl 1348.68213) Full Text: DOI OpenURL
Burstedde, Carsten; Holke, Johannes A tetrahedral space-filling curve for nonconforming adaptive meshes. (English) Zbl 1348.65173 SIAM J. Sci. Comput. 38, No. 5, C471-C503 (2016). MSC: 65N50 65Y05 65D18 PDF BibTeX XML Cite \textit{C. Burstedde} and \textit{J. Holke}, SIAM J. Sci. Comput. 38, No. 5, C471--C503 (2016; Zbl 1348.65173) Full Text: DOI arXiv OpenURL
Nguyen, Ken; Guo, Xuan; Pan, Yi Multiple biological sequence alignment. Scoring functions, algorithms and evaluation. (English) Zbl 1344.92006 Wiley Series on Bioinformatics: Computational Techniques and Engineering. Hoboken, NJ: John Wiley & Sons (ISBN 978-1-118-22904-0/hbk; 978-1-119-27376-9/ebook). xiii, 225 p. (2016). MSC: 92-01 92-04 92C40 92C20 92C10 92B15 62P10 PDF BibTeX XML Cite \textit{K. Nguyen} et al., Multiple biological sequence alignment. Scoring functions, algorithms and evaluation. Hoboken, NJ: John Wiley \& Sons (2016; Zbl 1344.92006) Full Text: DOI OpenURL
Keshishzadeh, Sarmen; Mooij, Arjan J. Formalizing and testing the consistency of DSL transformations. (English) Zbl 1342.68046 Formal Asp. Comput. 28, No. 2, 181-206 (2016). MSC: 68N15 PDF BibTeX XML Cite \textit{S. Keshishzadeh} and \textit{A. J. Mooij}, Formal Asp. Comput. 28, No. 2, 181--206 (2016; Zbl 1342.68046) Full Text: DOI OpenURL
Mathé, Ewy (ed.); Davis, Sean (ed.) Statistical genomics. Methods and protocols. (English) Zbl 1346.92003 Methods in Molecular Biology 1418. New York, NY: Humana Press/Springer (ISBN 978-1-4939-3576-5/hbk; 978-1-4939-3578-9/ebook). xi, 418 p. (2016). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 92-02 92B15 92D10 62P10 62B15 62F15 62K05 PDF BibTeX XML Cite \textit{E. Mathé} (ed.) and \textit{S. Davis} (ed.), Statistical genomics. Methods and protocols. New York, NY: Humana Press/Springer (2016; Zbl 1346.92003) Full Text: DOI OpenURL
Niederreiter, Harald A survey of some applications of finite fields. (English) Zbl 1333.11074 Des. Codes Cryptography 78, No. 1, 129-139 (2016). Reviewer: Wilfried Meidl (Linz) MSC: 11K38 11K45 11T71 65C05 65C10 94A55 94A60 12-02 PDF BibTeX XML Cite \textit{H. Niederreiter}, Des. Codes Cryptography 78, No. 1, 129--139 (2016; Zbl 1333.11074) Full Text: DOI OpenURL
Zhang, Qingrun; Tyler-Smith, Chris; Long, Quan An extended Tajima’s D neutrality test incorporating SNP calling and imputation uncertainties. (English) Zbl 1405.62222 Stat. Interface 8, No. 4, 447-456 (2015). MSC: 62P10 62-04 62N03 PDF BibTeX XML Cite \textit{Q. Zhang} et al., Stat. Interface 8, No. 4, 447--456 (2015; Zbl 1405.62222) Full Text: DOI OpenURL
Steuwer, Michel; Fensch, Christian; Lindley, Sam; Dubach, Christophe Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. (English) Zbl 1360.68353 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 205-217 (2015). MSC: 68N20 68N18 PDF BibTeX XML Cite \textit{M. Steuwer} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 205--217 (2015; Zbl 1360.68353) Full Text: DOI Link OpenURL
Menon, Sandeep; Mooney, Kyle G.; Stapf, K. G.; Schmidt, David P. Parallel adaptive simplical re-meshing for deforming domain CFD computations. (English) Zbl 1349.76005 J. Comput. Phys. 298, 62-78 (2015). MSC: 76-04 76M25 65M50 65N50 PDF BibTeX XML Cite \textit{S. Menon} et al., J. Comput. Phys. 298, 62--78 (2015; Zbl 1349.76005) Full Text: DOI OpenURL
Scott, T. C.; Zhang, Wenxing Efficient hybrid-symbolic methods for quantum mechanical calculations. (English) Zbl 1344.81028 Comput. Phys. Commun. 191, 221-234 (2015). MSC: 81-04 81V55 PDF BibTeX XML Cite \textit{T. C. Scott} and \textit{W. Zhang}, Comput. Phys. Commun. 191, 221--234 (2015; Zbl 1344.81028) Full Text: DOI OpenURL
Kaper, Hans G. Book review of: J. B. Drake, Climate modeling for scientists and engineers. (English) Zbl 1336.00034 SIAM Rev. 57, No. 2, 307-308 (2015). MSC: 00A17 86-02 86A10 86A05 65M60 68Q10 76M12 76U05 76B47 76F02 65M50 86-04 86-08 PDF BibTeX XML Cite \textit{H. G. Kaper}, SIAM Rev. 57, No. 2, 307--308 (2015; Zbl 1336.00034) Full Text: DOI OpenURL
Kufoalor, D. K. M.; Aaker, V.; Johansen, T. A.; Imsland, L.; Eikrem, G. O. Automatically generated embedded model predictive control: moving an industrial PC-based MPC to an embedded platform. (English) Zbl 1330.93093 Optim. Control Appl. Methods 36, No. 5, 705-727 (2015). MSC: 93B40 93C95 93C05 PDF BibTeX XML Cite \textit{D. K. M. Kufoalor} et al., Optim. Control Appl. Methods 36, No. 5, 705--727 (2015; Zbl 1330.93093) Full Text: DOI OpenURL
Quirynen, R.; Vukov, M.; Zanon, M.; Diehl, M. Autogenerating microsecond solvers for nonlinear MPC: a tutorial using ACADO integrators. (English) Zbl 1330.93100 Optim. Control Appl. Methods 36, No. 5, 685-704 (2015). MSC: 93B40 93C10 PDF BibTeX XML Cite \textit{R. Quirynen} et al., Optim. Control Appl. Methods 36, No. 5, 685--704 (2015; Zbl 1330.93100) Full Text: DOI OpenURL
Herceg, M.; Jones, C. N.; Morari, M. Dominant speed factors of active set methods for fast MPC. (English) Zbl 1330.93088 Optim. Control Appl. Methods 36, No. 5, 608-627 (2015). MSC: 93B40 65K05 PDF BibTeX XML Cite \textit{M. Herceg} et al., Optim. Control Appl. Methods 36, No. 5, 608--627 (2015; Zbl 1330.93088) Full Text: DOI Link OpenURL
Šolinc, Urša; Korelc, Jože A simple way to improved formulation of \(\text{FE}^2\) analysis. (English) Zbl 1329.65279 Comput. Mech. 56, No. 5, 905-915 (2015). MSC: 65N30 PDF BibTeX XML Cite \textit{U. Šolinc} and \textit{J. Korelc}, Comput. Mech. 56, No. 5, 905--915 (2015; Zbl 1329.65279) Full Text: DOI OpenURL
Isaac, Tobin; Burstedde, Carsten; Wilcox, Lucas C.; Ghattas, Omar Recursive algorithms for distributed forests of octrees. (English) Zbl 1323.65105 SIAM J. Sci. Comput. 37, No. 5, C497-C531 (2015). MSC: 65M50 65Y05 65M60 65Y20 65Y15 65N50 65N30 PDF BibTeX XML Cite \textit{T. Isaac} et al., SIAM J. Sci. Comput. 37, No. 5, C497--C531 (2015; Zbl 1323.65105) Full Text: DOI arXiv OpenURL
Amatya, Anup; Demirtas, Hakan MultiOrd: an R package for generating correlated ordinal data. (English) Zbl 1320.62009 Commun. Stat., Simulation Comput. 44, No. 7, 1683-1691 (2015). MSC: 62-04 62H20 65C60 PDF BibTeX XML Cite \textit{A. Amatya} and \textit{H. Demirtas}, Commun. Stat., Simulation Comput. 44, No. 7, 1683--1691 (2015; Zbl 1320.62009) Full Text: DOI OpenURL
Donneau, A. F.; Mauer, M.; Molenberghs, G.; Albert, A. A simulation study comparing multiple imputation methods for incomplete longitudinal ordinal data. (English) Zbl 1328.62333 Commun. Stat., Simulation Comput. 44, No. 5, 1311-1338 (2015). MSC: 62H12 62J12 65C10 62-04 92B15 PDF BibTeX XML Cite \textit{A. F. Donneau} et al., Commun. Stat., Simulation Comput. 44, No. 5, 1311--1338 (2015; Zbl 1328.62333) Full Text: DOI Link OpenURL
Kuchment, Peter Book review of: J. B. Drake, Climate modeling for scientists and engineers. (English) Zbl 1334.00038 Bull. Am. Math. Soc., New Ser. 52, No. 3, 519-520 (2015). MSC: 00A17 86-02 86A10 86A05 65M60 68Q10 76M12 76U05 76B47 76F02 65M50 86-04 86-08 PDF BibTeX XML Cite \textit{P. Kuchment}, Bull. Am. Math. Soc., New Ser. 52, No. 3, 519--520 (2015; Zbl 1334.00038) Full Text: DOI Link OpenURL
Wood, Simon N. Core statistics. (English) Zbl 1358.62007 Institute of Mathematical Statistics Textbooks 6. Cambridge: Cambridge University Press (ISBN 978-1-107-41504-1/pbk; 978-1-107-07105-6/hbk). viii, 250 p. (2015). Reviewer: Fulvio De Santis (Roma) MSC: 62-01 62F03 62F10 62F15 62H12 62J05 60B20 62-07 65C60 62-04 65C10 PDF BibTeX XML Cite \textit{S. N. Wood}, Core statistics. Cambridge: Cambridge University Press (2015; Zbl 1358.62007) Full Text: DOI OpenURL
Holbrook, J.; O’Meara, K. C. Some thoughts on Gerstenhaber’s theorem. (English) Zbl 1301.13022 Linear Algebra Appl. 466, 267-295 (2015). Reviewer: David Ssevviiri (Kampala) MSC: 13E15 15A27 13E10 15-04 15A21 PDF BibTeX XML Cite \textit{J. Holbrook} and \textit{K. C. O'Meara}, Linear Algebra Appl. 466, 267--295 (2015; Zbl 1301.13022) Full Text: DOI OpenURL
Cheng, Ching-Wei; Hung, Ying-Chao; Balakrishnan, Narayanaswamy Generating beta random numbers and Dirichlet random vectors in R: the package rBeta2009. (English) Zbl 1471.62039 Comput. Stat. Data Anal. 71, 1011-1020 (2014). MSC: 62-08 62-04 65C10 62M10 62G10 PDF BibTeX XML Cite \textit{C.-W. Cheng} et al., Comput. Stat. Data Anal. 71, 1011--1020 (2014; Zbl 1471.62039) Full Text: DOI OpenURL
Wang, Liqun; Lee, Chel Hee Discretization-based direct random sample generation. (English) Zbl 1471.62210 Comput. Stat. Data Anal. 71, 1001-1010 (2014). MSC: 62-08 62-04 PDF BibTeX XML Cite \textit{L. Wang} and \textit{C. H. Lee}, Comput. Stat. Data Anal. 71, 1001--1010 (2014; Zbl 1471.62210) Full Text: DOI OpenURL
Maddison, J. R.; Farrell, P. E. Rapid development and adjoining of transient finite element models. (English) Zbl 1423.76257 Comput. Methods Appl. Mech. Eng. 276, 95-121 (2014). MSC: 76M10 65M60 65Y15 76D05 PDF BibTeX XML Cite \textit{J. R. Maddison} and \textit{P. E. Farrell}, Comput. Methods Appl. Mech. Eng. 276, 95--121 (2014; Zbl 1423.76257) Full Text: DOI Link OpenURL
Zheng, Yu-Jun; Zhang, Bei; Zhang, Min-Xia An algebraic approach to population-based evolutionary algorithm generation. (English) Zbl 1351.68258 Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 95-107, electronic only (2014). MSC: 68T20 68Q65 PDF BibTeX XML Cite \textit{Y.-J. Zheng} et al., Electron. Notes Theor. Comput. Sci. 309, 95--107 (2014; Zbl 1351.68258) Full Text: DOI OpenURL
Mushtaq, Asif; Olaussen, Kåre Automatic code generator for higher order integrators. (English) Zbl 1344.70002 Comput. Phys. Commun. 185, No. 5, 1461-1472 (2014). MSC: 70-04 70H05 65P10 70-08 PDF BibTeX XML Cite \textit{A. Mushtaq} and \textit{K. Olaussen}, Comput. Phys. Commun. 185, No. 5, 1461--1472 (2014; Zbl 1344.70002) Full Text: DOI arXiv OpenURL
Aransay, Jesús; Divasón, Jose Formalization and execution of linear algebra: from theorems to algorithms. (English) Zbl 1453.68210 Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 1-18 (2014). MSC: 68V20 15A04 65F05 92C55 PDF BibTeX XML Cite \textit{J. Aransay} and \textit{J. Divasón}, Lect. Notes Comput. Sci. 8901, 1--18 (2014; Zbl 1453.68210) Full Text: DOI OpenURL
Candelaresi, S.; Pontin, D.; Hornig, G. Mimetic methods for Lagrangian relaxation of magnetic fields. (English) Zbl 1317.78013 SIAM J. Sci. Comput. 36, No. 6, B952-B968 (2014). Reviewer: Teodora-Liliana Rădulescu (Craiova) MSC: 78M25 65D25 47F05 65M06 68W40 76W05 85-08 85A30 65Y10 PDF BibTeX XML Cite \textit{S. Candelaresi} et al., SIAM J. Sci. Comput. 36, No. 6, B952--B968 (2014; Zbl 1317.78013) Full Text: DOI arXiv OpenURL
Drake, John B. Climate modeling for scientists and engineers. (English) Zbl 1331.86002 Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-353-2/pbk). viii, 165 p. (2014). Reviewer: Vladimir Čadež (Beograd) MSC: 86-02 86A10 86A05 65M60 68Q10 76M12 76U05 76B47 76F02 65M50 86-04 86-08 PDF BibTeX XML Cite \textit{J. B. Drake}, Climate modeling for scientists and engineers. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2014; Zbl 1331.86002) Full Text: DOI OpenURL
Kupriianova, Olga; Lauter, Christoph Metalibm: a mathematical functions code generator. (English) Zbl 1434.68660 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 713-717 (2014). MSC: 68V35 65-04 65Y99 PDF BibTeX XML Cite \textit{O. Kupriianova} and \textit{C. Lauter}, Lect. Notes Comput. Sci. 8592, 713--717 (2014; Zbl 1434.68660) Full Text: DOI HAL OpenURL
Farrell, P. E.; Cotter, C. J.; Funke, S. W. A framework for the automation of generalized stability theory. (English) Zbl 1292.34048 SIAM J. Sci. Comput. 36, No. 1, C25-C48 (2014). MSC: 34D20 34D10 34D15 35B20 35B35 74S05 PDF BibTeX XML Cite \textit{P. E. Farrell} et al., SIAM J. Sci. Comput. 36, No. 1, C25--C48 (2014; Zbl 1292.34048) Full Text: DOI arXiv Link OpenURL
Montenegro, Manuel; Peña, Ricardo; Segura, Clara A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation. (English) Zbl 1358.68059 Inf. Comput. 235, 3-35 (2014). MSC: 68N18 68N20 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Inf. Comput. 235, 3--35 (2014; Zbl 1358.68059) Full Text: DOI OpenURL
Voss, Jochen An introduction to statistical computing. A simulation-based approach. (English) Zbl 1275.65001 Wiley Series in Computational Statistics 1. Hoboken, NJ: John Wiley & Sons (ISBN 978-1-118-35772-9/hbk; 978-1-118-72804-8/ebook). xiii, 382 p. (2014). MSC: 65-01 62-01 62-04 65C05 65C10 65C60 PDF BibTeX XML Cite \textit{J. Voss}, An introduction to statistical computing. A simulation-based approach. Hoboken, NJ: John Wiley \& Sons (2014; Zbl 1275.65001) Full Text: DOI OpenURL
Eça, L.; Hoekstra, M.; Beja Pedro, J. F.; Falcão de Campos, J. A. C. On the characterization of grid density in grid refinement studies for discretization error estimation. (English) Zbl 1455.65219 Int. J. Numer. Methods Fluids 72, No. 1, 119-134 (2013). MSC: 65N50 76M99 PDF BibTeX XML Cite \textit{L. Eça} et al., Int. J. Numer. Methods Fluids 72, No. 1, 119--134 (2013; Zbl 1455.65219) Full Text: DOI OpenURL
Santos, Dorabella; de Sousa, Amaro; Alvelos, Filipe A hybrid column generation with GRASP and path relinking for the network load balancing problem. (English) Zbl 1348.90162 Comput. Oper. Res. 40, No. 12, 3147-3158 (2013). MSC: 90B10 90-04 90C59 PDF BibTeX XML Cite \textit{D. Santos} et al., Comput. Oper. Res. 40, No. 12, 3147--3158 (2013; Zbl 1348.90162) Full Text: DOI OpenURL