Theoretical Computer Science

.- Algorithm Design .
.- Improved Approximation Algorithms for the Multiple Two-stage Knapsack problem.
.- Semi-online scheduling problem of two identical machines with delayed discount.
.- Logic .
.- Sequential Equivalence Checking for specialized IR via Instrumentation-Based Symbolic Execution.
.- Self-Learning Modeling of Generalized Possibilistic Decision Processes.
.- Artificial Intelligence Theory and Algorithm .
.- DPhuman: Generalizable Neural Human Rendering via Point Registration-Based Human Deformation.
.- PSVM-MR: A Parallel Support Vector Machine Algorithm Based on MapReduce.
.- Algorithm Application .
.- A novel homogenization-based method for population initialization of improved chaotic artificial bee colonies and convergence analysis.
.- A truthful resource allocation and task offloading mechanism of Internet of Vehicles edge computing based on joint optimization.
.- The State Transition Self-Learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure.
.- Spiking Neural Network Based on Bidirectional Variational Anomaly Detection for Knowledge Tracing.