7 February 2026
Hilbert’s axiom system for geometry is a landmark in formal methods. This paper presents a complete formalization of spatial perpendicularity—a theory not fully developed in Hilbert’s original work—using the Rocq proof assista...
Taking a metal structural part blanking workshop as the application background, this study addresses the challenges of high material variety, long crane feeding travel caused by heterogeneous line-side storage layouts, and frequent machine stoppages...
The Collatz map is investigated from a nonlinear-dynamics perspective with emphasis on the structure of its iterative orbits. By embedding integers within Sharkovsky’s ordering, odd initial values are shown to be sufficient for a complete chara...
This study investigates the Lie point and Q-conditional symmetries of a classical two-component reaction–diffusion system in one spatial dimension. The symmetry classifications for the reaction–diffusion system and corresponding symmetry...
Yellow fever (YF) and malaria co-infections are real public health concerns in Africa, especially in countries such as Nigeria, where mosquitoes carrying both pathogens (Aedes for YF, Anopheles for malaria) coexist. A mathematical model that consider...
This article proposes a bat algorithm that incorporates novel techniques inspired by maritime radars, referred to as the Radar-Bat algorithm. This proposed method allows each virtual bat to identify the position of the best solution at a given distan...
The increasing global reliance on wind and solar energy underscores the critical vulnerability of renewable systems to extreme weather, which can severely disrupt power generation. Accurately modelling the complex, multivariate dependencies of weathe...
Accurate mapping of land use and land cover (LULC) is crucial for various applications such as urban planning, environmental management, and sustainable development, particularly in rapidly growing urban areas. African cities such as Yaoundé,...
Accurate sales prediction is crucial for inventory and marketing in e-commerce. Cross-border sales involve complex patterns that traditional models cannot capture. To address this, we propose an improved Bidirectional Long Short-Term Memory (BiLSTM)...
The performance of convolutional neural networks (CNNs) depends not only on model architecture but also on the structure and quality of the training data. While most artificial network interpretability methods focus on explaining trained models, less...
To address the challenges of low precision, slow convergence, and poor anti-interference in traditional Particle Swarm Optimization (PSO) for Permanent Magnet Synchronous Motor (PMSM) speed control, a new Adaptive Hybrid Particle Swarm Optimization (...
In this paper, we propose a generalized odd log-logistic standard Laplace model and study some of its main properties. The novelty of this model is based on classical and risk-based measures to effectively analyze the body mass index (BMI) data. The...
Toe-in (inward) and toe-out (outward) foot alignments significantly affect gait, posture, and joint stress, causing issues like abnormal gait, joint strain, and foot conditions such as plantar fasciitis and high arches. Addressing these alignments is...
To address the limited defect-detection capability of existing performance testing methods for switching power supplies under varying operating conditions, this paper proposes a defect identification approach based on an enhanced Dung Beetle Optimize...
The inconsistency of system parameters inevitably emerges due to reasons such as modeling imprecision, manufacturing error, and aging process. Due to the inconsistency between nominal models and real-world conditions, controllers designed accordingly...
This study presents an analysis of data from patients with ascending thoracic aortic aneurysms (ATAAs). Two databases of 87 patients were available: one containing clinical variables and the other consisting of measurements of the maximum diameter ta...
The accurate determination of bond lengths is fundamental to understanding molecular geometry and the physicochemical behavior of chemical compounds. However, obtaining these measurements is often challenging, as both experimental techniques and adva...
This study examines decision-making in intelligent virtual agents (IVAs) and formalizes the distinction between tactical decisions (individual actions) and strategic decisions (composed of sequences of tactical actions) using a mathematical model bas...
A new general class of distributions is proposed by applying the transformation to the random variable that follows the generalized odd-logistic family. Using the proposed family, we introduce a flexible Weibull distribution. The importance of the pr...
This study reviews advanced extreme value theory techniques and applies them to extreme rainfall events recorded at two meteorological stations, Port Edward and Virginia, in the KwaZulu-Natal province of South Africa. The study aims to provide a comp...
Active suspension systems can significantly enhance vehicle ride comfort and attitude stability, but often at the cost of increased energy consumption. To achieve both high dynamic performance and reduced energy usage, this study proposes an eigenstr...
In many fields, including engineering, biology and economics, modeling and analyzing lifetime data is crucial for understanding the reliability and survival characteristics of systems and components. To address the limitations of existing lifetime di...
In this study, a comprehensive analysis of the fixed/preassigned-time synchronization of a class of quaternion-valued BAM (QBAM) neural networks with stochastic and impulsive effects is conducted. Unlike previous analysis methods, our method features...
Urban catchments are increasingly vulnerable to hydrologic extremes driven by land-use change and climate variability, challenging the traditional assumption of stationarity. This study develops a computational framework to assess the nonstationary b...
Advection–diffusion–reaction-type interface models have wide-ranging applications in environmental science, chemical engineering, and biological systems, particularly in modeling pollutant transport in groundwater, reactive flows, and dru...
Early identification of students at risk for low academic confidence, poor problem-solving skills, or poor academic performance is crucial to achieving equitable and sustainable learning outcomes. This research presents a hybrid artificial intelligen...
In disciplines such as epidemiology, economics, and public health, inference and estimation of heterogeneous treatment effects (HTE) are critical. This approach helps reveal differences in treatment effect estimates between subgroups, which supports...
In recent years, financial statement fraud schemes have evolved to become markedly more sophisticated and concealed, thereby posing severe threats to both social stability and economic health. Traditional detection methods, which rely primarily on fr...
Conducting laboratory tests in geotechnical engineering is a costly, time-consuming, and labor-intensive process. As an alternative solution, this study employs various machine learning methods to predict the unconfined compressive strength (UCS) of...
Understanding how emotions and psychological states influence both individual and collective actions is critical for expressing the real complexity of biosocial and ecological systems. Recent breakthroughs in mathematical modeling have created new op...
A spherically constrained nonlinear eigenvalue problem (NEPv) arising in Bose–Einstein condensates (BEC) is investigated. The Projected Gradient Method (PGM) is proposed and analyzed in detail. Rigorous theoretical analysis establishes its glob...
In this paper, we present an integrative framework based on Evolutionary Stackelberg Game Theory to model the strategic interaction between a physician, acting as a rational leader, and a heterogeneous population of treatment-sensitive and treatment-...
Time-fractional interface problems arise in systems where interacting materials exhibit memory effects or anomalous diffusion. These models provide a more realistic description of physical processes than classical formulations and appear in heat cond...
Ensuring the structural integrity of road infrastructure is vital for transportation safety and long-term sustainability. This study presents a lightweight and accurate pavement crack detection framework named SpcNet, which integrates a Sparse Encodi...
This paper develops an algebraic framework for operator matrix polynomials and demonstrates its application to control-design problems in aeroservoelastic systems. We present constructive spectral-factorization and linearization tools (block spectral...
The extensive use of large language models (LLMs), particularly in the finance sector, raises concerns about the authenticity and reliability of generated text. Developing a robust method for distinguishing between human-written and AI-generated fina...
This study presents a systematic comparison of five crossover operators used in genetic algorithms (GA) for the Traveling Salesman Problem (TSP). Partially Mapped Crossover (PMX), Order Crossover (OX), Cycle Crossover (CX), Edge Recombination (ERX),...
Recycled aggregate concrete (RAC) is a sustainable alternative to conventional concrete, reducing environmental hazards and conserving resources. Accurate compressive strength (CS) prediction is critical for its broader acceptance. This study uses ma...
In this paper, we address the challenge of solving differential equations using physics-informed neural networks (PINNs), an innovative approach that integrates known physical laws into neural network training. The PINN approach involves three main s...
Natural convection enhanced by magnetic fields and nanofluids has broad applications in thermal management systems. This study investigates magnetohydrodynamic (MHD) natural convection in a wavy trapezoidal cavity containing centrally located heated...
This study addresses the cooperative development problem between shipbuilding enterprises and suppliers under supply risk by improving and optimizing the Markowitz model. A mean-risk multi-period linear programming decision model and a nonlinear prog...
This paper presents a systematic review of the performance of the Preference Selection Index (PSI) application in multi-criteria decision-making (MCDM) problems based on PRISMA. This work extensively reviewed more than 100 studies to investigate the...
To address the challenges of high-dimensional complexity and increasing heterogeneity in expert opinions, this study proposes a novel numerical aggregation model for multi-expert decision making based on triangular intuitionistic fuzzy numbers (TIFNs...
Sandflies spread the neglected vector-borne disease anthroponotic cutaneous leishmaniasis (ACL), which only affects humans. Despite decades of control, asymptomatic carriers, vector pesticide resistance, and low public awareness prevent eradication....
Biomedical images, whether acquired by techniques such as magnetic resonance imaging (MRI), computed tomography (CT), ultrasound, X-ray, or other methods, are commonly obtained and permanently stored for diagnostic purposes. Therefore, leveraging thi...
The given paper proposes a new statistical framework based on the combination of the Fav-Jerry distribution (FJD) and a joint type-II censoring scheme (JT-II-CS) to examine heterogeneous and censored data. The FJD offers tractability in analysis by u...
This study presents a comparative analysis of tumor growth models based on logistic, exponential, and Gompertz formulations. Their response to therapeutic intervention is examined to identify which model shows better behavior with minimal decline of...
In the original publication [...]
The niche situation can reflect the advantages and disadvantages of biological individuals in the ecosystem environment as well as the overall operational status of the ecosystem. However, higher-order niche systems generally exhibit complex nonlinea...
This Special Issue of Mathematical and Computational Applications is devoted to innovative mathematical and computational approaches in applied mechanics and is dedicated to Professor J [...]
Get Alerted
Add your email address to receive forthcoming issues of this journal.
