Theoretical Computer Science (eBook, PDF)

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

• Format: PDF

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Nature Singapore
• Seitenzahl: 217
• Erscheinungstermin: 18. Oktober 2025
• Englisch
• ISBN-13: 9789819536436
• Artikelnr.: 75703267

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.