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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
47 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

120 篇 工学
- 89 篇 计算机科学与技术...
- 76 篇 软件工程
- 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 篇 verification
4 篇 standards
3 篇 internet of thin...
3 篇 intrusion detect...

机构

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 篇 steffen bernhard
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

语言

205 篇 英文
4 篇 其他
1 篇 德文

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

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

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

详细简洁

排序：

Speech recognition with Transformers - Creating and testing datasets for Bulgarian language 30

Speech recognition with Transformers - Creating and testing ...

引用

30th International Scientific Conference Electronics, ET 2021

作者： Mateva, Maya Angelova, Maria Faculty of Computer Systems and Technologies Technical University of Sofia Department of Programming and Computer Technologies Sofia1000 Bulgaria

ISBN: (纸本)9781665445184

Speech is a natural way of communicating between human beings and as such, it triggers an interest of transforming it to a way of interaction with a computer as well. Once it is converted into a sequence of words, it can easily be applied for executing commands, thus enabling people to perform tasks easily or in some cases - tasks that are even impossible for them to be performed. The automatic speech recognition becomes a task solved with various success based on the accuracy, online/offline availability, speed. However, with the constant improvement of the neural networks, it is getting easier to solve and the most prominent solution seems to be the Transformer architecture of neural networks. In this paper, we describe the design of an encoder-decoder TensorFlow architecture and the process of training the model with a specially created Bulgarian dataset. © 2021 IEEE.

关键词： Speech recognition

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Machine Learning Approach for Predicting Student Enrollment in the University 30

A Machine Learning Approach for Predicting Student Enrollmen...

引用

30th International Scientific Conference Electronics, ET 2021

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

ISBN: (纸本)9781665445184

The Matura exam is the final national examination that high school students in many countries must pass to be eligible for admission to a university. This paper discusses the key factors that have the most impact in producing a reliable machine learning model for predicting students' enrollment in the university. These factors include the final grades from each high school year, matura exam results and the university entry exam points. It should be noted that demographic factors were not taken into consideration in this study. Four machine learning (ML) techniques with a total of sixteen algorithms were implemented using the Weka software: Bayes (Bayes Net, Naive Bayes, etc.), Logistic Regression (Logistic and SimpleLogistic), K-Nearest Neighbors (IBK, KStar, and LWL) and Decision Tree (J48, Random Forest, RepTree, etc.). According to the results, The RepTree algorithm performed the best with a True Positive (TP) rate of 0.902 and a False Positive (FP) rate of 0.148. The algorithm with the lowest performance was NaiveMulti with a TP rate of only 0.790. However, the range between the worst and the best-performing algorithms was 14.18%. © 2021 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

来源：评论

学校读者我要写书评

暂无评论

Towards LLM-Based System Migration in Language-Driven Engineering 8th

Towards LLM-Based System Migration in Language-Driven Engin...

引用

8th International Conference on Engineering of computer-Based systems, ECBS 2023

作者： Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031492518

In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are solved with dedicated domain-specific languages divides the migration tasks into portions adequate to apply LLM-based code generation. We illustrate this effect by migrating a low-code/no-code generator for point-and-click adventures from JavaScript to TypeScript in a way that maintains an important property: generated web applications can automatically be validated via automata learning and model analysis by design. In particular, this allows to easily test the correctness of migration by learning the difference automaton for the generated products of the source and the target system of the migration. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages 1st

ChatGPT in the Loop: A Natural Language Extension for Dom...

引用

1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023

作者： Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031460012

This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual information to enable referencing of formally defined entities. The paper focuses on the use and automated integration of these enriched intuitive languages via ChatGPT-based code generation to exploit the best of both language paradigms for domain-specific application development. To compensate for the lack of control over the intuitive languages we apply automated system-level validation via automata learning and subsequent model checking. All this is illustrated using the development of point-and-click adventures as a minimal viable example. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Automata Learning Language-driven Engineering Large Language Models Low-Code/No-Code Prompt Engineering Software Engineering Verification Web Application

来源：评论

学校读者我要写书评

暂无评论

Model checking

引用

作者： Berg, Therese Raffelt, Harald Computer Science Department Uppsala University Sweden Department of Programming Systems and Compiler Construction University of Dortmund Germany

ISBN: (纸本)3540262784

In this chapter an introduction to model checking and model learning was given. Furthermore, it was shown how to combine both techniques to an approach in which properties of a SUT are verified directly. First of all we have presented Kripke transition systems which build a simple basis for temporal logics used in model checking. The essential difference between linear time logics and branching time logics was made plain on the basis of an example. Subsequently we presented linear time logic (LTL) and computational tree logic (CTL) which are widely used for model checking purposes. Since the combination of model checking and model learning for testing purposes is only meaningful with linear time logics we presented a basic model checking algorithm for linear time logic. In the second part of the chapter we first gave an introduction to the general ideas of model learning algorithms. Continuing in the same subject, we presented a number of learning algorithms;the observation pack algorithm, Angluin's algorithm, the reduced observation table algorithm and, the discrimination tree algorithm. Subsequently we discussed the algorithms' query complexity and presented some domain specific optimizations to reduce the number of queries. We rounded the model learning part off with some experimental results. The final part in this chapter presented the adaptive model checking algorithm, which combines model checking and model learning into one approach. The approach try to make use of information in an existing model of the SUT in order to save effort in the learning procedure. If no model exist or the existing model is irrelevant compared to the current SUT, the approach is still applicable. Although model checking and model learning are both established research areas, a lot of work remains to be done when considering testing. The combination of model checking and testing techniques should be clarified. Models to be used for testing might ask for different characteristics of

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Grid resource management using lottery scheduling 11

Grid resource management using lottery scheduling

引用

Proceedings of the 12th International Conference on computer systems and Technologies

作者： Borovska, Plamenka Aleksieva-Petrova, Adelina Gancheva, Veska Beshkov, Stefan Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria Experian Bulgaria Bulgaria

ISBN: (纸本)9781450309172

The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resource management based on lottery scheduling. The lottery scheduling algorithm is implemented as an extension of GridSim simulator that integrates an additional strategy for planning and resource management. © 2011 ACM.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Formal specification of virtual process topologies 1

Formal specification of virtual process topologies

引用

1st IEEE computer Society International Workshop on Cluster Computing, IWCC 1999

作者： Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia

ISBN: (纸本)0769503438

A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel programming environment provides high level abstractions for interprocess communication, relieving the application developer of the cumbersome task of mapping logical neighbours to their task identifiers within message passing systems. The novel approach of separating topological specification from the APIs provided extreme flexibility to the developers of the applications using regular topologies. We believed that the task of supporting process topologies could be made even easier and, in this paper present our new method which uses recurrence relations to define topologies. Within the new environment, the recurrence relationships can be passed to the topology server which then is used in the generation of the topological specification. © 1999 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and systems Conference, ISSC 2010

作者： Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781849192521

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：