Theoretical Computer Science - 43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3-5, 2025, Revised Selected Papers

This 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.

Table des matières

.- 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.

Résumé

This 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.

Détails du produit

• Collaboration: Zhiping Cai (Editeur), Minming Li (Editeur), Jialin Zhang (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 27.11.2025
• EAN: 9789819536429
• ISBN: 978-981-9536-42-9
• Pages: 217
• Dimensions: 155 mm x 13 mm x 235 mm
• Poids: 359 g
• Illustrations: XII, 217 p. 71 illus., 55 illus. in color.
• Thème: Communications in Computer and Information Science
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; Datenbanken, Netzwerk-Hardware, Systemanalyse und -design, Database Management, Theory of Computation, Computer Communication Networks, Computer System Implementation, Computational complexity, Theory and Algorithms for Application Domains, computational models, Algorithm Theory and Data Structures, Logic and Programming Theory, Application of Algorithms, Artificial Intelligence Theory, Data Science Theory