2 papers
math.LO2024
Finite final segments of the d.c.e. Turing degrees
Steffen Lempp, Yiqun Liu, Yong Liu +3
We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a…
cs.RO2023
UAV 3-D path planning based on MOEA/D with adaptive areal weight adjustment
Yougang Xiao, Hao Yang, Huan Liu +2
Unmanned aerial vehicles (UAVs) are desirable platforms for time-efficient and cost-effective task execution. 3-D path planning is a key challenge for task decision-making. This pa…