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

Innovations in Intelligent Systems and Applications Conference

作者： Talha Karadeniz Gül Tokdemir H. Hakan Maraş Department of Software Engineering Çankaya University Ankara Turkey Department of Computer Engineering Çankaya University Ankara Turkey Department of Computer Programming Çankaya University Ankara Turkey

ISBN: (数字)9798350379433

ISBN: (纸本)9798350379440

Fasttext is a powerful word representation method that creates word representations based on vectors of character n-grams. In this work, we propose a method that utilizes fasttext features for a novel feature engineering model for the spam detection problem. In the feature engineering method, the combination of average, mean of second derivative; mean peak and standard deviation of fasttext features are computed. Finally, tf-idf features are also considered for the modeling process. The success of each feature engineering technique is measured and reported. The combination of the five feature extraction methods, tested on two spam detection datasets, yielded promising results with an accuracy of 0.978 on e-mail spam detection and an accuracy of 0.986 on sms spam classification.

关键词： Technological innovation Accuracy Unsolicited e-mail Computational modeling Feature extraction Vectors Intelligent systems Standards Postal services

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of Metaheuristic Optimization Techniques in Insulation Problem 8

Performance Evaluation of Metaheuristic Optimization Techniq...

引用

8th International Conference on Information Technology Trends, ITT 2022

作者： Gunal, Ozen Akpinar, Mustafa Akpinar, Kevser Ovaz Turgutlu Vocational School Manisa Celal Bayar University Department of Computer Programming Manisa Turkey Sakarya University Department of Software Engineering Sakarya Turkey School of Engineering Architecture and Interior Design Amity University Dubai Dubai United Arab Emirates Rochester Institute of Technology Department of Computing Security Dubai United Arab Emirates

ISBN: (数字)9781665487429

ISBN: (纸本)9781665487412

Selection of insulation material and determination of its thickness are the two most important parameters that prevent heat loss. Too much thickness complicates the price and use. The low coefficient of thermal conductivity of the insulation material reduces heat loss and increases the cost. One of the most important factors when determining the material thickness and conductivity coefficient is the price. In this study, two cases were examined under certain conditions, independent of the price. In the first case, the insulation material is determined, whereas the material thickness is determined in the second case. Six different current metaheuristic algorithms were used to calculate the two cases. It has been observed that harris hawks optimization (HHO), salp swarm optimization (SSO), and whale optimization (WO) algorithms determine the global optimum point without any error in determining the targets of the problem while the processing times were short. Overall, it has been seen that all six algorithms can create solutions to heat transfer problems with very low errors. © 2022 IEEE.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Optimization of industrial processes in reactors

Optimization of industrial processes in reactors

引用

2nd International Conference on Key engineering Materials and computer Science, KEMCS 2013

作者： Berdiyeva, Meruyert Ospanova, Aiman Othman, Mohamed Department of Computer engineering and Software programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan Dept of Communication Technology and Network Universiti Putra Malaysia 43400 UPM Serdang Selangor D.E Malaysia

ISBN: (纸本)9783037857274

In the conditions of industrial production many processes of polymerisation are nonstationary. By processes optimization with the regard for such features as basic data it is necessary to use adaptive algorithms of identification, allowing mathematical model of process continuously to be adapted for changing conditions of operation. Use of such algorithms for process optimization demands periodic recalculation of optimum technological modes of process. Polymer reaction engineering is a discipline that deals with various problems concerning the fundamental nature of chemical and physical phenomena in polymerization processes. Mathematical modeling is a powerful tool for the development of process understanding and advanced reactor technology in the polymer industry. © (2013) Trans Tech Publications, Switzerland.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Operating modes of chemical reactors of Polymerization

引用

International Journal of computer Science Issues 2012年第3期9卷 393-396页

作者： Berdieva, Meruyert Ospanova, Aiman Koshkinbayeva, Madina Zhukabayeva, Tamara Department of Computer Engineering and Software Programming South Kazakhstan State University Tauke Khan avenue 5 Shymkent 160012 Kazakhstan

In the work the issues of stable technological modes of operation of main devices of producing polysterol - reactors have been researched as well as modes of stable operation of a chemical reactor have been presented, which enables to create optimum mode parameters of polymerization process, to prevent emergency situations of chemical reactor operation in industrial conditions. © 2012 International Journal of computer Science Issues.

关键词： Chemical reactors

来源：评论

学校读者我要写书评

暂无评论

Situational decomposition method

引用

International Journal of computer Science Issues 2012年第2 2-3期9卷 487-490页

作者： Ven-Tsen, Khu Kokenovna, Zhukabayeva Tamara Department of Computer Engineering and Software Programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan

The method of optimum control of the complex multivariate objects, based on the account of situations during the moment of acceptance of operating decisions is offered. The method allows to reduce the initial problem of management complicated for the decision, to set of more simple consistently solved problems representing the modified initial problem. The method is realized in a control system of the variable structure combining principles of centralized and decentralized management. © 2012 International Journal of computer Science Issues.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Optimization of Industrial Processes in Reactors

Optimization of Industrial Processes in Reactors

引用

2013 2nd International Conference on Key engineering Materials and computer Science(KEMCS 2013)

作者： Meruyert Berdiyeva Aiman Ospanova Мohamed Othman Department of Computer engineering and Software programming South Kazakhstan State University Dept of Communication Technology and Network Universiti Putra Malaysia

关键词： industrial processes polymerisattion chemical reactors technological parameters-temperature and conversion the optimization problem

来源：评论

学校读者我要写书评

暂无评论

A Bio-inspired Fuzzy Agent Clustering Algorithm for Search Engines

引用

Procedia computer Science 2011年 7卷 305-307页

作者： Radu D. Găceanu Department of Computer Science Babeş-Bolyai University Cluj-Napoca Romania Department of Programming Theory and Software Engineering Eötvös Loránd University Budapest Hungary

In general, web search engines respond to queries by returning a list of links to web pages that are considered relevant. However, these queries are often ambiguous or too general and the users end up browsing through a long list of items in order to find what they are actually looking for. And hence the idea to cluster web search results so that the output would be a list of labelled clusters. An algorithm based on the ASM (Ants Sleeping Model) is proposed. In the ASM model each data is represented by an agent, its environment being a two dimensional grid. The agents will group themselves into clusters by making simple moves according to some local environment information. At any step an agent can pro-actively decide to directly communicate with one of its fellows and choose to move accordingly, the moves being expressed by fuzzy IF-THEN rules. Thus the chance of getting trapped in a local optimum is minimized and hybridization with a classical clustering algorithm becomes needless.

关键词： Ants Sleeping Model Fuzzy logic Clustering

来源：评论

学校读者我要写书评

暂无评论

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

arXiv

引用

arXiv 2024年

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

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 "failures" 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

来源：评论

学校读者我要写书评

暂无评论

Migrating Birds Optimization-Based Feature Selection for Text Classification

arXiv

引用

arXiv 2024年

作者： Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey

This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification having large number of features. Focusing on computational efficiency, we preprocess raw data using the Information Gain algorithm, strategically reducing the feature count from an average of 62221 to 2089. Our experiments demonstrate MBO-NB's superior effectiveness in feature reduction compared to other existing techniques, emphasizing an increased classification accuracy. The successful integration of Naive Bayes within MBO presents a well-rounded solution. In individual comparisons with Particle Swarm Optimization (PSO), MBO-NB consistently outperforms by an average of 6.9% across four setups. This research offers valuable insights into enhancing feature selection methods, providing a scalable and effective solution for text classification. © 2024, CC BY-NC-ND.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：