141 papers
This paper investigates formal path expressions for directed triangulated grid graphs and king graphs by establishing optimal upper and lower bounds on expression length through decomposition techniques and algebraic-branching-program methods, while also linking path-polynomial factorizations to min-cuts and two-terminal reliability.
This paper addresses the dynamic scheduling problem in an M/G/N queue with general service times and IHR abandonment times by proving the indexability of the associated discrete-time problem, deriving an explicit Whittle index, and demonstrating through simulations that the resulting policy systematically outperforms the standard -rule.
This paper proposes a predictive geometric framework that models the structural regularities and macroscopic spacing of even perfect numbers using a characteristic quadratic mapping, offering a method to estimate higher-order candidates beyond the limits of traditional primality testing.
This paper presents a nonlinear dynamical model coupling reservoir volume and governance quality to analyze stability and demonstrate that a reinforcement-learning-based management policy significantly reduces control costs compared to fixed-effort strategies, albeit with increased near-depletion risks, thereby highlighting the critical impact of treating governance as an endogenous state in reservoir management.
This paper addresses the ill-posed inverse problem of reconstructing a space-dependent source term in a time-space fractional diffusion equation from noisy final-time data by establishing the well-posedness of the direct problem, formulating the inverse problem as an optimization task, and applying Tikhonov regularization with a gradient descent algorithm to achieve stable and accurate numerical reconstructions.
This paper establishes a complete operator-based perturbation analysis for orthogonal projectors on the Grassmann manifold, proving that tangent-structured perturbations yield an intrinsically quadratic idempotency defect with sharp spectral bounds and stability criteria, in contrast to the linear defects caused by non-tangent perturbations.
This paper claims to utilize the 52 known even perfect numbers to establish a structural regularity governed by a characteristic quadratic mapping and a predictive formulation based on the baseline 12k + 7, aiming to model the macroscopic spacing of perfect numbers and estimate higher-order candidates while transcending traditional computational limits.
This paper presents a compartmental mathematical model for cyber-attack propagation on computer networks, proving its stability and conducting sensitivity and bifurcation analyses to demonstrate that transmission rates are the dominant factor in malware spread while robust recovery and control mechanisms can effectively mitigate infections.
This paper proposes and analyzes a residual-certified implicit product-integration method for nonlinear Caputo–Volterra equations that ensures discrete existence and uniqueness under a computable diagonal condition, provides a posteriori error bounds separating iteration and discretization errors, and achieves second-order convergence on graded meshes for solutions with initial singularities.
This paper presents a comprehensive four-component optimization framework that combines DOE-based variable screening, RBF surrogate modeling, adaptive domain splitting, and a hybrid GA–SQP solver to significantly reduce computational effort and convergence time while maintaining accuracy across diverse nonlinear programming problems.