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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Energy Efficiency Improvement System for AC Circuits

Energy Efficiency Improvement System for AC Circuits

引用

2024 Conference of Young Researchers in Electrical and Electronic engineering, ElCon 2024

作者： Kulagin, Vladimir Selivanov, Kirill Vlasov, Andrey Aminev, Dmitrii Bunina, Lyudmila Bikovsky, Sergey Moscow Technical University of Communications and Informatics Moscow Russia Bauman Moscow State Technical University Bmstu Department of Design and Technology of Electronic Devices Moscow Russia Russian Technological University - Mirea Department of Development of Software Solutions and System Programming Moscow Russia Russian Technological University - Mirea Department of Electrical Engineering Systems Moscow Russia

ISBN: (纸本)9798350360646

The problem of the rational use of energy resources remains constantly relevant and requires the search for new approaches. One of them is power control. In AC circuits, the authors see the most promising method of phase AC power control. Based on it, a power control module was developed. The structural and circuit diagrams of the developed device are presented to implement the proposed solution. The authors produced its experimental prototype and conducted experimental testing at various levels of regulated power. Savings when using the proposed power control module were calculated using the example of energy consumption in various sectors of energy-intensive systems. According to the data obtained, the module allows saving energy consumption without significant discomfort to the energy user. The calculated results allow concluding that the proposed AC power control module is fully operational, and its widespread use will significantly reduce the need for electricity. © 2024 IEEE.

关键词： energy consumption energy efficiency power control

来源：评论

学校读者我要写书评

暂无评论

Using Machine Learning Techniques for Assessing Media Text Readability 24

Using Machine Learning Techniques for Assessing Media Text R...

引用

24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023

作者： Laputenko, Andrey Evtushenko, Tatiana Klochkova, Elena Yevtushenko, Nina National Research Tomsk State University Department of Information Technologies Tomsk Russia Graduate School of Applied Linguistics and Translation Studies Peter the Great St. Petersburg Polytechnic University Saint Petersburg Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Department of Software Engineering Moscow Russia

ISBN: (纸本)9798350336870

The paper addresses the problem of assessing media text readability depending on the correlation of objective and subjective text complexity. Objective text complexity refers to a set of measurable characteristics such as baseline, morphological, syntactic and lexical characteristics of a media text (a piece of news published on university websites), which is calculated automatically for each text. In total, 34 parameters are considered. Subjective text complexity score is assigned to each text by human experts who assess the clarity, structure, cohesion and coherence of the text. The correlation between subjective and objective text complexity is studied using machine learning models. The readability level is measured using machine learning methods and regression-correlation analysis. Namely, an artificial neural network and regression models are used. It is demonstrated that the use of polynomial features and lasso regularization allows to get a compact regression model of a high quality. The use of the chosen machine learning techniques made it possible to estimate the impact of distinct linguistic features on the readability level. © 2023 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Uvlhub: A Feature Model Data Repository Using Uvl and Open Science Principles

SSRN

引用

SSRN 2023年

作者： Romero-Organvidez, David Galindo, José A. Sundermann, Chico Horcas, Jose-Miguel Benavides, David Department of Computer Languages and Systems University of Seville Spain Institute of Software Engineering and Programming Languages Ulm University Germany CAOSD ITIS Software University of Málaga Spain

Feature models are the de facto standard for modelling variabilities and commonalities. Concrete models in different domains exist;however, many are in private or sparse repositories or belong to discontinued projects. The dispersion of knowledge of feature models hinders the study and reuse of these artefacts in different studies. The Universal Variability Language (UVL) is a community effort textual feature model language that promotes a common way of serialising feature models independently of concrete tools. Open science principles promote transparency, accessibility, and collaboration in scientific research. Although some attempts exist to promote feature model sharing, the existing solutions lack open science principles by design. In addition, existing and public feature models are described using formats not always supported by current tools. This paper presents UVLHUB, a repository of feature models in UVL format. UVLHUB provides a front end that facilitates the search, upload, storage, and management of feature model datasets, improving the capabilities of discontinued proposals. Furthermore, the tool communicates with Zenodo providing a permanent save of datasets and following open science principles. UVLHUB includes existing datasets and is readily available to include new data and functionalities in the future. It is maintained by three active universities in variability modelling. © 2023, The Authors. All rights reserved.

关键词： Concretes

来源：评论

学校读者我要写书评

暂无评论

Collaboration And Versioning Framework – A Systematic Top-Down Approach

Collaboration And Versioning Framework – A Systematic Top-D...

引用

Conference on Model Driven engineering Languages and Systems Companion (MODELS-C)

作者： Jakob Pietron Alexander Raschke Joeri Exelmans Matthias Tichy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Department of Computer Science University of Antwerp – Flanders Make Antwerp Belgium

CONTEXT: Versioning allows users to efficiently create and evolve artifacts, not only but especially in the domain of model-driven engineering. Due to collaboration tools, the place and time where users jointly work at their artifacts do not play an important role anymore. Objective: We systematically elaborated a classification framework for collaboration and versioning tools. The intention is threefold: First, it should be possible to classify existing approaches. Second, deriving from user goals requirements to be met, and capabilities to be supported by a new tool. Third, given a set of capabilities, highlight which user goals can be achieved. Method: According to Kang and Lee, we systematically elaborated a problem space and a solution space and created mappings between both spaces and their sub-spaces. To demonstrate the applicability, we classified existing VCS like git, Google Docs, and several MDE-specific approaches. Results: The created feature diagram covers 238 features and contains about 87 constraints. Conclusion: The developed framework supports researchers and developers in classifying their tools, revealing new opportunities to improve their tools, and guiding the development of new tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device

A Case Study on Data Protection for a Cloud- and AI-based Ho...

引用

2022 International Health Data Workshop, HEDA 2022

作者： Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin University of Lübeck Institute for Software Engineering and Programming Languages Lübeck Germany Tallinn University of Technology School of Information Technologies Department of Health Technologies Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany

To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cloud. To support the doctor’s duties, such devices may benefit from AI-based diagnosis routines. In order for such devices to be approved and placed on the market, they need to comply with various legal, regulatory, economic, and social requirements. An integral part of these requirements is the protection of the patients’ data. In this paper, based on a current use case, we describe a workflow on how to identify risks and address their mitigations. To this end, we recall the relevant legal, regulatory, economic, and social data protection requirements. We pursue our findings on a Homecare OCT device that is intended to be used by elderly patients on a daily basis, by taking images of their eyes and sending them for further analysis to a cloud- and AI-based system. The patient’s ophthalmologist gets notified for further dedicated treatment depending on the result. To perform the risk management, we describe (i) the architecture of the homecare system, (ii) analyze its data flow, (iii) discuss several vectors of attack, and (iv) propose ways to mitigate the risks. © 2022 Copyright for this paper by its authors.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Classification Algorithms with a Complex Structure in Pattern Recognition

Classification Algorithms with a Complex Structure in Patter...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Akram Kh. Nishanov Oybek Allamov Askar T. Rakhmanov Janar Yusupova Ortik B. Ruzibaev Department of Systematic and Practical Programming Technical Sciences Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Software Engineering Urgench Branch of Tashkent University of Information Technology named after Muhammad al Khwarizmi Urgench Uzbekistan Department of systematic and practical programming Tashkent university of information technologies named after muhammad al-Khwarizmi Tashkent Uzbekistan Faculty of Software Engineering Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan

ISBN: (数字)9798350389234

ISBN: (纸本)9798350353051

The article considers in the intellectual processing of information, moving from a large unit of measurement to a smaller, more important unit of measurement, selecting sets of informative symbols and classifying symbols, developing modern recognition systems that help specialists in the field, as well as evaluating the states of objects to be classified, developing a classification algorithm for multi-class cases of educational samples. The development of a multi-class algorithm for symbol classification serves to develop the theory of symbol recognition. It deals with the construction of a decision rule construction algorithm. Its main purpose is to determine which of the given classes the recognized object belongs to. The complexity or simplicity of the proposed algorithm depends on the number of classes participating in the study sample. If the number of classes is two, then the formulation of decision rules is simple. That is why the classification algorithms proposed by most authors are solved for cases where the number of classes is three or more, the decisive rule in the matter of classification of objects is solved by making two classes. The construction of a multi-class decision rule for classification, which takes into account all classes at the same time, is a complex and urgent issue. In the article, in the classification of objects, a multi-level complex structured decision rule was developed based on special inequalities, and two-, three- and multi-class classification algorithms were developed.

关键词： Training Productivity Measurement units Atmospheric measurements Symbols Particle measurements Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：