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

arXiv 2023年

作者： Córdoba, Filip Cano Palmisano, Alexander Fränzle, Martin Bloem, Roderick Könighofer, Bettina Institute of Applied Information Processing and Communications Graz University of Technology Austria Dpt. of Computing Science Carl von Ossietzky University of Oldenburg Germany

Agents operating in physical environments need to be able to handle delays in the input and output signals since neither data transmission nor sensing or actuating the environment are instantaneous. Shields are correct-by-construction runtime enforcers that guarantee safe execution by correcting any action that may cause a violation of a formal safety specification. Besides providing safety guarantees, shields should interfere minimally with the agent. Therefore, shields should pick the safe corrective actions in such a way that future interferences are most likely minimized. Current shielding approaches do not consider possible delays in the input signals in their safety analyses. In this paper, we address this issue. We propose synthesis algorithms to compute delay-resilient shields that guarantee safety under worst-case assumptions on the delays of the input signals. We also introduce novel heuristics for deciding between multiple corrective actions, designed to minimize future shield interferences caused by delays. As a further contribution, we present the first integration of shields in a realistic driving simulator. We implemented our delayed shields in the driving simulator CARLA. We shield potentially unsafe autonomous driving agents in different safety-critical scenarios and show the effect of delays on the safety analysis. © 2023, CC BY.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Text Post-processing on Optical Character Recognition output using Natural Language Processing Methods

Text Post-processing on Optical Character Recognition output...

引用

Mysore Sub Section International Conference (MysuruCon), IEEE

作者： Thangam U Kumaran Dipshikha Biswas B Sneha Suneel Nadipalli Saleem Raja Department of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Bengaluru India University of Technology and Applied Sciences Shinas Sultanate of Oman

The technique of turning images of printed or written text from scanned documents, images of documents, or simple photos into machine-encoded text is known as optical character recognition (OCR). OCR has proven to be very useful in terms of digitizing documents and making them easier to analyze. Despite the advancement in the technology since it was introduced, there are still areas OCR falls short. If either the written text is illegible, or the OCR software isn’t powerful enough, it results in inaccurate translations. This research work aims at addressing this shortcoming by performing post-processing on OCR outputs primarily using Transformers such as BERT in a two-step pipeline to correct these mistakes and improve the quality of the document.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Ensemble-Based Approach for Efficient Intrusion Detection in Network Traffic

引用

Intelligent Automation & Soft computing 2023年第8期37卷 2499-2517页

作者： Ammar Almomani Iman Akour Ahmed M.Manasrah Omar Almomani Mohammad Alauthman Esra’a Abdullah Amaal Al Shwait Razan Al Sharaa School of Computing Skyline University CollegeUniversity City of SharjahP.O.Box 1797SharjahUnited Arab Emirates IT-Department-Al-Huson University College Al-Balqa Applied UniversityP.O.Box 50IrbidJordan Information Systems Department College of Computing&InformaticsUniversity of SharjahUnited Arab Emirates Comp.Info Sciences(CIS)Division Higher Colleges of TechnologySharjahUnited Arab Emirates Computer Sciences Department Yarmouk UniversityIrbidJordan Computer Network and Information Systems Department The World Islamic Sciences and Education UniversityAmman11947Jordan Department of Information Security Faculty of Information TechnologyUniversity of PetraAmmanJordan

The exponential growth of Internet and network usage has neces-sitated heightened security measures to protect against data and network ***,executed through network packets,pose a significant challenge for firewalls to detect and prevent due to the similarity between legit-imate and intrusion *** vast network traffic volume also complicates most network monitoring systems and *** intrusion detection methods have been proposed,with machine learning techniques regarded as promising for dealing with these *** study presents an Intrusion Detection System Based on Stacking Ensemble Learning base(Random For-est,Decision Tree,and k-Nearest-Neighbors).The proposed system employs pre-processing techniques to enhance classification efficiency and integrates seven machine learning *** stacking ensemble technique increases performance by incorporating three base models(Random Forest,Decision Tree,and k-Nearest-Neighbors)and a meta-model represented by the Logistic Regression *** using the UNSW-NB15 dataset,the pro-posed IDS gained an accuracy of 96.16%in the training phase and 97.95%in the testing phase,with precision of 97.78%,and 98.40%for taring and testing,*** obtained results demonstrate improvements in other measurement criteria.

关键词： Intrusion detection system(IDS) machine learning techniques stacking ensemble random forest decision tree k-nearest-neighbor

来源：评论

学校读者我要写书评

暂无评论

Skills Extraction from Entities in Arabic CVs

Skills Extraction from Entities in Arabic CVs

引用

IEEE International Conference on Cognitive Machine Intelligence (CogMI)

作者： Mohamed Abdul Karim Sadiq Thirumurugan Shanmugam Nasser Mohammed Al-Fannah Firdous Kausar College of Computing and Information Science University of Technology and Applied Sciences Suhar Oman Department of Mathematics and Computer Science Fisk University Nashville Tennessee USA

Named Entity Recognition in low resource languages such as Arabic is relatively less accurate. Despite this, many applications attempt query-document matching, which necessitates entity resolution. We explore certain possible solutions in this regard to enhance the matching process. A system is proposed to build a sub graph of terms in the Knowledge Graph. These terms specifically deal with skills in the Arabic documents related to the Human Resources domain. The accuracy measures of skills extraction using two different Language Models viz., SparkNLP and Hatmi are presented. The results are promising and have scope for improvement in entity resolution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cutting-Edge Predictive Methods for Enhancing Short-Term Load Prediction

Cutting-Edge Predictive Methods for Enhancing Short-Term Loa...

引用

2024 International Conference on Electrical and Computer Engineering Researches, ICECER 2024

作者： Ghazal, Taher M. Janjua, Jamshaid Iqbal Abushiba, Walid Ahmad, Munir Abbas, Tahir Ateeq, Karamath College of Arts & Science Applied Science University P.O.Box 5055 Manama Bahrain Universiti Kebangsaan Malaysia Center for Cyber Security Faculty of Information Science and Technology Bangi Selangor Malaysia Lahore Pakistan College of Engineering Applied Science University Bahrain College of Informatics Korea University Seoul02841 Korea Republic of TIMES Institute Department of Computer Science Multan Pakistan School of Computing Skyline University College University City Sharjah Sharjah United Arab Emirates

ISBN: (纸本)9798331539733

Efficient management and cost-related factors in the power sector call for accurate short-term load forecasting as it enables better planning with the electric grid and achieving stability within it. This paper looks into the state-of-the-art forecasting strategies that enhance load forecasts made in shorter time frames. Such techniques include but are not limited to machine learning applications, effective data models, and multi-dimensional modeling leveraging historical, meteorological, and economic data. Their review is carried out in detail with their advantages and disadvantages and their application in practice. Furthermore, this study strives to understand the barriers that need to be overcome in the quest to increase the accuracy of the forecasting models especially concerning renewable energy sources. We illustrate how new trends relate to future developments of predictive models about supporting the decision-making in operating power systems and improving the reliability and sustainability of energy systems. © 2024 IEEE.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

Utilizing a machine learning algorithm to choose a significant traffic identification system

引用

International Journal of Information Management Data Insights 2024年第1期4卷

作者： Natarajan, Rajesh Ranjith, Christodoss Prasanna Mohideen, M．Syed Khaja Gururaj, H.L. Flammini, Francesco Thangarasu, N. Information Technology Department College of Computing and Information Sciences University of Technology and Applied Sciences-Shinas Al-Aqr Shinas 324 Oman Information Technology Department College of Computing and Information Sciences University of Technology and Applied Sciences- Salalah Post Box No 608 Salalah 211 Oman Department of Information Technology Manipal Institute of Technology Bengaluru Manipal Academy of Higher Education Manipal India IDSIA USI-SUPSI University of Applied Sciences and Arts of Southern Switzerland Switzerland Department of Computer Science Karpagam Academy of Higher Education Tamil Nadu Coimbatore India

The tremendous advancements in computing, sensing, and cognitive-based revolution have made way for critical infrastructure needed to improve the internet for more extensive applications. However, the computation performed by devices and the ability to communicate is limited due to the use of numerous devices for storage. Among the most complex model scenarios, a framework based on a Traffic Identification System (TIS) is a crucial answer. The Web-based brute force and botnet attacks are linked in this initial phase. To forecast the samples using the adaptive bootstrap method, the second phase entails creating a classifier on the training dataset. The normalization model and features are combined in the model, which then identifies traffic attacks on the network. Based on voting mechanisms from several decision trees utilized in the mode, an ensemble model using the Adaptive Boosting Classifier and Random Forest Algorithm (ABC-RFA) method is employed to construct the classification model. According to the overhead analysis of the dataset used for testing, the suggested model's overall performance is approximately 98.90 %, much better than the conventional models currently in use. Overall Precision, Specificity, Rate of Detection, And Accuracy Were All Attained. © 2024 The Author(s)

关键词： Adaptive bootstrap Classification Ensemble Model Random Forest (RF)

来源：评论

学校读者我要写书评

暂无评论

Optimal Logistic Map with DNA computing Model for Image Encryption

Optimal Logistic Map with DNA Computing Model for Image Encr...

引用

computing and Data Analytics (ICCDA), International Conference on

作者： Shiny K.V Wilfred Blessing N. R Jino R Suresh Palarimath Mathumitha V Sutherlin Subitha G Department of Computer Science and Engineering Bharath Institute of Higher Education and Research Chennai India College of Computing and Information Sciences University of Technology and Applied Sciences-Ibri Ibri Sultanate of Oman Department of Civil Engineering Vels Institute of Science Technology and Advanced Studies (VISTAS) Chennai India Department of Computer Science and Engineering Stella Mary's College of Engineering Tamil nadu India

ISBN: (数字)9798331542573

ISBN: (纸本)9798331542580

The logistic map with optimization with a novel Deoxyribonucleic Acid (DNA) sequence operation-based novel image encryption scheme is generated. The best mask is obtained by enhancing the excellence of DNA which is the significant advantage of this approach. According to the image decryption and encryption process, correct errors and the similarity of DNA sequences are decreased by the DNA cryptogram becoming an input pace for DNA calculation. The maximum PSNR of encrypted images is obtained by the logistic map function to improve the performance of image security Ant Lion optimization (ALO). The image encryption and decryption process generate optima point DNA sequence rules. DNA coding: utilizing the complementary rule, each nucleotide is then changed into its base pair for a random time or times; the times are produced by Chebyshev maps. The experimental investigations provided better UACI, Number of Pixel Exchange Rate (NPCR), and Peak Signal Noise Ratio (PSNR). This strategy is significant because it increases entropy, which is the fundamental property of randomness, withstands multiple statistical and differential attacks, and produces positive experimental outcomes.

关键词： Resistance Ciphers PSNR Noise Reliability theory Encoding Matrices Encryption Optimization Logistics

来源：评论

学校读者我要写书评

暂无评论

UNDERSTANDING USERS’ UX NEEDS THROUGH THE LENSES OF PSYCHOLOGICAL NEEDS THEORIES: USERS’ EXPECTATIONS AND FELT EXPERIENCES 16

UNDERSTANDING USERS’ UX NEEDS THROUGH THE LENSES OF PSYCHOL...

引用

16th International Conference on Interfaces and Human Computer Interaction, IHCI 2022, and 15th International Conference on Game and Entertainment Technologies 2022, GET 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022

作者： Mkpojiogu, Emmanuel O.C. Okeke-Uzodike, Obianuju E. Omopariola, Victor School of Computing Universiti Utara Malaysia UUM Sintok06010 Malaysia Department of Software Engineering Veritas University Abuja Nigeria Department of Applied Management Durban University of Technology KwaZulu-Natal Pietermaritzburg South Africa Department of Computer and Information Technology Veritas University Abuja Nigeria

ISBN: (纸本)9789898704405

The purpose of this study was to conduct a literature review in order to gather material that would serve to underpin and support a link between UX requirements and psychological theories. In the paper, relevant sources from extant literature were accessed and synthesized. The outcome revealed that psychological theories support user experience needs. UX needs as psychological needs are fully supported by psychological theories. In the light of this, the search for ways to meet these needs should be done using psychological needs fulfillment strategies. Further studies will investigate ways of meeting these user experience needs and how these needs can be modeled for UX design and evaluation. © 2022 International Conference on Interfaces and Human Computer Interaction

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

OPTIMAL SYSTEMS, CONSERVATION LAWS, AND INVARIANCE ANALYSIS OF THE (2 + 1) EXTENDED BOITI-LEON-MANNA-PEMPINELLI EQUATION VIA THE LIE SYMMETRY APPROACH

arXiv

引用

arXiv 2024年

作者： Bhardwaj, Akshita Yadav, Shalini Junaid-U-Rehman, Muhammad Arora, Rajan Department of Applied Mathematics and Scientific Computing Indian Institute of Technology Roorkee India Department of Mathematics Lady Shri Ram College For Women–Delhi University India Department of Automation Biomechanics and Mechatronics Lodz University of Technology Lodz Poland

Lie symmetry analysis has been applied to the extended Boiti-Leon-Manna-Pempinelli (eBLMP) equation. This system illustrates the exchange of information between two waves with distinct dispersion characteristics. The optimal system of the corresponding Lie algebra has been constructed. The equation considered has been reduced into a simpler form for the computation of analytical solutions. The novelty of this research is the optimal system of subalgebras in one dimension using the adjoint action approach. To analyze and understand the eBLMP more clearly, graphs have been plotted. We have also found conservation laws. Copyright © 2024, The Authors. All rights reserved.

关键词： Lie groups

来源：评论

学校读者我要写书评

暂无评论

Optimized Runge-Kutta Methods with Automatic Step Size Control for Compressible Computational Fluid Dynamics

引用

Communications on applied Mathematics and Computation 2022年第4期4卷 1191-1228页

作者： Hendrik Ranocha Lisandro Dalcin Matteo Parsani David I.Ketcheson Applied Mathematics Münster University of MünsterMunsterGermany Computer Electrical and Mathematical Science and Engineering Division(CEMSE) Extreme Computing Research Center(ECRC)King Abdullah University of Science and Technology(KAUST)Thuwal 23955-6900Saudi Arabia Computer Electrical and Mathematical Science and Engineering Division(CEMSE) King Abdullah University of Science and Technology(KAUST)Thuwal 23955-6900Saudi Arabia

We develop error-control based time integration algorithms for compressible fluid dynam-ics(CFD)applications and show that they are efficient and robust in both the accuracy-limited and stability-limited *** on discontinuous spectral element semidis-cretizations,we design new controllers for existing methods and for some new embedded Runge-Kutta *** demonstrate the importance of choosing adequate controller parameters and provide a means to obtain these in *** compare a wide range of error-control-based methods,along with the common approach in which step size con-trol is based on the Courant-Friedrichs-Lewy(CFL)*** optimized methods give improved performance and naturally adopt a step size close to the maximum stable CFL number at loose tolerances,while additionally providing control of the temporal error at tighter *** numerical examples include challenging industrial CFD applications.

关键词： Explicit Runge-Kutta methods Step size control Compressible Euler equations Compressible Navier-Stokes equations hp-adaptive spatial discretizations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：