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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

153 篇 会议
46 篇 期刊文献
10 册 图书

馆藏范围

209 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

119 篇 工学
- 88 篇 计算机科学与技术...
- 75 篇 软件工程
- 18 篇 信息与通信工程
- 12 篇 控制科学与工程
- 9 篇 生物工程
- 8 篇 土木工程
- 7 篇 电气工程
- 7 篇 船舶与海洋工程
- 6 篇 机械工程
- 6 篇 电子科学与技术（可...
- 6 篇 网络空间安全
- 5 篇 生物医学工程（可授...
- 4 篇 建筑学
- 3 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 3 篇 交通运输工程
- 3 篇 安全科学与工程
68 篇 理学
- 36 篇 数学
- 11 篇 物理学
- 11 篇 生物学
- 9 篇 系统科学
- 9 篇 统计学（可授理学、...
- 7 篇 海洋科学
- 3 篇 化学
29 篇 管理学
- 22 篇 管理科学与工程(可...
- 11 篇 工商管理
- 7 篇 图书情报与档案管...
7 篇 经济学
- 7 篇 应用经济学
6 篇 教育学
- 6 篇 教育学
4 篇 农学
3 篇 医学
1 篇 军事学

主题

11 篇 artificial intel...
6 篇 monitoring
6 篇 semantics
6 篇 information stor...
5 篇 computer science
5 篇 software enginee...
5 篇 software
5 篇 forecasting
5 篇 data models
4 篇 information syst...
4 篇 application soft...
4 篇 supercomputers
4 篇 computational mo...
4 篇 predictive model...
4 篇 dipper throated ...
4 篇 students
4 篇 standards
3 篇 internet of thin...
3 篇 intrusion detect...
3 篇 operating system...

机构

11 篇 department of sy...
10 篇 technical univer...
7 篇 department of pr...
6 篇 department of co...
6 篇 department of co...
6 篇 computer enginee...
6 篇 computer techniq...
5 篇 department of co...
5 篇 department of el...
5 篇 department of co...
5 篇 department of co...
4 篇 school of electr...
4 篇 department of co...
4 篇 department of co...
4 篇 department of pr...
4 篇 computer enginee...
4 篇 tashkent univers...
3 篇 department of pr...
3 篇 research group p...
3 篇 neuromorphica lt...

作者

11 篇 gancheva veska
8 篇 mostafa abotaleb
8 篇 abdelhameed ibra...
7 篇 veska gancheva
7 篇 philippsen micha...
5 篇 el-sayed m.el-ke...
5 篇 abdelaziz a.abde...
5 篇 doaa sami khafag...
5 篇 borovska plamenk...
4 篇 koparanov kiril ...
4 篇 minkovska daniel...
4 篇 minkovska daniel...
4 篇 henning christia...
4 篇 ujkani berat
3 篇 troels andreasen
3 篇 michael philipps...
3 篇 kiril andreev ko...
3 篇 el-sayed m. el-k...
3 篇 nataliia khatsko
3 篇 trendafilov iani...

语言

205 篇 英文
4 篇 其他

检索条件"机构=Department Computer Systems and Programming"

共 209 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Application of Machine Learning Techniques for Software Anomaly Detection 3

Application of Machine Learning Techniques for Software Anom...

引用

3rd International Conference on Applied Mathematics and computer Science, ICAMCS 2023

作者： Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria

ISBN: (纸本)9798350324266

A rising variety of platforms and software programs have leveraged repository-stored datasets and remote access in recent years. As a result, datasets are more vulnerable to malicious attacks. As a result, network security has grown in importance as a research topic. The usage of intrusion detection systems is a well-known strategy for safeguarding computer networks. This paper proposes an anomaly detection method that blends rule-based and machine-learning-based methods. In order to construct the appropriate rules, a genetic algorithm is utilized. Principal component analysis is used to extract the relevant features aimed to improve the performance. The suggested method is validated experimentally using the KDD Cup 1999 dataset, which meets the requirement of using appropriate data. The proposed method is applied to detect and analyze four types of attacks in a well-known benchmark dataset: Neptune, Ipsweep, Pod, and Teardrop, utilizing Support Vector Machine, Decision Tree, and Naive Bayes algorithms. After testing the characteristics specified in the training phase, the data is classified into attack categories and normal behavior during the machine learning phase. © 2023 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

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

ISBN: (纸本)9798350351507

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 'failuresy' 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

来源：评论

学校读者我要写书评

暂无评论

METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALGORITHM 5

METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALG...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Gavrylenko, Svitlana Zozulia, Vladislav Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

ISBN: (纸本)9798350384499

An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, developed at the Australian Cyber Security Center's (ACCS) Cyber Range Laboratory, contains data on normal network operations and synthetic intrusions. Data pre-processing was performed, including class balancing using the SMOTEENN method and selection of informative features using the Recursive Feature Elimination method. The possibility of using the stacking meta-algorithm to detect intrusions into computer networks has been investigated. A new algorithm for generating packets of raw data is proposed, which generates two sets of training data: one for training basic models, the other for a meta-model. A study of the effectiveness of using Random Forest, ANN, K Nearest Neighbor methods and Support Vector Machine and Random Forest as a decision-making meta-model was conducted. The use of the stacking meta-algorithm with the proposed algorithm for forming packets of output data, as well as basic models and a meta-model, led to a significant improvement in the quality of the model. It was found that, on average, recall and f1 score increased by 55.6% and 37.4%, respectively, compared to raw data and other models. ©2024 IEEE.

关键词： Network intrusion

来源：评论

学校读者我要写书评

暂无评论

Application of Logistic Regression Technique for Predicting Student Dropout 31

Application of Logistic Regression Technique for Predicting ...

引用

31st International Scientific Conference Electronics, ET 2022

作者： Ujkani, Berat Minkovska, Daniela Stoyanova, Lyudmila Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies Sofia1000 Bulgaria

ISBN: (数字)9781665498784

ISBN: (纸本)9781665498784

Student dropout in higher education is a complex issue and as a process it includes many factors which may affect each other. This paper explores the use and application of a probabilistic supervised machine learning technique for predicting university student dropout to obtain insights on the students at risk and prevent them from dropping out the studies. Data from a public university in the Republic of Kosovo were obtained and examined. The dataset comprises instances of students' dropouts for the past six academic years along with their demographics, grades, enrollment details etc. Logistic Regression, as one of the most widely used Machine Learning and Artificial Intelligence algorithms, was used to build the model and produce the predictions. First, a statistical analysis was conducted and after the data preprocessing, logistic regression classifier was implemented. The results show that a high prediction accuracy was reached, with a percentage of 90%, and a F1 score of 0.85, indicating that the model is performing great and the predictions results are reliable. © 2022 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Improving Predictions of Long Sequences by Hyperparameter Tuning 10

Improving Predictions of Long Sequences by Hyperparameter Tu...

引用

10th International Scientific Conference on computer Science, COMSCI 2022

作者： Koparanov, Kiril Andreev Georgiev, Krasin Krasimirov Shterev, Vasil Aleksandrov Minkovska, Daniela Veleva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Department of Air Transport Faculty of Transport Department of Communication Networks Faculty of Telecommunications Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. 1000 Sofia Bulgaria

ISBN: (纸本)9781665497770

The problem of forecasting long sequences is important in many different domains. Proper selection of the hyperparameters when a machine learning approach is applied could make the difference between adequate and inadequate model. Several algorithms for automatic hyperparameters tuning were evaluated and compared with baseline selection. As a result, recommendations have been made. Some of the intuitive assumptions for the baseline model proved to be wrong. © 2022 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware 11

Hassenstein-Reichardt Detector Using Controllable Single Pul...

引用

11th International Scientific Conference on computer Science, COMSCI 2023

作者： Trendafilov, Ianislav Gancheva, Veska Neuromorphica Ltd. Sofia1335 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria

ISBN: (纸本)9798350325256

Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a cheap and inexpensive way. The advantage of our proposal is the possibility of building and testing new networks using dynamicist approach in artificial intelligence. © 2023 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Software Anomaly Detection Method Based on Artificial Neural Network

Software Anomaly Detection Method Based on Artificial Neural...

引用

IEEE International Conference on e-Business Engineering (ICEBE)

作者： Veska Gancheva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria

ISBN: (数字)9798350365856

ISBN: (纸本)9798350365863

A growing range of data sets have been created in recent years; these are used by platforms and software applications and kept in remote access repositories. Datasets are therefore more susceptible to harmful attacks. As a result, network security in data transmission is becoming a more important area of study. One well-known method for safeguarding computer systems is the deployment of intrusion detection systems. This study proposes an artificial intelligence based method for data analysis-based anomaly detection. Methods based on machine learning and rules are mixed together. The right rules are created via a genetic algorithm. Relevant features are extracted using principal component analysis with the goal of enhancing performance. The KDD Cup 1999 dataset is used to empirically validate the suggested procedure, satisfying the criterion of using appropriate data. Using the well-known benchmark dataset, the suggested approach is used to identify and examine four different kinds of attacks: Neptune, Ipsweep, Pod, and Teardrop. During the machine learning phase, the data is categorized into categories of attacks and normal behavior after the features set during the training phase are tested. For the purpose of data analysis, the input data is divided into training and testing sets for an artificial neural network. The first 80% of the data are used to train the neural network, and the remaining 20% are used for testing. The estimated accuracy improves with the number of epochs and is higher for training data and lower for validation test data, according to experimental results. Consequently, the trained model can be retained and used to detect discrepancies. The learnt model is used to the system to compute new input parameters that are not used during training or validation.

关键词： Training Accuracy Predictive models Network security Feature extraction Data structures Data models Software Anomaly detection Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

Neuromorphic Assisted Sensor Grids 32

Neuromorphic Assisted Sensor Grids

引用

32nd International Scientific Conference Electronics, ET 2023

ISBN: (纸本)9798350302004

A particular problem in using artificial intelligence techniques in the sensor grid is the high power consumption. Remote sensors are usually limited by the amount of power available, thus our general goal is to minimize it while preserving accurate experimentation results. Using emerging technologies like spiking neural networks and neuromorphic hardware, we can create sensor grids that perform data processing with preserving low power consumption. In this paper, we demonstrate a remote node with integrated visual sensor that works on less than 10mW of energy, while performing continuous scene monitoring, object detection and classification. The system has intelligent power management and the ability to send data wirelessly. © 2023 IEEE.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

Healthcare Data Analytics Based on Machine Learning

Healthcare Data Analytics Based on Machine Learning

引用

Communications, Computing, Cybersecurity, and Informatics (CCCI), International Conference on

作者： Veska Gancheva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria

ISBN: (数字)9798350349832

ISBN: (纸本)9798350349849

Technology advancements have transformed medical science and practice, leading to the vast gathering of a wide range of medical data. Medical researchers use artificial intelligence techniques extensively because they enable the identification and creation of models of complicated datasets and the interactions between them. This, in turn, enables the successful prediction of future outcomes associated with a specific sickness type. An artificial intelligence-based approach to healthcare data analytics is presented, which leverages data to build a desired model and solve a particular issue. The suggested approach for healthcare data analytics uses a random forest and feedforward artificial neural network with two hidden layers as its basis to get the best model.

关键词： Analytical models Data analysis Computational modeling Medical services Artificial neural networks Learning (artificial intelligence) Data models Telecommunication computing Informatics Random forests

来源：评论

学校读者我要写书评

暂无评论

The method of dynamic routing in Self-healing Networks 5

The method of dynamic routing in Self-healing Networks

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Anna, Shyman Kuchuk, Nina Kovalenko, Andriy Kashkevich, Svitlana Partyka, Stanislav Yankovskyi, Oleksandr Department of Computer Engineering and Programming National Technical University Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine

ISBN: (纸本)9798350384499

The report proposes a dynamic routing method for Self-healing Networks (ShN). The method takes into account the specific features of ShN. During routing, the flow of service information is reduced. The search for the optimal route is carried out using a convolutional neural network. The method significantly outperforms existing methods when some network nodes fail. ©2024 IEEE.

关键词： Dynamic routing algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共21页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：