Aguilera, Juan P.; Freund, Anton; Rathjen, Michael; Weiermann, Andreas Ackermann and Goodstein go functorial. (English) Zbl 07410999 Pac. J. Math. 313, No. 2, 251-291 (2021). MSC: 03B30 03F15 03F40 11A67 PDF BibTeX XML Cite \textit{J. P. Aguilera} et al., Pac. J. Math. 313, No. 2, 251--291 (2021; Zbl 07410999) OpenURL
Marimon, Ramon; Werner, Jan The envelope theorem, Euler and Bellman equations, without differentiability. (English) Zbl 07403167 J. Econ. Theory 196, Article ID 105309, 33 p. (2021). MSC: 91B41 90C39 PDF BibTeX XML Cite \textit{R. Marimon} and \textit{J. Werner}, J. Econ. Theory 196, Article ID 105309, 33 p. (2021; Zbl 07403167) Full Text: DOI OpenURL
Chen, Xinxing; Shi, Zhan The stable Derrida-Retaux system at criticality. (English) Zbl 1469.60317 Vares, Maria Eulália (ed.) et al., In and out of equilibrium 3: celebrating Vladas Sidoravicius. Cham: Birkhäuser. Prog. Probab. 77, 239-264 (2021). MSC: 60K35 60J80 82B27 PDF BibTeX XML Cite \textit{X. Chen} and \textit{Z. Shi}, Prog. Probab. 77, 239--264 (2021; Zbl 1469.60317) Full Text: DOI OpenURL
Kalimullin, I. Sh.; Melnikov, A. G. Punctual categoricity relative to a computable oracle. (English) Zbl 07355605 Lobachevskii J. Math. 42, No. 4, 735-742 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{I. Sh. Kalimullin} and \textit{A. G. Melnikov}, Lobachevskii J. Math. 42, No. 4, 735--742 (2021; Zbl 07355605) Full Text: DOI OpenURL
Dorzhieva, M. V.; Issakhov, A. A.; Kalmurzayev, B. S.; Kornev, R. A.; Kotov, M. V. Punctual dimension of algebraic structures in certain classes. (English) Zbl 07355603 Lobachevskii J. Math. 42, No. 4, 716-725 (2021). MSC: 20-XX 14-XX PDF BibTeX XML Cite \textit{M. V. Dorzhieva} et al., Lobachevskii J. Math. 42, No. 4, 716--725 (2021; Zbl 07355603) Full Text: DOI OpenURL
Koepke, P.; Morozov, A. S. Characterizations of ITBM-computability. I. (English. Russian original) Zbl 07350227 Algebra Logic 59, No. 6, 423-436 (2021); translation from Algebra Logika 59, No. 6, 627-648 (2020). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{P. Koepke} and \textit{A. S. Morozov}, Algebra Logic 59, No. 6, 423--436 (2021; Zbl 07350227); translation from Algebra Logika 59, No. 6, 627--648 (2020) Full Text: DOI OpenURL
Wang, Yiting; Kong, Jing Efficient spherical surface integration of Gauss functions in three-dimensional spherical coordinates and the solution for the modified Bessel function of the first kind. (English) Zbl 07346607 J. Math. Chem. 59, No. 2, 505-515 (2021). MSC: 33E10 33C10 33F05 PDF BibTeX XML Cite \textit{Y. Wang} and \textit{J. Kong}, J. Math. Chem. 59, No. 2, 505--515 (2021; Zbl 07346607) Full Text: DOI OpenURL
Yang, Haizhao Multiresolution mode decomposition for adaptive time series analysis. (English) Zbl 1462.42012 Appl. Comput. Harmon. Anal. 52, 25-62 (2021). Reviewer: Liviu Goraş (Iaşi) MSC: 42A38 65T99 62M10 94A12 PDF BibTeX XML Cite \textit{H. Yang}, Appl. Comput. Harmon. Anal. 52, 25--62 (2021; Zbl 1462.42012) Full Text: DOI OpenURL
Yamamoto, Keiichi; Seta, Takeshi Derivation of multicomponent lattice Boltzmann equations by introducing a nonequilibrium distribution function into the Maxwell iteration based on the convective scaling. (English) Zbl 1460.76650 J. Stat. Phys. 182, No. 1, Paper No. 4, 22 p. (2021). MSC: 76M28 76P05 82C40 PDF BibTeX XML Cite \textit{K. Yamamoto} and \textit{T. Seta}, J. Stat. Phys. 182, No. 1, Paper No. 4, 22 p. (2021; Zbl 1460.76650) Full Text: DOI OpenURL
Sui, Xiang An algorithm for computing least-squares function-valued Padé-type approximation. (English) Zbl 1463.65086 Int. J. Math. Comput. Sci. 16, No. 1, 1-8 (2021). MSC: 65F40 45B05 65R20 PDF BibTeX XML Cite \textit{X. Sui}, Int. J. Math. Comput. Sci. 16, No. 1, 1--8 (2021; Zbl 1463.65086) Full Text: Link OpenURL
Zhukov, V. V. Asymptotically best synthesis methods for reflexive-recursive circuits. (English. Russian original) Zbl 1460.94093 Comput. Math. Model. 31, No. 3, 369-383 (2020); translation from Prikl. Mat. Inf. 63, 63-81 (2020). MSC: 94C11 PDF BibTeX XML Cite \textit{V. V. Zhukov}, Comput. Math. Model. 31, No. 3, 369--383 (2020; Zbl 1460.94093); translation from Prikl. Mat. Inf. 63, 63--81 (2020) Full Text: DOI OpenURL
Sharma, Pankaj \(N\)-policy for \(M/E_k/1\) queueing model with service interruption. (English) Zbl 07303927 Jñānābha 50, No. 1, 144-157 (2020). MSC: 90B22 60K25 PDF BibTeX XML Cite \textit{P. Sharma}, Jñānābha 50, No. 1, 144--157 (2020; Zbl 07303927) Full Text: Link OpenURL
Freund, Anton How strong are single fixed points of normal functions? (English) Zbl 1462.03008 J. Symb. Log. 85, No. 2, 709-732 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 85, No. 2, 709--732 (2020; Zbl 1462.03008) Full Text: DOI OpenURL
Fu, Xuesong; Wang, Jianlin; Hu, Zhixiong; Guo, Yongqi; Qiu, Kepeng; Wang, Rutong Anisotropic total variation regularization based NAS-RIF blind restoration method for OCT image. (English) Zbl 07295174 J. Beijing Inst. Technol. 29, No. 2, 146-157 (2020). MSC: 94A08 PDF BibTeX XML Cite \textit{X. Fu} et al., J. Beijing Inst. Technol. 29, No. 2, 146--157 (2020; Zbl 07295174) Full Text: DOI OpenURL
Aboubacar, Amir; El Machkouri, Mohamed Recursive kernel density estimation for time series. (English) Zbl 1452.62259 IEEE Trans. Inf. Theory 66, No. 10, 6378-6388 (2020). MSC: 62G07 62M10 PDF BibTeX XML Cite \textit{A. Aboubacar} and \textit{M. El Machkouri}, IEEE Trans. Inf. Theory 66, No. 10, 6378--6388 (2020; Zbl 1452.62259) Full Text: DOI OpenURL
Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng Online presentations of finitely generated structures. (English) Zbl 1464.68443 Theor. Comput. Sci. 844, 195-216 (2020). MSC: 68W27 03D20 03D28 03D45 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Theor. Comput. Sci. 844, 195--216 (2020; Zbl 1464.68443) Full Text: DOI OpenURL
Georgiev, Ivan Uniform and conditional-computability of some nonelementary real functions. (English) Zbl 1463.03044 C. R. Acad. Bulg. Sci. 73, No. 3, 306-314 (2020). Reviewer: Angela Slavova (Sofia) MSC: 03F60 03D20 03D78 PDF BibTeX XML Cite \textit{I. Georgiev}, C. R. Acad. Bulg. Sci. 73, No. 3, 306--314 (2020; Zbl 1463.03044) Full Text: DOI OpenURL
Huang, Ya; Liu, Juan; Zhou, Jieming; Deng, Yingchun Gerber-Shiu analysis for a discrete risk model with delayed claims and random incomes. (English) Zbl 1449.62236 Chin. J. Eng. Math. 37, No. 1, 89-106 (2020). MSC: 62P05 91B05 PDF BibTeX XML Cite \textit{Y. Huang} et al., Chin. J. Eng. Math. 37, No. 1, 89--106 (2020; Zbl 1449.62236) Full Text: DOI OpenURL
Zhukov, Vladimir V.; Lozhkin, Sergey A. Asymptotically best method for synthesis of Boolean recursive circuits. (English. Russian original) Zbl 1465.94150 Discrete Math. Appl. 30, No. 2, 137-146 (2020); translation from Diskretn. Mat. 31, No. 1, 99-110 (2019). MSC: 94C11 94D10 PDF BibTeX XML Cite \textit{V. V. Zhukov} and \textit{S. A. Lozhkin}, Discrete Math. Appl. 30, No. 2, 137--146 (2020; Zbl 1465.94150); translation from Diskretn. Mat. 31, No. 1, 99--110 (2019) Full Text: DOI OpenURL
Freund, Anton Predicative collapsing principles. (English) Zbl 07190485 J. Symb. Log. 85, No. 1, 511-530 (2020). MSC: 03B30 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 85, No. 1, 511--530 (2020; Zbl 07190485) Full Text: DOI OpenURL
Georgiev, Ivan On subrecursive complexity of integration. (English) Zbl 07160779 Ann. Pure Appl. Logic 171, No. 4, Article ID 102777, 23 p. (2020). MSC: 03F60 03D78 03D15 03D20 PDF BibTeX XML Cite \textit{I. Georgiev}, Ann. Pure Appl. Logic 171, No. 4, Article ID 102777, 23 p. (2020; Zbl 07160779) Full Text: DOI OpenURL
Calude, Cristian S.; Jain, Sanjay; Merkle, Wolfgang; Stephan, Frank Searching for shortest and least programs. (English) Zbl 1443.68074 Theor. Comput. Sci. 807, 114-127 (2020). Reviewer: Liang Yu (Nanjing) MSC: 68Q30 03D10 PDF BibTeX XML Cite \textit{C. S. Calude} et al., Theor. Comput. Sci. 807, 114--127 (2020; Zbl 1443.68074) Full Text: DOI OpenURL
Bogun, Vladyslav Almost sure asymptotic expansions for profiles of simply generated random trees. (English) Zbl 1449.60086 Theory Stoch. Process. 24, No. 1, 49-63 (2019). MSC: 60G50 60F05 60J80 60J85 60F10 60F15 PDF BibTeX XML Cite \textit{V. Bogun}, Theory Stoch. Process. 24, No. 1, 49--63 (2019; Zbl 1449.60086) Full Text: Link OpenURL
Tsitsiashvili, G. Sh. Logical-probabilistic modeling on the modular principle. (Russian. English summary) Zbl 1437.62378 Dal’nevost. Mat. Zh. 19, No. 1, 114-118 (2019). MSC: 62N05 90B25 62H30 PDF BibTeX XML Cite \textit{G. Sh. Tsitsiashvili}, Dal'nevost. Mat. Zh. 19, No. 1, 114--118 (2019; Zbl 1437.62378) Full Text: MNR OpenURL
Goloveshkin, V. A.; Solov’ev, S. Yu. Error estimate for the displacement method. (English. Russian original) Zbl 07157095 Mosc. Univ. Comput. Math. Cybern. 43, No. 2, 65-73 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 2, 19-27 (2019). MSC: 68Qxx 68Wxx PDF BibTeX XML Cite \textit{V. A. Goloveshkin} and \textit{S. Yu. Solov'ev}, Mosc. Univ. Comput. Math. Cybern. 43, No. 2, 65--73 (2019; Zbl 07157095); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 2, 19--27 (2019) Full Text: DOI OpenURL
Jones, Owen Dafydd Runoff on rooted trees. (English) Zbl 1427.60203 J. Appl. Probab. 56, No. 4, 1065-1085 (2019). MSC: 60K35 60J80 PDF BibTeX XML Cite \textit{O. D. Jones}, J. Appl. Probab. 56, No. 4, 1065--1085 (2019; Zbl 1427.60203) Full Text: DOI OpenURL
Nomura, Noboru Orthant probabilities of elliptical distributions from orthogonal projections to subspaces. (English) Zbl 1430.62039 Stat. Comput. 29, No. 2, 289-300 (2019). MSC: 62E15 62-08 PDF BibTeX XML Cite \textit{N. Nomura}, Stat. Comput. 29, No. 2, 289--300 (2019; Zbl 1430.62039) Full Text: DOI OpenURL
Banderier, Cyril; Luca, Florian On the period mod \(m\) of polynomially-recursive sequences: a case study. (English) Zbl 1460.11025 J. Integer Seq. 22, No. 5, Article 19.5.2, 15 p. (2019). Reviewer: Uğur Duran (Iskenderun) MSC: 11B50 11B39 11B85 05A15 PDF BibTeX XML Cite \textit{C. Banderier} and \textit{F. Luca}, J. Integer Seq. 22, No. 5, Article 19.5.2, 15 p. (2019; Zbl 1460.11025) Full Text: Link arXiv OpenURL
Dong, Haidi; He, Bing; Liu, Gang; Zheng, Jianfei A parallel multiple minor components extraction algorithm and its convergence analysis. (Chinese. English summary) Zbl 1438.94026 Acta Autom. Sin. 45, No. 2, 427-433 (2019). MSC: 94A12 PDF BibTeX XML Cite \textit{H. Dong} et al., Acta Autom. Sin. 45, No. 2, 427--433 (2019; Zbl 1438.94026) Full Text: DOI OpenURL
Bouchentouf, Amina Angelika; Rabhi, Abbes; Traore, Aboubacar Consistency of recursive nonparametric kernel estimates for independent functional data. (English) Zbl 1421.62032 Appl. Math. 46, No. 1, 53-83 (2019). MSC: 62G05 62M10 62G07 PDF BibTeX XML Cite \textit{A. A. Bouchentouf} et al., Appl. Math. 46, No. 1, 53--83 (2019; Zbl 1421.62032) Full Text: DOI OpenURL
Bauer, Andrej; Swan, Andrew Every metric space is separable in function realizability. (English) Zbl 1431.03076 Log. Methods Comput. Sci. 15, No. 2, Paper No. 14, 7 p. (2019). MSC: 03F60 54E35 03F55 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{A. Swan}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 14, 7 p. (2019; Zbl 1431.03076) Full Text: arXiv OpenURL
Xi, Mengmei; Wang, Xuejun On the rates of asymptotic normality for recursive kernel density estimators under \(\varphi\)-mixing assumptions. (English) Zbl 1419.62078 J. Nonparametric Stat. 31, No. 2, 340-363 (2019). Reviewer: Satish Kumar Deevi (Guntur) MSC: 62G07 62G20 62E20 60F15 PDF BibTeX XML Cite \textit{M. Xi} and \textit{X. Wang}, J. Nonparametric Stat. 31, No. 2, 340--363 (2019; Zbl 1419.62078) Full Text: DOI OpenURL
Léveillé, Ghislain; Hamel, Emmanuel Compound trend renewal process with discounted claims: a unified approach. (English) Zbl 1411.91295 Scand. Actuar. J. 2019, No. 3, 228-246 (2019). MSC: 91B30 60K10 PDF BibTeX XML Cite \textit{G. Léveillé} and \textit{E. Hamel}, Scand. Actuar. J. 2019, No. 3, 228--246 (2019; Zbl 1411.91295) Full Text: DOI OpenURL
Kraft, Holger; Weiss, Farina Consumption-portfolio choice with preferences for cash. (English) Zbl 1411.91367 J. Econ. Dyn. Control 98, 40-59 (2019). MSC: 91B42 91G10 91B08 93E20 91B16 PDF BibTeX XML Cite \textit{H. Kraft} and \textit{F. Weiss}, J. Econ. Dyn. Control 98, 40--59 (2019; Zbl 1411.91367) Full Text: DOI OpenURL
Kentaro, Sato A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. (English) Zbl 1467.03031 J. Symb. Log. 84, No. 1, 226-265 (2019). Reviewer: Valery Plisko (Moskva) MSC: 03F30 03F05 03F15 03F25 03F35 03D20 PDF BibTeX XML Cite \textit{S. Kentaro}, J. Symb. Log. 84, No. 1, 226--265 (2019; Zbl 1467.03031) Full Text: DOI OpenURL
Cristofaro-Gardiner, Dan; Li, Teresa Xueshan; Stanley, Richard P. Irrational triangles with polynomial Ehrhart functions. (English) Zbl 1407.52015 Discrete Comput. Geom. 61, No. 2, 227-246 (2019). MSC: 52B20 PDF BibTeX XML Cite \textit{D. Cristofaro-Gardiner} et al., Discrete Comput. Geom. 61, No. 2, 227--246 (2019; Zbl 1407.52015) Full Text: DOI OpenURL
Hemaspaandra, Lane A.; Rubery, Daniel Recursion-theoretic ranking and compression. (English) Zbl 1459.03059 J. Comput. Syst. Sci. 101, 31-41 (2019). Reviewer: Marius Zimand (Towson) MSC: 03D20 03D30 03D15 68Q25 PDF BibTeX XML Cite \textit{L. A. Hemaspaandra} and \textit{D. Rubery}, J. Comput. Syst. Sci. 101, 31--41 (2019; Zbl 1459.03059) Full Text: DOI arXiv OpenURL
Butler, Jesse M. An entirely non-self-referential Yabloesque paradox. (English) Zbl 1452.03007 Synthese 195, No. 11, 5007-5019 (2018). MSC: 03A05 PDF BibTeX XML Cite \textit{J. M. Butler}, Synthese 195, No. 11, 5007--5019 (2018; Zbl 1452.03007) Full Text: DOI OpenURL
Wei, Xing; Sun, Linlin; Yin, Shuohui; Chen, Bin A boundary-only treatment by singular boundary method for two-dimensional inhomogeneous problems. (English) Zbl 1460.65151 Appl. Math. Modelling 62, 338-351 (2018). MSC: 65N38 65N80 PDF BibTeX XML Cite \textit{X. Wei} et al., Appl. Math. Modelling 62, 338--351 (2018; Zbl 1460.65151) Full Text: DOI OpenURL
Arvanitis, Stelios; Demos, Antonis On the validity of Edgeworth expansions and moment approximations for three indirect inference estimators. (English) Zbl 1420.62474 J. Econom. Methods 7, No. 1, Article ID 20150009, 38 p. (2018). MSC: 62P20 62G09 62G20 PDF BibTeX XML Cite \textit{S. Arvanitis} and \textit{A. Demos}, J. Econom. Methods 7, No. 1, Article ID 20150009, 38 p. (2018; Zbl 1420.62474) Full Text: DOI OpenURL
Genze, L. V.; Gulko, S. P.; Khmyleva, T. E. A complete topological classification of the space of Baire functions on ordinals. (English. Russian original) Zbl 1418.54007 Sib. Math. J. 59, No. 6, 1006-1013 (2018); translation from Sib. Mat. Zh. 59, No. 6, 1268-1278 (2018). Reviewer: Abderrahmane Bouchair (Jijel) MSC: 54C35 03F15 PDF BibTeX XML Cite \textit{L. V. Genze} et al., Sib. Math. J. 59, No. 6, 1006--1013 (2018; Zbl 1418.54007); translation from Sib. Mat. Zh. 59, No. 6, 1268--1278 (2018) Full Text: DOI OpenURL
Wu, Jibo; Liu, Chaolin The best linear unbiased estimator in a singular linear regression model. (English) Zbl 1407.62266 Stat. Pap. 59, No. 3, 1193-1204 (2018). Reviewer: Annibal Parracho Sant’Anna (Rio de Janeiro) MSC: 62J05 62H12 91B30 PDF BibTeX XML Cite \textit{J. Wu} and \textit{C. Liu}, Stat. Pap. 59, No. 3, 1193--1204 (2018; Zbl 1407.62266) Full Text: DOI OpenURL
Douma, Malik; Mokkadem, Abdelkader; Pelletier, Mariane Online estimation of hazard rate under random censoring. (English) Zbl 1392.62294 J. Stat. Plann. Inference 196, 87-104 (2018). MSC: 62N02 62G07 62G15 62L20 PDF BibTeX XML Cite \textit{M. Douma} et al., J. Stat. Plann. Inference 196, 87--104 (2018; Zbl 1392.62294) Full Text: DOI OpenURL
Horacsek, Joshua; Alim, Usman A closed PP form of box splines via Green’s function decomposition. (English) Zbl 1392.41006 J. Approx. Theory 233, 37-57 (2018). Reviewer: V. Leontiev (Ul’yanovsk) MSC: 41A15 41A10 PDF BibTeX XML Cite \textit{J. Horacsek} and \textit{U. Alim}, J. Approx. Theory 233, 37--57 (2018; Zbl 1392.41006) Full Text: DOI OpenURL
Goutal, A.; Mechab, B.; Issa, M. A.; Souddi, Y. Asymptotic normality of a recursive estimator of a conditional hazard function with functional stationary ergodic data. (English) Zbl 06866507 ProbStat Forum 11, Article No. 04, 36-52 (2018). MSC: 62G05 60G42 62F12 PDF BibTeX XML Cite \textit{A. Goutal} et al., ProbStat Forum 11, Article No. 04, 36--52 (2018; Zbl 06866507) Full Text: Link OpenURL
Kato, Hatsuhiro; Kato, Hatsuyoshi; Naito, Yoshimasa Mechanics shape function of quadrilateral element composed of subdivision triangles for recursive transfer method. (English) Zbl 1450.65104 Japan J. Ind. Appl. Math. 35, No. 1, 277-295 (2018). Reviewer: Abdallah Bradji (Annaba) MSC: 65M22 65M50 74K20 74J20 31A30 PDF BibTeX XML Cite \textit{H. Kato} et al., Japan J. Ind. Appl. Math. 35, No. 1, 277--295 (2018; Zbl 1450.65104) Full Text: DOI OpenURL
Wu, Guohua; Zubkov, Maxim The Kierstead’s conjecture and limitwise monotonic functions. (English) Zbl 1459.03066 Ann. Pure Appl. Logic 169, No. 6, 467-486 (2018). Reviewer: Marat M. Arslanov (Kazan) MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{G. Wu} and \textit{M. Zubkov}, Ann. Pure Appl. Logic 169, No. 6, 467--486 (2018; Zbl 1459.03066) Full Text: DOI OpenURL
Xu, Jieren; Yang, Haizhao; Daubechies, Ingrid Recursive diffeomorphism-based regression for shape functions. (English) Zbl 1381.65104 SIAM J. Math. Anal. 50, No. 1, 5-32 (2018). MSC: 65T40 62G08 PDF BibTeX XML Cite \textit{J. Xu} et al., SIAM J. Math. Anal. 50, No. 1, 5--32 (2018; Zbl 1381.65104) Full Text: DOI arXiv OpenURL
Qian, Jiang; Wang, Fan; Zhu, Chungang Scattered data interpolation based upon bivariate recursive polynomials. (English) Zbl 1422.65030 J. Comput. Appl. Math. 329, 223-243 (2018). MSC: 65D05 PDF BibTeX XML Cite \textit{J. Qian} et al., J. Comput. Appl. Math. 329, 223--243 (2018; Zbl 1422.65030) Full Text: DOI OpenURL
Qi, Feng; Guo, Bai-Ni Explicit and recursive formulas, integral representations, and properties of the large Schröder numbers. (English) Zbl 07390794 Kragujevac J. Math. 41, No. 1, 121-141 (2017). MSC: 11B83 05A15 11R33 11Y55 26A48 30E20 33B99 44A10 44A15 PDF BibTeX XML Cite \textit{F. Qi} and \textit{B.-N. Guo}, Kragujevac J. Math. 41, No. 1, 121--141 (2017; Zbl 07390794) Full Text: Link OpenURL
Capretta, Venanzio; Fowler, Jonathan The continuity of monadic stream functions. (English) Zbl 1452.03137 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 59, 12 p. (2017). MSC: 03F60 03F55 03B38 18C15 68N18 PDF BibTeX XML Cite \textit{V. Capretta} and \textit{J. Fowler}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 59, 12 p. (2017; Zbl 1452.03137) Full Text: Link OpenURL
Escardó, Martín H.; Knapp, Cory M. Partial elements and recursion via dominances in univalent type theory. (English) Zbl 1434.03037 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 21, 16 p. (2017). MSC: 03B38 03D20 03F60 PDF BibTeX XML Cite \textit{M. H. Escardó} and \textit{C. M. Knapp}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 21, 16 p. (2017; Zbl 1434.03037) Full Text: DOI OpenURL
Buchholz, Wilfried A survey on ordinal notations around the Bachmann-Howard ordinal. (English) Zbl 1429.03206 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 71-100 (2017). MSC: 03F15 PDF BibTeX XML Cite \textit{W. Buchholz}, Outst. Contrib. Log. 13, 71--100 (2017; Zbl 1429.03206) Full Text: DOI OpenURL
Oprzędkiewicz, Krzysztof; Mitkowski, Wojciech Accuracy analysis for fractional order transfer function models with delay. (English) Zbl 1425.93138 Babiarz, Artur (ed.) et al., Theory and applications of non-integer order systems. Papers of the 8th conference on non-integer order calculus and its applications, Zakopane, Poland, September 20–21, 2016. Cham: Springer. Lect. Notes Electr. Eng. 407, 253-263 (2017). MSC: 93C23 34K37 41A21 PDF BibTeX XML Cite \textit{K. Oprzędkiewicz} and \textit{W. Mitkowski}, Lect. Notes Electr. Eng. 407, 253--263 (2017; Zbl 1425.93138) Full Text: DOI OpenURL
Kazemi, Ramin On the multiplicative Zagreb indices of bucket recursive trees. (English) Zbl 1406.92767 Iran. J. Math. Chem. 8, No. 1, 37-45 (2017). MSC: 92E10 05C90 PDF BibTeX XML Cite \textit{R. Kazemi}, Iran. J. Math. Chem. 8, No. 1, 37--45 (2017; Zbl 1406.92767) Full Text: DOI OpenURL
Csercsik, Dávid; Kóczy, László Á. Efficiency and stability in electrical power transmission networks: a partition function form approach. (English) Zbl 1392.90116 Netw. Spat. Econ. 17, No. 4, 1161-1184 (2017). MSC: 90C35 91A80 91A43 91A12 PDF BibTeX XML Cite \textit{D. Csercsik} and \textit{L. Á. Kóczy}, Netw. Spat. Econ. 17, No. 4, 1161--1184 (2017; Zbl 1392.90116) Full Text: DOI OpenURL
Zhukov, V. V. The asymptotically best method for synthesizing limited-depth Boolean recursive schemes. (English. Russian original) Zbl 1388.94095 Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134-141 (2017); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29-35 (2017). Reviewer: Antonio Linero Bas (Murcia) MSC: 94C10 PDF BibTeX XML Cite \textit{V. V. Zhukov}, Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134--141 (2017; Zbl 1388.94095); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29--35 (2017) Full Text: DOI OpenURL
Lee, Nami; Kim, Eun Young; Shin, Changsoo Mathematical understanding of consciousness and unconciousness. (English) Zbl 1386.91119 J. Korean Soc. Ind. Appl. Math. 21, No. 2, 75-79 (2017). MSC: 91E10 PDF BibTeX XML Cite \textit{N. Lee} et al., J. Korean Soc. Ind. Appl. Math. 21, No. 2, 75--79 (2017; Zbl 1386.91119) Full Text: Link OpenURL
Zheng, De-Yin; Tang, Peipei Two kinds of \(m\)-Stirling numbers. (English) Zbl 1463.11080 Ars Comb. 134, 251-259 (2017). MSC: 11B73 05A15 PDF BibTeX XML Cite \textit{D.-Y. Zheng} and \textit{P. Tang}, Ars Comb. 134, 251--259 (2017; Zbl 1463.11080) OpenURL
Zhang, Zhi-Hui; Yang, Guang-Hong Recursive observer-based fault detection for a class of nonlinear uncertain systems with output constraints. (English) Zbl 1377.93051 Int. J. Robust Nonlinear Control 27, No. 16, 2630-2645 (2017). MSC: 93B07 93D30 93C10 93C15 PDF BibTeX XML Cite \textit{Z.-H. Zhang} and \textit{G.-H. Yang}, Int. J. Robust Nonlinear Control 27, No. 16, 2630--2645 (2017; Zbl 1377.93051) Full Text: DOI OpenURL
Teichert, Fabian; Zienert, Andreas; Schuster, Jörg; Schreiber, Michael Improved recursive Green’s function formalism for quasi one-dimensional systems with realistic defects. (English) Zbl 1375.81093 J. Comput. Phys. 334, 607-619 (2017). MSC: 81Q05 81-08 81V70 PDF BibTeX XML Cite \textit{F. Teichert} et al., J. Comput. Phys. 334, 607--619 (2017; Zbl 1375.81093) Full Text: DOI OpenURL
Jing, Shaoxue; Li, Zhengming Variable knots spline approximation recursive Bayesian algorithm for identification of Wiener systems. (Chinese. English summary) Zbl 1389.93233 Control Theory Appl. 34, No. 1, 13-21 (2017). MSC: 93E12 93E10 93C10 65D07 PDF BibTeX XML Cite \textit{S. Jing} and \textit{Z. Li}, Control Theory Appl. 34, No. 1, 13--21 (2017; Zbl 1389.93233) Full Text: DOI OpenURL
Daripa, Prabir; Ghosh, Aditi The FFTRR-based fast direct algorithms for complex inhomogeneous biharmonic problems with applications to incompressible flows. (English) Zbl 1377.65035 Numer. Algorithms 75, No. 4, 937-971 (2017). Reviewer: T. C. Mohan (Chennai) MSC: 65E05 31A30 76D07 PDF BibTeX XML Cite \textit{P. Daripa} and \textit{A. Ghosh}, Numer. Algorithms 75, No. 4, 937--971 (2017; Zbl 1377.65035) Full Text: DOI OpenURL
Rathjen, Michael; Van der Meeren, Jeroen; Weiermann, Andreas Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition. (English) Zbl 1417.03292 Arch. Math. Logic 56, No. 5-6, 607-638 (2017). MSC: 03F15 03E10 06A06 PDF BibTeX XML Cite \textit{M. Rathjen} et al., Arch. Math. Logic 56, No. 5--6, 607--638 (2017; Zbl 1417.03292) Full Text: DOI arXiv OpenURL
Brezinski, Claude; Redivo-Zaglia, Michela Shanks function transformations in a vector space. (English) Zbl 1372.65003 Appl. Numer. Math. 116, 57-63 (2017). MSC: 65B05 PDF BibTeX XML Cite \textit{C. Brezinski} and \textit{M. Redivo-Zaglia}, Appl. Numer. Math. 116, 57--63 (2017; Zbl 1372.65003) Full Text: DOI OpenURL
Jin, LeSheng; Kalina, Martin; Qian, Gang Discrete and continuous recursive forms of OWA operators. (English) Zbl 1368.91051 Fuzzy Sets Syst. 308, 106-122 (2017). MSC: 91B06 PDF BibTeX XML Cite \textit{L. Jin} et al., Fuzzy Sets Syst. 308, 106--122 (2017; Zbl 1368.91051) Full Text: DOI OpenURL
Li, Yongming On the rate of strong convergence for a recursive probability density estimator of end samples and its applications. (English) Zbl 1369.62066 J. Math. Inequal. 11, No. 2, 335-343 (2017). MSC: 62G07 62G05 62G20 PDF BibTeX XML Cite \textit{Y. Li}, J. Math. Inequal. 11, No. 2, 335--343 (2017; Zbl 1369.62066) Full Text: DOI OpenURL
Hoyrup, Mathieu Genericity of weakly computable objects. (English) Zbl 1366.68056 Theory Comput. Syst. 60, No. 3, 396-420 (2017). MSC: 68Q05 03D78 03F60 PDF BibTeX XML Cite \textit{M. Hoyrup}, Theory Comput. Syst. 60, No. 3, 396--420 (2017; Zbl 1366.68056) Full Text: DOI OpenURL
Qi, Feng; Guo, Bai-Ni Some explicit and recursive formulas of the large and little Schröder numbers. (English) Zbl 1413.11135 Arab J. Math. Sci. 23, No. 2, 141-147 (2017). MSC: 11Y55 05A15 11B83 11R33 26A48 30E20 44A10 44A15 PDF BibTeX XML Cite \textit{F. Qi} and \textit{B.-N. Guo}, Arab J. Math. Sci. 23, No. 2, 141--147 (2017; Zbl 1413.11135) Full Text: DOI OpenURL
Anderson, D. D.; Juett, J. R. Length functions in commutative rings with zero divisors. (English) Zbl 1369.13001 Commun. Algebra 45, No. 4, 1584-1600 (2017). Reviewer: Moshe Roitman (Haifa) MSC: 13A05 13E99 13F15 PDF BibTeX XML Cite \textit{D. D. Anderson} and \textit{J. R. Juett}, Commun. Algebra 45, No. 4, 1584--1600 (2017; Zbl 1369.13001) Full Text: DOI OpenURL
Van der Meeren, Jeroen; Rathjen, Michael; Weiermann, Andreas An order-theoretic characterization of the Howard-Bachmann-hierarchy. (English) Zbl 1421.03005 Arch. Math. Logic 56, No. 1-2, 79-118 (2017). MSC: 03B30 03E10 03E35 03F03 03F05 03F15 03F35 06A06 PDF BibTeX XML Cite \textit{J. Van der Meeren} et al., Arch. Math. Logic 56, No. 1--2, 79--118 (2017; Zbl 1421.03005) Full Text: DOI arXiv OpenURL
Yuen, Kam Chuen; Chen, Mi; Wat, Kam Pui On the expected penalty functions in a discrete semi-Markov risk model with randomized dividends. (English) Zbl 1354.91081 J. Comput. Appl. Math. 311, 239-251 (2017). MSC: 91B30 60J20 PDF BibTeX XML Cite \textit{K. C. Yuen} et al., J. Comput. Appl. Math. 311, 239--251 (2017; Zbl 1354.91081) Full Text: DOI OpenURL
Kowalenko, Victor The partition method for a power series expansion. Theory and applications. (English) Zbl 1371.41001 Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-804466-7/hbk; 978-0-12-804511-4/ebook). ix, 302 p. (2017). Reviewer: Neha Malik (New Delhi) MSC: 41-02 41A58 05-02 05A17 05C85 11P81 11P82 40A20 PDF BibTeX XML Cite \textit{V. Kowalenko}, The partition method for a power series expansion. Theory and applications. Amsterdam: Elsevier/Academic Press (2017; Zbl 1371.41001) Full Text: Link OpenURL
Liu, Chaolin; Zhang, Zhimin; Yang, Hu A note on a discrete time MAP risk model. (English) Zbl 1410.91276 J. Comput. Appl. Math. 309, 111-121 (2017). MSC: 91B30 60J20 60J60 PDF BibTeX XML Cite \textit{C. Liu} et al., J. Comput. Appl. Math. 309, 111--121 (2017; Zbl 1410.91276) Full Text: DOI OpenURL
Khinko, E. V. On some recursive construction of plateaued resilient Boolean functions with step in 3 variables. (Russian. English summary) Zbl 1468.94968 Prikl. Diskretn. Mat. 2016, No. 1(31), 92-103 (2016). MSC: 94D10 06E30 PDF BibTeX XML Cite \textit{E. V. Khinko}, Prikl. Diskretn. Mat. 2016, No. 1(31), 92--103 (2016; Zbl 1468.94968) Full Text: DOI MNR OpenURL
Wainer, Stanley S. Pointwise transfinite induction and a miniaturized predicativity. (English) Zbl 1439.03102 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 409-425 (2016). MSC: 03F15 03F30 PDF BibTeX XML Cite \textit{S. S. Wainer}, Prog. Comput. Sci. Appl. Log. 28, 409--425 (2016; Zbl 1439.03102) Full Text: DOI OpenURL
Iskhakov, Fedor; Rust, John; Schjerning, Bertel Recursive lexicographical search: finding all Markov perfect equilibria of finite state directional dynamic games. (English) Zbl 1405.91023 Rev. Econ. Stud. 83, No. 2, 658-703 (2016). MSC: 91A15 91A20 91B54 91-04 PDF BibTeX XML Cite \textit{F. Iskhakov} et al., Rev. Econ. Stud. 83, No. 2, 658--703 (2016; Zbl 1405.91023) Full Text: DOI OpenURL
Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic. (English) Zbl 1404.03028 Front. Comput. Sci. 10, No. 4, 717-725 (2016). MSC: 03B70 03D20 03H15 PDF BibTeX XML Cite \textit{C. Cao} et al., Front. Comput. Sci. 10, No. 4, 717--725 (2016; Zbl 1404.03028) Full Text: DOI OpenURL
Ghosh, Aditi; Daripa, Prabir The FFTRR-based fast decomposition methods for solving complex biharmonic problems and incompressible flows. (English) Zbl 1433.65364 IMA J. Numer. Anal. 36, No. 2, 824-850 (2016). MSC: 65T50 65E05 65N80 76M99 76D05 PDF BibTeX XML Cite \textit{A. Ghosh} and \textit{P. Daripa}, IMA J. Numer. Anal. 36, No. 2, 824--850 (2016; Zbl 1433.65364) Full Text: DOI OpenURL
Kaushik, S. K.; Mantry, Poonam Computable frames in computable Banach spaces. (English) Zbl 1401.03102 Int. J. Anal. Appl. 11, No. 2, 93-100 (2016). MSC: 03F60 46S30 PDF BibTeX XML Cite \textit{S. K. Kaushik} and \textit{P. Mantry}, Int. J. Anal. Appl. 11, No. 2, 93--100 (2016; Zbl 1401.03102) Full Text: Link OpenURL
de Vries, Fer-Jan On undefined and meaningless in lambda definability. (English) Zbl 1387.68074 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 18, 15 p. (2016). MSC: 68N30 03B40 PDF BibTeX XML Cite \textit{F.-J. de Vries}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 18, 15 p. (2016; Zbl 1387.68074) Full Text: DOI OpenURL
Khalyavin, Andrey Vyacheslavovich; Lobanov, Mikhail Sergeevich; Tarannikov, Yuriy Valer’evich On plateaued Boolean functions with the same spectrum support. (English) Zbl 1391.94915 Sib. Èlektron. Mat. Izv. 13, 1346-1368 (2016). MSC: 94C10 06E30 PDF BibTeX XML Cite \textit{A. V. Khalyavin} et al., Sib. Èlektron. Mat. Izv. 13, 1346--1368 (2016; Zbl 1391.94915) Full Text: DOI OpenURL
Liu, Haiyan; Chen, Mi On the expected penalty functions in a discrete semi-Markov risk model. (English) Zbl 1374.91041 Chin. J. Appl. Probab. Stat. 32, No. 6, 592-602 (2016). MSC: 91B30 62P05 PDF BibTeX XML Cite \textit{H. Liu} and \textit{M. Chen}, Chin. J. Appl. Probab. Stat. 32, No. 6, 592--602 (2016; Zbl 1374.91041) Full Text: DOI OpenURL
Pour-El, Marian B.; Richards, J. Ian Computability in analysis and physics. Reprint of the 1989 original published by Springer. (English) Zbl 1365.03010 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16844-2/hbk; 978-1-316-71732-5/ebook). x, 206 p. (2016). MSC: 03-02 46-02 03F60 46S30 03D80 PDF BibTeX XML Cite \textit{M. B. Pour-El} and \textit{J. I. Richards}, Computability in analysis and physics. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03010) Full Text: DOI OpenURL
Goodfellow, Ian; Bengio, Yoshua; Courville, Aaron Deep learning. (English) Zbl 1373.68009 Adaptive Computation and Machine Learning. Cambridge, MA: MIT Press (ISBN 978-0-262-03561-3/hbk; 978-0-262-33743-4/ebook). xxii, 775 p. (2016). Reviewer: Florin Gorunescu (Craiova) MSC: 68-02 62-02 62H25 68T05 PDF BibTeX XML Cite \textit{I. Goodfellow} et al., Deep learning. Cambridge, MA: MIT Press (2016; Zbl 1373.68009) OpenURL
Skordev, Dimiter Some theorems on passing from local to global presence of properties of functions. (English) Zbl 1445.03052 Log. Methods Comput. Sci. 12, No. 4, Paper No. 3, 11 p. (2016). MSC: 03D78 54C05 PDF BibTeX XML Cite \textit{D. Skordev}, Log. Methods Comput. Sci. 12, No. 4, Paper No. 3, 11 p. (2016; Zbl 1445.03052) Full Text: DOI OpenURL
Bridges, Douglas; Dent, James; McKubre-Jordens, Maarten \(Z\)-stability in constructive analysis. (English) Zbl 1445.03070 Log. Methods Comput. Sci. 12, No. 3, Paper No. 10, 13 p. (2016). MSC: 03F60 PDF BibTeX XML Cite \textit{D. Bridges} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 10, 13 p. (2016; Zbl 1445.03070) Full Text: DOI OpenURL
Bridges, Douglas S.; Hendtlass, Matthew; Palmgren, Erik A constructive examination of rectifiability. (English) Zbl 1403.03128 J. Log. Anal. 8, Article 4, 17 p. (2016). MSC: 03F60 26A16 PDF BibTeX XML Cite \textit{D. S. Bridges} et al., J. Log. Anal. 8, Article 4, 17 p. (2016; Zbl 1403.03128) Full Text: DOI OpenURL
Grübel, Rudolf; Kabluchko, Zakhar A functional central limit theorem for branching random walks, almost sure weak convergence and applications to random trees. (English) Zbl 1367.60028 Ann. Appl. Probab. 26, No. 6, 3659-3698 (2016). Reviewer: Marius Iosifescu (Bucureşti) MSC: 60F17 60F05 60J80 60G50 60B10 60G42 68P10 PDF BibTeX XML Cite \textit{R. Grübel} and \textit{Z. Kabluchko}, Ann. Appl. Probab. 26, No. 6, 3659--3698 (2016; Zbl 1367.60028) Full Text: DOI Euclid arXiv OpenURL
Wei, Rong Qiang A recursive relation and some statistical properties for Möbius function. (English) Zbl 1397.11011 Int. J. Math. Comput. Sci. 11, No. 2, 215-248 (2016). MSC: 11A25 11Y35 11Y55 11Y70 PDF BibTeX XML Cite \textit{R. Q. Wei}, Int. J. Math. Comput. Sci. 11, No. 2, 215--248 (2016; Zbl 1397.11011) Full Text: Link OpenURL
Marchenkov, S. S. On maximal subalgebras of the algebras of unary recursive functions. (Russian, English) Zbl 1374.03027 Diskretn. Anal. Issled. Oper. 23, No. 3, 81-92 (2016); translation in J. Appl. Ind. Math. 10, No. 3, 380-385 (2016). MSC: 03D20 03D55 08A30 08A60 PDF BibTeX XML Cite \textit{S. S. Marchenkov}, Diskretn. Anal. Issled. Oper. 23, No. 3, 81--92 (2016; Zbl 1374.03027); translation in J. Appl. Ind. Math. 10, No. 3, 380--385 (2016) Full Text: DOI OpenURL
Mazzanti, Stefano Regressive computations characterize logarithmic space. (English) Zbl 1353.68087 Inf. Comput. 251, 16-35 (2016). MSC: 68Q05 03D10 03D20 68Q15 PDF BibTeX XML Cite \textit{S. Mazzanti}, Inf. Comput. 251, 16--35 (2016; Zbl 1353.68087) Full Text: DOI OpenURL
Guéré, Jérémy A Landauc-Ginzburg mirror theorem without concavity. (English) Zbl 1354.14081 Duke Math. J. 165, No. 13, 2461-2527 (2016). Reviewer: Ruifang Song (Mountain View) MSC: 14N35 53D45 14H10 14J33 PDF BibTeX XML Cite \textit{J. Guéré}, Duke Math. J. 165, No. 13, 2461--2527 (2016; Zbl 1354.14081) Full Text: DOI Euclid arXiv OpenURL
Zhang, Yi; Bai, Peng The partial autocorrelation function of MA(2) series. (Chinese. English summary) Zbl 1363.62112 J. Yunnan Minzu Univ., Nat. Sci. 25, No. 1, 42-46 (2016). MSC: 62M10 PDF BibTeX XML Cite \textit{Y. Zhang} and \textit{P. Bai}, J. Yunnan Minzu Univ., Nat. Sci. 25, No. 1, 42--46 (2016; Zbl 1363.62112) Full Text: DOI OpenURL
Marchenkov, Sergey S. On elementary word functions obtained by bounded prefix concatenation. (English. Russian original) Zbl 06626653 Discrete Math. Appl. 26, No. 3, 155-163 (2016); translation from Diskretn. Mat. 27, No. 3, 44-55 (2015). MSC: 03D20 PDF BibTeX XML Cite \textit{S. S. Marchenkov}, Discrete Math. Appl. 26, No. 3, 155--163 (2016; Zbl 06626653); translation from Diskretn. Mat. 27, No. 3, 44--55 (2015) Full Text: DOI OpenURL
Mazzanti, S. Unbounded recursion and non-size-increasing functions. (English) Zbl 1345.03077 Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 197-210, electronic only (2016). MSC: 03D20 68Q15 PDF BibTeX XML Cite \textit{S. Mazzanti}, Electron. Notes Theor. Comput. Sci. 322, 197--210 (2016; Zbl 1345.03077) Full Text: DOI OpenURL
Nomura, Noboru Evaluation of Gaussian orthant probabilities based on orthogonal projections to subspaces. (English) Zbl 1342.60015 Stat. Comput. 26, No. 1-2, 187-197 (2016). MSC: 60E05 62E15 PDF BibTeX XML Cite \textit{N. Nomura}, Stat. Comput. 26, No. 1--2, 187--197 (2016; Zbl 1342.60015) Full Text: DOI OpenURL
Osipov, K. V. On quasi-universal word functions. (English. Russian original) Zbl 1339.03032 Mosc. Univ. Comput. Math. Cybern. 40, No. 1, 28-34 (2016); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 1, 28-33 (2016). MSC: 03D20 03D15 68Q25 PDF BibTeX XML Cite \textit{K. V. Osipov}, Mosc. Univ. Comput. Math. Cybern. 40, No. 1, 28--34 (2016; Zbl 1339.03032); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 1, 28--33 (2016) Full Text: DOI OpenURL
Beckmann, Arnold; Buss, Sam; Friedman, Sy-David; Müller, Moritz; Thapen, Neil Cobham recursive set functions. (English) Zbl 1383.03050 Ann. Pure Appl. Logic 167, No. 3, 335-369 (2016). Reviewer: Clément Aubert (Augusta) MSC: 03D15 03D20 03E99 68Q15 PDF BibTeX XML Cite \textit{A. Beckmann} et al., Ann. Pure Appl. Logic 167, No. 3, 335--369 (2016; Zbl 1383.03050) Full Text: DOI OpenURL
Brattka, Vasco; Miller, Joseph S.; Nies, André Randomness and differentiability. (English) Zbl 1402.03062 Trans. Am. Math. Soc. 368, No. 1, 581-605 (2016). MSC: 03D32 03F60 26A27 26A48 26A45 PDF BibTeX XML Cite \textit{V. Brattka} et al., Trans. Am. Math. Soc. 368, No. 1, 581--605 (2016; Zbl 1402.03062) Full Text: DOI OpenURL