LEADER 05895nam 22005535 450 001 9911049214603321 005 20251229120413.0 010 $a981-9511-06-2 024 7 $a10.1007/978-981-95-1106-8 035 $a(CKB)44602814800041 035 $a(MiAaPQ)EBC32468323 035 $a(Au-PeEL)EBL32468323 035 $a(DE-He213)978-981-95-1106-8 035 $a(EXLCZ)9944602814800041 100 $a20251229d2026 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Networked Things $e8th China Intelligent Networked Things Conference, CINT 2025, Zhuhai, China, June 13?15, 2025, Proceedings, Part II /$fedited by Lin Zhang, Wensheng Yu, Yuanjun Laili, Ting Qu 205 $a1st ed. 2026. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2026. 215 $a1 online resource (535 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2625 311 08$a981-9511-05-4 327 $aOptimization and Decision for Intelligent Networked Things -- Consensus of Multi-Agent Systems on Multi-Layer Chain Networks -- A Hybrid Lyapunov and Simulated Annealing Method for Task Offloading in UAV Mobile Edge Computing -- A digital twin based optimization approach for dynamic configuration of production-logistic system -- Research on Optimization Method of Ship Spare Parts Allocation Based on Single-Objective and Multi-Objective Particle Swarm Algorithm -- An Order-Oriented AGV Task Allocation Method Based on Multi-Agent Reinforcement Learning with a Dual-Reward Strategy -- Mathematics for Intelligent Networked Things -- A Formalization of Adequately Simplified Axiomatic Set Theory in Coq for Mathematical Analysis -- Formalization of Integer Exponential Operations Based on Rocq -- Formalization of Proposition Calculus Formal Systems in Coq -- Proving the Standard Part Principle in Nonstandard Analysis with Rocq Prover -- StructCog: Structure-Guided Contrastive Learning with Fine-Grained Multimodal Fusion for Knowledge Graph Completion -- Formalisation of Ordinal Numbers in Coq -- Development and Formalization of NBG Axiom System: From Historical Evolution to Coq Implementation -- Formalization of Gödel?s Completeness Theorem in Coq -- Artificial Intelligence for Networked Things -- Large Language Model-Driven Supply Chain Diagnosis Method -- A Novel Dualistic Meta-learning-based Open-set Domain Generalization Method for Bearing Fault Diagnosis -- A Text-Enhanced Statistical Learning Framework for Robust Frontier Research Identification -- Research on Traceability of Steel Surface Defects Based on Multimodal Knowledge Graph Reasoning -- Towards Reliable Semantic Communications for Images: HARQ with GAN-Powered Error Detection and Correction -- Intelligent Detection of Steel Structure Bridges Based on an Improved YOLO11 Model -- Research on Fault Diagnosis of Rotating Machinery Based on DWT and 1D-CNN-LSTM -- Non-invasive Blood Glucose Detection Algorithm based on Improved MobileNet-V3 -- Analysis of Clothing Materials Using Near-Infrared Light Based on Machine Learning -- Systems and Applications for Intelligent Networked Things -- A Multi-Agent Collaborative Framework Based on Autonomous Chain of Action for AIoT System -- Simulation and Analysis of Mission Command Chain Using Colored Petri Nets -- Application of Community Detection in Knowledge Base Question Answering in the Field of Electrical Safety -- Indoor AR Navigation System Based on Deep Vision -- Unmanned Aerial Vehicle Following Flight Based on Reinforcement Learning -- Systems and Applications for Intelligent Networked Things -- Dual-Channel Dynamic Event-triggered Torque Control and Co-Simulation for Variable-Speed Wind Turbines Subject to DoS Attacks -- Real-Time Dynamic Object Elimination in ORB-SLAM3 for UAV Navigation Using YOLOv11: A Simulation-Based Approach -- Construction and Optimization of an Industrial Intelligent Production Platform Based on Digital Twin Technology -- High-precision measurement of bulk pile volume based on semantic segmentation of 3D point cloud -- Social Irrigation: An Intelligent Irrigation System -- Real-world Feasibility Analysis of ACT Algorithm for Robotic Manipulation on Home -- Matmod: A Smart Medical Assistant Based on Prompt Engineering for Healthcare Enhancement. 330 $aThis two-volume set, CCIS 2624 and CCIS 2625,constitutes the refereed proceedings of the 8th China Intelligent Networked Things Conference, CINT 2025, held in Zhuhai, China, during June 13?15, 2025. The 69 full papers were carefully reviewed and selected from 173 submissions. The main topics of this conference include the following fields: Intelligent Perception and Interconnection, Embodied Intelligence, Intelligent Modeling and Simulation, Control Theory and Methods for Intelligent Networked Things, Optimization and Decision for Intelligent Networked Things, Mathematics for Intelligent Networked Things, Artificial Intelligence for Networked Things, Systems and Applications for Intelligent Networked Thing, etc. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2625 606 $aArtificial intelligence 606 $aComputer Networks 606 $aArtificial Intelligence 606 $aIntelligence Infrastructure 606 $aComputer Networks 615 0$aArtificial intelligence. 615 0$aComputer Networks. 615 14$aArtificial Intelligence. 615 24$aIntelligence Infrastructure. 615 24$aComputer Networks. 676 $a006.3 700 $aZhang$b Lin$0640643 701 $aZhang$0818977 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911049214603321 996 $aIntelligent Networked Things$94521874 997 $aUNINA