Theoretical Computer Science

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

Minming Li, Jialin Zhang, Zhiping Cai (Herausgeber)

Buch | Softcover

217 Seiten

2025
Springer Verlag, Singapore
978-981-95-3642-9 (ISBN)

Artikel merken

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.

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

Erscheinungsdatum	19.10.2025
Reihe/Serie	Communications in Computer and Information Science
Zusatzinfo	55 Illustrations, color; 16 Illustrations, black and white
Verlagsort	Singapore
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Algorithm Theory and Data Structures • Application of Algorithms • Artificial Intelligence Theory • Computational Complexity • Computational Models • Data Science Theory • Logic and Programming Theory
ISBN-10	981-95-3642-1 / 9819536421
ISBN-13	978-981-95-3642-9 / 9789819536429
Zustand	Neuware