| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911047691503321 |
|
|
Autore |
Li Minming |
|
|
Titolo |
Theoretical Computer Science : 43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3–5, 2025, Revised Selected Papers / / edited by Minming Li, Jialin Zhang, Zhiping Cai |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (323 pages) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 2710 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Database management |
Computer systems |
Computer networks |
Theory of Computation |
Database Management |
Computer System Implementation |
Computer Communication Networks |
Theory and Algorithms for Application Domains |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |