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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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
|
| Pubblicazione: | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 |
| Edizione: | 1st ed. 2026. |
| Descrizione fisica: | 1 online resource (323 pages) |
| Disciplina: | 004.0151 |
| Soggetto topico: | 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 | |
| Altri autori: |
ZhangJialin
CaiZhiping
|
| 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. |
| Titolo autorizzato: | Theoretical Computer Science |
| ISBN: | 981-9536-43-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9911047691503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Communications in Computer and Information Science, . 1865-0937 ; ; 2710