LEADER 03978nam 22006975 450 001 9910983379903321 005 20250207115229.0 010 $a9789819614905 010 $a9819614902 024 7 $a10.1007/978-981-96-1490-5 035 $a(MiAaPQ)EBC31899656 035 $a(Au-PeEL)EBL31899656 035 $a(CKB)37476333600041 035 $a(DE-He213)978-981-96-1490-5 035 $a(OCoLC)1500771157 035 $a(EXLCZ)9937476333600041 100 $a20250207d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheoretical Computer Science $e42nd National Conference, NCTCS 2024, Qingdao, China, July 19?21, 2024, Revised Selected Papers /$fedited by Yitong Yin, Jialin Zhang, Zhiping Cai 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (300 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2354 311 08$a9789819614899 311 08$a9819614899 327 $a -- Algorithm Design. -- EFX Graph Division with (Weakly) Lexicographic Preferences. -- Online bottleneck matching on a ring. -- learn to design greedy algorithm for NP-complete problems using neural networks. -- Approximation Algorithm. -- Approximation Algorithms on Linear Equalities and Inequalities mod. -- Online clustering on the line with ?-th power cost variable sized clustering. -- 1-line minimum ?-Steiner tree problem. -- Logic. -- Generalized Possibilistic CTL* Model Check with Fuzzy Temporal Logic Operators. -- Medical procedures based on bayesian network and possibilistic model checking. -- Artificial Intelligence Theory and Algorithm. -- A Triple-Branch Frequency-Aware Network for Image Manipulation Detection. -- Advances in Neural Radiance Fields for Large-Scale 3D Scene Reconstruction: A Comprehensive Review. -- Chinese Medical Spoken Language Understanding Based on Prototypical Modification Network and Contrastive Learning. -- Algorithm Application. -- Hierarchical Feature Selection Method based on Sequential Backward Selection Algorithm for Fasting Blood Glucose Prediction. -- Personalized Recommendation Algorithm Based on Knowledge Graphs with High-order Information. 330 $aThis book constitutes the refereed proceedings of the 42nd National Conference on Theoretical Computer Science, NCTCS 2024, held in Qingdao, China, during July 19?21, 2024. The 13 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: Algorithm Design, Approximation Algorithms, Logics, and Artificial Intelligence Theory and Algorithm, Algorithm Application. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2354 606 $aComputer science 606 $aDatabase management 606 $aComputer systems 606 $aComputer networks 606 $aTheory of Computation 606 $aDatabase Management 606 $aComputer System Implementation 606 $aComputer Communication Networks 606 $aTheory and Algorithms for Application Domains 615 0$aComputer science. 615 0$aDatabase management. 615 0$aComputer systems. 615 0$aComputer networks. 615 14$aTheory of Computation. 615 24$aDatabase Management. 615 24$aComputer System Implementation. 615 24$aComputer Communication Networks. 615 24$aTheory and Algorithms for Application Domains. 676 $a004.0151 700 $aYin$b Yitong$01784319 701 $aZhang$b Jialin$01784320 701 $aCai$b Zhiping$01784321 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983379903321 996 $aTheoretical Computer Science$94315991 997 $aUNINA