Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2024
LASP: LLM Assisted Security Property Generation for SoC Verification
MLCAD '24: Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CADArticle No.: 29, Pages 1–7https://doi.org/10.1145/3670474.3685967As the complexity of System-on-Chips (SoCs) increases, ensuring their security presents escalating challenges. Formal property verification is one of the most robust methods to model and check security behaviors using model checkers. However, the ...
- research-articleJuly 2024
Automated Quality Assessment of Multimodal Mathematical Stories Generated by Generative Artificial Intelligence
L@S '24: Proceedings of the Eleventh ACM Conference on Learning @ ScalePages 110–121https://doi.org/10.1145/3657604.3662029Mathematical stories have demonstrated the ability to bolster the motivation and interest of students in learning mathematics, thereby exerting a positive influence on their academic performance. However, due to a lack of adequate resources and the ...
- research-articleJuly 2024
LPAH: Illustrating Efficient Live Patching With Alignment Holes in Kernel Data
IEEE Transactions on Computers (ITCO), Volume 73, Issue 10Pages 2434–2448https://doi.org/10.1109/TC.2024.3424263The Linux kernel is regularly updated to enhance security, improve performance, and introduce new functionalities. Traditional updating methods typically require rebooting, leading to service disruptions and potential data loss. Live-patching technology ...
- research-articleJuly 2024
DRCLAS: An efficient certificateless aggregate signature scheme with dynamic revocation in vehicular ad-hoc networks
AbstractThe emergence of the Vehicular Ad-hoc Networks (VANETs) has greatly enhanced the efficiency and safety of transportation systems. However, due to the dynamicness and openness of vehicular networks, it is vulnerable for VANETs to confront various ...
- research-articleApril 2024
Research on Speech Enhancement Algorithm by Fusing Improved EMD and GCRN Networks
Circuits, Systems, and Signal Processing (CSSP), Volume 43, Issue 7Pages 4588–4604https://doi.org/10.1007/s00034-024-02677-3AbstractUnder the condition of low signal-to-noise ratio, for the problem of insufficient speech feature extraction and speech enhancement effect of the traditional neural network, this paper is based on empirical mode decomposition (EMD), temporal ...
-
- short-paperMarch 2024
Analyzing Student Attention and Acceptance of Conversational AI for Math Learning: Insights from a Randomized Controlled Trial
LAK '24: Proceedings of the 14th Learning Analytics and Knowledge ConferencePages 836–842https://doi.org/10.1145/3636555.3636895The significance of nurturing a deep conceptual understanding in math learning cannot be overstated. Grounded in the pedagogical strategies of induction, concretization, and exemplification (ICE), we designed and developed a conversational AI using both ...
- research-articleJuly 2024
Nighttime Air Tracking Based on Improved Unsupervised Siamese Network
CSAIDE '24: Proceedings of the 2024 3rd International Conference on Cyber Security, Artificial Intelligence and Digital EconomyPages 208–214https://doi.org/10.1145/3672919.3672959The limited light at night reduces the contrast between the target and its surroundings, making it difficult for the tracking algorithms to distinguish the target from similar looking objects or background elements. As the UAV rotates, the speed of ...
- research-articleJune 2024
Causality-Enhanced Multiple Instance Learning With Graph Convolutional Networks for Parkinsonian Freezing-of-Gait Assessment
IEEE Transactions on Image Processing (TIP), Volume 33Pages 3991–4001https://doi.org/10.1109/TIP.2024.3416052Freezing of gait (FoG) is a common disabling symptom of Parkinson’s disease (PD). It is clinically characterized by sudden and transient walking interruptions for specific human body parts, and it presents the localization in time and space. Due to ...
- articleDecember 2023
Analysis of Artificial Intelligence Technology and Its Application in Improving the Effectiveness of Physical Education Teaching
International Journal of Web-Based Learning and Teaching Technologies (IJWLTT-IGI), Volume 19, Issue 1Pages 1–15https://doi.org/10.4018/IJWLTT.335115To promote the construction of public physical education online courses in colleges and universities and the evaluation of the effectiveness of course teaching, this article combines 3D reconstruction techniques in computer vision to construct a set of ...
- research-articleDecember 2023
A High-Order Compact Difference Scheme on Non-Uniform Grids for the One-Dimensional Linear Hyperbolic Equation
ISIA '23: Proceedings of the 2023 International Conference on Intelligent Sensing and Industrial AutomationArticle No.: 4, Pages 1–8https://doi.org/10.1145/3632314.3632318It's necessary to have the computational domains discretized with non-uniform grids for solving the problems such as boundary layer problems and local large gradient problems etc. Therefore, a high order compact difference scheme on non-uniform grids is ...
- research-articleFebruary 2024
Automatic detection of crop lodging from multitemporal satellite data based on the isolation forest algorithm
Computers and Electronics in Agriculture (COEA), Volume 215, Issue Chttps://doi.org/10.1016/j.compag.2023.108415Graphical abstractDisplay Omitted
Highlights- A sequentially integrated algorithm for crop lodging identification with low data acquisition costs, high automation and high accuracy.
- An automatic method to extract lodged and non-lodged samples based on the isolation forest ...
Rapid identification of crop lodging has implications for optimizing disaster prevention and mitigation measures. This study proposes a sequentially integrated algorithm for crop lodging identification, which first automatically extracts lodged ...
- research-articleNovember 2023
Graph-Based Fusion of Imaging, Genetic and Clinical Data for Degenerative Disease Diagnosis
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Volume 21, Issue 1Pages 57–68https://doi.org/10.1109/TCBB.2023.3335369Graph learning methods have achieved noteworthy performance in disease diagnosis due to their ability to represent unstructured information such as inter-subject relationships. While it has been shown that imaging, genetic and clinical data are crucial ...
- research-articleNovember 2023
FISCO-BCOS: An Enterprise-grade Permissioned Blockchain System with High-performance
SC '23: Proceedings of the International Conference for High Performance Computing, Networking, Storage and AnalysisArticle No.: 68, Pages 1–17https://doi.org/10.1145/3581784.3607053Enterprise-grade permissioned blockchain systems provide a promising infrastructure for data sharing and cooperation between different companies. However, performance bottlenecks seriously hinder the adoption of these systems in many industrial ...
- research-articleOctober 2023
Uncertainty quantification of microcirculatory characteristic parameters for recognition of cardiovascular diseases
Computer Methods and Programs in Biomedicine (CBIO), Volume 240, Issue Chttps://doi.org/10.1016/j.cmpb.2023.107674Highlights- Based on the concept of mobile health care, wearable devices are developed to obtain physiological signals.
- Combine the zero-dimensional model and the optimization algorithm to complete the uncertainty quantification of the ...
Cardiovascular disease is one of the leading causes of death worldwide. However, according to studies, 90% of cardiovascular diseases can be prevented. Cardiovascular function parameters are an important basis for the diagnosis of ...
- research-articleSeptember 2023
A Clinically Guided Graph Convolutional Network for Assessment of Parkinsonian Pronation-Supination Movements of Hands
IEEE Transactions on Circuits and Systems for Video Technology (IEEETCSVT), Volume 34, Issue 5Pages 3687–3699https://doi.org/10.1109/TCSVT.2023.3318243In the clinically widely used rating scale (MDS-UPDRS), the pronation-supination movement task of hands is required for assessment of bradykinesia, which is a typical clinical symptom of Parkinson’s disease (PD). Due to inter-rater variability in ...
- research-articleSeptember 2023
Smaug: A TEE-Assisted Secured SQLite for Embedded Systems
IEEE Transactions on Dependable and Secure Computing (TDSC), Volume 20, Issue 5Pages 3617–3635https://doi.org/10.1109/TDSC.2022.3216020As one of the most popular relational databases for embedded devices, SQLite is lightweight to be embedded into applications without installing a specific database management system. However, simplicity and easy-to-use are double-edged swords; while ...
- research-articleSeptember 2023
A reliable Bayesian neural network for the prediction of reservoir thickness with quantified uncertainty
AbstractIn seismic exploration, reservoir prediction plays a significant role since it can reveal the characteristics of a reservoir through attribute analysis. Multi-attribute reservoir prediction models are the most commonly used methods ...
Highlights- BNN framework is one of the few frameworks in the reservoir thickness prediction task.
- research-articleAugust 2023
Dual policy iteration-reinforcement learning to optimize the detection quality of passive remote sensing device
Highlights- In this paper, the detected information is used to absorb the electric energy of the remote sensing device to replace the data amount of information captured ...
This paper presents the basic content of a Dual policy iteration algorithm (DPIA) based on reinforcement learning and proves the local convergence, global convergence, and optimality of “r – iteration” and “k – iteration”. The process ...
- research-articleAugust 2023
Supplemented with reinforcement learning to improve the detection of passive remote sensing devices
Highlights- In view of the data flow process of information captured by passive remote sensing devices, an affine nonlinear system is formed in the reverse way ...
In this paper, a policy iterative algorithm based on reinforcement learning is proposed to improve the balanced detection quality of passive remote sensing equipment. Firstly, the basic structure of the policy iteration algorithm is ...
- research-articleJuly 2023
Contrastive learning meets homophily: two birds with one stone
ICML'23: Proceedings of the 40th International Conference on Machine LearningArticle No.: 519, Pages 12775–12789Graph Contrastive Learning (GCL) has recently enjoyed great success as an efficient self-supervised representation learning approach. However, the existing methods have focused on designing of contrastive modes and used data augmentation with a rigid and ...