This book summarizes unique research findings on the hydrodynamic behavior of ice particles (ice crystals, snow, graupel and hailstones) in the atmosphere. The fall behavior of ice hydrometeors det…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
This book provides a broad overview of essential features of subsurface environmental modelling at the science-policy interface, offering insights into the potential challenges in the field of subs…
This book addresses the quantitative measurement of climate change vulnerability at the macro and micro-level and identifies household adaptation strategies to cope with the adverse effects of clim…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur…
Aplikasi streaming musik adalah aplikasi yang memungkinkan pengguna mendengarkan musik legal atau online. Spotify saat ini dikenal sebagai aplikasi yang menyediakan layanan streaming musik, musik d…
The ever-increasing number of vehicle users makes traffic congestion one of the major problems to be overcome. Services provided by Intelligent Transportation Systems (ITS) can help solve traffic c…
Dalam membangun Knowledge Management System (KMS) pada Kantor Urusan Agama (KUA) Kecamatan Prabumulih Timur Kota Prabumulih, penulis mencoba menerapkan metode Knowledge Management System Life Cycle…
Discrete Control Systems establishes a basis for the analysis and design of discretized/quantized control systems for continuous physical systems. Beginning with the necessary mathematical foundati…
This book highlights original approaches of modelling and intelligent control of cyber-physical systems covering both theoretical and practical aspects. The novel contribution of the book covers th…
This book treats state-of-the-art computational methods for power flow studies and contingency analysis. In the first part the authors present the relevant computational methods and mathematical co…
This book investigates new important applications of the Spatial Grasp Technology (SGT) allowing us to effectively simulate and manage large distributed dynamic systems on semantic and holistic lev…
This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of in…
“China’s e-Science Blue Book 2020” has been jointly compiled by the Chinese Academy of Sciences, Cyberspace Administration of China, Ministry of Education of the PRC, Ministry of Science and …
This book addresses emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human inter…
This book brings together real-world accounts of using voltage stability assessment (VSA) and transient stability assessment (TSA) tools for grid management. Chapters are written by leading experts…
This book presents select peer-reviewed proceedings of the International Conference on Frontiers in Smart Systems Technologies (ICFSST 2019). It focuses on latest research and cutting-edge technolo…
Bell conveyor secara luas digunakan pada berbagai industri berfungsi untuk menghantarkan barang atau material dari proses satu ke proses selanjutnya dan merupakan mesin pemindah material sepanjang …
This book presents various computational and cognitive modeling approaches in the areas of health, education, finance, theenvironment, engineering, commerce and industry. Gathering selected confere…
This book presents various computational and cognitive modeling approaches in the areas of health, education, finance, environment, engineering, commerce, and industry. It is a collection of select…
In this book, the authors focus on three aspects related to the development of articulated agents: presenting an overview of high-level control algorithms for intelligent decision-making of articul…