This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
This book focuses on the emerging topic of embedded artificial intelligence and provides a systematic summary of its principles, platforms, and practices.
This book focuses on the emerging topic of embedded artificial intelligence and provides a systematic summary of its principles, platforms, and practices.
This book reveals the origin of imprecise information and establishes the mathematical models of flexible words and related mathematical and logical theories.
This book constitutes the proceedings of the 20th Chinese Intelligent Systems Conference, CISC 2024, which was held on October 26-27, 2024, in Guilin, Guangxi, China.
This book constitutes the proceedings of the 20th Chinese Intelligent Systems Conference, CISC 2024, which was held on October 26-27, 2024, in Guilin, Guangxi, China.
This book reveals the origin of imprecise information and establishes the mathematical models of flexible words and related mathematical and logical theories.
This book constitutes the proceedings of the 20th Chinese Intelligent Systems Conference, CISC 2024, which was held on October 26-27, 2024, in Guilin, Guangxi, China.
This monograph introduces readers to new theories and methods applying cognitive computing and geometric space transformation to the field of fault diagnosis and prognostics.
This monograph introduces readers to new theories and methods applying cognitive computing and geometric space transformation to the field of fault diagnosis and prognostics.
This book constitutes the proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024.
With the reinassance of Artificial Intelligence (AI) and AI-empowered technologies, such as robots, we are all asking ourselves the question: What role will these new technologies play in our lives and in our society?
This book contains new research works presented at the Third World Conference on Intelligent and 3D Technologies (WCI3DT2024), organized by IRNet International Academic Communication Center, held in Shanghai, China during May 24-26, 2024.
This book constitutes the proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024.
This book comprises peer-reviewed papers presented at the 4th International Conference on Advanced Engineering Optimization Through Intelligent Techniques (AEOTIT) 2023.
This book constitutes the proceedings of the 20th Chinese Intelligent Systems Conference, CISC 2024, which was held on October 26-27, 2024, in Guilin, Guangxi, China.
This textbook introduces space vehicle maneuvering, propulsion, dynamics and control, and discusses the space environment and its influence on the spacecraft propulsion system.
This textbook introduces space vehicle maneuvering, propulsion, dynamics and control, and discusses the space environment and its influence on the spacecraft propulsion system.
This book comprises peer-reviewed papers presented at the 4th International Conference on Advanced Engineering Optimization Through Intelligent Techniques (AEOTIT) 2023.
This book focuses on the urgent demand for high-quality and efficient development of active distribution networks, which aims to address the bottleneck issues such as single functionality, low equipment utilization, and poor reliability encountered in the practical process of the commercialization of series-connected voltage-quality controllers.
This book focuses on the urgent demand for high-quality and efficient development of active distribution networks, which aims to address the bottleneck issues such as single functionality, low equipment utilization, and poor reliability encountered in the practical process of the commercialization of series-connected voltage-quality controllers.
This book features high-quality research papers presented at the International Conference of Mechanical and Robotic Engineering "e;Congress on Control, Robotics, and Mechatronics"e; (CRM 2024), jointly organized by SR University, Warangal, India, and Soft Computing Research Society, India, during 3-4 February 2024.
This book features high-quality research papers presented at the International Conference of Mechanical and Robotic Engineering "e;Congress on Control, Robotics, and Mechatronics"e; (CRM 2024), jointly organized by SR University, Warangal, India, and Soft Computing Research Society, India, during 3-4 February 2024.
This book presents the select proceedings of the Control Instrumentation and System Conference (CISCON 2023) held at Manipal Institute of Technology, MAHE, Manipal.
This book presents the select proceedings of the Control Instrumentation and System Conference (CISCON 2023) held at Manipal Institute of Technology, MAHE, Manipal.
This book systematically explores the challenges and advancements in integrating intelligent technologies with ocean engineering, with a particular focus on three core topics of fault diagnosis, fault prognosis, and maintenance for subsea production systems in harsh environments.
This book focuses on community energy and microgrids with details including system control, operation, optimization, as well as communication requirements.
This book focuses on community energy and microgrids with details including system control, operation, optimization, as well as communication requirements.
This textbook presents an integrated approach to digital (discrete-time) control systems covering analysis, design, simulation, and real-time implementation through relevant hardware and software platforms.
This book presents a collection of case reviews on robotic HPB (Hepato-pancreato-biliary) surgeries contributed by distinguished surgical experts and robotics engineers.
This book presents a collection of case reviews on robotic HPB (Hepato-pancreato-biliary) surgeries contributed by distinguished surgical experts and robotics engineers.
This book comprises select peer-reviewed papers from the International Conference on VLSI, Signal Processing, Power Electronics, IoT, Communication, and Embedded Systems (VSPICE-2023).
This book comprises select peer-reviewed papers from the International Conference on VLSI, Signal Processing, Power Electronics, IoT, Communication, and Embedded Systems (VSPICE-2023).
This book gathers papers presented during the 5th International Conference on Electrical Engineering and Control Applications (ICEECA 2022), held on November, 15-17, 2022, Khenchela, Algeria.
This book gathers papers presented during the 5th International Conference on Electrical Engineering and Control Applications (ICEECA 2022), held on November, 15-17, 2022, Khenchela, Algeria.
This book gathers the latest advances, innovations, and applications in the field of machine science and mechanical engineering, as presented by international researchers and engineers at the 12th International Conference on Machine and Industrial Design in Mechanical Engineering (KOD), held in Balatonfured, Hungary on May 23-26, 2024.
This book collects selected aspects of recent advances and experiences, emerging technology trends that have positively impacted our world from operators, authorities, and associations from CCIE 2024, to help address the world's advanced computing, control technology, information technology, artificial intelligence, machine learning, deep learning, and neural networks.
This book collects selected aspects of recent advances and experiences, emerging technology trends that have positively impacted our world from operators, authorities, and associations from CCIE 2024, to help address the world's advanced computing, control technology, information technology, artificial intelligence, machine learning, deep learning, and neural networks.
This book gathers the latest advances, innovations, and applications in the field of machine science and mechanical engineering, as presented by international researchers and engineers at the 12th International Conference on Machine and Industrial Design in Mechanical Engineering (KOD), held in Balatonfured, Hungary on May 23-26, 2024.
This book presents the proceedings of the 7th International Conference on Electrical, Control and Computer Engineering (InECCE 2023), held in Kuala Lumpur, Malaysia, on 22 August 2023.
This book presents the proceedings of the 7th International Conference on Electrical, Control and Computer Engineering (InECCE 2023), held in Kuala Lumpur, Malaysia, on 22 August 2023.
This book presents the proceedings of the 7th International Conference on Electrical, Control and Computer Engineering (InECCE 2023), held in Kuala Lumpur, Malaysia, on 22 August 2023.
This book presents the proceedings of the 7th International Conference on Electrical, Control and Computer Engineering (InECCE 2023), held in Kuala Lumpur, Malaysia, on 22 August 2023.
