Theoretical Computer Science

43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3-5, 2025, Revised Selected Papers
Herausgegeben:Li, Minming; Zhang, Jialin; Cai, Zhiping

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Communications in Computer and Information Science 2710
• Verlag: Springer, Berlin; Springer
• Artikelnr. des Verlages: 89586576
• Seitenzahl: 232
• Erscheinungstermin: 19. Oktober 2025
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 359g
• ISBN-13: 9789819536429
• ISBN-10: 9819536421
• Artikelnr.: 75417908

Inhaltsangabe

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