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

CD-FL:Cataract Images Based Disease Detection Using Federated Learning

computer systems science & engineering 2023年第11期47卷 1733-1750页

作者： Arfat Ahmad Khan Shtwai Alsubai Chitapong Wechtaisong Ahmad Almadhor Natalia Kryvinska Abdullah Al Hejaili Uzma Ghulam Mohammad Department of Computer Science College of ComputingKhon Kaen UniversityKhon Kaen40002Thailand College of Computer Engineering and Sciences Prince Sattam bin Abdulaziz UniversityAlkharjSaudi Arabia School of Telecommunication Engineering Suranaree University of TechnologyNakhon Ratchasima30000Thailand Department of Computer Engineering and Networks College of Computer and Information SciencesJouf UniversitySakaka72388Saudi Arabia Information Systems Department Faculty of ManagementComenius University in BratislavaOdbojárovBratislava440Slovakia Faculty of Computers&Information Technology Computer Science DepartmentUniversity of TabukTabuk71491Saudi Arabia Department of Computer Science and Software Engineering International Islamic UniversityIslamabad44000Pakistan

A cataract is one of the most significant eye problems worldwide that does not immediately impair vision and progressively worsens over *** cataract prediction based on various imaging technologies has been addressed recently,such as smartphone apps used for remote health monitoring and eye *** recent years,advances in diagnosis,prediction,and clinical decision support using Artificial Intelligence(AI)in medicine and ophthalmology have been *** to privacy concerns,a lack of data makes applying artificial intelligence models in the medical field *** address this issue,a federated learning framework named CDFL based on a VGG16 deep neural network model is proposed in this *** study collects data from the Ocular Disease Intelligent Recognition(ODIR)database containing 5,000 patient *** significant features are extracted and normalized using the min-max normalization *** the federated learning-based technique,the VGG16 model is trained on the dataset individually after receiving model updates from two *** transferring the attributes to the global model,the suggested method trains the local *** global model subsequently improves the technique after integrating the new *** client analyses the results in three rounds to decrease the over-fitting *** experimental result shows the effectiveness of the federated learning-based technique on a Deep Neural Network(DNN),reaching a 95.28%accuracy while also providing privacy to the patient’s *** experiment demonstrated that the suggested federated learning model outperforms other traditional methods,achieving client 1 accuracy of 95.0%and client 2 accuracy of 96.0%.

关键词： Privacy-preserving cataract disease federated learning fundus images healthcare smartphone applications machine learning

来源：评论

学校读者我要写书评

暂无评论

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements

arXiv

引用

arXiv 2024年

作者： Yaacov, Tom Elyasaf, Achiya Weiss, Gera Computer Science Department Ben-Gurion University of the Negev Software and Information Systems Engineering Department Ben-Gurion University of the Negev

One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as "don’t do X after Y." The existing BP protocol, however, allows only the enforcement of safety requirements and does not support the execution of liveness properties such as "do X at least three times." To model liveness requirements in BP directly and independently, we propose idioms for tagging states with "must-finish," indicating that tasks are yet to be completed. We show that this idiom allows a direct specification of known requirements patterns from the literature. We also offer semantics and two execution mechanisms, one based on a translation to Büchi automata and the other based on a Markov decision process (MDP). The latter approach offers the possibility of utilizing deep reinforcement learning (DRL) algorithms, which bear the potential to handle large software systems effectively. This paper presents a qualitative and quantitative assessment of the proposed approach using a proof-of-concept tool. A formal analysis of the MDP-based execution mechanism is given in an appendix. © 2024, CC BY.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements

Keeping Behavioral Programs Alive: Specifying and Executing ...

引用

IEEE International Conference on Requirements engineering

作者： Tom Yaacov Achiya Elyasaf Gera Weiss Computer Science Department Ben-Gurion University of the Negev Software and Information Systems Engineering Department Ben-Gurion University of the Negev

ISBN: (数字)9798350395112

ISBN: (纸本)9798350395129

One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as “don't do X after Y.” The existing BP protocol, however, allows only the enforcement of safety requirements and does not support the execution of liveness properties such as “do X at least three times.” To model liveness requirements in BP directly and independently, we propose idioms for tagging states with “must-finish;’ indicating that tasks are yet to be completed. We show that this idiom allows a direct specification of known requirements patterns from the literature. We also offer semantics and two execution mechanisms, one based on a translation to Büchi automata and the other based on a Markov decision process (MDP). The latter approach offers the possibility of utilizing deep reinforcement learning (DRL) algorithms, which bear the potential to handle large software systems effectively. This paper presents a qualitative and quantitative assessment of the proposed approach using a proof-of-concept tool. A formal analysis of the MDP-based execution mechanism is given in an appendix.

关键词： Protocols software algorithms Semantics Tagging Programming software systems Safety

来源：评论

学校读者我要写书评

暂无评论

The Reliability of Information Sources: Student Perceptions and Educational Opportunities 7

The Reliability of Information Sources: Student Perceptions ...

引用

7th IEEE International Conference and Workshop Obuda on Electrical and Power engineering, CANDO-EPE 2024

作者： Kollar, Anita Mihalovicsne Katona, Jozsef Obuda University Institute of Electronics and Communication Systems Kandó Kálmán Faculty of Electrical Engineering Budapest Hungary John Von Neumann University GAMF Faculty of Engineering and Computer Science Kecskemet Hungary Budapest Business University Faculty of Finance and Accountancy Department of Applied Quantitative Methods Budapest Hungary Department of Software Development and Application Institute of Computer Engineering University of Dunaujvaros Dunaujvaros Hungary

ISBN: (纸本)9798331531119

The modern digital age demands the skills to be able to assess information. In the current world, access to information and knowledge is abundant from different sources. Indeed, high-quality data are much needed in education and professional development, as the quality and accuracy of information directly influence the process of learning and decision-making. The study aims to investigate the perceptions of computer science students at the University of Dunaújváros related to the credibility of diverse information sources. Within a questionnaire, on a voluntary answer basis, 68 students took part, 59 males and nine females. This work is aimed at assessing the degree to which the surveyed students evaluate information sources based on a five-point Likert scale. The data shows that students find print books and textbooks as the most reliable sources;social media are the least reliable. The study also supports the importance of source credibility evaluation, for which lateral reading techniques and AI-based news source credibility identification systems can be helpful. These findings suggest the necessity of bettering the educational approaches to foster better source criticism skills in the students, especially for online content and social media. The study generally contributes to understanding the information society and helps prepare students to obtain and use reliable and accurate information in their future careers. Using AI-based tools and systems can then further support these educational efforts with robust mechanisms to evaluate information credibility in an ever more complex digital landscape. © 2024 IEEE.

关键词： Data reliability

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the Energy Efficiency of software Calculations in the Design of Microcontroller Devices 17

Evaluation of the Energy Efficiency of Software Calculations...

引用

17th IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and computer engineering, TCSET 2024

作者： Topalov, Andrii Styslo, Taras Tkach, Vitalii Peschanenko, Volodymyr Styslo, Oksana Skrypyuk, Rostyslav Admiral Makarov National University of Shipbuilding Department of computerized control systems Mykolaiv Ukraine King Danylo University Department of IT Ivano-Frankivsk Ukraine Kherson State University Department of computer science and software engineering Ivano-Frankivsk Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of automation and computer-integrated technologies Ivano-Frankivsk Ukraine

ISBN: (纸本)9798331520564

The paper presents a study of the effectiveness of software from the point of view of minimizing the energy consumption of microprocessor devices. In this case, the programming of the microcontroller in various programming languages for arithmetic operations, as well as data output through the port, is considered. In the course of the tests, the peculiarities of the application of this or that program and their operation, taking into account the energy saving of the microcontroller, are noted. © 2024 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

Exploring the Impact of Vibrotactile Feedback on Boom Lift Safety Training: A Study Design

Exploring the Impact of Vibrotactile Feedback on Boom Lift S...

引用

Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), IEEE Conference on

作者： Minseok Kang Chae Heon Lim Seul Chan Lee Changgu Kang Kangsoo Kim Department of Electrical and Software Engineering University of Calgary Department of Industrial and Systems Engineering Gyeongsang National University Department of Computer Science Gyeongsang National University

ISBN: (数字)9798350374490

ISBN: (纸本)9798350374506

In this paper, we present our research plan to investigate how various locations of vibrotactile feedback influence user experience and risk perception within a virtual reality (VR) based safety training simulation. We describe our planned user study where the study participants experience a construction boom lift ride (or operation) in an immersive VR environment. During the virtual lift ride, participants perform stage-maintenance tasks, such as assembling light bulbs and electrical lines, which involve certain safety risks—for example, hitting electrical lines and structures during the lift operation. In the study, the vibrotactile feedback condition is varied in three levels: (1) No-Vibration, (2) Controller-Vibration, and (3) Floor-Vibration. We plan to collect and analyze both subjective and objective data related to general user experience, sense of presence, and risk perception to examine the effectiveness of the safety training. Further details of our study and the boom lift ride simulation are described, and future plans are discussed.

关键词： Training Ethics Three-dimensional displays Conferences Virtual reality User interfaces User experience

来源：评论

学校读者我要写书评

暂无评论

Structure learning of Bayesian networks using sparrow optimization algorithm

International Journal of Systematic Innovation

引用

International Journal of Systematic Innovation 2025年第2期9卷 14-25页

作者： Kareem, Shahab Wahhab Awla, Hoshang Qasim Mohammed, Amin Salih Department of Technical Information Systems Engineering Erbil Technical Engineering College Erbil Polytechnic University Erbil Iraq Department of Computer Technical Engineering Al-Qalam University College Kirkuk Iraq Department of Computer Science Faculty of Science Soran University Soran Iraq Department of Software and Informatics Salahaddin University Erbil Iraq

Bayesian networks are powerful analytical models in machine learning, used to represent probabilistic relationships among variables and create learning structures. These networks are made up of parameters that show conditional probabilities and a structure that shows how random variables interact with each other. The structure is shown by a directed acyclic graph. Despite the NP-hard nature of learning Bayesian network structures, there has been significant progress in improving the accuracy of approximation solutions. The main focus is on score-based search strategies, which make use of functions to evaluate network models and identify structures with high scores. This study is significantly focused on structure learning Bayesian networks using the Bayesian Dirichlet equivalent uniform scoring function and metaheuristic search strategies. To this end, this paper presents the sparrow optimization algorithm (SOA), a new metaheuristic algorithm derived from the foraging behavior of sparrows. SOA performs a concurrent optimization in the solution space by simultaneously performing a local and global search that leads to the discovery of near-optimal structures. The results from our experiments on several benchmark datasets show that SOA yields overall better performance than SA and greedy search algorithms. In particular, it is claimed that by applying the proposed approach of SOA, the convergence speed is significantly higher compared with the existing ones;F1 score is 0.35 and 0.05 for the Hamming distance with better results. Given these results, signed operators prove to be very efficient in SOA’s Bayesian network structure learning as a concept, especially for real-world use. © (2024), (Society of Sytematic Innovation). All Rights Reserved.

关键词： Bayesian Network Global and Local Search Search and Score Sparrow Search Optimization Algorithm Structure Learning

来源：评论

学校读者我要写书评

暂无评论

Machine Learning Algorithms for Intrusion Detection Performance Evaluation and Comparative Analysis 4

Machine Learning Algorithms for Intrusion Detection Performa...

引用

4th International Conference on Smart Electronics and Communication, ICOSEC 2023

作者： Irfan, B. Md. Poornima, V. Mohana Kumar, S. Aswal, Upendra Singh Krishnamoorthy, N. Maranan, Ramya Nalsar University of Law Department of Information Technology Telengana Hyderabad500101 India VISTAS Pallavaram Department of Computer Science Chennai India Ramaiah Institute of Technology Department of Computer Science and Engineering Karnataka Bengaluru560054 India Graphic Era Deemed to Be University Department of Computer Science and Engineering Uttarakhand Dehradun248002 India Vellore Institute of Technology Vellore Campus Department of Software Systems and Engineering Tamilnadu Vellore632014 India Saveetha School of Engineering Simats Department of Research and Innovation Tamil Nadu Chennai600124 India

ISBN: (纸本)9798350300888

The security of computer networks is increasingly difficult to maintain due to the rising complexity and frequency of cyber-attacks. Important tools for finding and neutralizing these dangers are intrusion detection systems. This study sets out to do a thorough examination and comparison of the efficacy of several machine learning algorithms for use in intrusion detection. This research study evaluates the efficacy of several machine learning algorithms in correctly categorizing instances of network traffic as normal or invasive via extensive experiments performed on representative datasets. Algorithms like random forests, decision trees, SVMs, DL models and NNs are all being tested and rated. Effectiveness is measured and compared using a variety of performance indicators including accuracy, recall, precision, false positive rate, and F1-score. The results of this study emphasize the potential of deep learning models and Random Forests for use in intrusion detection and add to the body of knowledge around machine learning methods for this task. Professionals in the field of network security might use the results to their advantage when building intrusion detection systems. Future research areas are also mentioned, which will hopefully lead to even greater improvements in the field and safer, more reliable intrusion detection systems. © 2023 IEEE.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Parkinson’s Detection Using RNN-Graph-LSTM with Optimization Based on Speech Signals

引用

computers, Materials & Continua 2022年第7期72卷 871-886页

作者： Ahmed S.Almasoud Taiseer Abdalla Elfadil Eisa Fahd N.Al-Wesabi Abubakar Elsafi Mesfer Al Duhayyim Ishfaq Yaseen Manar Ahmed Hamza Abdelwahed Motwakel Department of Information Systems College of Computer and Information SciencesPrince Sultan UniversityMahayil62529Saudi Arabia Department of Information Systems-Girls Section King Khalid UniversityMahayil62529Saudi Arabia Department of Computer Science College of Science and Artsat MahayilKing Khalid UniversityMahayil62529Saudi Arabia Faculty of Computer and IT Sana’a UniversitySana’aYemen Department of Software Engineering College of Computer Science and EngineeringUniversity of JeddahSaudi Arabia Department of Natural and Applied Sciences College of Community-AflajPrince Sattam bin Abdulaziz UniversityMahayil62529Saudi Arabia Department of Computer and Self Development Preparatory Year DeanshipPrince Sattam bin Abdulaziz UniversityAlKharj62529Saudi Arabia

Early detection of Parkinson’s Disease(PD)using the PD patients’voice changes would avoid the intervention before the identification of physical *** machine learning algorithms were developed to detect PD ***,these ML methods are lack in generalization and reduced classification performance due to subject *** overcome these issues,this proposed work apply graph long short term memory(GLSTM)model to classify the dynamic features of the PD patient speech *** proposed classification model has been further improved by implementing the recurrent neural network(RNN)in batch normalization layer of GLSTM and optimized with adaptive moment estimation(ADAM)on network hidden *** consider the importance of feature engineering,this proposed system use Linear Discriminant analysis(LDA)for dimensionality reduction and SparseAuto-Encoder(SAE)for extracting the dynamic speech *** on the computation of energy content transited from unvoiced to voice(onset)and voice to voiceless(offset),dynamic features are *** PD datasets is evaluated under 10 fold cross validation without sample *** proposed smart PD detection method called RNN-GLSTM-ADAM is numerically experimented with persistent phonations in terms of accuracy,sensitivity,and specificity andMatthew correlation *** evaluated result of RNN-GLSTM-ADAM extremely improves the PD detection accuracy than static feature based conventional ML and DL approaches.

关键词： Dimensionality reduction LDA feature extraction auto encoder classification recurrent neural network LSTM and optimization

来源：评论

学校读者我要写书评

暂无评论

Modified Metaheuristics with Transfer Learning Based Insect Pest Classification for Agricultural Crops

引用

computer systems science & engineering 2023年第9期46卷 3847-3864页

作者： Saud Yonbawi Sultan Alahmari T.Satyanarayana murthy Ravuri Daniel E.Laxmi Lydia Mohamad Khairi Ishak Hend Khalid Alkahtani Ayman Aljarbouh Samih M.Mostafa Department of Software Engineering College of Computer Science and EngineeringUniversity of JeddahJeddahSaudi Arabia King Abdul Aziz City for Science and Technology RiyadhKingdom of Saudi Arabia Chaitanya Bharathi Institute of Technology HyderabadTelanganaIndia Department of Computer Science and Engineering Prasad V.Potluri Siddhartha Institute of TechnologyVijayawadaIndia Department of Computer Science and Engineering GMR Institute of TechnologyAndhra PradeshRajamIndia School of Electrical and Electronic Engineering Engineering CampusUniversiti Sains Malaysia(USM)Nibong TebalPenangMalaysia Department of Information Systems College of Computer and Information SciencesPrincess Nourah Bint Abdulrahman UniversitySaudi Arabia Department of Computer Science University of Central AsiaNarynKyrgyzstan Faculty of Computers and Information South Valley UniversityQenaEgypt

Crop insect detection becomes a tedious process for agronomists because a substantial part of the crops is damaged,and due to the pest attacks,the quality is *** are the major reason behind crop quality degradation and diminished crop ***,accurate pest detection is essential to guarantee safety and crop *** identification of insects necessitates highly trained taxonomists to detect insects precisely based on morphological ***,some progress has been made in agriculture by employing machine learning(ML)to classify and detect *** study introduces a Modified Metaheuristics with Transfer Learning based Insect Pest Classification for Agricultural Crops(MMTL-IPCAC)*** presented MMTL-IPCAC technique applies contrast limited adaptive histogram equalization(CLAHE)approach for image *** neural architectural search network(NASNet)model is applied for feature extraction,and a modified grey wolf optimization(MGWO)algorithm is employed for the hyperparameter tuning process,showing the novelty of the *** last,the extreme gradient boosting(XGBoost)model is utilized to carry out the insect classification *** simulation analysis stated the enhanced performance of the MMTL-IPCAC technique in the insect classification process with maximum accuracy of 98.73%.

关键词： Sustainable agriculture crop monitoring pest management insect classification computer vision

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：