Wan, Hua-Ping; Gan, Jia-Rui; Zhu, Yi-Kai; Meng, Zeng SS-MASVM: an advanced technique for assessing failure probability of high-dimensional complex systems using the multi-class adaptive support vector machine. (English) Zbl 07823451 Comput. Methods Appl. Mech. Eng. 418, Part B, Article ID 116568, 16 p. (2024). MSC: 74-XX 93-XX PDFBibTeX XMLCite \textit{H.-P. Wan} et al., Comput. Methods Appl. Mech. Eng. 418, Part B, Article ID 116568, 16 p. (2024; Zbl 07823451) Full Text: DOI
Wang, Chao; Yan, Ming; Yu, Junjie Sorted \(L_1/L_2\) minimization for sparse signal recovery. (English) Zbl 07823283 J. Sci. Comput. 99, No. 2, Paper No. 32, 19 p. (2024). MSC: 90C05 90C26 65K10 PDFBibTeX XMLCite \textit{C. Wang} et al., J. Sci. Comput. 99, No. 2, Paper No. 32, 19 p. (2024; Zbl 07823283) Full Text: DOI arXiv
Xue, Fang-Gang On bounded basis with prescribed representation functions. (English) Zbl 07819755 Int. J. Number Theory 20, No. 2, 349-356 (2024). MSC: 11B13 11B75 PDFBibTeX XMLCite \textit{F.-G. Xue}, Int. J. Number Theory 20, No. 2, 349--356 (2024; Zbl 07819755) Full Text: DOI
da Silva, Anderson Lucas Carneiro de Lima; Costa, Ana Paula Cabral Seixas; de Almeida, Adiel Teixeira Analysis of the cognitive aspects of the preference elicitation process in the compensatory context: a neuroscience experiment with FITradeoff. (English) Zbl 07816771 Int. Trans. Oper. Res. 31, No. 4, 2472-2503 (2024). MSC: 90-XX PDFBibTeX XMLCite \textit{A. L. C. de L. da Silva} et al., Int. Trans. Oper. Res. 31, No. 4, 2472--2503 (2024; Zbl 07816771) Full Text: DOI
Avolio, Matteo; Fuduli, Antonio The semiproximal SVM approach for multiple instance learning: a kernel-based computational study. (English) Zbl 07814904 Optim. Lett. 18, No. 2, 635-649 (2024). MSC: 90Cxx PDFBibTeX XMLCite \textit{M. Avolio} and \textit{A. Fuduli}, Optim. Lett. 18, No. 2, 635--649 (2024; Zbl 07814904) Full Text: DOI OA License
Dutta, Yajnaseni; Hao, Feng; Liu, Yongqiang Generic vanishing, 1-forms, and topology of Albanese maps. (English) Zbl 07812276 Math. Z. 306, No. 3, Paper No. 56, 21 p. (2024). MSC: 32Q55 32S60 14K12 14C30 14F40 PDFBibTeX XMLCite \textit{Y. Dutta} et al., Math. Z. 306, No. 3, Paper No. 56, 21 p. (2024; Zbl 07812276) Full Text: DOI arXiv OA License
Yang, Hongji; Jiang, Jinhui; Chen, Guoping; Bao, Huanying; Lu, Fan Dynamic force reconstruction for structural support platforms based on the combined strategy of experiment and simulation. (English) Zbl 07811114 Int. J. Struct. Stab. Dyn. 24, No. 1, Article ID 2450008, 29 p. (2024). MSC: 74-XX PDFBibTeX XMLCite \textit{H. Yang} et al., Int. J. Struct. Stab. Dyn. 24, No. 1, Article ID 2450008, 29 p. (2024; Zbl 07811114) Full Text: DOI
Krause, Henning An analogue of Stone duality via support. (English) Zbl 07808764 J. Pure Appl. Algebra 228, No. 6, Article ID 107621, 9 p. (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F70 PDFBibTeX XMLCite \textit{H. Krause}, J. Pure Appl. Algebra 228, No. 6, Article ID 107621, 9 p. (2024; Zbl 07808764) Full Text: DOI arXiv
Telek, Máté L. Real tropicalization and negative faces of the Newton polytope. (English) Zbl 07808719 J. Pure Appl. Algebra 228, No. 6, Article ID 107564, 16 p. (2024). MSC: 14P05 14Q30 14T20 52B20 PDFBibTeX XMLCite \textit{M. L. Telek}, J. Pure Appl. Algebra 228, No. 6, Article ID 107564, 16 p. (2024; Zbl 07808719) Full Text: DOI arXiv
Ma, Zhenlei; Li, Xiaojian; Sun, Jie A data-driven fault detection approach for unknown large-scale systems based on GA-SVM. (English) Zbl 07804492 Inf. Sci. 658, Article ID 120023, 14 p. (2024). MSC: 93A15 PDFBibTeX XMLCite \textit{Z. Ma} et al., Inf. Sci. 658, Article ID 120023, 14 p. (2024; Zbl 07804492) Full Text: DOI
Ishmetov, A. Ya. Functor of idempotent probability measures with compact support and open mappings. (English. Russian original) Zbl 07803124 J. Math. Sci., New York 278, No. 3, 463-475 (2024); translation from Sovrem. Mat., Fundam. Napravl. 67, No. 4, 693-706 (2022). MSC: 54B30 28C99 PDFBibTeX XMLCite \textit{A. Ya. Ishmetov}, J. Math. Sci., New York 278, No. 3, 463--475 (2024; Zbl 07803124); translation from Sovrem. Mat., Fundam. Napravl. 67, No. 4, 693--706 (2022) Full Text: DOI
Pastuszak, Grzegorz Corrigendum to: “On Krull-Gabriel dimension and Galois coverings”. (English) Zbl 07801733 Adv. Math. 438, Article ID 109464, 6 p. (2024). MSC: 16G20 18E10 03C60 PDFBibTeX XMLCite \textit{G. Pastuszak}, Adv. Math. 438, Article ID 109464, 6 p. (2024; Zbl 07801733) Full Text: DOI
Jiang, Pengfei; Zheng, Hui; Xiong, Jingang; Rabczuk, Timon An adaptive support domain for the in-compressible fluid flow based on the localized radial basis function collocation method. (English) Zbl 07801629 Comput. Math. Appl. 156, 29-41 (2024). MSC: 76-XX 65-XX PDFBibTeX XMLCite \textit{P. Jiang} et al., Comput. Math. Appl. 156, 29--41 (2024; Zbl 07801629) Full Text: DOI
Aktas, Ahmet; Kabak, Mehmet Evaluation of energy storage alternatives for hybrid energy systems using a hesitant fuzzy approach. (English) Zbl 07799948 J. Ind. Manag. Optim. 20, No. 3, 858-877 (2024). MSC: 90B50 68U35 PDFBibTeX XMLCite \textit{A. Aktas} and \textit{M. Kabak}, J. Ind. Manag. Optim. 20, No. 3, 858--877 (2024; Zbl 07799948) Full Text: DOI
Abdelalim, Seddik; Chaïchaâ, Abdelhak; El Garn, Mostafa The extension property in a category of torsion modules over a unique factorization domain. (English) Zbl 07797029 Rend. Circ. Mat. Palermo (2) 73, No. 1, 465-487 (2024). MSC: 13C05 13C10 13C11 13C12 13C13 13C60 PDFBibTeX XMLCite \textit{S. Abdelalim} et al., Rend. Circ. Mat. Palermo (2) 73, No. 1, 465--487 (2024; Zbl 07797029) Full Text: DOI
Qian, Chengyang; Wu, Yaokun; Xiong, Yanzhen Inclusion matrices for rainbow subsets. (English) Zbl 07797005 Bull. Iran. Math. Soc. 50, No. 1, Paper No. 2, 65 p. (2024). MSC: 05B20 05B30 05D05 05E30 15A21 PDFBibTeX XMLCite \textit{C. Qian} et al., Bull. Iran. Math. Soc. 50, No. 1, Paper No. 2, 65 p. (2024; Zbl 07797005) Full Text: DOI
Yang, Xiaoyan Cosupport for compactly generated triangulated categories. (English) Zbl 07793899 J. Aust. Math. Soc. 116, No. 1, 128-144 (2024). Reviewer: Hossein Faridian (Clemson) MSC: 13D45 18E35 18G80 PDFBibTeX XMLCite \textit{X. Yang}, J. Aust. Math. Soc. 116, No. 1, 128--144 (2024; Zbl 07793899) Full Text: DOI arXiv
Mo, Shuai; Tang, Xu; Chen, Keren; Zhang, Wei Analysis of vibration characteristics of face gear powering-split transmission system. (English) Zbl 07793557 Commun. Nonlinear Sci. Numer. Simul. 130, Article ID 107750, 21 p. (2024). MSC: 70K30 70K50 70-08 PDFBibTeX XMLCite \textit{S. Mo} et al., Commun. Nonlinear Sci. Numer. Simul. 130, Article ID 107750, 21 p. (2024; Zbl 07793557) Full Text: DOI
Gamst, Mette; Pisinger, David Decision support for the technician routing and scheduling problem. (English) Zbl 07791157 Networks 83, No. 1, 169-196 (2024). MSC: 90B35 PDFBibTeX XMLCite \textit{M. Gamst} and \textit{D. Pisinger}, Networks 83, No. 1, 169--196 (2024; Zbl 07791157) Full Text: DOI arXiv OA License
Shi, Fangfang; Ye, Guoju; Liu, Wei; Zhao, Dafang; Treanţǎ, Savin Lagrangian dual theory and stability analysis for fuzzy optimization problems. (English) Zbl 07791097 Inf. Sci. 657, Article ID 119953, 19 p. (2024). MSC: 90C31 90C46 90C70 PDFBibTeX XMLCite \textit{F. Shi} et al., Inf. Sci. 657, Article ID 119953, 19 p. (2024; Zbl 07791097) Full Text: DOI
Xiao, Yanshan; Chen, Junfeng; Liu, Bo; Zhao, Liang; Kong, Xiangjun; Hao, Zhifeng A new multi-view multi-label model with privileged information learning. (English) Zbl 07791062 Inf. Sci. 656, Article ID 119911, 21 p. (2024). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{Y. Xiao} et al., Inf. Sci. 656, Article ID 119911, 21 p. (2024; Zbl 07791062) Full Text: DOI
Valyuzhenich, Alexandr Optimal functions with spectral constraints in hypercubes. (English) Zbl 07790201 Discrete Math. 347, No. 3, Article ID 113816, 9 p. (2024). MSC: 05C50 15A18 PDFBibTeX XMLCite \textit{A. Valyuzhenich}, Discrete Math. 347, No. 3, Article ID 113816, 9 p. (2024; Zbl 07790201) Full Text: DOI arXiv
Chakib, Abdelkrim; Khalil, Ibrahim; Ouaissa, Hamid; Sadik, Azeddine On a numerical approach for solving some geometrical shape optimization problems in fluid mechanics. (English) Zbl 07784297 Commun. Nonlinear Sci. Numer. Simul. 128, Article ID 107651, 24 p. (2024). MSC: 76-XX PDFBibTeX XMLCite \textit{A. Chakib} et al., Commun. Nonlinear Sci. Numer. Simul. 128, Article ID 107651, 24 p. (2024; Zbl 07784297) Full Text: DOI
Lal, Hridya P.; B. R., Abhiram; Ghosh, Debraj Prediction of nonlocal elasticity parameters using high-throughput molecular dynamics simulations and machine learning. (English) Zbl 07782751 Eur. J. Mech., A, Solids 103, Article ID 105175, 10 p. (2024). MSC: 74B99 74A25 74S99 68T05 68T07 PDFBibTeX XMLCite \textit{H. P. Lal} et al., Eur. J. Mech., A, Solids 103, Article ID 105175, 10 p. (2024; Zbl 07782751) Full Text: DOI
Quan, Jing; Zhao, Shengli; Su, Liyun; Lv, Lindai A classification method of fuzzy semi-supervised support vector machines for the problems of imbalance. (English) Zbl 07776513 Int. J. Wavelets Multiresolut. Inf. Process. 22, No. 1, Article ID 2350038, 23 p. (2024). MSC: 68T09 68T01 62R07 94A16 PDFBibTeX XMLCite \textit{J. Quan} et al., Int. J. Wavelets Multiresolut. Inf. Process. 22, No. 1, Article ID 2350038, 23 p. (2024; Zbl 07776513) Full Text: DOI
Duggan, Jim; Andrade, Jair; Murphy, Thomas Brendan; Gleeson, James P.; Walsh, Cathal; Nolan, Philip An age-cohort simulation model for generating COVID-19 scenarios: a study from Ireland’s pandemic response. (English) Zbl 07765868 Eur. J. Oper. Res. 313, No. 1, 343-358 (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{J. Duggan} et al., Eur. J. Oper. Res. 313, No. 1, 343--358 (2024; Zbl 07765868) Full Text: DOI
Notz, Pascal M.; Pibernik, Richard Explainable subgradient tree boosting for prescriptive analytics in operations management. (English) Zbl 07765843 Eur. J. Oper. Res. 312, No. 3, 1119-1133 (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{P. M. Notz} and \textit{R. Pibernik}, Eur. J. Oper. Res. 312, No. 3, 1119--1133 (2024; Zbl 07765843) Full Text: DOI
D’Onofrio, Federico; Grani, Giorgio; Monaci, Marta; Palagi, Laura Margin optimal classification trees. (English) Zbl 07765549 Comput. Oper. Res. 161, Article ID 106441, 19 p. (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{F. D'Onofrio} et al., Comput. Oper. Res. 161, Article ID 106441, 19 p. (2024; Zbl 07765549) Full Text: DOI arXiv
Granado, Igor; Hernando, Leticia; Uriondo, Zigor; Fernandes-Salvador, Jose A. A fishing route optimization decision support system: the case of the tuna purse seiner. (English) Zbl 07764654 Eur. J. Oper. Res. 312, No. 2, 718-732 (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{I. Granado} et al., Eur. J. Oper. Res. 312, No. 2, 718--732 (2024; Zbl 07764654) Full Text: DOI
Choicharoon, Aritad; Hodgett, Richard; Summers, Barbara; Siraj, Sajid Hit or miss: a decision support system framework for signing new musical talent. (English) Zbl 07764627 Eur. J. Oper. Res. 312, No. 1, 324-337 (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{A. Choicharoon} et al., Eur. J. Oper. Res. 312, No. 1, 324--337 (2024; Zbl 07764627) Full Text: DOI
Tang, Jun; Chen, Wenhui; Wang, Ke; Zhang, Yan; Liang, Dong Probability-based label enhancement for multi-dimensional classification. (English) Zbl 07764391 Inf. Sci. 653, Article ID 119790, 13 p. (2024). MSC: 68T05 62H30 PDFBibTeX XMLCite \textit{J. Tang} et al., Inf. Sci. 653, Article ID 119790, 13 p. (2024; Zbl 07764391) Full Text: DOI
Breaz, Simion; Marcus, Andrei; Modoi, George Ciprian Support \(\tau\)-tilting modules and semibricks over group graded algebras. (English) Zbl 07762563 J. Algebra 637, 90-111 (2024). MSC: 16G10 16W50 16D90 PDFBibTeX XMLCite \textit{S. Breaz} et al., J. Algebra 637, 90--111 (2024; Zbl 07762563) Full Text: DOI arXiv
Liu, Ju; Huang, Ling-Wei; Shao, Yuan-Hai; Chen, Wei-Jie; Li, Chun-Na A nonlinear kernel SVM Classifier via \(L_{0/1}\) soft-margin loss with classification performance. (English) Zbl 07750642 J. Comput. Appl. Math. 437, Article ID 115471, 17 p. (2024). MSC: 68T05 68Q32 90C26 62H30 90C90 PDFBibTeX XMLCite \textit{J. Liu} et al., J. Comput. Appl. Math. 437, Article ID 115471, 17 p. (2024; Zbl 07750642) Full Text: DOI
Asa, Yasuhiro; Kato, Takeshi; Mine, Ryuji Composite consensus-building process: permissible meeting analysis and compromise choice exploration. (English) Zbl 07823963 Maemura, Yu (ed.) et al., Group decision and negotiation in the era of multimodal interactions. 23rd international conference on group decision and negotiation, GDN 2023, Tokyo, Japan, June 11–15, 2023. Proceedings. Cham: Springer. Lect. Notes Bus. Inf. Process. 478, 97-112 (2023). MSC: 91B06 91B14 PDFBibTeX XMLCite \textit{Y. Asa} et al., Lect. Notes Bus. Inf. Process. 478, 97--112 (2023; Zbl 07823963) Full Text: DOI arXiv
Hellström, Lars Network rewriting utility description. (English) Zbl 07822779 Silvestrov, Sergei (ed.) et al., Non-commutative and non-associative algebra and analysis structures. SPAS 2019. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, Västerås, Sweden, September 30 – October 2, 2019. Cham: Springer. Springer Proc. Math. Stat. 426, 429-476 (2023). MSC: 68W30 16T05 16T10 18M30 68Q42 68V99 PDFBibTeX XMLCite \textit{L. Hellström}, Springer Proc. Math. Stat. 426, 429--476 (2023; Zbl 07822779) Full Text: DOI
Wang, Boxiang; Le Zhou,; Gu, Yuwen; Zou, Hui Density-convoluted support vector machines for high-dimensional classification. (English) Zbl 07820139 IEEE Trans. Inf. Theory 69, No. 4, 2523-2536 (2023). MSC: 94-XX PDFBibTeX XMLCite \textit{B. Wang} et al., IEEE Trans. Inf. Theory 69, No. 4, 2523--2536 (2023; Zbl 07820139) Full Text: DOI
Laha, Nilanjana; Mukherjee, Rajarshi On support recovery with sparse CCA: information theoretic and computational limits. (English) Zbl 07820093 IEEE Trans. Inf. Theory 69, No. 3, 1695-1738 (2023). MSC: 94-XX PDFBibTeX XMLCite \textit{N. Laha} and \textit{R. Mukherjee}, IEEE Trans. Inf. Theory 69, No. 3, 1695--1738 (2023; Zbl 07820093) Full Text: DOI arXiv
Luo, Yu; Liu, Zihui On the subcode-support-weight distributions of some classes of optimal codes. (English) Zbl 07820083 IEEE Trans. Inf. Theory 69, No. 3, 1531-1543 (2023). MSC: 94-XX PDFBibTeX XMLCite \textit{Y. Luo} and \textit{Z. Liu}, IEEE Trans. Inf. Theory 69, No. 3, 1531--1543 (2023; Zbl 07820083) Full Text: DOI
Franchini, Giorgia; Ruggiero, Valeria; Porta, Federica; Zanni, Luca Neural architecture search via standard machine learning methodologies. (English) Zbl 07817647 Math. Eng. (Springfield) 5, No. 1, Paper No. 12, 21 p. (2023). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{G. Franchini} et al., Math. Eng. (Springfield) 5, No. 1, Paper No. 12, 21 p. (2023; Zbl 07817647) Full Text: DOI
Dhurkari, Ram Kumar Multi-attribute gain loss (MAGL) method to predict choices. (English) Zbl 07817624 J. Math. Psychol. 117, Article ID 102804, 15 p. (2023). MSC: 91B06 91B42 PDFBibTeX XMLCite \textit{R. K. Dhurkari}, J. Math. Psychol. 117, Article ID 102804, 15 p. (2023; Zbl 07817624) Full Text: DOI
Damminsed, Vipavee; Panup, Wanida; Makmuang, Dawrawee; Suppalap, Siwakon; Wangkeeree, Rabian A novel support vector machine with generalized pinball loss for uncertain data classification. (English) Zbl 07816026 Math. Methods Appl. Sci. 46, No. 18, 18729-18748 (2023). MSC: 68T20 68Q25 65Y20 62H10 PDFBibTeX XMLCite \textit{V. Damminsed} et al., Math. Methods Appl. Sci. 46, No. 18, 18729--18748 (2023; Zbl 07816026) Full Text: DOI
Rahimkhani, Parisa; Ordokhani, Yadollah; Sabermahani, Sedigheh Bernoulli wavelet least squares support vector regression: robust numerical method for systems of fractional differential equations. (English) Zbl 07815967 Math. Methods Appl. Sci. 46, No. 17, 17641-17659 (2023). MSC: 34K28 34A08 65T60 PDFBibTeX XMLCite \textit{P. Rahimkhani} et al., Math. Methods Appl. Sci. 46, No. 17, 17641--17659 (2023; Zbl 07815967) Full Text: DOI
Minaeva, Nadezhda Vital’evna; Gridnev, Sergeĭ Yur’evich; Skal’ko, Yuriĭ Ivanovich; Safronov, Vladimir Sergeevich; Aleksandrova, Ekaterina Evgen’evna The study of the stress-strain state of an elastically supported compressed strip. (English) Zbl 07815850 Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 27, No. 3, 593-601 (2023). MSC: 74B05 PDFBibTeX XMLCite \textit{N. V. Minaeva} et al., Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 27, No. 3, 593--601 (2023; Zbl 07815850) Full Text: DOI MNR
Anshori, M. Y.; Santoso, I. H.; Herlambang, T.; Rahmalia, D.; Oktafiantop, K.; Katias, P. Forecasting of occupied rooms in the hotel using linear support vector machine. (English) Zbl 07814838 Nonlinear Dyn. Syst. Theory 23, No. 2, 129-140 (2023). MSC: 68T45 68T10 PDFBibTeX XMLCite \textit{M. Y. Anshori} et al., Nonlinear Dyn. Syst. Theory 23, No. 2, 129--140 (2023; Zbl 07814838) Full Text: Link
Zhai, Xiaoya; Chen, Falai A review of process optimization for additive manufacturing based on machine learning. (English) Zbl 07814795 Ann. Appl. Math. 39, No. 4, 493-543 (2023). MSC: 68V99 90C90 PDFBibTeX XMLCite \textit{X. Zhai} and \textit{F. Chen}, Ann. Appl. Math. 39, No. 4, 493--543 (2023; Zbl 07814795) Full Text: DOI
Han, Dongxiao; Huang, Jian; Lin, Yuanyuan; Liu, Lei; Qu, Lianqiang; Sun, Liuquan Robust signal recovery for high-dimensional linear \(\log\)-contrast models with compositional covariates. (English) Zbl 07813787 J. Bus. Econ. Stat. 41, No. 3, 957-967 (2023). MSC: 62P20 PDFBibTeX XMLCite \textit{D. Han} et al., J. Bus. Econ. Stat. 41, No. 3, 957--967 (2023; Zbl 07813787) Full Text: DOI
Lê, Quy Thuong; Nguyen, Tat Thang Geometry of nondegenerate polynomials: motivic nearby cycles and cohomology of contact loci. (English. French summary) Zbl 07811797 C. R., Math., Acad. Sci. Paris 361, 1249-1266 (2023). MSC: 14B05 14B07 14J17 32S05 32S30 32S55 PDFBibTeX XMLCite \textit{Q. T. Lê} and \textit{T. T. Nguyen}, C. R., Math., Acad. Sci. Paris 361, 1249--1266 (2023; Zbl 07811797) Full Text: DOI arXiv
Baghaturia, Giorgi; Menteshashvili, Marina Cauchy problem with closed support of the data for quasi-linear equation of mixed type. (English) Zbl 07811426 Bull. Georgian Natl. Acad. Sci. (N.S.) 17, No. 1, 22-27 (2023). MSC: 35M11 35L72 35L80 PDFBibTeX XMLCite \textit{G. Baghaturia} and \textit{M. Menteshashvili}, Bull. Georgian Natl. Acad. Sci. (N.S.) 17, No. 1, 22--27 (2023; Zbl 07811426)
Shevchenko, A. M.; Pavlov, B. V.; Nachinkina, G. N. Information support for aircraft crew in takeoff and landing modes. (English. Russian original) Zbl 07811379 Autom. Remote Control 84, No. 10, 1098-1107 (2023); translation from Avtom. Telemekh. 2023, No. 10, 118-131 (2023). MSC: 93C95 PDFBibTeX XMLCite \textit{A. M. Shevchenko} et al., Autom. Remote Control 84, No. 10, 1098--1107 (2023; Zbl 07811379); translation from Avtom. Telemekh. 2023, No. 10, 118--131 (2023) Full Text: DOI
Shao, Mingyue; Zhao, Xingshui; Wu, Jimei; Wu, Qiumin; Qing, Jiajuan; Guo, Xuxia Nonlinear vibration of moving orthotopic films under oblique support. (English) Zbl 07811080 Int. J. Struct. Stab. Dyn. 23, No. 19, Article ID 2350179, 23 p. (2023). MSC: 74-XX PDFBibTeX XMLCite \textit{M. Shao} et al., Int. J. Struct. Stab. Dyn. 23, No. 19, Article ID 2350179, 23 p. (2023; Zbl 07811080) Full Text: DOI
Rabe, Florian; Watt, Stephen M. Extracting theory graphs from Aldor libraries. (English) Zbl 07810743 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 315-320 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Rabe} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 14101, 315--320 (2023; Zbl 07810743) Full Text: DOI
Naumowicz, Adam Extending numeric automation for number theory formalizations in Mizar. (English) Zbl 07810742 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 309-314 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{A. Naumowicz}, Lect. Notes Comput. Sci. 14101, 309--314 (2023; Zbl 07810742) Full Text: DOI
Jakubův, Jan; Kaliszyk, Cezary VizAR: visualization of automated reasoning proofs (system description). (English) Zbl 07810741 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 303-308 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. Jakubův} and \textit{C. Kaliszyk}, Lect. Notes Comput. Sci. 14101, 303--308 (2023; Zbl 07810741) Full Text: DOI
Hester, John; Hitaj, Briland; Passmore, Grant; Owre, Sam; Shankar, Natarajan; Yeh, Eric An augmented MetiTarski dataset for real quantifier elimination using machine learning. (English) Zbl 07810740 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 297-302 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. Hester} et al., Lect. Notes Comput. Sci. 14101, 297--302 (2023; Zbl 07810740) Full Text: DOI
Heisinger, Simone; Seidl, Martina True crafted formula families for benchmarking quantified satisfiability solvers. (English) Zbl 07810739 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 291-296 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{S. Heisinger} and \textit{M. Seidl}, Lect. Notes Comput. Sci. 14101, 291--296 (2023; Zbl 07810739) Full Text: DOI
Hammer, Henry; Noda, Nanako; Stone, Christopher A. ProofLang: the language of arXiv proofs. (English) Zbl 07810738 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 285-290 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{H. Hammer} et al., Lect. Notes Comput. Sci. 14101, 285--290 (2023; Zbl 07810738) Full Text: DOI
Shallit, Jeffrey Proving results about OEIS sequences with Walnut. (English) Zbl 07810737 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 270-282 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. Shallit}, Lect. Notes Comput. Sci. 14101, 270--282 (2023; Zbl 07810737) Full Text: DOI
Davenport, James Harold Proving an execution of an algorithm correct? (English) Zbl 07810736 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 255-269 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. H. Davenport}, Lect. Notes Comput. Sci. 14101, 255--269 (2023; Zbl 07810736) Full Text: DOI
Yeh, Eric; Hitaj, Briland; Owre, Sam; Quemener, Maena; Shankar, Natarajan CoProver: a recommender system for proof construction. (English) Zbl 07810735 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 237-251 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{E. Yeh} et al., Lect. Notes Comput. Sci. 14101, 237--251 (2023; Zbl 07810735) Full Text: DOI arXiv
Wieser, Eric Multiple-inheritance hazards in dependently-typed algebraic hierarchies. (English) Zbl 07810734 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 222-236 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{E. Wieser}, Lect. Notes Comput. Sci. 14101, 222--236 (2023; Zbl 07810734) Full Text: DOI arXiv
Tekriwal, Mohit; Appel, Andrew W.; Kellison, Ariel E.; Bindel, David; Jeannin, Jean-Baptiste Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method. (English) Zbl 07810733 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 206-221 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. Tekriwal} et al., Lect. Notes Comput. Sci. 14101, 206--221 (2023; Zbl 07810733) Full Text: DOI
Schaefer, Jan Frederik; Kohlhase, Michael Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters. (English) Zbl 07810732 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 190-205 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. F. Schaefer} and \textit{M. Kohlhase}, Lect. Notes Comput. Sci. 14101, 190--205 (2023; Zbl 07810732) Full Text: DOI
Rabe, Florian; Weber, Franziska Morphism equality in theory graphs. (English) Zbl 07810731 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 174-189 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Rabe} and \textit{F. Weber}, Lect. Notes Comput. Sci. 14101, 174--189 (2023; Zbl 07810731) Full Text: DOI
Kharim, Aabid Seeyal Abdul; Prathamesh, T. V. H.; Rajiv, Shweta; Vyas, Rishi Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem. (English) Zbl 07810730 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 158-173 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{A. S. A. Kharim} et al., Lect. Notes Comput. Sci. 14101, 158--173 (2023; Zbl 07810730) Full Text: DOI
Huch, Fabian; Stathopoulos, Yiannos Formalization quality in Isabelle. (English) Zbl 07810729 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 142-157 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Huch} and \textit{Y. Stathopoulos}, Lect. Notes Comput. Sci. 14101, 142--157 (2023; Zbl 07810729) Full Text: DOI
Gangwar, Neeraj; Kani, Nickvash Highlighting named entities in input for auto-formulation of optimization problems. (English) Zbl 07810728 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 130-141 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{N. Gangwar} and \textit{N. Kani}, Lect. Notes Comput. Sci. 14101, 130--141 (2023; Zbl 07810728) Full Text: DOI arXiv
Corless, Robert M.; Jeffrey, David J.; Shakoori, Azar Teaching linear algebra in a mechanized mathematical environment. (English) Zbl 07810727 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 113-129 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{R. M. Corless} et al., Lect. Notes Comput. Sci. 14101, 113--129 (2023; Zbl 07810727) Full Text: DOI arXiv
Caminati, Marco B. Isabelle formalisation of original representation theorems. (English) Zbl 07810726 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 98-112 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. B. Caminati}, Lect. Notes Comput. Sci. 14101, 98--112 (2023; Zbl 07810726) Full Text: DOI arXiv
Berges, Marc; Betzendahl, Jonas; Chugh, Abhishek; Kohlhase, Michael; Lohr, Dominic; Müller, Dennis Learning support systems based on mathematical knowledge management. (English) Zbl 07810725 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 84-97 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. Berges} et al., Lect. Notes Comput. Sci. 14101, 84--97 (2023; Zbl 07810725) Full Text: DOI
Bayer, Jonas; Gonus, Alexey; Benzmüller, Christoph; Scott, Dana S. Category theory in Isabelle/HOL as a basis for meta-logical investigation. (English) Zbl 07810724 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 69-83 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. Bayer} et al., Lect. Notes Comput. Sci. 14101, 69--83 (2023; Zbl 07810724) Full Text: DOI arXiv
Ayala-Rincón, Mauricio; Fernández, Maribel; Silva, Gabriel Ferreira; Kutsia, Temur; Nantes-Sobrinho, Daniele Nominal AC-matching. (English) Zbl 07810723 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 53-68 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Lect. Notes Comput. Sci. 14101, 53--68 (2023; Zbl 07810723) Full Text: DOI
Aransay, Jesús; Lambán, Laureano; Rubio, Julio Evasiveness through binary decision diagrams. (English) Zbl 07810722 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 37-52 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{J. Aransay} et al., Lect. Notes Comput. Sci. 14101, 37--52 (2023; Zbl 07810722) Full Text: DOI
Seidl, Martina Never trust your solver: certification for SAT and QBF. (English) Zbl 07810721 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 16-33 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. Seidl}, Lect. Notes Comput. Sci. 14101, 16--33 (2023; Zbl 07810721) Full Text: DOI
Paulson, Lawrence C. Large-scale formal proof for the working mathematician – lessons learnt from the ALEXANDRIA project. (English) Zbl 07810720 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 3-15 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 14101, 3--15 (2023; Zbl 07810720) Full Text: DOI arXiv
Khamisov, O. V. Optimization of the optimal value function in problems of convex parametric programming. (English. Russian original) Zbl 07805772 Proc. Steklov Inst. Math. 323, Suppl. 1, S133-S145 (2023); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 29, No. 3, 247-260 (2023). MSC: 90Cxx 65-XX PDFBibTeX XMLCite \textit{O. V. Khamisov}, Proc. Steklov Inst. Math. 323, S133--S145 (2023; Zbl 07805772); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 29, No. 3, 247--260 (2023) Full Text: DOI
Mahbobi, Mohammad; Kimiagari, Salman; Vasudevan, Marriappan Credit risk classification: an integrated predictive accuracy algorithm using artificial and deep neural networks. (English) Zbl 07801448 Ann. Oper. Res. 330, No. 1-2, 609-637 (2023). MSC: 91G40 68T07 PDFBibTeX XMLCite \textit{M. Mahbobi} et al., Ann. Oper. Res. 330, No. 1--2, 609--637 (2023; Zbl 07801448) Full Text: DOI
Kindu, Bukayaw; Mohammed, Ahmed; Tsegaw, Birilew A Vázquez-type strong minimum/maximum principle for partial trace operators. (English) Zbl 07800043 Discrete Contin. Dyn. Syst., Ser. S 16, No. 11, 3146-3162 (2023). MSC: 35B50 35A24 35B51 35D40 PDFBibTeX XMLCite \textit{B. Kindu} et al., Discrete Contin. Dyn. Syst., Ser. S 16, No. 11, 3146--3162 (2023; Zbl 07800043) Full Text: DOI
Vahidi, Milad; Aghakhani, Sina; Martín, Diego; Aminzadeh, Hossein; Kaveh, Mehrdad Optimal band selection using evolutionary machine learning to improve the accuracy of hyper-spectral images classification: a novel migration-based particle swarm optimization. (English) Zbl 07798013 J. Classif. 40, No. 3, 552-587 (2023). MSC: 62H30 PDFBibTeX XMLCite \textit{M. Vahidi} et al., J. Classif. 40, No. 3, 552--587 (2023; Zbl 07798013) Full Text: DOI
Helfrich-Schkarbanenko, Andreas Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 07796262 Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023). MSC: 68-01 00A35 68N01 68T35 68T50 68V99 97U70 PDFBibTeX XMLCite \textit{A. Helfrich-Schkarbanenko}, Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität. Berlin: Springer Spektrum (2023; Zbl 07796262) Full Text: DOI
Lin, Yizun; Li, Si; Zhang, Yunzhong Convergence rate analysis of accelerated forward-backward algorithm with generalized Nesterov momentum scheme. (English) Zbl 07793807 Int. J. Numer. Anal. Model. 20, No. 4, 518-537 (2023). MSC: 49M37 65K05 90C25 PDFBibTeX XMLCite \textit{Y. Lin} et al., Int. J. Numer. Anal. Model. 20, No. 4, 518--537 (2023; Zbl 07793807) Full Text: DOI arXiv
Kim, Chang Kyeom; Lee, Sangyeol Conditional quantile change test for time series based on support vector regression. (English) Zbl 07793005 Commun. Stat., Simulation Comput. 52, No. 11, 5567-5584 (2023). MSC: 62-XX PDFBibTeX XMLCite \textit{C. K. Kim} and \textit{S. Lee}, Commun. Stat., Simulation Comput. 52, No. 11, 5567--5584 (2023; Zbl 07793005) Full Text: DOI
El Moutaouakil, Karim; El Ouissari, Abdellatif Opt-RNN-DBFSVM: optimal recurrent neural network density based fuzzy support vector machine. (English) Zbl 07792446 RAIRO, Oper. Res. 57, No. 5, 2493-2517 (2023). MSC: 90C20 90C29 90C90 93E20 PDFBibTeX XMLCite \textit{K. El Moutaouakil} and \textit{A. El Ouissari}, RAIRO, Oper. Res. 57, No. 5, 2493--2517 (2023; Zbl 07792446) Full Text: DOI
Dmitruk, Nataliya Mikhaĭlovna; Gotovets, Mariya Alekseevna A support vector machine based synthesis of suboptimal feedbacks for linear optimal control problems. (Russian. English summary) Zbl 07792277 Izv. Irkutsk. Gos. Univ., Ser. Mat. 46, 19-34 (2023). Reviewer: Wiesław Kotarski (Sosnowiec) MSC: 49N35 93C05 49N05 68T07 PDFBibTeX XMLCite \textit{N. M. Dmitruk} and \textit{M. A. Gotovets}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 46, 19--34 (2023; Zbl 07792277) Full Text: DOI Link
Ma, Jinyao; Zhang, Haibin; Yang, Shanshan; Jiang, Jiaojiao A tight bound of modified iterative hard thresholding algorithm for compressed sensing. (English) Zbl 07790538 Appl. Math., Praha 68, No. 5, 623-642 (2023). MSC: 34B16 34C25 90C31 PDFBibTeX XMLCite \textit{J. Ma} et al., Appl. Math., Praha 68, No. 5, 623--642 (2023; Zbl 07790538) Full Text: DOI
Singh, J. N.; Shakil, M.; Singh, D. On a dual characterization of the asymptotic cone for the solution set of a linear optimization problem. (English) Zbl 07790476 Jñānābha 53, No. 2, 126-133 (2023). MSC: 90C05 90C60 46B06 40A05 PDFBibTeX XMLCite \textit{J. N. Singh} et al., Jñānābha 53, No. 2, 126--133 (2023; Zbl 07790476) Full Text: DOI
Zhang, Deng Stochastic nonlinear Schrödinger equations in the defocusing mass and energy critical cases. (English) Zbl 07787921 Ann. Appl. Probab. 33, No. 5, 3652-3705 (2023). MSC: 35Q55 35J10 60H15 35R60 PDFBibTeX XMLCite \textit{D. Zhang}, Ann. Appl. Probab. 33, No. 5, 3652--3705 (2023; Zbl 07787921) Full Text: DOI arXiv Link
Todd, Philip; Aley, Danny A program to create new geometry proof problems. (English) Zbl 07785120 Ann. Math. Artif. Intell. 91, No. 6, 779-795 (2023). MSC: 68V99 05C50 51-04 51M04 68T20 68W30 PDFBibTeX XMLCite \textit{P. Todd} and \textit{D. Aley}, Ann. Math. Artif. Intell. 91, No. 6, 779--795 (2023; Zbl 07785120) Full Text: DOI
Todd, Philip Automated discovery of angle theorems. (English) Zbl 07785119 Ann. Math. Artif. Intell. 91, No. 6, 753-778 (2023). MSC: 15A99 05C50 51M04 68V99 PDFBibTeX XMLCite \textit{P. Todd}, Ann. Math. Artif. Intell. 91, No. 6, 753--778 (2023; Zbl 07785119) Full Text: DOI OA License
Wang, Wenbo; Qiao, Xingye Set-valued support vector machine with bounded error rates. (English) Zbl 07784950 J. Am. Stat. Assoc. 118, No. 544, 2847-2859 (2023). MSC: 62-XX PDFBibTeX XMLCite \textit{W. Wang} and \textit{X. Qiao}, J. Am. Stat. Assoc. 118, No. 544, 2847--2859 (2023; Zbl 07784950) Full Text: DOI
Han, Huhe Maximum and minimum of support functions. (English) Zbl 07784803 Hokkaido Math. J. 52, No. 3, 381-399 (2023). MSC: 26-XX 82D25 PDFBibTeX XMLCite \textit{H. Han}, Hokkaido Math. J. 52, No. 3, 381--399 (2023; Zbl 07784803) Full Text: DOI arXiv Link
Yu, Xuan Support theory of abelian categories – some discussion. (English) Zbl 07784750 Kyoto J. Math. 63, No. 4, 807-827 (2023). MSC: 18E10 18G80 PDFBibTeX XMLCite \textit{X. Yu}, Kyoto J. Math. 63, No. 4, 807--827 (2023; Zbl 07784750) Full Text: DOI Link
Fideles, Claudemir; Guimarães, Alan \(\mathbb{Z}\)-gradings on the Grassmann algebra over infinite fields: graded identities and central polynomials. (English) Zbl 07783363 Int. J. Algebra Comput. 33, No. 8, 1713-1735 (2023). MSC: 15A75 16R10 16W50 PDFBibTeX XMLCite \textit{C. Fideles} and \textit{A. Guimarães}, Int. J. Algebra Comput. 33, No. 8, 1713--1735 (2023; Zbl 07783363) Full Text: DOI
Hu, Xianghong; Zhang, Xianwen Estimate of largest velocities for Vlasov-Poisson plasma with radiation damping. (English) Zbl 07782364 Math. Methods Appl. Sci. 46, No. 6, 6381-6402 (2023). MSC: 35B40 35Q49 35Q83 82D10 PDFBibTeX XMLCite \textit{X. Hu} and \textit{X. Zhang}, Math. Methods Appl. Sci. 46, No. 6, 6381--6402 (2023; Zbl 07782364) Full Text: DOI
Pal, Kallal; Chandok, Sumit On the Pythagorean orthogonality of Hilbert bounded linear operators. (English) Zbl 07781245 Gulf J. Math. 15, No. 2, 148-151 (2023). MSC: 47B02 47A63 47L05 PDFBibTeX XMLCite \textit{K. Pal} and \textit{S. Chandok}, Gulf J. Math. 15, No. 2, 148--151 (2023; Zbl 07781245) Full Text: DOI
Liu, Yasen; Liang, Jun; Wang, Ying Support condition identification of wind turbines based on a statistical time-domain damping parameter. (English) Zbl 07780897 Inverse Probl. 39, No. 12, Article ID 125021, 28 p. (2023). MSC: 62Gxx 35Rxx 74Hxx PDFBibTeX XMLCite \textit{Y. Liu} et al., Inverse Probl. 39, No. 12, Article ID 125021, 28 p. (2023; Zbl 07780897) Full Text: DOI
Nitka, Weronika; Weron, Rafał Combining predictive distributions of electricity prices. Does minimizing the CRPS lead to optimal decisions in day-ahead bidding? (English) Zbl 07780127 Oper. Res. Decis. 33, No. 3, 105-118 (2023). MSC: 90Cxx PDFBibTeX XMLCite \textit{W. Nitka} and \textit{R. Weron}, Oper. Res. Decis. 33, No. 3, 105--118 (2023; Zbl 07780127) Full Text: arXiv Link
Mo, Mingyu; Ye, Qi Splitting method for support vector machine with lower semi-continuous loss. (English) Zbl 07778588 Pac. J. Optim. 19, No. 4, 689-714 (2023). MSC: 68Q32 49J52 PDFBibTeX XMLCite \textit{M. Mo} and \textit{Q. Ye}, Pac. J. Optim. 19, No. 4, 689--714 (2023; Zbl 07778588) Full Text: arXiv Link
Wang, Min; Hou, Qiuling; Chen, Haibin; Xu, Yi; Zhou, Guanglu An updated OT-PCF algorithm for one-class classification of tensor datasets. (English) Zbl 1527.65037 Pac. J. Optim. 19, No. 4, 675-688 (2023). MSC: 65H17 15A18 62H30 68T10 90C90 PDFBibTeX XMLCite \textit{M. Wang} et al., Pac. J. Optim. 19, No. 4, 675--688 (2023; Zbl 1527.65037) Full Text: Link
Giovanis, Eleftherios; Ozdamar, Oznur Instrumental variables in structural equation modelling: an application on the impact of labour factors on health and standard of livings. (English) Zbl 07777992 Stat. Methods Appl. 32, No. 4, 1083-1121 (2023). MSC: 62-XX PDFBibTeX XMLCite \textit{E. Giovanis} and \textit{O. Ozdamar}, Stat. Methods Appl. 32, No. 4, 1083--1121 (2023; Zbl 07777992) Full Text: DOI
Boulkhemair, Abdesslam; Chakib, Abdelkrim; Sadik, Azeddine On numerical study of constrained coupled shape optimization problems based on a new shape derivative method. (English) Zbl 07776996 Numer. Methods Partial Differ. Equations 39, No. 3, 2018-2059 (2023). MSC: 65-XX 35-XX PDFBibTeX XMLCite \textit{A. Boulkhemair} et al., Numer. Methods Partial Differ. Equations 39, No. 3, 2018--2059 (2023; Zbl 07776996) Full Text: DOI