Economic dispatch is one of the mathematical optimization problems in power system operation and planning. It aims to find the most efficient output for generating units that meets the demand of the load at the lowest...
详细信息
Climate is rapidly changing around the world. Over time, there have been significant changes in the weather. Rainfall is now erratic due to climate change. The frequency of extreme weather events like droughts and flo...
详细信息
Music education usually requires experienced professional teachers, but educational resources are limited and cannot meet educational needs. Therefore, this article designs a mobile terminal music education platform b...
详细信息
Deep learning-based defogging methods can generate defogging results with high evaluation indexes end-to-end through the training of a large amount of data, but most of the existing methods do not make use of physical...
详细信息
Malware poses a significant security risk to individuals, organizations, and critical infrastructure by compromising systems and data. Leveraging memory dumps that offer snap-shots of computer memory can aid the analy...
详细信息
With the acceleration of economic globalization, the importance of translation services has gradually manifested. The machine translation technology has a long and glorious history from statistical machine translation...
详细信息
Explainable AI (XAI) methods provide insights into the operation of black-box Deep Neural Network (DNN) models. GradCAM, an XAI algorithm, provides an explanation by highlighting regions in the input feature space tha...
详细信息
The proceedings contain 11 papers. The special focus in this conference is on software Verification and Formal Methods for ML-Enables Autonomous systems. The topics include: Neural Network Precision Tuning Using Stoch...
ISBN:
(纸本)9783031212215
The proceedings contain 11 papers. The special focus in this conference is on software Verification and Formal Methods for ML-Enables Autonomous systems. The topics include: Neural Network Precision Tuning Using Stochastic Arithmetic;MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types;a Cascade of Checkers for Run-time Certification of Local Robustness;CEG4N: Counter-Example Guided Neural Network Quantization Refinement;minimal Multi-Layer Modifications of Deep Neural Networks;differentiable Logics for Neural Network Training and Verification;neural Networks in Imandra: Matrix Representation as a Verification Choice;self-correcting Neural Networks for Safe Classification;formal Specification for Learning-Enabled Autonomous systems;verified Numerical Methods for Ordinary Differential Equations.
Fuzzer is widely employed for vulnerability discovery and security assessment of softwaresystems. Based on existing protocol fuzzers, this paper proposes a more efficient fuzzing solution called AntFuzz. It draws ins...
详细信息
The proceedings contain 15 papers. The special focus in this conference is on Smart Grid and Internet of Things. The topics include: Utilizing Wearable Devices to Assess the Level of Fatigue System;Task Offloading Met...
ISBN:
(纸本)9783031559754
The proceedings contain 15 papers. The special focus in this conference is on Smart Grid and Internet of Things. The topics include: Utilizing Wearable Devices to Assess the Level of Fatigue System;Task Offloading Method for Industrial Internet of Things (IIoT) Targeting Computational Resource Management;research on Vehicle Networking Resource Management Based on Trust Model in Intersection Scene;rule Generation for Network Intrusion Detection systems Based on Packets-To-Video Transformation;Enhancing UORA for IEEE802.11be;a Novel Hierarchical Federated Edge Learning Framework in Satellite-Terrestrial Assisted Networks;cell Clusters and Their Networks for Emerging Applications;cluster-Based Optimization Method for Delivery Networks;a Hybrid Deep Learning Approach for Early Detection of Chronic Obstructive Pulmonary Disease;predicting Teaching Effectiveness Base on Technology Integrated Language Learning;complex Industrial Machinery Health Diagnosis Challenges and Strategies;utilizing Skip-Gram for Restaurant Vector Creation and Its Application in the Selection of Ideal Restaurant Locations;load Balancing Algorithm in a software-Defined Network Environment with Round Robin and Least Connections.
暂无评论