LEADER 03802nam 22006615 450 001 9911047691503321 005 20251019130415.0 010 $a981-9536-43-X 024 7 $a10.1007/978-981-95-3643-6 035 $a(MiAaPQ)EBC32364410 035 $a(Au-PeEL)EBL32364410 035 $a(CKB)41667478300041 035 $a(DE-He213)978-981-95-3643-6 035 $a(EXLCZ)9941667478300041 100 $a20251019d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheoretical Computer Science $e43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3?5, 2025, Revised Selected Papers /$fedited by Minming Li, Jialin Zhang, Zhiping Cai 205 $a1st ed. 2026. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2026. 215 $a1 online resource (323 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2710 311 08$a981-9536-42-1 327 $a -- 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. 330 $aThis book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3?5, 2025. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: Algorithm Design; Logic; Artificial Intelligence Theory and Algorithm; and Algorithm Application. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2710 606 $aComputer science 606 $aDatabase management 606 $aComputer systems 606 $aComputer networks 606 $aTheory of Computation 606 $aDatabase Management 606 $aComputer System Implementation 606 $aComputer Communication Networks 606 $aTheory and Algorithms for Application Domains 615 0$aComputer science. 615 0$aDatabase management. 615 0$aComputer systems. 615 0$aComputer networks. 615 14$aTheory of Computation. 615 24$aDatabase Management. 615 24$aComputer System Implementation. 615 24$aComputer Communication Networks. 615 24$aTheory and Algorithms for Application Domains. 676 $a004.0151 700 $aLi$b Minming$01423621 701 $aZhang$b Jialin$01784320 701 $aCai$b Zhiping$01784321 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911047691503321 996 $aTheoretical Computer Science$94472435 997 $aUNINA