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

arXiv 2023年

作者： Zhang, Lijun Bai, Haomin Zhao, Peng Yang, Tianbao Zhou, Zhi-Hua National Key Laboratory for Novel Software Technology Nanjing University China School of Artificial Intelligence Nanjing University China Department of Computer Science and Engineering Texas A&M University College Station United States

This paper investigates group distributionally robust optimization (GDRO) with the goal of learning a model that performs well over m different distributions. First, we formulate GDRO as a stochastic convex-concave saddle-point problem, which is then solved by stochastic mirror descent (SMD) with m samples in each iteration, and attain a nearly optimal sample complexity. To reduce the number of samples required in each round from m to 1, we cast GDRO as a two-player game, where one player conducts SMD and the other executes an online algorithm for non-oblivious multi-armed bandits, maintaining the same sample complexity. Next, we extend GDRO to address scenarios involving imbalanced data and heterogeneous distributions. In the first scenario, we introduce a weighted variant of GDRO, enabling distribution-dependent convergence rates that rely on the number of samples from each distribution. We design two strategies to meet the sample budget: one integrates non-uniform sampling into SMD, and the other employs the stochastic mirror-prox algorithm with mini-batches, both of which deliver faster rates for distributions with more samples. In the second scenario, we propose to optimize the average top-k risk instead of the maximum risk, thereby mitigating the impact of outlier distributions. Similar to the case of vanilla GDRO, we develop two stochastic approaches: one uses m samples per iteration via SMD, and the other consumes k samples per iteration through an online algorithm for non-oblivious combinatorial semi-bandits. Copyright © 2023, The Authors. All rights reserved.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

Understanding Dynamic Associations: Gait Recognition via Cross-view Spatiotemporal Aggregation Network

引用

IEEE Transactions on Circuits and Systems for Video Technology 2022年 1-1页

作者： Chen, Jianyu Wang, Zhongyuan Zheng, Caixia Zeng, Kangli Zou, Qin Xiong, Zixiang School of Computer Science National Engineering Research Center for Multimedia Software Wuhan University Wuhan China Key Laboratory of Applied Statistics of MOE Northeast Normal University Changchun China School of Computer Science Wuhan University Wuhan China Department of Electrical and Computer Engineering Texas A&M University College Station TX USA

Gait recognition is a technique to recognize subjects under long-distance conditions. Existing gait recognition methods generally rely on extracting different motion representations of body parts to capture the gait information. However, the differences in appearance silhouettes between subjects are not discriminative enough to identify the distinct gaits. Therefore, exploring the representations of unique motion differences of subjects from the temporal domain is an effective way to boost gait recognition performance. In this paper, we propose a cross-view spatiotemporal aggregation network (CSTAN) to learn the most discriminative motion representations of subjects from multi-scale features. Particularly, CSTAN uses temporal contextual feature aggregation (TCFA) block to interact multi-scale features, increasing the diversity of temporal representations in feature sequences and producing suitable motion representations. Besides, a potential spatial feature assessment (PSFA) block is proposed to address the problem of missing silhouettes due to occlusion. Considering the multi-view context, we propose a cross-view prediction learning (CVPL) block to mitigate the impact of the view itself. By aggregating features in the spatiotemporal and view domains, CSTAN can learn a more appropriate representation of human motion differences. Extensive experiments on two public gait recognition datasets demonstrate the state-of-the-art performance of our proposed CSTAN. It is worth mentioning that the performance of CSTAN achieves a breakthrough in some complex environments, e.g., the subjects wearing different coats or carrying a bag. IEEE

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Online Joint Power Allocation and Task Scheduling for LEO Satellite Networks

Online Joint Power Allocation and Task Scheduling for LEO Sa...

引用

IEEE Conference on Wireless Communications and Networking

作者： Zheyuan Li Lijun He Juncheng Wang Ziye Jia Yanting Wang Chau Yuen School of Software Northwestern Polytechnical University China School of Information and Control Engineering China University of Mining and Technology China Department of Computer Science Hong Kong Baptist University China Ministry of Industry and Information Technology Nanjing University of Aeronautics and Astronautics China School of Electrical and Electronics Engineering Nanyang Technological University Singapore

ISBN: (数字)9798350368369

ISBN: (纸本)9798350368376

The excessive proliferation of Low Earth Orbit (LEO) satellites inescapably bring the explosive growth of space data in LEO Satellite Networks (LSNs). Meanwhile, the stochastic arrivals of space data together with the time-varying satellite-ground links in LSNs pose significant challenges for offloading a large volume of space data from LSNs to ground stations. To circumvent these challenges, we systematically study the energy-constrained online data offloading problem to jointly optimize power allocation and task scheduling for LSNs. First, we leverage Lyapunov optimization to decouple our formulated long-term stochastic joint optimization problem into a set of per-time-slot subproblems. Then, each subproblem is decoupled into a task scheduling problem and a power allocation problem. Next, we derive the optimal solution to the power allocation problem and propose a multi-armed bandit based quasi-optimal solution to the task scheduling problem. Finally, extensive simulation results show that our proposed algorithm has superior performance over the state-of-the-art solutions.

关键词： Space vehicles Satellites Simulation Low earth orbit satellites Scheduling Explosives Resource management Optimization Space stations

来源：评论

学校读者我要写书评

暂无评论

Correction: Framework for Agent-Based Multistage Application Partitioning Algorithm in Mobile Cloud Computing

引用

SN computer science 2024年第5期5卷 1-1页

作者： Kanwal, Asia Amjad, Tehmina Ashraf, Humaira Department of Computer Science and Software Engineering International Islamic University Islamabad Pakistan

来源：评论

学校读者我要写书评

暂无评论

Adaptive Student Inference Network for Efficient Single Image Super-Resolution

Adaptive Student Inference Network for Efficient Single Imag...

引用

IEEE International Conference on Data Mining (ICDM)

作者： Kang Miao Zhao Zhang Jiahuan Ren Mingbo Zhao Haijun Zhang Richang Hong School of Computer Science and Information Engineering Hefei University of Technology Hefei China Key Laboratory of Knowledge Engineering with Big Data (Ministry of Education) & Intelligent Interconnected Systems Laboratory of Anhui Province Hefei University of Technology Hefei China Yunnan Key Laboratory of Software Engineering Kunming China School of Information Science and Technology Donghua University Shanghai China Department of Computer Science Harbin Institute of Technology (Shenzhen) Shenzhen China

Recent advances in single image super-resolution (SISR) have achieved remarkable performance through deep learning. However, the high computational cost hinders the deployment of SISR models on edge devices. Instead of proposing new SISR models, a new trend is emerging to improve network efficiency by reducing parameters, FLOPs, and inference time through slight modifications to the original models. However, recent methods usually focus on reducing only one of three metrics, i.e., FLOPs, parameters and inference time, which inevitably increases the other two metrics. In this paper, we propose a novel Adaptive Student Inference Network (ASIN) on popular SISR models, which aims at reducing FLOPs and inference time while maintaining the number of parameters and restoring clearer high-resolution images. Specifically, our ASIN divides a SISR model into three components (head, body and tail) and adopts various strategies for each part. For head and tail parts, to ensure the restored images contain more detailed information, a novel auxiliary Enhanced Teacher Network (ETNet) is designed, which is trained with the ground-truth images to obtain more prior knowledge to guide student network to extract more accurate textures using a new knowledge distillation method. For the body part, owing to the varying difficulties of the reconstructions in different regions, we propose an Adaptive Depth Predicted Module (ADPM) to dynamically shorten average depth of network to reduce the computational cost of overall network. Extensive experiments on two datasets demonstrate the effectiveness and state-of-the-art performance of our ASIN compared to its counterparts.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of an energy-efficient IOT device-assisted wearable sensor platform for healthcare data management

引用

Measurement: Sensors 2023年 30卷

作者： Ahamed, Bazeer Sellamuthu, Suseela Karri, Purushotam Naidu Srinivas, Inumarthi V. Mohammed Zabeeulla, A.N. Ashok Kumar, M. Department of IT University of Technology And Applied Sciences Al Musanna Oman Senior Grade School of Computing Sciences and Engineering Vellore Institute of Technology TamilNadu Chennai India Department of CSE Gayatri Vidya Parishad College of Engineering for Women Andhra Pradesh Visakhapatnam535546 India Mumbai400077 India Bangalore India Department of Computer Science and Software Engineering Skyline University Nigeria.Kano Nigeria

Advances in health-related behaviors, technical breakthroughs, and the spread of healthy living activities have expanded personal health evaluation on a broad scale. In medical applications, networks, data, and communication systems are extensively utilized and further expanding. Real-time applications for remote health monitoring generate massive amounts of data in a short period. Internet of Things (IoT) and cloud systems, resulting in unprocessed and inadequate data for end-users. Since cloud technology is a dispersed intermediary layer between the edge network and the cloud infrastructure, the delay is significantly decreased, and reliable communications can be established using cloud computing on an IoT-enabled healthcare device. This study presents an Energy Efficient Healthcare Data Management Method (EE-HDMM), which enhances health monitoring using an IoT-assisted wearable sensor infrastructure. The difficulty of constrained sources and the energy consumption is minimized by proposing the optimum energy resource allocation method. Wearable sensor technology supported by cloud computing is the ideal and dependable platform for powerful life-critical systems that are unlikely to have communication delays. Compared to conventional techniques, the suggested EE-HDMM has a high precision rate of 97%, a sensitivity rate of 94%, and a system efficiency of 96%. © 2023

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

An Intelligent System for Cucumber Leaf Disease Diagnosis Based on the Tuned Convolutional Neural Network Algorithm

引用

Mobile Information Systems 2022年第1期2022卷

作者： Omer, Saman M. Ghafoor, Kayhan Z. Askar, Shavan K. Department of Technical Information System Engineering Erbil Technical Engineering College Erbil Polytechnic University Kurdistan Region Erbil Iraq Department of Computer Science College of Basic Education University of Raparin Kurdistan Region Ranya Iraq Department of Computer Science Knowledge University Kurdistan Region Erbil44001 Iraq Department of Software and Informatics Engineering Salahaddin University-Erbil Kurdistan Region Erbil44001 Iraq

In agriculture farming, pests and other plant diseases are the most imperative factor that causes significant hindrance to cucumber production and its quality. Farmers around the globe are currently facing difficulty in recognizing various cucumber leaf diseases, which is imperative to preventing leaf diseases effectively. Manual techniques to diagnose cucumber diseases are often time-consuming, subjective, and laborious. To address this issue, this paper proposes a tuned convolutional neural network (CNN) algorithm to recognise five cucumber diseases and healthy leaves that comprises image enhancement, feature extraction, and classification. Data augmentation methods were utilized as a preprocessing step to enlarge the datasets, and it was also to decrease the chance of overfitting. Automatically features are extracted by using CNN layers. Finally, five cucumber leaf diseases and one healthy leaf are classified. Furthermore, to overcome the lack of a public dataset, a new dataset of cucumber leaf diseases has been constructed that includes spider, leaf miner, downy mildew, powdery mildew, one viral disease, and healthy class leaves. The dataset has a total of 4868 cucumber leaf images. In order to prove the authenticity of the proposed CNN, comparative experiments were conducted using pretrained models (AlexNet, Inception-V3, and ResNet-50). The proposed CNN achieves a recognition accuracy of 98.19% with the augmented dataset and 100% with the publicly plant disease dataset. The experimental results confirm that the proposed CNN algorithm was efficient for recognizing the cucumber leaf diseases compared with other algorithms. © 2022 Saman M. Omer et al.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

Modular Verification of SPARCv8 Code

引用

Journal of computer science & Technology 2020年第6期35卷 1382-1405页

作者： Jun-Peng Zha Xin-Yu Feng Lei Qiao Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Beijing Institute of Control Engineering Beijing 100080China

Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this paper, we propose a practical Hoare-style program logic for verifying SPARC (Scalable Processor Architecture) assembly code. The logic supports modular reasoning about the main features of SPARCv8 ISA (instruction set architecture), including delayed control transfers, delayed writes to special registers, and register windows. It also supports relational reasoning for refinement verification. We have applied it to verify that there is a contextual refinement between a context switch routine in SPARCv8 and a switch primitive. The program logic and its soundness proof have been mechanized in Coq.

关键词： Scalable Processor Architecture Version 8(SPARCv8) assembly code verification context switch Coq refinement verification

来源：评论

学校读者我要写书评

暂无评论

Quantum reversible circuits for multiplicative inverse

引用

EPJ Quantum Technology 2022年第1期9卷 1-17页

作者： Luo, Qing-bin Yang, Guo-wu Li, Xiao-yu Li, Qiang Department of Computer Science and Technology School of Information Engineering Hubei Minzu University Enshi China School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu China Big data research Center & School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China Advanced Cryptography and System Security Key Laboratory of Sichuan Province Chengdu University of Information Technology Chengdu China

The synthesis of quantum circuits for multiplicative inverse over $\operatorname{GF}(2^{8})$ are discussed in this paper. We first convert the multiplicative inverse operation in $\operatorname{GF}(2^{8})$ to arithmetic operations in the composite field $\operatorname{GF}((2^{4})^{2})$ , and then discuss the expressions of the square calculation, the inversion calculation and the multiplication calculation separately in the finite field $\operatorname{GF}(2^{4})$ , where the expressions of multiplication calculation in $\operatorname{GF}(2^{4})$ are given directly in $\operatorname{GF}(2^{4})$ and given through being transformed into the composite field $\operatorname{GF}((2^{2})^{2})$ . Then the quantum circuits of these calculations are realized one by one. Finally, two quantum circuits for multiplicative inverse over $\operatorname{GF}(2^{8})$ are synthesized. They both use 21 qubits, the first quantum circuit uses 55 Toffoli gates and 107 CNOT gates and the second one uses 37 Toffoli gates and 209 CNOT gates. As an example of the application of multiplication inverse, we apply these quantum circuits to the implementations of the S-box quantum circuit of the AES cryptographic algorithm. Two quantum circuits for implementing the S-box of the AES cryptographic algorithm are presented. The first quantum circuit uses 21 qubits, 55 Toffoli gates, 131 CNOT gates and 4 NOT gates and the second one uses 21 qubits, 37 Toffoli gates, 233 CNOT gates and 4 NOT gates. Through the evaluation of quantum cost, the two quantum circuits of the S-box of AES cryptographic algorithm use less quantum resources than the existing schemes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Machine Learning Classifiers for Network Intrusion Detection System: Comparative Study

Machine Learning Classifiers for Network Intrusion Detection...

引用

2021 International Conference on Information Technology, ICIT 2021

作者： Almomani, Omar Almaiah, Mohammed Amin Alsaaidah, Adeeb Smadi, Sami Mohammad, Adel Hamdan Althunibat, Ahmad The World Islamic Sciences and Education University Department of Information System and Networks Jordan College of Computer Science and Information Technology King Faisal University Al-Ahsa31982 Saudi Arabia The World Islamic Sciences and Education University Department of Computer Science Amman Jordan Al-Zaytoonah University of Jordan Department of Software Engineering Amman11733 Jordan

ISBN: (纸本)9781665428705

Network security risks are increasing at an exponential rate as Internet technology advances. Keeping the network protected is one of the most challenging of network security. Many security mechanisms were implemented to detect and identify any malicious activity on the network. Intrusion Detection System (IDS) one of the most used mechanisms to reduce the effects of these risks. Machine Learning (ML) classifiers are widely begin used to classify the network traffic as normal or abnormal. In this paper a comparative evaluation of the following ML classifiers: LogisticRegression, Multinomial Naive Bayesian, Gaussian Naive Bayesian, Bernoulli Naive Bayesian, k-Nearest Neighbors, Decision Tree, Adaptive Boosting, Random Forest, Multilayer Perceptron, and GradientBoosting is performed to specify the best classifier in identifying intrusion detection. The used evaluation metrics are accuracy, precision, and F-measure. The UNSW-NB15 dataset is used to assess ML classifiers. The experimental results show that the RandomForest classifier outperforms the other classifiers in terms of accuracy at 87%, precision 98%, and F-measure 84%. © 2021 IEEE.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：