Intelligent Networked Things

Optimization 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.