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

38th AAAI Conference on Artificial Intelligence, AAAI 2024

作者： Sidorov, Konstantin de Almeida Correia, Gonçalo Homem de Weerdt, Mathijs Demirović, Emir Algorithmics Group Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Netherlands Faculty of Civil Engineering and Geosciences Delft University of Technology Netherlands

ISBN: (纸本)1577358872

People want to rely on optimization algorithms for complex decisions but verifying the optimality of the solutions can then become a valid concern, particularly for critical decisions taken by non-experts in optimization. One example is the shortest-path problem on a network, occurring in many contexts from transportation to logistics to telecommunications. While the standard shortest-path problem is both solvable in polynomial time and certifiable by duality, introducing side constraints makes solving and certifying the solutions much harder. We propose a proof system for constrained shortest-path problems, which gives a set of logical rules to derive new facts about feasible solutions. The key trait of the proposed proof system is that it specifically includes high-level graph concepts within its reasoning steps (such as connectivity or path structure), in contrast to using linear combinations of model constraints. Using our proof system, we can provide a step-by-step, human-auditable explanation showing that the path given by an external solver cannot be improved. Additionally, to maximize the advantages of this setup, we propose a proof search procedure that specifically aims to find small proofs of this form using a procedure similar to A* search. We evaluate our proof system on constrained shortest path instances generated from real-world road networks and experimentally show that we may indeed derive more interpretable proofs compared to an integer programming approach, in some cases leading to much smaller proofs. Copyright © 2024, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Secure Batch Deduplication without Dual Servers in Backup System

引用

IEEE Transactions on Dependable and Secure Computing 2024年 1-13页

作者： Zheng, Haoyu Zeng, Shengke Li, Hongwei Li, Zhijun Xihua College Xihua University Chengdu China school of Computer and Software Engineering Xihua University Chengdu China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China MIG Group Cisco Systems Canada Co. Ottawa ON Canada

Cloud storage provides highly available and low cost resources to users. However, as massive amounts of outsourced data grow rapidly, an effective data deduplication scheme is necessary. This is a hot and challenging field, in which there are quite a few researches. However, most of previous works require dual-server fashion to be against brute-force attacks and do not support batch checking. It is not practicable for the massive data stored in the cloud. In this paper, we present a secure batch deduplication scheme for backup system. Besides, our scheme resists the brute-force attacks without the aid of other servers. The core idea of the batch deduplication is to separate users into different groups by using short hashes. Within each group, we leverage group key agreement and symmetric encryption to achieve secure batch checking and semantically secure storage. We also extensively evaluate its performance and overhead based on different datasets. We show that our scheme saves the data storage by up to 89.84%. These results show that our scheme is efficient and scalable for cloud backup system and can also ensure data confidentiality. IEEE

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A survey on RGB images classification using convolutional neural network (CNN) architectures: Applications and challenges

A survey on RGB images classification using convolutional ne...

引用

2024 International Conference on Circuit, systems and Communication, ICCSC 2024

作者： Khayya, El Kharrachi El Oirrak, Ahmed Datsi, Toufik Cadi Ayyad University Faculty of Sciences Semlalia Computer Systems Engineering Laboratory Marrakech Morocco

ISBN: (纸本)9798350365306

The process of classifying RGB images is a basic and noxious activity in computer vision with an array of applications in face recognition, traffic analysis, and security protocols. An important part of this mission encompasses Convolutional Neural Networks, deemed to be core technologies, as they are capable in many domains. This short survey paper aims at conducting an in-depth analysis of CNN-based RGB image classification approaches in a way that considers complex architectures, multiple uses, and the difficulties that are entailed in them. The motivation behind this survey is to talk about the ever-increasing importance of RGB image classification across different applications. It hopes to explore and attend to the challenges emerging in association with this technology while also discussing the latest architectures and techniques advancing the field. In this paper, we go through different methods used while building the CNN architectures, thereby explaining their way of handling RGB image classification tasks. Moreover, it gives a detailed discussion about various other areas where CNNs seem to be efficient, such as agriculture and veterinary. This short survey will also dwell on the main challenges faced when dealing with RGB image classification, such as dataset variability, model robustness, and computational complexity issues. We construct the comprehensive understanding of CNN-based RGB image classification by synthesizing ideas from well-known datasets, such as CIFAR-10 and others, that will provide the foundation for future research in this area © 2024 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

A learning artificial visual system for motion direction detection

引用

Neural Computing and Applications 2024年第27期36卷 17181-17197页

作者： Chen, Tianqi Kobayashi, Yuki Todo, Yuki Tang, Zheng Faculty of Electrical and Computer Engineering Kanazawa University Kakuma Ishikawa Kanazawa9201162 Japan Department of Intelligence Information Systems University of Toyama Toyama9308555 Japan

Research on the visual system and its development is not only crucial for understanding how we see and interpret the environment from basic visual processing to complex perception but also aids in the development of technologies like virtual reality, augmented reality, and computer vision. In our previous paper, we have proposed a novel biological motion direction detection mechanism. Based on this mechanism, the authors of this paper proposed a learning artificial visual system (AVS) and use it to achieve motion direction detection. The learning AVS consists of two layers: the local visual feature detective neuron layer and the global feature detective neuron layer. For local motion direction detection, we use dendritic neurons to implement local motion direction-detective neurons and use them to extract local motion direction information. Global feature detective neurons are simply implemented by summing the local motion direction-detective neurons in each direction of possible motion. We trained the learning AVS by eliminating unnecessary branches or synapses and keeping only those that are strongly connected to the function of motion direction detection. computer simulations demonstrate that AVS can learn the correct motion direction of objects with different shapes, size and positions. We compare the performance of AVS with support vector machine (SVM) and traditional convolutional neural networks (CNNs)—LeNet-5 and EfficientNet-B0 (EfN)—in motion direction detection and find that our learning AVS has better recognition accuracy, noise immunity and less demands on size of dataset and learning costs. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Neurons

来源：评论

学校读者我要写书评

暂无评论

Airstacknet: A Stacking Ensemble-Based Approach for Air Quality Prediction

引用

computers, Materials & Continua 2023年第1期74卷 2073-2096页

作者： Amel Ksibi Amina Salhi Ala Saleh Alluhaidan Sahar A.El-Rahman Department of Information Systems College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityRiyadhSaudi Arabia Electrical Engineering Department Faculty of Engineering-ShoubraBenha UniversityCairoEgypt

The quality of the airwe breathe during the courses of our daily lives has a significant impact on our health and well-being as ***,personal air quality measurement remains *** this study,we investigate the use of first-person photos for the prediction of air *** main idea is to harness the power of a generalized stacking approach and the importance of haze features extracted from first-person images to create an efficient new stacking model called AirStackNet for air pollution *** consists of two layers and four regression models,where the first layer generates meta-data fromLight Gradient Boosting Machine(Light-GBM),Extreme Gradient Boosting Regression(XGBoost)and CatBoost Regression(CatBoost),whereas the second layer computes the final prediction from the meta-data of the first layer using Extra Tree Regression(ET).The performance of the proposed AirStackNet model is validated using public Personal Air Quality Dataset(PAQD).Our experiments are evaluated using Mean Absolute Error(MAE),Root Mean Square Error(RMSE),Coefficient of Determination(R2),Mean Squared Error(MSE),Root Mean Squared Logarithmic Error(RMSLE),and Mean Absolute Percentage Error(MAPE).Experimental Results indicate that the proposed AirStackNet model not only can effectively improve air pollution prediction performance by overcoming the Bias-Variance tradeoff,but also outperforms baseline and state of the art models.

关键词： Personal air quality prediction airstacknet ensemble learning feature extraction stacking

来源：评论

学校读者我要写书评

暂无评论

A Review of Evaluation Metrics Algorithmic Used in Scholarly Research Recommender System 4

A Review of Evaluation Metrics Algorithmic Used in Scholarly...

引用

4th International Multidisciplinary Information Technology and engineering Conference, IMITEC 2024

作者： Ovono, Gerald Zuva, Travos Otunniyi, Temidayo Faculty of Applied and Computer Sciences Department of Computer South Africa VaalUniversity of Technology Faculty of Engineering and Technology Department of Process Control and Computer Systems South Africa

ISBN: (纸本)9798350387988

The exponential growth of academic publications has made scholarly research recommender systems indispensable tools for researchers. These systems rely on diverse evaluation metrics to assess their effectiveness and relevance. This paper provides a comprehensive review and analysis of these metrics, categorizing them into accuracy, ranking, diversity, user-centric, coverage, temporal, and computational metrics. By employing a mixed-methods approach, combining systematic literature review and empirical analysis, we identify the prevalence and application of these metrics across various scholarly domains such as literature, conferences, and reviewers. Our findings highlight the widespread use of traditional metrics like precision, recall, and Fl-score, while emphasizing the growing importance of novel metrics such as unexpectedness and serendipity, especially in literature and conference recommendations. We also underscore the domain-specific nature of metric selection, with user-centric evaluations more prominent in literature recommendations, and ranking-focused metrics dominant in conference and reviewer recommendations. Furthermore, the study reveals a significant gap in the use of temporal and computational metrics, suggesting key areas for future research. This review offers valuable insights for researchers and practitioners, guiding them in metric selection and highlighting potential directions for enhancing the effectiveness, adaptability, and user satisfaction of scholarly recommender systems. © 2024 IEEE.

关键词： Algorithms Evaluation Metrics Novelty Recommender systems Scholarly Research Serendipity

来源：评论

学校读者我要写书评

暂无评论

Proposal of a Document Layout Analysis Method Adopting Pre-processing Based on Document Image Classification 16th

Proposal of a Document Layout Analysis Method Adopting Pre...

引用

16th International Conference on Genetic and Evolutionary Computing, ICGEC 2024

作者： Kakinoki, Kanta Katayama, Tetsuro Department of Computer Science and Systems Engineering Faculty of Engineering University of Miyazaki 1-1 Gakuen-Kibanadai Nishi Miyazaki889-2192 Japan

ISBN: (纸本)9789819615346

To extract important information from the document images, document layout analysis research has been carried out. Previous research analyzes document layouts only for specific document formats. This paper proposes a document layout analysis method that adopts pre-processing based on document image classification to analyze document layouts for various document formats. From the application examples, we have confirmed that the proposed method can correctly analyze document layout by using training models trained for each document format. Furthermore, to evaluate the usefulness of the proposed method, we have compared the F score of the proposed method for document layout analysis using a single training model covering various document formats and using a training model generated for each document format. As a result, we have confirmed that our proposed method is useful in document layout analysis. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： document image classification document layout analysis rule-based correction

来源：评论

学校读者我要写书评

暂无评论

Accurate and Approximate Solutions of Nonlinear Electron Plasma Oscillations

引用

International Journal of Applied and Computational Mathematics 2024年第4期10卷 1-24页

作者： Kontomaris, S.V. Malamou, A. Faculty of Engineering and Architecture Metropolitan College BioNanoTec LTD Radar Systems and Remote Sensing Lab of School of Electrical and Computer Engineering of National Technical University of Athens

Nonlinear oscillations can be used to describe a significant number of physical phenomena from classic to modern physics. Thus, it is important to find accurate solutions using elementary functions that can be easily applied in relative applications. In this paper, the oscillations described by the nonlinear differential equation u^′′=ω_p0²(1-u∓2β²u^γ), where ω_p0,β,γ are positive constants are being considered. The aforementioned differential equations are of great importance since they are used to describe electron plasma oscillations under the influence of temperature effects and for big oscillations amplitudes. The amplitude and period of the oscillation for different values of constants β,γ are derived using rigorous mathematical analysis and simplified approximate methods. In addition, accurate solutions u=f(t) in the form of elementary functions are also presented. The results of this paper can be also applied to similar cases in physics (e.g. classic mechanics) where differential equations of the same form apply. © The Author(s), under exclusive licence to Springer Nature India Private Limited 2024.

关键词： Nonlinear differential equations Nonlinear oscillation’s period Plasma physics Thermal effects

来源：评论

学校读者我要写书评

暂无评论

YOLOv8n-CGW: A novel approach to multi-oriented vehicle detection in intelligent transportation systems

引用

Multimedia Tools and Applications 2025年第7期84卷 3809-3840页

作者： Berwo, Michael Abebe Fang, Yong Sarwar, Nadeem Mahmood, Jabar Aljohani, Mansourah Elhosseini, Mostafa School of Information and Engineering Chang’an University Shaanxi Xi’an710064 China Department of Computer Science Bahria University Lahore Campus Punjab Lahore54600 Pakistan Department of Information Technology Faculty of Computing and Information Technology University of Sialkot Punjab Sialkot51040 Pakistan College of Computer Science and Engineering Taibah University Yanbu46421 Saudi Arabia Computers and Control Systems Engineering Department Faculty of Engineering Mansoura University Mansoura35516 Egypt

In the context of Intelligent Transportation systems (ITS), the role of vehicle detection and classification is indispensable for streamlining transportation management, refining traffic control, and conducting in-depth accident analyses. However, the intricate task of accurately detecting multi-oriented vehicles in diverse scenarios remains a challenge, even with the advancements in ITS. Factors such as vehicle morphology, design, road conditions, structural details, and climatic variables provide a significant part in the detection. To address this, our study introduces an advanced YOLOv8n model, specifically the YOLOv8n-CGW, which is built upon pre-trained deep learning frameworks. This model is meticulously tailored to enhance the detection capabilities for multi-oriented vehicles. Comprehensive evaluations on esteemed datasets like MtV, MERGED, Custom dataset, DAWN, WEDGE, and UA-DETRAC underscore the superiority of our approach over existing models. Notably, our YOLOv8n-CGW model achieves a remarkable mAP of 83.3% and boasts a swift inference time of 0.0019s, setting a new benchmark in the domain. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

A Novel Framework for Gauging Information Extracted from Smartphones Using Neutrosophic Logic

引用

Neutrosophic Sets and systems 2025年 76卷 154-171页

作者： Abou Alzahab, R.M. Ismail, Amr Abd Elkhalik, S.H. Shams, M.Y. El-Bakry, H.M. Salama, A.A. Department of Mathematics and Computer Science Faculty of Science Port Said University Egypt Department of Cybersecurity College of Engineering and Information Technology Buraydah Private Colleges Buraydah51418 Saudi Arabia Department. of Communication and Computer Engineering Air Defense University Egypt Faculty of Artificial Intelligence Kafrelsheikh University Kafrelsheikh33516 Egypt Department of Information Systems. Faculty of Computer and Information Science Mansoura University Egypt

Smartphones contain a vast amount of information about their users, which can be used as evidence in criminal cases. However, the sheer volume of data can make it challenging for forensic investigators to identify and use the most relevant information. Neutrosophic logic is a generalization of fuzzy logic that allows for uncertainty and vagueness, making it a more potent tool for dealing with the ambiguity of real-world data. The proposed framework aims to identify and utilize the most relevant information for forensic investigators, making it easier to solve criminal cases using Neutrosophic logic. This novel approach provides a more powerful tool for dealing with the ambiguity of smartphone data, ultimately improving the accuracy and effectiveness of forensic investigations. Our research has utilized Neutrosophic logic to evaluate the degree of truth, falsity, or Indeterminacy of this information. Additionally, this study analyzes conversations between individuals using Excel’s fuzzy lookup add-in to determine the percentage of truth and false in each conversation. The results were compiled into a dataset and utilized a Neutrosophic Python code to evaluate the information. The results indicate the percentage of truth, false, and Indeterminacy in each conversation and which can be used to determine its admissibility as evidence and which not. © 2025, University of New Mexico. All rights reserved.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：