Intelligent Networked Things: The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I: Communications in Computer and Information Science, cartea 2138
Editat de Lin Zhang, Wensheng Yu, Quan Wang, Yuanjun Laili, Yongkui Liuen Limba Engleză Paperback – 10 iul 2024
The 51 full papers presented were carefully reviewed and selected from 151 submissions. The conference papers are organized in topical sections on:
Part I - Theories and Mathematical Methods for Intelligent Networked Things; Modeling and Simulation in Intelligent Networked Things.
Part II - Artificial Intelligence for Intelligent Networked Things; Optimization and Decision in Intelligent Networked Things.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (2) | 889.05 lei 3-5 săpt. | |
| Springer Nature Singapore – 10 iul 2024 | 889.05 lei 3-5 săpt. | |
| Springer Nature Singapore – 10 iul 2024 | 987.65 lei 3-5 săpt. |
Din seria Communications in Computer and Information Science
- 20%
Preț: 325.48 lei - 20%
Preț: 669.06 lei - 20%
Preț: 324.64 lei - 20%
Preț: 337.85 lei - 20%
Preț: 656.19 lei - 20%
Preț: 659.97 lei - 20%
Preț: 333.88 lei - 20%
Preț: 337.52 lei - 20%
Preț: 656.36 lei - 20%
Preț: 656.69 lei - 20%
Preț: 659.31 lei -
Preț: 392.60 lei - 20%
Preț: 329.58 lei -
Preț: 386.00 lei - 20%
Preț: 336.02 lei - 20%
Preț: 334.53 lei - 20%
Preț: 331.74 lei - 20%
Preț: 655.85 lei - 20%
Preț: 338.49 lei - 20%
Preț: 333.88 lei - 20%
Preț: 334.53 lei - 20%
Preț: 338.68 lei - 20%
Preț: 666.58 lei - 20%
Preț: 307.20 lei - 20%
Preț: 336.02 lei - 20%
Preț: 338.68 lei - 20%
Preț: 330.24 lei - 20%
Preț: 660.81 lei - 15%
Preț: 648.42 lei - 20%
Preț: 653.56 lei - 20%
Preț: 332.06 lei - 20%
Preț: 337.85 lei - 20%
Preț: 1055.29 lei - 20%
Preț: 836.50 lei - 20%
Preț: 656.69 lei - 20%
Preț: 1231.01 lei - 20%
Preț: 331.25 lei - 20%
Preț: 336.02 lei - 20%
Preț: 323.00 lei - 20%
Preț: 113.94 lei - 20%
Preț: 336.21 lei -
Preț: 387.75 lei - 20%
Preț: 470.58 lei - 20%
Preț: 750.86 lei - 20%
Preț: 337.00 lei - 20%
Preț: 327.95 lei - 20%
Preț: 410.03 lei - 20%
Preț: 335.36 lei - 20%
Preț: 534.59 lei - 20%
Preț: 673.02 lei
Preț: 889.05 lei
Preț vechi: 1084.20 lei
-18% Nou
Puncte Express: 1334
Preț estimativ în valută:
170.12€ • 178.09$ • 140.76£
170.12€ • 178.09$ • 140.76£
Carte disponibilă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789819739509
ISBN-10: 9819739500
Pagini: 271
Ilustrații: XV, 275 p. 139 illus., 103 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Singapore
Colecția Springer
Seria Communications in Computer and Information Science
Locul publicării:Singapore, Singapore
ISBN-10: 9819739500
Pagini: 271
Ilustrații: XV, 275 p. 139 illus., 103 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Singapore
Colecția Springer
Seria Communications in Computer and Information Science
Locul publicării:Singapore, Singapore
Cuprins
.- Theories and Mathematical Methods for Intelligent Networked Things.
.- A method based on the principle of polynomial least squares fitting to achieve high-precision temperature measurement and its practical application.
.- Design of an Attitude Control System for Hypersonic Ballistic Missiles with Extendable Swinging Nozzle Control .
.- Early fault diagnosis method for rolling bearing based on improved singular values decomposition.
.- Dynamic Analysis of Dual Motor-Gear Electromechanical Coupling System.
.- Formal Proof of Meta-Theorem in First-Order Logic in Coq.
.- Formal Verification of Completeness Theorem in Grundlagen der Geometrie.
.- Formalizing the Independence of Propositional Logic Axiom System in Coq.
.- Spatiotemporal Information-based Authorization Method for UOF Documents.
.- Formalizing the Equivalence of Formal systems in Propositional Logic in Coq.
.- Formalization of the Filter Extension Principle (FEP) in Coq.
.- Lagrange's Theorem in Group Theory: Formalization and Proof with Coq.
.- Observer-Based Fault Diagnosis for Re-entrant Manufacturing Systems.
.- Prescribed-time Leader-follower Bipartite Consensus for Nonlinear Multi-agent System.
.- Off-Policy L2-gain Control for Discrete-Time Linear Systems With Dropout.
.- Demand Response Analysis and its Application to Smart Grid: A Evolutionary Game Method.
.- Promoting Cooperation in the Snowdrift Game : A Disconnection-Reconnection Reputation Memory Mechanism.
.- Dynamic Output-Feedback Control for Multirate Positive Systems under Round-Robin Protocol.
.- Analysis of Aggregation Behavior of Swarm Robotics Inspired by Temperature Source.
.- Modeling and Simulation in Intelligent Networked Things.
.- Research on simulation of heat conduction in the built-in SF6 Multiparameter Sensor.
.- Modeling and Simulation Analysis of Alliance Anti-missile Operational Capability.
.- Research on Integrated Modeling and Simulation Method of Missile Electrical System Based on X-Language.
.- Research on the Conversion from SysML Models to X Language Models.
.- Discrete Event Systems Specification for Same-span Interaction of Multi-agents in Slab Warehouse.
.- FPGA-based Adaptive Modeling Method for Modular Robots.
.- Digital Twin System for Robotic Multi-Layer and Multi-Pass Welding of Medium-Thick Plates in Unstructured Environment.
.- A method based on the principle of polynomial least squares fitting to achieve high-precision temperature measurement and its practical application.
.- Design of an Attitude Control System for Hypersonic Ballistic Missiles with Extendable Swinging Nozzle Control .
.- Early fault diagnosis method for rolling bearing based on improved singular values decomposition.
.- Dynamic Analysis of Dual Motor-Gear Electromechanical Coupling System.
.- Formal Proof of Meta-Theorem in First-Order Logic in Coq.
.- Formal Verification of Completeness Theorem in Grundlagen der Geometrie.
.- Formalizing the Independence of Propositional Logic Axiom System in Coq.
.- Spatiotemporal Information-based Authorization Method for UOF Documents.
.- Formalizing the Equivalence of Formal systems in Propositional Logic in Coq.
.- Formalization of the Filter Extension Principle (FEP) in Coq.
.- Lagrange's Theorem in Group Theory: Formalization and Proof with Coq.
.- Observer-Based Fault Diagnosis for Re-entrant Manufacturing Systems.
.- Prescribed-time Leader-follower Bipartite Consensus for Nonlinear Multi-agent System.
.- Off-Policy L2-gain Control for Discrete-Time Linear Systems With Dropout.
.- Demand Response Analysis and its Application to Smart Grid: A Evolutionary Game Method.
.- Promoting Cooperation in the Snowdrift Game : A Disconnection-Reconnection Reputation Memory Mechanism.
.- Dynamic Output-Feedback Control for Multirate Positive Systems under Round-Robin Protocol.
.- Analysis of Aggregation Behavior of Swarm Robotics Inspired by Temperature Source.
.- Modeling and Simulation in Intelligent Networked Things.
.- Research on simulation of heat conduction in the built-in SF6 Multiparameter Sensor.
.- Modeling and Simulation Analysis of Alliance Anti-missile Operational Capability.
.- Research on Integrated Modeling and Simulation Method of Missile Electrical System Based on X-Language.
.- Research on the Conversion from SysML Models to X Language Models.
.- Discrete Event Systems Specification for Same-span Interaction of Multi-agents in Slab Warehouse.
.- FPGA-based Adaptive Modeling Method for Modular Robots.
.- Digital Twin System for Robotic Multi-Layer and Multi-Pass Welding of Medium-Thick Plates in Unstructured Environment.