检索结果-内蒙古大学图书馆

Proceedings of the 60th Annual ACM/IEEE Design Automation Conference

作者： Jin Zhao Yu Zhang Jian Cheng Yiyang Wu Chuyue Ye Hui Yu Zhiying Huang Hai Jin Xiaofei Liao Lin Gu Haikun Liu National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab Huazhong University of Science and Technology Wuhan China and Zhejiang-HUST Joint Research Center for Graph Processing Zhejiang Lab Hangzhou China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab Huazhong University of Science and Technology Wuhan China

ISBN: (纸本)9798350323481

Temporal graph processing is used to handle the snapshots of the temporal graph, which concerns changes in graph over time. Although several software/hardware solutions have been designed for efficient temporal graph processing, they still suffer from serious irregular data access due to the uncoordinated graph traversal. To overcome these limitations, this paper proposes SaGraph, a domain-specific hardware accelerator to support the efficient processing of temporal graph. Specifically, temporal graph processing shows strong data access similarity, i.e., most graph accesses of the processing of different snapshots are the same and usually refer to a small fraction of vertices. SaGraph can dynamically coordinate the graph traversals and adaptively cache the vertex states to fully exploit the data access similarity for smaller data access overhead. We implemented and evaluated SaGraph on a Xilinx Alveo U280 FPGA card. Compared with the cutting-edge software and hardware solutions, SaGraph achieves 8.5×-157.3×, 4.2×-16.1× speedups and 34.7×-423.6×, 5.3×-14.7× energy savings, respectively.

关键词：

来源：评论

学校读者我要写书评

暂无评论

EdgeThemis: Ensuring Model Integrity for Edge Intelligence 34

EdgeThemis: Ensuring Model Integrity for Edge Intelligence

引用

34th ACM Web Conference, WWW 2025

作者： Yang, Jiyu He, Qiang Zhou, Zheyu Dai, Xiaohai Chen, Feifei Tian, Cong Yang, Yun Swinburne University of Technology Melbourne Australia Huazhong University of Science and Technology Wuhan China Deakin University Melbourne Australia Xidian University Xi’an China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9798400712746

Machine learning (ML) models are widely deployed on edge nodes, such as mobile phones and edge servers, to power a wide range of AI applications over the web. Ensuring the integrity of these edge models is paramount, as they are subject to corruption caused by software/hardware exceptions and malicious tampering, which may undermine model performance, incur economic losses, and pose health risks. Existing data integrity mechanisms designed for files stored on disks cannot properly verify the integrity of models running in GPUs or mitigate the new integrity threats against edge models. This paper proposes EdgeThemis, a novel mechanism for verifying the integrity of edge models through sentinel verification. To enable verifiability for a model M, EdgeThemis embeds a sentinel backdoor and a verification module into M. Then, a challenger can send verification requests to the edge node hosting M to verify its integrity. Next, the sentinel activates the verification module to generate a unique integrity proof tied to the identity of the edge node for verification. Finally, the challenger can verify the integrity proof to detect model corruption. Theoretical analysis proves that EdgeThemis can properly mitigate potential integrity threats against edge models. Experiments demonstrate that EdgeThemis achieves a verification accuracy of 100.00% across various models and different types of model corruption with robustness against replay attacks, theft attacks, and replacement attacks. © 2025 Copyright held by the owner/author(s).

关键词： edge computing edge intelligence Model integrity

来源：评论

学校读者我要写书评

暂无评论

A Transformer-Based Spatio-Temporal Graph Neural Network for Anomaly Detection on Dynamic Graphs 12th

A Transformer-Based Spatio-Temporal Graph Neural Network for...

引用

12th CCF Conference on bigdata, bigdata 2024

作者： Gao, Yuanjun Zhu, Quntao Shi, Xuanhua Jin, Hai National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan430074 China

ISBN: (纸本)9789819610235

Dynamic graphs have emerged as a pivotal data structure underpinning real-world network applications. Against this backdrop, detecting anomalies in dynamic graphs has become particularly important, serving as a foundation for multiple downstream tasks. However, existing research has been limited by only considering the simplistic spatial features of the target edge and being confined to local spatial structures. This confinement imposes significant limitations on model performance. Furthermore, current models have not adequately addressed the issue of missing node attributes, relying solely on one-hot encoding to represent nodes, which restricts the expressive capacity of spatial features. In response to these challenges, we propose an end-to-end transformer-based spatio-temporal graph neural network model called TransSTGNN for detecting anomalous edges on dynamic graphs. This model innovatively integrates the graph convolution network with the transformer model to extract multi-dimensional spatial features of the target edge. Simultaneously, TransSTGNN incorporates a novel node enhancement module that reinforces the representation capability of spatial features by encoding the spatial attributes of nodes, effectively tackling the problem of missing node attributes. Extensive experiments confirm that TransSTGNN surpasses the state-of-the-art methods in anomaly detection on six benchmark datasets and effectively resolves the challenges mentioned above. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Spatio-temporal data

来源：评论

学校读者我要写书评

暂无评论

Spatial-Temporal Analysis of Collective Emotional Resonance in China During Global Health Crisis 34

Spatial-Temporal Analysis of Collective Emotional Resonance ...

引用

34th ACM Web Conference, WWW 2025

作者： Zhang, Limiao Qi, Xinyang Ma, Haiping Gao, Jie Zhang, Xingyi Hu, Yanqing Jin, Yaochu Information Materials and Intelligent Sensing Laboratory of Anhui Province Anhui University Hefei China Institutes of Physical Science and Information Technology Anhui University Hefei China School of Innovation and Entrepreneurship Shandong University Qingdao China School of Computer Science and Technology Anhui University Hefei China Department of Statistics and Data Science College of Science Southern University of Science and Technology Shenzhen China Trustworthy and General AI Lab School of Engineering Westlake University Hangzhou China

ISBN: (纸本)9798400712746

The 21st century has already witnessed so many outbreaks with pandemic potential, including SARS (2002), H1N1 (2009), MERS (2012), Ebola (2014), Zika virus (2015), and the COVID-19 pandemic (2019). Using 60 million geotagged Sina Weibo tweets covering over 20 million active accounts, we investigate the collective emotional dynamics on social media in the most recent global pandemic, i.e., COVID-19. This research features two highlights: (1) It focuses on the Chinese population located in the initial epicenter of the pandemic. (2) It examines the initial year after the pandemic outbreak, a critical period where emotions were most intense due to the uncertainty and rapid developments related to the crisis. Using cross-disciplinary methods, we reveal a positive connection between online emotional resonance and geographic proximity, demonstrating a direct mapping between virtual network distances and physical spatial embedding. We propose a percolation-based index to measure the nationwide emotional resonance level with which we illustrate the significant economic impact of the global health issue. Finally, we identify a leader-follower pattern in emotional resonance fluctuations based on time-lag emotion correlations, revealing that less active regions play a crucial role in leading and responding to emotional changes. In the face of long COVID and emerging global health crises, our analysis elucidates how collective emotional resonance evolves, providing potential directions for online opinion interventions during global shocks. © 2025 Copyright held by the owner/author(s).

关键词： Emotional resonance Percolation theory Sentimental analysis Social network

来源：评论

学校读者我要写书评

暂无评论

Super-Resolution of Diffusion-Weighted Images via TDI-Conditioned Diffusion Model 15th

Super-Resolution of Diffusion-Weighted Images via TDI-Cond...

引用

15th International Workshop on Computational Diffusion MRI, CDMRI 2024, held in conjunction with 27th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2024

作者： Ma, Jiquan Teng, Yujun Chen, Geng Jiang, Haotian Zhang, Kai Liu, Feihong Rekik, Islem Shen, Dinggang School of Computer Science and Technology Heilongjiang University Harbin China National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China School of Biomedical Engineering and State Key Laboratory of Advanced Medical Materials and Devices ShanghaiTech University Shanghai China School of Information Science and Technology Northwest University Xi’an China BASIRA Lab Imperial-X and Department of Computing Imperial College London London United Kingdom

ISBN: (纸本)9783031869198

Diffusion-Weighted Imaging (DWI) is a significant technique for studying white matter. However, it suffers from low-resolution obstacles in clinical settings. Post-acquisition Super-Resolution (SR) can enhance the resolution of DWIs and has gained increasing research interest in recent years. An advanced generative model, the Diffusion Model (DM), exhibits particularly promising performance in image SR. However, effective conditions are required to bootstrap the DM for DWI SR. To this end, we proposed the first DM-based DWI SR model with two effective conditions based on low-solution DWIs and Track Density Imaging (TDI) maps, which possess rich high-resolution prior knowledge Additionally, we consider another condition based on features from low-resolution DWIs. These two conditions are integrated into our model, which comprises three components: DWI Resolution Enhancer (DRE), DWI Feature Extractor (DFE), and TDI Feature Extractor (TFE). DRE combines low-resolution DWI features from DFE with TDI features from TFE to progressively generate high-resolution DWIs. We performed extensive experiments on DWIs of normal subjects from human connectome projects and patients with Parkinson’s disease. The results demonstrate that our model outperforms existing DWI SR models, both qualitatively and quantitatively. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Neurodegenerative diseases

来源：评论

学校读者我要写书评

暂无评论

MCT-Net: a multi-branch hybrid CNN-transformer model for medical image segmentation

引用

Pattern Analysis and Applications 2025年第2期28卷 1-21页

作者： Shen, Longfeng Diao, Liangjin Peng, Rui Chen, Jiacong Lu, Zhengtian Ge, Fangzhen Anhui Engineering Research Center for Intelligent Computing and Application on Cognitive Behavior (ICACB) College of Computer Science and Technology Huaibei Normal University Huaibei China Institute of Artificial Intelligence Hefei Comprehensive National Science Center Hefei China Anhui Big-Data Research Center on University Management Huaibei Normal University Huaibei China

In recent years, neural networks have demonstrated substantial progress in medical image segmentation. However, accurately segmenting objects in medical images is often restricted by edge blurring, which complicates the delineation of structures of interest. The purpose of this study is to develop a multi-branch hybrid CNN-transformer model to address the issue of edge blurring in medical image segmentation. This approach enables more precise edge detection and segmentation. Integrating hybrid CNN and transformer decoders facilitates detailed recovery while preserving global structures, thus minimizing errors in regions with blurred edges. Additionally, we incorporate a hybrid attention mechanism at the model’s bottleneck to enhance feature transfer between the encoder and decoder. The model was trained using the ACDC, Synapse, and polyp datasets, with a focus on improving segmentation accuracy in regions with blurry edges. Experimental results reveal that the proposed model surpasses existing state-of-the-art methods on the ACDC, Synapse, and polyp datasets, demonstrating its superior performance and effectiveness. These results suggest that the proposed model offers a significant improvement in handling edge blurring, with potential applications in enhancing medical image analysis and diagnostics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ACGraph: Accelerating Streaming Graph Processing via Dependence Hierarchy 23

ACGraph: Accelerating Streaming Graph Processing via Depende...

引用

Proceedings of the 60th Annual ACM/IEEE Design Automation Conference

作者： Zihan Jiang Fubing Mao Yapu Guo Xu Liu Haikun Liu Xiaofei Liao Hai Jin Wei Zhang National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China Department of Electronic and Computer Engineering HKUST Hong Kong

ISBN: (纸本)9798350323481

Streaming graph processing needs to timely evaluate continuous queries. Prior systems suffer from massive redundant computations due to the irregular order of processing vertices influenced by updates. To address this issue, we propose ACGraph, a novel streaming graph processing approach for monotonic graph algorithms. It maintains dependence trees during runtime, and makes affected vertices processed in a top-to-bottom order in the hierarchy of the dependence trees, thus normalizing the state propagation order and coalescing of multiple propagation to the same vertices. Experimental results show that ACGraph reduces the number of updates by 50% on average, and achieves the speedup of 1.75~7.43× over state-of-the-art systems.

关键词： graph processing

来源：评论

学校读者我要写书评

暂无评论

PSMiner: A Pattern-Aware Accelerator for High-Performance Streaming Graph Pattern Mining 23

PSMiner: A Pattern-Aware Accelerator for High-Performance St...

引用

Proceedings of the 60th Annual ACM/IEEE Design Automation Conference

作者： Hao Qi Yu Zhang Ligang He Kang Luo Jun Huang Haoyu Lu Jin Zhao Hai Jin National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China and Zhejiang-HUST Joint Research Center for Graph Processing Zhejiang Lab China Department of Computer Science University of Warwick United Kingdom

ISBN: (纸本)9798350323481

Streaming Graph Pattern Mining (GPM) has been widely used in many application fields. However, the existing streaming GPM solution suffers from many unnecessary explorations and isomorphism tests, while the existing static GPM ones require many repetitive operations to compute the full graph. In this paper, we propose a pattern-aware incremental execution approach and design the first streaming GPM accelerator called PSMiner, which integrates multiple optimizations to reduce redundant computation and improve computing efficiency. We have conducted extensive experiments. The results show that compared with the state-of-the-art software and hardware solutions, PSMiner achieves the average speedups of 770.9× and 60.4×, respectively.

关键词：

来源：评论

学校读者我要写书评

暂无评论

UICopilot: Automating UI Synthesis via Hierarchical Code Generation from Webpage Designs 34

UICopilot: Automating UI Synthesis via Hierarchical Code Gen...

引用

34th ACM Web Conference, WWW 2025

作者： Gui, Yi Wan, Yao Li, Zhen Zhang, Zhongyi Chen, Dongping Zhang, Hongyu Su, Yi Chen, Bohua Zhou, Xing Jiang, Wenbin Zhang, Xiangliang Huazhong University of Science and Technology Wuhan China Chongqing University Chongqing China Hubei University of Automotive Technology Shiyan China Rabbitpre AI Shenzhen China University of Notre Dame Notre Dame United States National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster Grid Computing Lab School of Computer Science and Technology China

ISBN: (纸本)9798400712746

Automating the synthesis of User Interfaces (UIs) plays a crucial role in enhancing productivity and accelerating the development lifecycle, reducing both development time and manual effort. Recently, the rapid development of Multimodal Large Language Models (MLLMs) has made it possible to generate front-end Hypertext Markup Language (HTML) code directly from webpage designs. However, real-world webpages encompass not only a diverse array of HTML tags but also complex stylesheets, resulting in significantly lengthy code. The lengthy code poses challenges for the performance and efficiency of MLLMs, especially in capturing the structural information of UI designs. To address these challenges, this paper proposes UICopilot, a novel approach to automating UI synthesis via hierarchical code generation from webpage designs. The core idea of UICopilot is to decompose the generation process into two stages: first, generating the coarse-grained HTML hierarchical structure, followed by the generation of fine-grained code. To validate the effectiveness of UICopilot, we conduct experiments on a real-world dataset, i.e., WebCode2M. Experimental results demonstrate that UICopilot significantly outperforms existing baselines in both automatic evaluation metrics and human evaluations. Specifically, statistical analysis reveals that the majority of human annotators prefer the webpages generated by UICopilot over those produced by GPT-4V. © 2025 Copyright held by the owner/author(s).

关键词： Code Generation Design to Code UI Automation

来源：评论

学校读者我要写书评

暂无评论

OUTLIER SYNTHESIS VIA HAMILTONIAN MONTE CARLO FOR OUT-OF-DISTRIBUTION DETECTION

arXiv

引用

arXiv 2025年

作者： Li, Hengzhuang Zhang, Teng National Engineering Research Center for Big Data Technology and System Service Computing Technology and Systems Laboratory Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Out-of-distribution (OOD) detection is crucial for developing trustworthy and reliable machine learning systems. Recent advances in training with auxiliary OOD data demonstrate efficacy in enhancing detection capabilities. Nonetheless, these methods heavily rely on acquiring a large pool of high-quality natural outliers. Some prior methods try to alleviate this problem by synthesizing virtual outliers but suffer from either poor quality or high cost due to the monotonous sampling strategy and the heavy-parameterized generative models. In this paper, we overcome all these problems by proposing the Hamiltonian Monte Carlo Outlier Synthesis (HamOS) framework, which views the synthesis process as sampling from Markov chains. Based solely on the in-distribution data, the Markov chains can extensively traverse the feature space and generate diverse and representative outliers, hence exposing the model to miscellaneous potential OOD scenarios. The Hamiltonian Monte Carlo with sampling acceptance rate almost close to 1 also makes our framework enjoy great efficiency. By empirically competing with SOTA baselines on both standard and large-scale benchmarks, we verify the efficacy and efficiency of our proposed HamOS. Our code is available at: https://***/Fir-lat/HamOS_OOD. © 2025, CC BY.

关键词： Markov chains

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：