GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Abstract: Symmetry is a widespread phenomenon in nature. Recognizing symmetry can minimize redundancy to improve computing efficiency. In this paper, we take permutation-related combinatorial ...
An important aspect in software engineering is the ability to distinguish between premature, unnecessary, and necessary ...
Abstract: Knowledge transfer-based evolutionary optimization has garnered significant attention, such as in multitask evolutionary optimization (MTEO), which aims to solve complex problems by ...
MATLAB implementation of the ILP-based minimal camera network optimization framework proposed in "Autonomous BIM-Aware UAV Path Planning for Construction Inspection". Includes visibility simulation, ...
Research Background The nonsmooth modeling method based on the cone complementarity problem (CCP) is one of the most effective approaches for solving spatial frictional contact problems. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results