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

arXiv 2024年

作者： AlSobeh, Anas Mohammad Ramadan Department of Information Systems Faculty of Information Technology and Computer Science Yarmouk University Irbid Jordan Program of Information Technology School of Computing College of Engineering Computing Technology and Mathematics Southern Illinois University CarbondaleIL United States

In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes the advanced observe-based statistical model-checking (OSM) framework, devised to craft executable formal models directly from foundational system code. Leveraging model checking predicates, the framework melds seamlessly with aspect-oriented programming paradigms, yielding a potent method for the analytical verification of varied behavioral attributes. Exploiting the transformative capacity of OSM framework, primary system code undergoes a systematic metamorphosis into multifaceted analysis constructs. This not only simplifies the model verification process but also orchestrates feature interactions using an innovative observing join point abstraction mechanism. Within this framework, components encompassing parsing, formal verification, computational analytics, and rigorous validation are intrinsically interwoven. Marrying the principles of model checking with aspect-oriented (AO) modularization, OSM framework stands as a paragon, proficiently scrutinizing and affirming system specifications. This ensures the unyielding performance of electronic health record systems amidst shifting preconditions. OSM framework offers runtime verification of both object-oriented and AO deployments, positioning itself as an indispensable open-source resource, poised to automate the enhancement of system performance and scalability. Copyright © 2024, The Authors. All rights reserved.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Opportunities and Challenges from Using Animal Videos in Reinforcement Learning for Navigation

引用

IFAC-PapersOnLine 2023年第2期56卷 9056-9061页

作者： Vittorio Giammarino James Queeney Lucas C. Carstensen Michael E. Hasselmo Ioannis Ch Paschalidis Division of Systems Engineering Boston University Boston MA 02215 USA Center for Systems Neuroscience Department of Psychological and Brain Sciences and Graduate Program for Neuroscience Boston University Boston MA 02215 USA College of Engineering and Hariri Institute for Computing & Computational Science & Engineering Boston University Boston MA 02215 USA

We investigate the use of animal videos (observations) to improve Reinforcement Learning (RL) efficiency and performance in navigation tasks with sparse rewards. Motivated by theoretical considerations, we make use of weighted policy optimization for off-policy RL and describe the main challenges when learning from animal videos. We propose solutions and test our ideas on a 2D navigation task. We show how the use of animal videos improves performance over RL algorithms that do not leverage such observations.

关键词： Learning for Control Reinforcement Learning Deep Learning RL with demonstrations Imitation Learning Bio-inspired Control

来源：评论

学校读者我要写书评

暂无评论

U-Net and SegNet performances on lesion segmentation of breast ultrasonography images

引用

Research on Biomedical engineering 2021年第2期37卷 171-179页

作者： Vianna, Pedro Farias, Ricardo de Albuquerque Pereira, Wagner Coelho Biomedical Engineering Program COPPE/Federal University of Rio de Janeiro Av. Horácio Macedo 2030 Room H327 Rio de JaneiroRJ Brazil Systems and Computing Engineering Program COPPE/Federal University of Rio de Janeiro Rio de JaneiroRJ Brazil

Purpose: Screening is the predominant strategy for the early detection of breast cancer. However, image analysis depends on the experience of the radiologist, inserting subjective factors in the evaluation of findings. Most biopsies performed on women with suspicious lesions on breast imaging tests show benignity. This medical technique is invasive and consumes time and resources;therefore, there is a demand to reduce these unnecessary procedures. Computer-aided diagnostics has been increasingly used as a second-reader tool lately, decreasing the diagnostic uncertainty of specialists. Based on this fact, the development of such systems is crucial and can be accomplished by the refinement of its steps, i.e., more accurate segmentation and classification. Considering this scenario, the present work describes the implementation of two well-known convolutional neural networks, U-Net and SegNet, for the segmentation of lesions found in breast ultrasonography. Defining which architecture is most appropriate for this task can ultimately help in reducing the number of biopsies performed. Methods: Convolutional neural networks are used in segmentation by classifying each pixel in an image, based on self-trained weights. Using a dataset of 2054 images, obtained in partnership with the National Cancer Institute, we compared the automatic segmentation performed by the networks with a manual segmentation made by a specialist. Results: Among the two proposed architectures, U-Net obtained better results in this task, obtaining a dice coefficient of 86.3%, and took 68.3% less training time than the SegNet, which achieved a dice score of 81.1%. Conclusion: The two networks can segment ultrasound images with useful accuracy depending on their configuration, with U-Net being faster to train and more accurate. © 2021, Sociedade Brasileira de Engenharia Biomedica.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Model for Anomaly Detection in Reducing Water Losses in the Distribution Network of Peru using Machine Learning Algorithms

Model for Anomaly Detection in Reducing Water Losses in the ...

引用

Software engineering and Computer Science (CSECS), International Conference on

作者： Mayra Rivera Pricila Lucero José Luis Castillo-Sequera Lenis Wong Information Systems Engineering Program Universidad Peruana de Ciencias Aplicadas Lima Peru Department of Computer Science Group: Health Computing and Intelligent System Universidad de Alcalá Alcalá de Henares Spain

ISBN: (数字)9798331522216

ISBN: (纸本)9798331522223

Water leakage in distribution networks is a significant challenge, especially in regions with limited infrastructure like Huancayo, Peru, where losses account for 32.82% of the distributed volume. This study introduces a machine learning-based approach to detect leaks using four algorithms: Autoencoder LSTM, Isolation Forest, One-Class SVM, and K-Nearest Neighbors (KNN). The methodology involved preprocessing historical consumption data (2018–2024) into 12-month temporal sequences per client and evaluating the models based on F1 Score, Precision, and Mean Absolute Error (MAE). Among the algorithms, the Autoencoder LSTM demonstrated superior performance with the highest precision (0.89) and the lowest MAE (0.00402). Its robustness in high-variability contexts enables early and reliable leak detection, providing a cost-effective solution for optimizing water management in resource-constrained environments.

关键词： Support vector machines Machine learning algorithms Autoencoders Distribution networks Forestry Nearest neighbor methods Robustness Leak detection Long short term memory Water resources

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of a Checklist-Based Inspection Technique to Verify the Compliance of Software systems with the Brazilian General Data Protection Law

arXiv

引用

arXiv 2023年

作者： Cerqueira, Diego André de Mello, Rafael Maiani Travassos, Guilherme Horta Systems Engineering and Computer Science Graduate Program Federal University of Rio de Janeiro Brazil Computing Institute Federal University of Rio de Janeiro Brazil

Background/Context: Recent laws to ensure the security and protection of personal data establish new software requirements. Consequently, new technologies are needed to guarantee software quality under the perception of privacy and protection of personal data. Therefore, we created a checklist-based inspection technique (LGPDCheck) to support the identification of defects in software artifacts based on the principles established by the Brazilian General Data Protection Law (LGPD). Objective/Aim: To evaluate the effectiveness and efficiency of LGPDCheck for verifying privacy and data protection (PDP) in software artifacts compared to ad-hoc techniques. Method: To assess LGPDCheck and ad-hoc techniques experimentally through a quasi-experiment (two factors, five treatments). The data will be collected from IoT-based health software systems built by software engineering students from the Federal University of Rio de Janeiro. The data analyses will compare results from ad-hoc and LGPDCheck inspections, the participant's effectiveness and efficiency in each trial, defects' variance and standard deviation, and time spent with the reviews. The data will be screened for outliers, and normality and homoscedasticity will be verified using the Shapiro-Wilk and Levene tests. Nonparametric or parametric tests, such as the Wilcoxon or Student's t-tests, will be applied as appropriate. © 2023, CC BY-NC-ND.

关键词： Data privacy

来源：评论

学校读者我要写书评

暂无评论

Dynamic programming Algorithm using Furniture Industry 0/1 Knapsack Problem 5

Dynamic Programming Algorithm using Furniture Industry 0/1 K...

引用

5th International Conference on Cybernetics and Intelligent systems, ICORIS 2023

作者： Anditta, Mietha Amartya, Natashya Warnars, Laurens Spits Warnars, Harco Leslie Hendric Spits Ramadhan, Arief Siswanto, Teddy Mantoro, Teddy Noordin, Nurulhuda Bina Nusantara University School of Computer Science Computer Science Departement Jakarta11530 Indonesia Bina Nusantara University School of Information Systems Information Systems Departement Jakarta11530 Indonesia Bina Nusantara University Binus Graduate Program - Computer Science Computer Science Departement Jakarta11530 Indonesia Telkom University Pjj Informatika Bandung40257 Indonesia Trisakti University Information Systems Department Jakarta11440 Indonesia Sampoerna University Faculty of Engineering and Technology Jakarta12760 Indonesia Universiti Teknologi Mara School of Computing Sciences College of Computing Informatics and Mathematics Selangor Malaysia

ISBN: (纸本)9798350369489

Dynamic programming is a fundamental algorithm that can be found in our daily lives easily. One of the dynamic programming algorithm implementations consists of solving the 0/1 knapsack problem. A 0/1 knapsack problem can be seen from industrial production cost. It is prevalent that a production cost has to be as efficient as possible, but the expectation is to get the proceeds of the products higher. Thus, the dynamic programming algorithm can be implemented to solve the diverse knapsack problem, one of which is the 0/1 knapsack problem, which would be the main focus of this paper. The implementation was implemented using C language. This paper was created as an early implementation algorithm using a Dynamic program algorithm applied to an Automatic Identification System (AIS) dataset. © 2023 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

PPM-HC: A method for helping project portfolio management based on topic hierarchy learnings

引用

International Journal of Business Intelligence and Data Mining 2021年第3期18卷 364-382页

作者： Pinto, Ricardo A.M. Bernardini, Flavia Marcacini, Ricardo M. Graduate Program in Industrial Engineering and Computing Systems Fluminense Federal University Jardim Bela Vista Rio das OstrasRJ Brazil Computing Institute Fluminense Federal University São Domingos NiteróiRJ Brazil Information Systems Federal University of Mato Grosso do Sul P.O. Box 210 Três LagoasMS Brazil

The projects categorisation is a crucial step in the project portfolio management (PPM). Categorising projects allows the organisation to identify categories with a lack or excess of projects, according to its strategic objectives. In this work, we present a new method for project portfolio management based on hierarchical clustering (PPM-HC) to organise the projects at several levels of abstraction. In the PPM-HC, similar projects are allocated to the same clusters and subclusters. PPM-HC automatically learns an understandable topic hierarchy from the project portfolio dataset, thereby facilitating the (human) task of exploring, analysing and prioritising the projects of the organisation. We also proposed a card sorting-based technique which allows the evaluation of the projects categorisation using an intuitive visual map. We carried out an experimental evaluation based on a benchmark dataset and we also presented a real-world case study. The results show that the proposed PPM-HC method is promising. © 2021 Inderscience Enterprises Ltd.

关键词： Investments

来源：评论

学校读者我要写书评

暂无评论

Experiences with Postdoctoral Training in Human Factors: Mentor and Trainee Perspectives 67th

Experiences with Postdoctoral Training in Human Factors: Men...

引用

67th International Annual Meeting of the Human Factors and Ergonomics Society, HFES 2023

作者： Caine, Kelly Catchpole, Ken Sasangohar, Farzan Chen, Karen B. Hegde, Sudeep Souders, Dustin McDonald, Anthony McLaurin, Elease J. Clemson University School of Computing ClemsonSC United States Medical University of South Carolina Clinical Practice and Human Factors CharlestonSC United States Texas A&M University Industrial and Systems Engineering CentralSC United States North Carolina State University Edward P. Fitts Department of Industrial and Systems Engineering RaleighNC United States Clemson University Department of Industrial Engineering CentralSC United States Clemson University Psychology Department ClemsonSC United States University of Wisconsin-Madison Department of Industrial and Systems Engineering MadisonWI United States Oak Ridge Institute for Science & Education Fellowship Program Centers for Disease Control & Prevention PhiladelphiaPA United States

Postdoctoral training positions are becoming more common in the human factors and ergonomics (HFE) discipline. However, conversations related to training in the HFE discipline have largely focused on undergraduate and graduate education. This panel assembles both postdoctoral mentors and former trainees who collectively have a diverse set of HFE-related postdoctoral experiences. By panelists discussing their experiences, observations, and recommendations related to postdoctoral training with the audience, the panel session will support HFE faculty and students in making more informed decisions about if and how a postdoctoral experience (either as a mentor or trainee) could be a part of their career development in HFE. © 2023 Human Factors and Ergonomics Society.

关键词： education human factors mentorship postdoctoral training

来源：评论

学校读者我要写书评

暂无评论

Double-SP Method to Enhance Privacy and Security of Smart City Applications 10

Double-SP Method to Enhance Privacy and Security of Smart Ci...

引用

17th INDIACom;2023 10th International Conference on computing for Sustainable Global Development, INDIACom 2023

作者： Bahbouh, Nour Mahmoud Hakami, Abdulelah Alhussain Hassan Aljohani, Yaser Mohammed Sen, Adnan Ahmed Abi Alkhodre, Ahmad Alsughayyir, Aeshah Granada University Department of Information and Communication Sciences Granada Spain Saudi Electronic University Al-Madinah Saudi Arabia YasRef Program Yanbu Saudi Arabia Computing and Information Technology Islamic University Al-Madinah Saudi Arabia Islamic University Faculty of Computer and Information Systems Al-Madinah Saudi Arabia College of Computer Science and Engineering Taibah University Al-Madinah Saudi Arabia

ISBN: (纸本)9789380544472

Smart cities promise a lot of well-being to their users in all areas of life through millions of applications and services. Smart services rely heavily on collecting data and the preferences of users. But on the dark side, the users' information is posed to threat and penetration during transmission or stored far in the clouds. Depending on encryption only is not sufficient if the attacker has strong resources or if the attacker is the service provider (SP) itself. In addition, changing data before sending is not a practical solution in many systems because of the adverse impact on the quality of a main service. This research presented a new idea to address the issue of protection. The proposed method enhanced the privacy and security of users' data without affecting the accuracy of service. The core of the suggested solution relies on a knowledge base of services that are managed by experts. Also, the solution depends on fog nodes to measure the level of security and privacy of users' queries without delay. Moreover, the fog nodes manage contact with SPs. Finally, the proposed method divided the SP into two, one for user queries and the other for user data. The simulation and analytical discussion on a practical case in smart cities demonstrated the superiority of the proposed approach over previous methods in the level of protection by maintaining the quality of services, and the resistance to attacks. © 2023 Bharati Vidyapeeth, New Delhi.

关键词： Fog

来源：评论

学校读者我要写书评

暂无评论

AVTENet: A Human-Cognition-Inspired Audio-Visual Transformer-Based Ensemble Network for Video Deepfake Detection

引用

IEEE Transactions on Cognitive and Developmental systems 2025年

作者： Hashmi, Ammarah Shahzad, Sahibzada Adil Lin, Chia-Wen Tsao, Yu Wang, Hsin-Min Taiwan International Graduate Program Academia Sinica Social Networks and Human-Centered Computing Program Taipei11529 Taiwan National Tsing Hua University Institute of Information Systems and Applications Hsinchu30013 Taiwan National Chengchi University Department of Computer Science Taipei11605 Taiwan National Tsing Hua University Department of Electrical Engineering Institute of Communications Engineering Hsinchu300044 Taiwan Academia Sinica Research Center for Information Technology Innovation Taipei11529 Taiwan

The recent proliferation of hyper-realistic deepfake videos has drawn attention to the threat of audio and visual forgeries. Most previous studies on detecting artificial intelligence-generated fake videos only utilize visual modality or audio modality. While some methods exploit audio and visual modalities to detect forged videos, they have not been comprehensively evaluated on multimodal datasets of deepfake videos involving acoustic and visual manipulations, and are mostly based on convolutional neural networks with low detection accuracy. Considering that human cognition instinctively integrates multisensory information including audio and visual cues to perceive and interpret content and the success of transformer in various fields, this study introduces the audio-visual transformer-based ensemble network (AVTENet). This innovative framework tackles the complexities of deepfake technology by integrating both acoustic and visual manipulations to enhance the accuracy of video forgery detection. Specifically, the proposed model integrates several purely transformer-based variants that capture video, audio, and audio-visual salient cues to reach a consensus in prediction. For evaluation, we use the recently released benchmark multimodal audio-video FakeAVCeleb dataset. For a detailed analysis, we evaluate AVTENet, its variants, and several existing methods on multiple test sets of the FakeAVCeleb dataset. Experimental results show that the proposed model outperforms all existing methods and achieves state-of-the-art performance on Testset-I and Testset-II of the FakeAVCeleb dataset. We also compare AVTENet against humans in detecting video forgery. The results show that AVTENet significantly outperforms humans. © 2016 IEEE.

关键词： audio-visual AVTENet Deepfake detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：