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

Forecasting Mental Stress Using Machine Learning Algorithms

computers, Materials & Continua 2022年第9期72卷 4945-4966页

作者： Elias Hossain Abdulwahab Alazeb Naif Almudawi Sultan Almakdi Mohammed Alshehri M.Gazi Golam Faruque Wahidur Rahman Department of Software Engineering Daffodil UniversityDhakaBangladesh Collage of Computer Science and Information System University of NajranNajranSaudi Arabia Department of Computer Science and Engineering Khwaja Yunus Ali UniversitySirajganj 6751Bangladesh

Depression is a crippling affliction and affects millions of individuals around the *** general,the physicians screen patients for mental health disorders on a regular basis and treat patients in collaboration with psychologists and other mental health experts,which results in lower costs and improved patient ***,this strategy can necessitate a lot of buy-in from a large number of people,as well as additional training and logistical ***,utilizing the machine learning algorithms,patients with depression based on information generally present in a medical file were analyzed and *** methodology of this proposed study is divided into six parts:Proposed Research Architecture(PRA),Data Pre-processing Approach(DPA),Research Hypothesis Testing(RHT),Concentrated Algorithm Pipeline(CAP),Loss Optimization Stratagem(LOS),and Model Deployment Architecture(MDA).The Null Hypothesis and Alternative Hypothesis are applied to test the *** addition,Ensemble Learning Approach(ELA)and Frequent Model Retraining(FMR)have been utilized for optimizing the loss ***,the Features Importance Interpretation is also delineated in this *** forecasts could help individuals connect with expert mental health specialists more quickly and *** to the findings,71%of people with depression and 80%of those who do not have depression can be appropriately *** study obtained 91%and 92%accuracy through the Random Forest(RF)and Extra Tree *** after applying the Receiver operating characteristic(ROC)curve,79%accuracy was found on top of RF,81%found on Extra Tree,and 82%recorded for the eXtreme Gradient Boosting(XGBoost)***,several factors are identified in terms of predicting depression through statistical data *** the additional effort is needed to develop a more accurate model,this model can be adjustable in the healthcare sector for diagnosing depression.

关键词： Depression analysis mental health machine learning model deployment XGBoost ROC-AUC

来源：评论

学校读者我要写书评

暂无评论

PAIR: Protein-aptamer interaction prediction based on language models and contrastive learning framework

PAIR: Protein-aptamer interaction prediction based on langua...

引用

2024 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2024

作者： Zhang, Jun Yan, Zhiqiang Zeng, Hao Zhu, Zexuan Shenzhen University National Engineering Laboratory for Big Data System Computing Technology Shenzhen China Shenzhen University College of Computer Science and Software Engineering Shenzhen China

ISBN: (纸本)9798350386226

Aptamers are single-stranded DNA or RNA oligonucleotides that selectively bind to specific targets, making them valuable for drug design and diagnostic applications. Identifying the interactions between aptamers and target proteins is crucial for these applications. The systematic evolution of ligands by exponential enrichment process, traditionally used for this purpose, is challenging and time-consuming. The resulting aptamers often suffer from limitations in stability and diversity. Computational approaches have shown promise in aiding the discovery of high-performance aptamers, but existing methods are usually constrained by insufficient training data and limited generalizability. Recently, advancements in pre-training large language models have offered a new avenue to mitigate the dependency on large datasets. In this study, we propose a novel method to predict aptamer-protein interactions using large language models within a contrastive learning framework. Experimental results demonstrate that our method exhibits superior generalization and outperforms existing approaches. This method holds promise as a powerful tool for predicting aptamer-protein interactions. © 2024 IEEE.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Research on model validation of routing protocol for UAV swarm cooperative disaster relief system

Research on model validation of routing protocol for UAV swa...

引用

2023 International Conference on computer Application and Information Security, ICCAIS 2023

作者： Wei, Tonghao Liu, Jie Yang, Fei Han, Wenxing Jiang, Wei School of Computer Science/Software University of South China Hunan Hengyang China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Sichuan Chengdu China

ISBN: (纸本)9781510675032

In recent years, with the continuous expansion of unmanned aerial vehicle (UAV) swarm applications and the rapid development of the UAV self-organizing network system, the related security threats have also increased. In this paper, we conduct the communication model of the UAV swarm cooperative disaster relief system by verifying the security attributes of the UAV swarm cooperative disaster relief system based on the dynamic source routing (DSR) protocol and we also analyze and verify their security attributes. Finally, we propose a novel scheme to model, characterize, and verify the security attributes of the UAV swarm communication networks. It provides a formal analysis and verification method for verifying the security attributes of self-organized network systems, simplifying a series of challenging verification processes that come with demonstrating the security attributes of the system through simulation experiments. © 2024 SPIE.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software Engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

DIG: Improved DINO for Graffiti Detection

引用

IEEE Transactions on systems, Man, and Cybernetics: systems 2025年第5期55卷 3557-3569页

作者： Wang, Bingshu Mao, Qianchen Liu, Aifei Chen, Long Chen, C. L. Philip Northwestern Polytechnical University School of Software Xi’an710129 China Shenzhen University Guangdong Key Laboratory of Intelligent Information Processing Shenzhen Key Laboratory of Media Security Shenzhen518060 China University of Macao Department of Computer and Information Science China South China University of Technology School of Computer Science and Engineering Guangzhou510641 China

Graffiti detection is essential in historic building protection and urban neighborhood management. Graffiti detection has made significant progress in recent years based on the development of deep learning. However, small-scale graffiti, interference from the background, and the false detection of word parts in graffiti make it a challenging problem. This article proposes a Transformer-based high-precision graffiti detection method, namely DIG. Precisely, it consists of three modules: 1) Spatial query selection (SQS), scale-aware IoU loss (SIL);2) Denoising Task with binary contrastive denoising (BCDN);and 3) IoU-guided box denoising (IBD) modules. To detect small-scale graffiti, this paper proposes SIL to help the loss function to perceive small-scale graffiti and large-scale graffiti fairly. To reduce the false detection of word parts, this article presents the SQS module, which integrates spatial information into the query selection process of the Encoder to filter out falsely detected bounding boxes within the graffiti. To reduce the interference from the background, this article introduces a denoising task with BCDN and IBD modules, improving the model’s ability to distinguish graffiti from the background and accurately select appropriate bounding boxes. A large number of experimental results on the STORM dataset show that our method achieves state-of-the-art results with an AP50 of 87.9%. Moreover, DIG achieved competitive results on the FineFM dataset for mask detection. This indicates that DIG can also be conveniently transferred to detect other scenarios. © 2013 IEEE.

关键词： Historic preservation

来源：评论

学校读者我要写书评

暂无评论

Mapping Explicit and Implicit Discourse Relations between the RST-DT and the PDTB 3.0

Mapping Explicit and Implicit Discourse Relations between th...

引用

2023 International Conference Recent Advances in Natural Language Processing: Large Language Models for Natural Language Processing, RANLP 2023

作者： Costa, Nelson Filipe Sheikh, Nadia Kosseim, Leila Laboratory Department of Computer Science and Software Engineering Concordia University MontréalQC Canada

ISBN: (纸本)9789544520922

In this paper we propose a first empirical mapping between the RST-DT and the PDTB 3.0. We provide an original algorithm which allows the mapping of 6,510 (80.0%) explicit and implicit discourse relations between the overlapping articles of the RST-DT and PDTB 3.0 discourse annotated corpora. Results of the mapping show that while it is easier to align segments of implicit discourse relations, the mapping obtained between the aligned explicit discourse relations is more unambiguous. © 2023 Incoma Ltd. All rights reserved.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Discourse Analysis of Argumentative Essays of English Learners based on CEFR Level

Discourse Analysis of Argumentative Essays of English Learne...

引用

2023 International Conference Recent Advances in Natural Language Processing: Large Language Models for Natural Language Processing, RANLP 2023

作者： Hanel, Blaise Kosseim, Leila Laboratory Department of Computer Science and Software Engineering Concordia University MontréalQC Canada

ISBN: (纸本)9789544520922

In this paper, we investigate the relationship between the use of discourse relations and the CEFR-level of argumentative English learner essays. Using both the Rhetorical Structure Theory (RST) and the Penn Discourse Tree-Bank (PDTB) frameworks, we analyze essays from The International Corpus Network of Asian Learners (ICNALE), and the Corpus and Repository of Writing (CROW). Results show that the use of the RST relations of EXPLANATION and BACKGROUND, as well as the first-level PDTB sense of CONTINGENCY, are influenced by the English proficiency level of the writer. © 2023 Incoma Ltd. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CPL-SLAM: Centralized Collaborative Multi-Robot Visual-Inertial SLAM Using Point-and-Line Features

引用

IEEE Internet of Things Journal 2025年第12期12卷 21866-21875页

作者： Liu, Xin Wen, Shuhuan Liu, Huaping Richard Yu, F. Yanshan University Engineering Research Center The Ministry of Education for Intelligent Control System and Intelligent Equipment Key Lab of Intelligent Rehabilitation and Neuroregulation in Hebei Province Department of Key Lab of Industrial Computer Control Engineering of Hebei Province Qinhuangdao066004 China Tsinghua University Department of Computer Science and Technology Beijing100084 China Shenzhen University College of Computer Science and Software Engineering China Carleton University Canada

Traditional visual-inertial SLAM (Simultaneous Localization and Mapping) systems predominantly rely on feature point matching from a single robot to realize the robot pose estimation and environment map construction. However, in complex scenarios, these traditional systems struggle with issues such as tracking failures due to illumination changes, rapid movements, and low-texture environments, and they perform poorly in terms of mapping efficiency and global consistency. To address these challenges, we propose a centralized collaborative SLAM system that employs both point and line features for tracking in the robot and map fusion in the cloud. The proposed system leverages the fusion of point and line features across all instances in the process, which allows our method to achieve higher localization accuracy in structured, low-texture scenes. With the aid of classifying gravity-aligned vertical lines and spatial parallel lines, the proposed system can deliver faster and more accurate odometry in complex scenes. Furthermore, we developed intra-robot and inter-robot loop closure detection methods based on point and line features, generating a globally consistent sparse point cloud and structured scene map in the cloud. Our method is able to build richer maps while improving accuracy compared to existing methods. Experimental results on public datasets and in real-world environments show that, compared to existing advanced methods, our approach demonstrates better performance. © 2014 IEEE.

关键词： SLAM robotics

来源：评论

学校读者我要写书评

暂无评论

Behaviour-diverse automatic penetration testing:a coverage-based deep reinforcement learning approach

引用

Frontiers of computer science 2025年第3期19卷 15-24页

作者： Yizhou YANG Longde CHEN Sha LIU Lanning WANG Haohuan FU Xin LIU Zuoning CHEN Zhongguancun Laboratory Beijing 100081China Zhejiang Lab Hangzhou 311121China National Research Centre of Parallel Computer Engineering and Technology Wuxi 214000China Faculty of Geographical Science Beijing Normal UniversityBeijing 100875China Department of Earth System Science Tsinghua UniversityBeijing 100084China

Reinforcement Learning(RL)is gaining importance in automating penetration testing as it reduces human effort and increases ***,given the rapidly expanding scale of modern network infrastructure,the limited testing scale and monotonous strategies of existing RLbased automated penetration testing methods make them less effective in practical *** this paper,we present CLAP(Coverage-Based Reinforcement Learning to Automate Penetration Testing),an RL penetration testing agent that provides comprehensive network security assessments with diverse adversary testing behaviours on a massive *** employs a novel neural network,namely the coverage mechanism,to address the enormous and growing action spaces in large *** also utilizes a Chebyshev decomposition critic to identify various adversary strategies and strike a balance between *** results across various scenarios demonstrate that CLAP outperforms state-of-the-art methods,by further reducing attack operations by nearly 35%.CLAP also provides enhanced training efficiency and stability and can effectively perform pen-testing over large-scale networks with up to 500 ***,the proposed agent is also able to discover pareto-dominant strategies that are both diverse and effective in achieving multiple objectives.

关键词： network security penetration testing reinforcement learning artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

A Surrogate-Assisted Evolutionary Algorithm for Expensive Dynamic Multimodal Optimzation 13

A Surrogate-Assisted Evolutionary Algorithm for Expensive Dy...

引用

13th IEEE Congress on Evolutionary Computation, CEC 2024

作者： Wu, Xunfeng Liu, Songbai Ji, Junkai Ma, Lijia Leung, Victor C. M. Shenzhen University National Engineering Laboratory for Big Data System Computing Technology Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China The University of British Columbia Department of Electrical and Computer Engineering Vancouver Canada

ISBN: (纸本)9798350308365

Surrogate-assisted evolutionary algorithms (SAEAs) have demonstrated promising optimization performance in addressing expensive dynamic optimization problems or expensive multimodal optimization problems. However, none of existing SAEAs are designed specifically for tackling expensive dynamic multimodal optimization problems (EDMMOPs). Therefore, in this paper, a first SAEA for tackling EDMMOPs is proposed. First, a nearest density clustering is designed to divide the population into a number of subpopulations, enhancing the diversity of the population. Then, a surrogate-assisted evolutionary optimizer is developed to construct surrogate models for each subpopulation and evolve all solutions in subpopulations by means of the built surrogate models, accelerating the population's converge towards several optimal solutions rapidly. Finally, a transfer learning-based prediction is devised to generate initial samples for next environment by leveraging the stored training samples in the previous environments. To assess the performance of our proposed algorithm, a set of complex benchmark problems is adopted, and the experimental results confirm its superior performance over several competitive algorithms on most test cases. © 2024 IEEE.

关键词： Digital elevation model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：