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

2024 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2024

作者： Raza, Muhammad Umair Chen, Jie Wang, Li Nawaz, Adil Leung, Victor C.M. Li, Jianqiang Shenzhen University College of Computer Science and Software Engineering China Shenzhen University National Engineering Laboratory for Big Data System Computing Technology China

ISBN: (纸本)9798350386226

The challenge of interpretability remains a significant barrier to adopting deep neural networks in healthcare domains. Although tree regularization aims to align a deep neural network's decisions with a single axis-aligned decision tree, however, relying on one tree for all inputs often leads to sub-optimal performance and interoperability. To address this limitation, we propose an enhanced tree regularization method that integrates a post-hoc visual explainable model such as Grad-CAM. This approach guides the deep model to be well-approximated by decision trees tailored to the salient regions identified by Grad-CAM in the input space. We rigorously validate the effectiveness of this framework on two cancer cell datasets: CNMC, which focuses on acute lymphoblastic leukemia cells, and ISBI2016, which comprises benign and malignant skin lesions. The results demonstrate that the proposed method delivers simpler and more interpretable explanations without compromising accuracy, thereby advancing the interpretability of deep learning models in critical healthcare applications. © 2024 IEEE.

关键词： Cancer cells

来源：评论

学校读者我要写书评

暂无评论

Real-Time DAG Task Allocation Strategy for Multiprocessor by Optimistic Parallelism 24

Real-Time DAG Task Allocation Strategy for Multiprocessor by...

引用

24th IEEE International Conference on Communication technology, ICCT 2024

作者： Chen, Yumeng Liu, Songlin Zhou, Jianhong Ling, Xiang University of Electronic Science and Technology of China National Key Laboratory of Science and Technology on Communications China Xihua University School of Computer and Software Engineering China

ISBN: (纸本)9798350363760

In modern real-time operating systems, complex task loads are often modeled as directed acyclic graphs (DAG) and executed in parallel on multiprocessor systems. The topological constraints present in DAG tasks prevent the DAG task allocation strategy from fully leveraging the parallel advantage of multiprocessor platforms. We analyze the parallelism of DAG tasks and propose a method to limit the number of processors that can be executed by DAG tasks. This method provides more idle processors and processor time for high parallelism DAG tasks by limiting the number of processors that can be executed by low parallelism DAG tasks. In addition, we develope optimistic parallelism scheduling algorithm (OPSA) based on the remaining utilization with low complexity. The experimental results show that our DAG task allocation strategy fully utilizes processor resources, reduces interference between DAG tasks, and achieves better worst case response time (WCRT) analysis results and shorter actual task's WCRT on real-time multiprocessor system. © 2024 IEEE.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

An Iterative Deep Neural Network Pruning Method Based on Filter Redundancy Assessment 5

An Iterative Deep Neural Network Pruning Method Based on Fil...

引用

5th International Seminar on Artificial Intelligence, Networking and Information technology, AINIT 2024

作者： Lai, Xiaochen Wang, Lukang Zhang, Liyong School of Software Dalian University of Technology Dalian China Key Laboratory For Ubiquitous Network and Service Software of Liaoning Province Dalian China School of Control Science and Engineering Dalian University of Technology Dalian China

ISBN: (纸本)9798350385557

Storage and inference of deep neural network models are resource-intensive, limiting their deployment on edge devices. Structured pruning methods can reduce the resource requirements for model storage and inference by selectively removing low-contributing filters. Current methods do not focus on the functional relations between filters and cannot remove filters that are scored as high-contributing but have redundant feature extraction capabilities. To address this limitation, we propose a structured pruning method, Important filter Decreasing Iteratively (IDI), which removes low-contributing filters and functionally redundant filters in two pruning stages, respectively. The first stage of the IDI removes low contribution filters using a filter contribution evaluation criterion. In the second stage, the Important filter Decreasing (ID) operation removes redundant filters with high functional similarity. Multiple ID operations are performed iteratively to gradually reduce the parameter size of the model without drastically breaking its performance. Experimental results show that compared with existing filter-level pruning methods, the compact model obtained by IDI has higher accuracy. IDI efficiently realizes the compression of deep neural networks. © 2024 IEEE.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

PredRacer: Predictively Detecting Data Races in Android Applications 31

PredRacer: Predictively Detecting Data Races in Android Appl...

引用

31st IEEE International Conference on software Analysis, Evolution and Reengineering, SANER 2024

作者： Guo, Xin Qi, Xiaofang Li, Yanhui Wu, Chao School of Computer Science and Engineering Southeast University China Nanjing University State Key Laboratory for Novel Software Technology China

ISBN: (纸本)9798350330663

Android platform offers a hybrid concurrency model encompassing multi-threading and asynchronous messaging for concurrent programming. The model is powerful but complex, making it difficult for developers to analyze concurrent behaviors. Data race, a prevalent concurrency defect in real-world Android applications, often results in abnormal executions of mobile applications, even crashes. Despite quite a few studies on detecting data races, it still suffers from high false positives with static analysis techniques and high false negatives with dynamic analysis techniques. To address this issue, this paper presents a predictive approach, PredRacer, for detecting data races in Android applications. It first captures an execution trace of an Android application, and then reorders the events within the trace based on partial orders. Finally, it checks the feasibility of the generated event sequence, which contains a potential data race. PredRacer increases the search scope and reduces false negatives while mitigating false positives by incorporating the happen-before relations specific to the Android concurrency model. The effectiveness of PredRacer is evaluated using the BenchERoid data set. Experimental results demonstrate that PredRacer achieves high precision, recall, and F1 score, outperforming the state-of-the-art techniques. A collection of 20 open-source Android applications is further utilized to assess the effectiveness of PredRacer, and an evaluation of 300 wild apps is conducted to assess its efficiency and scalability. © 2024 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts 24

An Approach to Optimize Symbolic Execution in Ethereum Smart...

引用

24th IEEE International Conference on software Quality, Reliability and Security Companion, QRS-C 2024

作者： Liu, Yi Cai, Lizhi Chai, Chenchen Ma, Yuan School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China

ISBN: (纸本)9798350365658

As the application of smart contracts in blockchain technology becomes increasingly widespread, their security issues have emerged as a focal point of both research and practice. Although symbolic execution technology has been extensively applied for the detection of security vulnerabilities in smart contracts, its limitations in terms of execution efficiency and code coverage remain significant. In response to these challenges, this study introduces an innovative method named HoneyToken-DetectorRev, which optimizes traditional symbolic execution through program slicing technology, aiming to enhance the efficiency and effectiveness of smart contract security detection. By selecting ten smart contracts from the Ethereum platform, which vary in business logic and complexity, we conducted an empirical analysis of HoneyToken-DetectorRev. The experimental results demonstrate that this method significantly improves the efficiency of smart contract detection without sacrificing precision. This research not only provides an effective technical approach for the security detection of smart contracts but also offers theoretical and practical guidance for further enhancing the security of blockchain applications. © 2024 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Investigating White-Box Attacks for On-Device Models 24

Investigating White-Box Attacks for On-Device Models

引用

44th ACM/IEEE International Conference on software engineering, ICSE 2024

作者： Zhou, Mingyi Gao, Xiang Wu, Jing Liu, Kui Sun, Hailong Li, Li Monash University MelbourneVIC Australia Beihang University Beijing China Huawei Software Engineering Application Technology Lab China Beihang University Beijing China Yunnan Key Laboratory of Software Engineering China

ISBN: (纸本)9798400702174

Numerous mobile apps have leveraged deep learning capabilities. However, on-device models are vulnerable to attacks as they can be easily extracted from their corresponding mobile apps. Although the structure and parameters information of these models can be accessed, existing on-device attacking approaches only generate black-box attacks (i.e., indirect white-box attacks), which are less effective and efficient than white-box strategies. This is because mobile deep learning (DL) frameworks like TensorFlow Lite (TFLite) do not support gradient computing (referred to as non-debuggable models), which is necessary for white-box attacking algorithms. Thus, we argue that existing findings may underestimate the harm-fulness of on-device attacks. To validate this, we systematically analyze the difficulties of transforming the on-device model to its debuggable version and propose a Reverse engineering framework for On-device Models (REOM), which automatically reverses the compiled on-device TFLite model to its debuggable version, enabling attackers to launch white-box attacks. Our empirical results show that our approach is effective in achieving automated transformation (i.e., 92.6%) among 244 TFLite models. Compared with previous attacks using surrogate models, REOM enables attackers to achieve higher attack success rates (10.23%→89.03%) with a hun-dred times smaller attack perturbations (1.0→0.01). Our findings emphasize the need for developers to carefully consider their model deployment strategies, and use white-box methods to evaluate the vulnerability of on-device models. Our artifacts11https://***/zhoumingyi/REOM are available. © 2024 ACM.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

On-demand imidazolidinyl urea-based tissue-like,self-healable,and antibacterial hydrogels for infectious wound care

引用

Bioactive Materials 2025年第2期44卷 116-130页

作者： Qi Wu Krishanu Ghosal Nadine Kana’an Shounak Roy Nagham Rashed Ranabir Majumder Mahitosh Mandal Liang Gao Shady Farah The Laboratory for Advanced Functional/Medicinal Polymers&Smart Drug Delivery Technologies The Wolfson Faculty of Chemical EngineeringTechnion-Israel Institute of TechnologyHaifa3200003Israel School of Medical Science and Technology Indian Institute of Technology KharagpurWest Bengal721302India Jinan Key Laboratory of High Performance Industrial Software Jinan Institute of Supercomputing TechnologyJinan250000China The Russell Berrie Nanotechnology Institute Technion-Israel Institute of TechnologyHaifa3200003Israel

Bacterial wound infections are a growing challenge in healthcare,posing severe risks like systemic infection,organ failure,and sepsis,with projections predicting over 10 million deaths annually by *** hydrogels,with adaptable extracellular matrix-like features,are emerging as promising solutions for treating infectious ***,the antibacterial properties of most of these hydrogels are largely attributed to extrinsic agents,and their mechanisms of action remain poorly *** we introduce for the first time,modified imidazolidinyl urea(IU)as the polymeric backbone for developing tissue-like antibacterial ***-designed hydrogels behave tissue-like mechanical features,outstanding antifreeze behavior,and rapid self-healing *** dynamics(MD)simulation and density functional theory(DFT)calculation were employed to well-understand the extent of H-bonding and metal-ligand coordination to finetune hydrogels’*** vitro studies suggest good biocompatibility of hydrogels against mouse fibroblasts&human skin,lung,and red blood cells,with potential wound healing ***,the hydrogels exhibit good 3D printability and remarkable antibacterial activity,attributed to concentration dependent ROS genera-tion,oxidative stress induction,and subsequent disruption of bacterial *** top of that,in vitro biofilm studies confirmed that developed hydrogels are effective in preventing biofilm ***,these tissue-mimetic hydrogels present a promising and effective platform for accelerating wound healing while simulta-neously controlling bacterial infections,offering hope for the future of wound care.

关键词： Imidazolidinyl urea Self-healing Antibacterial hydrogel Antibiofilm hydrogel Wound care

来源：评论

学校读者我要写书评

暂无评论

An Efficient and Provably Secure SM2 Key-Insulated Signature Scheme for Industrial Internet of Things

引用

Computer Modeling in engineering & Sciences 2024年第1期138卷 903-915页

作者： Senshan Ouyang Xiang Liu Lei Liu Shangchao Wang Baichuan Shao Yang Zhao School of Mechanical Engineering Northwestern Polytechnical UniversityXi’anChina Department of Process and Information Technology Chengdu Aircraft Industrial(Group)Co.Ltd.ChengduChina School of Information and Software Engineering The Network and Data Security Key Laboratory of Sichuan ProvinceUniversity of Electronic Science and Technology of ChinaChengduChina

With the continuous expansion of the Industrial Internet of Things(IIoT),more andmore organisations are placing large amounts of data in the cloud to reduce ***,the channel between cloud servers and smart equipment is not trustworthy,so the issue of data authenticity needs to be *** SM2 digital signature algorithm can provide an authentication mechanism for data to solve such ***,it still suffers from the problem of key *** order to address this concern,this study first introduces a key-insulated scheme,SM2-KI-SIGN,based on the SM2 *** scheme boasts strong key insulation and secure *** scheme uses the elliptic curve algorithm,which is not only more efficient but also more suitable for IIoT-cloud ***,the security proof of SM2-KI-SIGN is given under the Elliptic Curve Discrete Logarithm(ECDL)assumption in the random oracle.

关键词： Key-insulated SM2 algorithm digital signature Industrial Internet of Things(IIoT) provable security

来源：评论

学校读者我要写书评

暂无评论

Rethinking-based Code Summarization with Chain of Comments 31

Rethinking-based Code Summarization with Chain of Comments

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Cao, Liuwen He, Hongkui Huang, Hailin Wang, Jiexin Cai, Yi School of Software Engineering South China University of Technology China Key Laboratory of Big Data and Intelligent Robot South China University of Technology Ministry of Education China

ISBN: (纸本)9798891761964

Automatic code summarization aims to generate concise natural language descriptions (summary) for source code, which can free software developers from the heavy burden of manual commenting and software maintenance. Existing methods focus on learning a direct mapping from pure code to summaries, overlooking the significant heterogeneity gap between code and summary. Moreover, existing methods lack a human-like re-check process to evaluate whether the generated summaries match well with the code. To address these two limitations, we introduce RBCoSum, a novel framework that incorporates the generated Chain Of Comments (COC) as auxiliary intermediate information for the model to bridge the gap between code and summaries. Also, we propose a rethinking process where a learned ranker trained on our constructed ranking dataset scores the extent of matching between the generated summary and the code, selecting the highest-scoring summary to achieve a re-check process. We conduct extensive experiments to evaluate our approach and compare it with other automatic code summarization models as well as multiple code Large Language Models (LLMs). The experimental results show that RBCoSum is effective and outperforms baselines by a large margin. The human evaluation also proves the summaries generated with RBCoSum are more natural, informative, useful, and truthful. © 2025 Association for Computational Linguistics.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

FastVGG network and its application in automatic identification of traffic signs

引用

International Journal of Information and Communication technology 2022年第2期20卷 192-203页

作者： Gui, Kaige Gao, Shangbing Li, Xinyuan Lu, Zhonghe College of Computer and Software Engineering Huaiyin Institute of Technology Huaian223001 China Jiangsu Mobile Internet of Things Technology Engineering Laboratory Huaian223001 China

Traffic sign recognition is an important part of driver assistance systems. Because the types of traffic signs are complex and diverse, they are difficult to identify. Traditional recognition methods require manual extraction of features, which is difficult and inaccurate. This paper proposes a FastVGG network based on VGG neural network to extract the features of the target image to realise the recognition of traffic signs under different angles and illumination. In the method of this paper, the connection layer parameters and the number of network layers are moderately reduced, the merging step is increased, and the recognition speed is improved. When the parameter value is less than zero, the leaky ReLU is used to replace the activation function to solve the problem of neuron death. The experimental results of the German traffic sign recognition dataset (GTSRD) show that the algorithm can achieve accurate classification while increasing the speed. © 2022 Inderscience Enterprises Ltd.. All rights reserved.

关键词： Traffic signs

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：