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

Arithmetic Expression Evaluations with Membranes

Chinese Journal of Electronics 2025年第1期23卷 55-60页

作者： Ping Guo Haizhu Chen Hui Zheng College of Computer Science Chongqing University Chongqing China Chongqing Key Laboratory of Software Theory and Technology Chongqing China Department of Software Engineering Chongqing College of Electronic Engineering Chongqing China

Arithmetic operations and expression evaluations are fundamental in computing models. This paper firstly designs arithmetic membranes without priority rules for basic arithmetic operations, and then proposes an algorithm to construct expression P systems based on several of such membranes after designing synchronous and asynchronous transmission strategies among the membranes. For any arithmetic expression, an expression P system can be built to evaluate it effectively. Finally, we discuss different parallelism strategies through which different expression P systems can be built for an arithmetic expression.

关键词： Computational modeling Biological system modeling Parallel processing Biomembranes Compounds Arithmetic

来源：评论

学校读者我要写书评

暂无评论

A Meta-Model to Support Compatibility Testing of Cross-Browser Web Application

A Meta-Model to Support Compatibility Testing of Cross-Brows...

引用

International Conference on Advancements in Computational sciences (ICACS)

作者： Mishal Muneer Uzair Rasheed Muhammad Majid Hussain Department of Computer Science & IT The University of Lahore Lahore Pakistan Department of Computer and Software Engineering College of Electrical and Mechanical Engineering NUST Islamabad Pakistan

ISBN: (数字)9798331533038

ISBN: (纸本)9798331533045

Ensuring the user interface (UI) compatibility of web applications across diverse client-side configurations, including various operating systems and browsers, is a significant challenge due to the extensive range of possible combinations. Traditional tools often struggle to address this complexity, leading to visual inconsistencies and malfunctions. To improve compatibility testing, we propose a meta-model that initiates the process with a checklist covering critical configurations across different browsers. This checklist is then translated into Interaction Flow Modeling Language (IFML) constructs, enabling a model-driven approach to compatibility assessment. By leveraging this checklist-IFML integration, we systematically generate test cases that target compatibility issues more effectively. Our approach is validated through the Laptop-Web Case Study, where we assess compatibility by comparing checklist items with IFML constructs within the case study’s domain model. The results show that our approach enhances the accuracy and efficiency of compatibility testing, addressing a core gap in current methods. This research introduces a structured, model-driven method for compatibility testing, providing a more reliable framework for identifying and mitigating UI compatibility issues in web applications across varying client-side configurations.

关键词： Visualization Translation Flow production systems Computational modeling Operating systems User interfaces Reliability engineering Browsers Complexity theory Testing

来源：评论

学校读者我要写书评

暂无评论

Introduction to the Special Issue on Formal Methods and Models for System Design

引用

ACM Transactions on Embedded Computing Systems 2025年第3期24卷 1-3页

作者： Jens Brandt Indranil Saha Lijun Zhang Engineering and Computer Science Hochschule Niederrhein Krefeld Germany Department of Computer Science and Engineering Indian Institute of Technology Kanpur Kanpur India State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

来源：评论

学校读者我要写书评

暂无评论

Efficient Fingerprint Database Organization for Optimized Recognition

Efficient Fingerprint Database Organization for Optimized Re...

引用

Emerging Smart Computing and Informatics (ESCI), Conference on

作者： Jeffrey Jeeva Dhas Adhip Koshy Nishit Dua D. Ajitha Department of Software Systems School of Computer Science and Engineering Vellore Institute of Technology Vellore Tamil Nadu India Department of Software Systems School of Computer Science and Engineering Vellore Institute of Technology Vellore Vellore India

ISBN: (数字)9798331515683

ISBN: (纸本)9798331515690

A popular biometric identification method, renowned for its dependability and individuality in personal identification, is fingerprint recognition. This article presents an efficient fingerprint identification system that significantly reduces processing times for 100,000 fingerprints from 8 minutes to less than 5 seconds by utilizing multithreading, ANSI 378 templates, and Source AFIS. The system overcomes the time-consuming image-to-template conversion procedure and increases overall storage efficiency by utilizing parallel processing and preformatted templates (ANSI/ISO). The fingerprint matching system incorporates Directional Field, CNN models for identifying fingerprint types, and Finger Code methods to classify fingerprints, improving precision and efficiency.

关键词： Technological innovation Multithreading Law enforcement System performance Organizations Machine learning Fingerprint recognition Biometric identification Real-time systems Informatics

来源：评论

学校读者我要写书评

暂无评论

Deep domain adaptation by joint distribution neural matching

引用

Neural Computing and Applications 2025年 1-21页

作者： Hong, Zijie Chen, Sentao Wen, Lisheng Yang, Xiaowei School of Software Engineering South China University of Technology Guangzhou China Department of Computer Science Shantou University Shantou China

Domain adaptation aims to learn a prediction model that performs well in a target domain with unlabeled data by harnessing the distributionally different labeled data from a source domain. In this paper, we design a simple yet powerful neural network approach named joint distribution neural matching (JOINT) to address the challenge of joint distribution difference/mismatch in domain adaptation. Our JOINT approach matches the source joint distribution and the target one in the activation space of a neural network by minimizing an estimate of the Jensen–Shannon (JS) divergence between the two joint distributions. The estimated JS divergence is derived in an explicit form, which frees our approach from solving a minimax adversarial problem when matching the distributions. Experiments on four representative large-scale visual recognition datasets show that our JOINT approach outperforms the state-of-the-art under both unsupervised and semi-supervised domain adaptation settings. Our code will be available at https://***/TitanRisen/JOINT-CODE .

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating Feature Prioritization in a Reduced Feature Set Using Explainable AI for Intracranial Aneurysm Classification

Evaluating Feature Prioritization in a Reduced Feature Set U...

引用

International Conference on Advancements in Computational sciences (ICACS)

作者： Iram Abdullah Ali Javed Department of Computer Science Air University Kamra Pakistan Department of Software Engineering University of Engineering & Technology Taxila Pakistan

ISBN: (数字)9798331533038

ISBN: (纸本)9798331533045

The timely management of an unruptured aneurysm can prevent hemorrhage. Multiple anatomical, morphological, and hemodynamic features associated with an aneurysm can predict the risk of rupture and classify the nature of the aneurysm as either ruptured or unruptured. However, considering all features may create ambiguities in the model due to inter-dependencies, such as the correlation between aneurysm height and width to aneurysm area. In computer-aided medical diagnostics, focusing on relevant features that diagnose the disease is more crucial than using an abundance of features that may not contribute to the diagnosis and may cause unnecessary complexity. The use of independent or sparsely correlated features improves the accuracy of the classifier. The proposed research analyzes the interdependency of features by calculating the correlation between features. Based on the analyses, the high correlation threshold is determined through rigorous experimentation. From the highly correlated features, one feature is selected. Consequently, the reduced feature set is recommended. The reduced feature set performs better with simpler classifiers. Instead of choosing a classifier that struggles with a broad range of features, an appropriately optimized feature set can enhance performance and improve accuracy. The proposed approach is tested on a publicly available dataset of aneurysms, leading to an improvement in classification accuracy from 82.6% to 87%, due to the use of an appropriate feature set. Moreover, the best model was evaluated using two different explainable AI frameworks to assess the contribution of each feature in prediction. However, the conflicting feature prioritization in each explainable framework suggests that these models prioritize different features for the same trained model, leading to ambiguity. This inconsistency indicates that the explainable models lack generalization and fail to consistently analyze feature importance.

关键词： Accuracy Correlation Explainable AI Computational modeling Redundancy Training data Aneurysm Predictive models Medical diagnosis Random forests

来源：评论

学校读者我要写书评

暂无评论

Optimizing Heart-Kidney Interaction for Cancer Detection through Physiological Process Simulation as a Decision Support System

引用

IEEE Access 2025年 13卷 79169-79179页

作者： Jaddi, Najmeh Sadat Abdullah, Salwanj Othnman, Zalinda Yahya, Yazrina Nazri, Mohd Zakree Ahmad Goh, Say Leng Alvankarian, Fatemeh Alvankarian, Jafar Iranian eUniversity Faculty of Computer Engineering Tehran Iran Faculty of Information Science and Technology Center for Artificial Intelligence Technology Selangor Bangi43600 Malaysia Center for Software Technology and Management Faculty of Information Science and Technology UniversitiKebangsaan Malaysia Selangor Bangi43600 Malaysia Universiti Malaysia Sabah KampusAntarabangsa Labuan Optimisation and Analytics Research Group Faculty of Computing and Informatics Labuan87000 Malaysia University of Maryland Department of Electrical & Computer Engineering College ParkMD20742 United States Tehran University Science and Technology Park RayanMiniFab Tehran Iran

Decision support system (DSS) is a computer-based tool used to improve decision-making capabilities for any organization, using analysis of the available *** heart-kidney (HK) model proposed in this paper as a DSS simulates the physiological processes of the heart and kidneys in the human body to support cancer detection. The first part of the HK algorithm is inspired by the functions of the heart, where blood molecules (solutions) are sent to the heart, simulating the processes of oxygenation and the pumping of oxygenated blood to the kidneys as a local search. The solutions generated by the heart are then fed into the kidney-inspired algorithm (KA), which performs filtration, reabsorption, secretion, and excretion. The heart component enhances the KA's local search capability, guiding the algorithm toward optimal solutions. The HK model is evaluated on eight test functions, with results compared to those of the heart algorithm and KA alone. Additionally, the HK algorithm's effectiveness as a decision support system is tested on benchmark classification and time series prediction problems, with statistical analysis against existing methods in the literature. Finally, the HK algorithm is applied to cancer detection from microRNA data, demonstrating its potential in optimizing decision-making processes in healthcare. © 2013 IEEE.

关键词： Diseases

来源：评论

学校读者我要写书评

暂无评论

Ownership Verification for Federated Recommendation

引用

ACM Transactions on Information Systems 2025年第3期43卷 1-27页

作者： Enyue Yang Weike Pan Lixin Fan Hanlin Gu Zhitao Li Qiang Yang Zhong Ming College of Computer Science and Software Engineering Shenzhen University Shenzhen China AI Department WeBank Shenzhen China Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China and AI Department WeBank Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Shenzhen Technology University Shenzhen China and Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ) Shenzhen China

Most federated learning-based recommender systems allow clients to access a well-trained high-quality model locally, which provides adversaries with the opportunity to infringe the legitimate copyright of the model. In response, we study an emerging and important problem, i.e., copyright protection of a federated recommendation model, which has not yet been addressed in the community of federated learning or recommender systems. We propose the first backdoor-based ownership verification scheme for federated recommendation (OVFR), which enables the server to claim its ownership for a given suspicious recommendation model. First, we propose to generate a trigger set tailored to recommendation scenarios. In particular, we generate some fake users and items, and then construct a set of fake users with fake interaction records as a trigger set. Moreover, we ensure that the distribution of the popularity of the fake items follows a long-tailed distribution for the effectiveness of the incorporated watermarking. To provide robustness assurance, we propose two different hybrid strategies to make the embeddings of the fake items similar to those of the real items. Second, we focus on effectively learning from a trigger set for recommendation scenarios. In particular, we design an MSE loss function and a contrastive loss function for incorporating the backdoor-based watermarking into the item embeddings, since the item embeddings are often more valuable and easier to be accessed than other parameters of a federated recommendation model. We then design a contrastive loss function to reduce the risk of the fake items being detected. Extensive experiments on three public datasets show the effectiveness of our OVFR in terms of ownership verification, model performance, and robustness.

关键词： Federated recommendation Ownership verification

来源：评论

学校读者我要写书评

暂无评论

A Novel Approach Using Machine Learning for Accurate Detection of DDoS Attack in software Defined Network 2nd

A Novel Approach Using Machine Learning for Accurate Detecti...

引用

2nd International Conference on Cyber Intelligence and Information Retrieval, CIIR 2023

作者： Sharma, Hitesh Kumar Choudhury, Tanupriya Kotecha, Ketan Mahdi, Hussain Falih Dutta, Soumi Bhattacharya, Abhishek Sar, Ayan Energy Acres Bidholi Uttarakhand Bidholi India School of Computer Science University of Petroleum and Energy Studies Uttarakhand Dehradun India Pune India Pune India Department of Computer and Software Engineering University of Diyala Baquba Iraq Sister Nivedita University Chakpachuria India

ISBN: (纸本)9789819776023

A denial Of Service (DoS) attack is termed an attack when the request-receiving server or network shuts down or becomes inaccessible for service. This kind of attack is caused by flooding the target server or network with huge traffic or sending information which can trigger a vulnerability to the server and lead to server crash. Different kinds of DoS attacks can occur on a network including a classic DoS attack which is carried out by a single client machine sending tons of requests and data to a server by itself to increase its processing to the extent that no new genuine requests are answered by the server and network is ultimately unreachable. Another kind of DoS attack is termed a DDoS (Distributed Denial Of Service) attack which includes a master host machine that leverages the network of machines around it to send multiple requests to the server from different machines which act as zombie machines for the attack as the machine won’t even have an idea itself that they are being used for an attack on the server. As multiple requests and data hits the server from different locations, the server becomes unavailable for processing and leads to network failure. These zombie machines are termed botnets which are connected online and are used to overwhelm a target website with fake traffic. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Denial-of-service attack

来源：评论

学校读者我要写书评

暂无评论

Decentralized Authentication Scheme Incorporating Reputation and Attribute Signature for Cross-Web3 Applications

引用

IEEE Internet of Things Journal 2025年第10期12卷 14526-14537页

作者： Song, Xiaoling Xu, Guangxia Huang, Yongfei Liu, Yong Chongqing University of Posts and Telecommunications School of Computer Science and Technology Chongqing400065 China Guangzhou University Cyberspace Institute of Advanced Technology Guangzhou510006 China Peng Cheng Laboratory Department of New Networks Shenzhen518000 China Chongqing University of Posts and Telecommunications School of Software Engineering Chongqing400065 China

Driven by Web 3.0, the number of decentralized applications (DAPPs) continues to increase, and the need for decentralized authentication across applications becomes more and more significant. In addition, multi-dimensional reputation assessment becomes especially critical in a decentralized environment. However, there is still a lack of trusted and flexible self-sovereign identity (SSI) authentication mechanisms in Web 3.0 decentralized zero-trust cross-applications access scenarios. In response to these challenges, we propose a decentralized authentication scheme that fuses reputation assessment and attribute signature for the open and self-organized Web3 application. Firstly, we design an attribute signature method based on the attributes in a user's verifiable credentials (VCs). The signature can be used for authentication across Web3 applications, and the authenticator can flexibly adjust the attributes to be verified and their number according to specific needs. Meanwhile, in the attribute signature, we construct a multi-dimensional reputation assessment mechanism to comprehensively assess the user's reputation from multiple aspects to determine his/her security risk level, so as to reduce the possibility of identity fraud. Ultimately, through comparative analysis, we verify the advantages of the scheme in terms of privacy, scalability and attack resistance. Moreover, we analyze the performance of the key algorithms in the scheme through simulation experiments, and the experimental results show that our scheme is feasible. © 2014 IEEE.

关键词： Authentication Protocol

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：