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.
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
Produktdetails
Communications in Computer and Information Science 2710
. 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.
. 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826