Electric bicycles (e-bikes) have gained considerable popularity due to their environmentally friendly nature and suitability as a mode of transportation. However, they face challenges related to manual switches for po...
详细信息
Water Quality plays an essential role in assessing environmental health, which has profound implications for both ecosystems and human well-being. In this work, various machine learning models including Logistic Regre...
详细信息
The strengths of soft computing and machine learning based algorithms are being harnessed globally to improve and optimize power system performance. One such application happens to be load forecasting in power systems...
详细信息
An innovative step in treating the mental health issues common to college students is the PEACE web tool. With the use of cutting-edge machine learning (ML) algorithms, this platform tailors counselling advice to each...
详细信息
Incorporating Internet of Things (IoT) algorithms, Ensemble learning, and Explainable AI (XAI) into the Reinforcement learning framework provides a comprehensive solution. The framework's dynamic paradigm for prec...
详细信息
The development of the Internet of Things has increased the demand for real-time communication and computing in user equipments (UEs), which is a challenge for the limited battery capacity and computing power of UEs. ...
详细信息
There is an urgent need to emphasize and integrate Formal Methods into the undergraduate curriculum in Computer Science in the United States. We are entering an age defined by a highly interconnected, ubiquitous compu...
详细信息
ISBN:
(纸本)9783031606977;9783031606984
There is an urgent need to emphasize and integrate Formal Methods into the undergraduate curriculum in Computer Science in the United States. We are entering an age defined by a highly interconnected, ubiquitous computing environment, with a large AI component. Knowing the precise capability of our systems is particularly vital to safeguard safety-critical and mission-critical applications. In such an environment, the lack of a well-structured exposure to formal methods is a serious shortcoming in our computing curricula. We examine the curricular, pedagogical, and organizational challenges involved in bringing Formal Methods into the mainstream of computing disciplines, note efforts made to address the challenges, and suggest further initiatives to help address them.
Underwater image processing has been an active research topic over the past few years as interest in marine observation and the use of ocean resources has increased. Different from conventional images, marine ecosyste...
详细信息
This study investigates the effectiveness of various missing data imputation techniques on the performance of deep learning models for time-series forecasting using the Beijing PM2.5 dataset. Imputation methods includ...
详细信息
This article is based on reinforcement learning theory, constructs a complete real-time environment map, and designs a dynamic path planning method for Automated Guide Vehicle(Hereinafter referred to as AGV) in mixed ...
详细信息
暂无评论