Modeling the supply chain sustainability imperatives in the fashion retail industry: Implications for sustainable development. by Md Tariqul Islam Imran, Chitra Lekha Karmaker, Rubayet Karim, S M Misbauddin, A B M Mainul Bari, Asif Raihan

“…In response, this study aims to pioneer an innovative approach by amalgamating Pareto analysis, Bayes theorem, and the Best-Worst Method to evaluate sustainability imperatives comprehensively. …”
Get full text

An Improved Extrapolation Scheme for Truncated CT Data Using 2D Fourier-Based Helgason-Ludwig Consistency Conditions by Yan Xia, Martin Berger, Sebastian Bauer, Shiyang Hu, Andre Aichert, Andreas Maier

“…First, we theoretically derive a 2D Fourier representation of the HL consistency conditions from their original formulation (projection moment theorem), for both parallel-beam and fan-beam imaging geometry. …”
Get full text

Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE by Lisong Wang, Miaofang Chen, Jun Hu

“…Then we present a formal verification framework for ARINC653 system configuration based on theorem proof techniques, including construction of corresponding REAL theorems according to the semantics of those key components of configuration information and formal verification of theorems for the properties of IMA, such as time constraints, spatial isolation, and health monitoring. …”
Get full text

Enhancing Low-Light Images with Kolmogorov–Arnold Networks in Transformer Attention by Alexandru Brateanu, Raul Balmez, Ciprian Orhei, Cosmin Ancuti, Codruta Ancuti

“…This work presents a novel Transformer attention mechanism inspired by the Kolmogorov–Arnold representation theorem, incorporating learnable non-linearity and multivariate function decomposition. …”
Get full text

Straight-Line Trajectory Tracking Control of Unmanned Sailboat Based on NMPC Velocity and Heading Joint Control by Kai Liu, Jiancheng Yu, Wentao Zhao

“…For non-upwind tracking, the desired heading is determined using the Line-of-Sight (LOS) navigation method, while the desired velocity is calculated through a backstepping method grounded in the Lyapunov stability theorem. For upwind tracking, a zigzag strategy is introduced, using the maximum lateral error to switch headings and ensure that the sailboat remains close to the trajectory. …”
Get full text

Hopf Bifurcation Characteristics of Dual-Front Axle Self-Excited Shimmy System for Heavy Truck considering Dry Friction by Daogao Wei, Ke Xu, Yibin Jiang, Changhe Chen, Wenjing Zhao, Fugeng Zhou

“…Based on the Hopf bifurcation theorem and center manifold theory, the study shows that dual-front axle shimmy is a self-excited vibration produced from Hopf bifurcation. …”
Get full text

An intrusion detection model based on Convolutional Kolmogorov-Arnold Networks by Zhen Wang, Anazida Zainal, Maheyzah Md Siraj, Fuad A. Ghaleb, Xue Hao, Shaoyong Han

“…Kolmogorov-Arnold Networks (KANs) are developed from the Kolmogorov-Arnold representation theorem. Meanwhile, CKAN incorporates a convolutional computational mechanism based on KAN. …”
Get full text

Hybrid technique for multi-dimensional fractional diffusion problems involving Caputo–Fabrizio derivative by Surendar Kumar Yadav, Mridula Purohit, Murli Manohar Gour, Lokesh Kumar Yadav, Manvendra Narayan Mishra

“…The proposed approach combines the Shehu transformation (ST) with the Adomian decomposition method (ADM), employing Adomain polynomials to handle nonlinear terms. Fixed point theorem has been used to prove the uniqueness and existence of the solution of governing differential equation. …”
Get full text

Maximum Butterfly Generators Search in Bipartite Networks by Jianrong Huang, Guangyao Pang, Fei Hao

“…To address this problem, an equivalence relation theorem between maximum butterfly generator and maximum butterfly concept is presented. …”
Get full text

Approximate Solutions, Thermal Properties, and Superstatistics Solutions to Schrödinger Equation by Ituen Okon, Clement Onate, Ekwevugbe Omugbe, Uduakobong Okorie, Akaninyene Antia, Michael Onyeaju, Chen Wen-Li, Judith Araujo

“…Using the resulting energy equation and with the help of Matlab software, the numerical bound state solutions were obtained for various values of the screening parameter (α) as well as different expectation values via Hellmann-Feynman Theorem (HFT). The trend of the partition function and other thermodynamic properties obtained for both thermal properties and superstatistics were in excellent agreement with the existing literatures. …”
Get full text

Stability and bifurcation analysis of epidemic models with saturated incidence rates: An application to a nonmonotone incidence rate by Yoichi Enatsu, Yukihiko Nakata

“…Two-parameter plane analysis together with an application of the implicit function theorem facilitates us to obtain an exact stability condition. …”
Get full text

A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques by Oumaima Barhoumi, Mohamed H. Zaki, Sofiene Tahar

“…The paper proposes formalizing a traffic safety rule in differential dynamic logic and using KeYmaera theorem prover for verification. This rule considers time-to-collision (TTC), space headway (SHW), and shockwave speed (SWV). …”
Get full text

Robust Consensus Tracking Control for Multi-Unmanned-Aerial-Vehicle (UAV) System Subjected to Measurement Noise and External Disturbance by Zhiyuan Zheng, Shiji Tong, Erquan Wang, Yang Zhu, Jinliang Shao

“…The parameter tuning of MEE and UDE is unified into a single parameter, and the monotonic relationship between this parameter and system performance is revealed by the singular perturbation theorem. Finally, the validity of the proposed control framework is verified by both simulation and comparative real-world experiments.…”
Get full text

Estimating Weak Pulse Signal in Chaotic Background with Jordan Neural Network by Liyun Su, Xiu Ling

“…Firstly, the proposed method obtains the vector sequence signal by reconstructing higher-dimensional phase space data matrix according to the Takens theorem. Then, a Jordan neural network- (JNN-) based model is designed, which can minimize the error squared sum by mixing the single-point jump model for targeting signal. …”
Get full text

Low‐carbon scheduling model of multi‐virtual power plants based on cooperative game considering failure risks by Chen Wu, Zhinong Wei, Yang Cao, Yiteng Xu, Tiantian Wei, Haiteng Han, Sheng Chen, Haixiang Zang

“…Second, the bi‐level scheduling model is linearized based on the Strong Duality Theorem and Karush‐Kuhn‐Tucker (KKT) condition. Then, the dispatch scheme of each VPP under the cooperative game form is obtained. …”
Get full text

Ground Vibration Isolation of Multiple Scattering by Using Rows of Tubular Piles as Barriers by Miao-miao Sun, Guo-qian Liang, Tang-dai Xia, Xiu-liang Chen, Jing-lin Qian, Hua-jian Fang, Xue-mei Li, Xiao-li Wan

“…Several series of scattering coefficients are figured out with the aids of addition theorem so that the exact steady-state solution for the scattered displacement and stress is obtained. …”
Get full text

Positive Solutions Depending on Parameters for a Nonlinear Fractional System with p-Laplacian Operators by Chen Yang, Xiaolin Zhu

“…We obtain the existence and uniqueness of positive solutions depending on parameters for the system by utilizing a recent fixed point theorem. Furthermore, an example is present to illustrate our main result.…”
Get full text

Chinese Mathematical Knowledge Entity Recognition Based on Linguistically Motivated Bidirectional Encoder Representation from Transformers by Wei Song, He Zheng, Shuaiqi Ma, Mingze Zhang, Wei Guo, Keqing Ning

“…Experimental results show that the accuracy of this model when recognizing mathematical concepts and theorem entities is 97.22%, the recall score is 97.47%, and the F1 score is 97.34%. …”
Get full text

Neutrino oscillations in presence of diagonal elements of scalar NSI: an analytic approach by Dharitree Bezboruah, Dibya S. Chattopadhyay, Abinash Medhi, Arnab Sarker, Moon Moon Devi

“…We derive the analytic expressions for neutrino oscillation probabilities, employing the Cayley-Hamilton theorem, in the presence of diagonal elements of SNSI. …”
Get full text

An efficient asymmetric removal lemma and its limitations by Lior Gishboliner, Asaf Shapira, Yuval Wigderson

“…We obtain the following results: • We first give a regularity-free proof of Csaba’s theorem, which improves the number of copies of $C_5$ to the optimal number $\operatorname {\mathrm {poly}}(\varepsilon )\cdot n^5$ …”
Get full text