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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

16,942 篇 会议
424 篇 期刊文献
114 册 图书
1 篇 学位论文

馆藏范围

17,480 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

10,197 篇 工学
- 8,472 篇 计算机科学与技术...
- 7,114 篇 软件工程
- 1,223 篇 电气工程
- 1,146 篇 控制科学与工程
- 907 篇 信息与通信工程
- 643 篇 机械工程
- 395 篇 生物工程
- 312 篇 电子科学与技术（可...
- 308 篇 生物医学工程（可授...
- 294 篇 土木工程
- 276 篇 建筑学
- 260 篇 化学工程与技术
- 239 篇 材料科学与工程（可...
- 213 篇 安全科学与工程
- 202 篇 仪器科学与技术
- 173 篇 动力工程及工程热...
2,891 篇 管理学
- 1,922 篇 管理科学与工程(可...
- 1,214 篇 图书情报与档案管...
- 991 篇 工商管理
2,336 篇 理学
- 1,340 篇 数学
- 424 篇 生物学
- 413 篇 物理学
- 328 篇 系统科学
- 311 篇 统计学（可授理学、...
- 215 篇 化学
915 篇 教育学
- 909 篇 教育学
316 篇 医学
- 260 篇 临床医学
- 228 篇 基础医学(可授医学...
265 篇 法学
- 221 篇 社会学
252 篇 经济学
- 246 篇 应用经济学
83 篇 农学
55 篇 文学
15 篇 军事学
7 篇 艺术学
1 篇 哲学

主题

1,552 篇 software enginee...
1,237 篇 software
1,118 篇 knowledge engine...
877 篇 application soft...
647 篇 knowledge based ...
547 篇 computer science
519 篇 knowledge manage...
430 篇 data mining
412 篇 software systems
399 篇 programming
391 篇 ontologies
365 篇 computer archite...
338 篇 education
267 篇 educational inst...
266 篇 artificial intel...
251 篇 computer aided s...
238 篇 software design
230 篇 semantics
208 篇 project manageme...
208 篇 software archite...

机构

49 篇 state key labora...
48 篇 college of compu...
34 篇 school of inform...
32 篇 school of comput...
29 篇 nanjing univ sta...
29 篇 school of softwa...
28 篇 school of comput...
26 篇 school of softwa...
25 篇 state key labora...
23 篇 college of infor...
23 篇 school of comput...
22 篇 university of ch...
22 篇 college of compu...
21 篇 school of softwa...
19 篇 national enginee...
19 篇 school of softwa...
19 篇 school of softwa...
19 篇 school of electr...
18 篇 software enginee...
18 篇 school of softwa...

作者

24 篇 biffl stefan
23 篇 jin zhi
22 篇 wang qing
17 篇 liu yang
15 篇 far behrouz h.
15 篇 liu jie
15 篇 wang wei
14 篇 li li
14 篇 washizaki hirono...
14 篇 xu baowen
13 篇 wei liu
12 篇 zamani bahman
12 篇 almeida hyggo
11 篇 zhang hongyu
11 篇 lu lu
11 篇 lu jie
11 篇 wotawa franz
10 篇 qing wang
10 篇 shen beijun
10 篇 wu huisi

语言

17,119 篇 英文
257 篇 其他
80 篇 中文
25 篇 西班牙文
7 篇 葡萄牙文
2 篇 德文
2 篇 法文
2 篇 土耳其文
1 篇 俄文
1 篇 斯洛伐克文

检索条件"任意字段=Knowledge-Based Software Engineering Conference"

共 17481 条记录，以下是691-700 订阅

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

详细简洁

排序：

CodeBERT based software Defect Prediction for Edge-Cloud Systems 2nd

CodeBERT Based Software Defect Prediction for Edge-Cloud Sys...

引用

22nd International conference on Web engineering (ICWE)

作者： Kwon, Sunjae Jang, Jong-In Lee, Sungu Ryu, Duksan Baik, Jongmoon Korea Adv Inst Sci & Technol Daejeon South Korea Jeonbuk Natl Univ Jeonju South Korea

ISBN: (纸本)9783031253799;9783031253805

Edge-cloud system is a crucial computing infrastructure for the innovations of modern society. In addition, the high interest in the edge-cloud system leads to various studies for testing to ensure the reliability of the system. However, like traditional software systems, the amount of resources for testing is always limited. Thus, we suggest CodeBERT based Just-In-Time (JIT) software Defect Prediction (SDP) model to address the limitation. This method helps practitioners prioritize the limited testing resources for the defect-prone functions in commits and improves the system's reliability. We generate GitHub Pull-Request (GHPR) datasets on two open-source framework projects for edge-cloud system in GitHub. After that, we evaluate the performance of the proposed model on the GHPR datasets in within-project environment and cross-project environment. To the best of our knowledge, it is the first attempt to apply SDP to edge-cloud systems, and as a result of the evaluation, we can confirm the applicability of JIT SDP in edge-cloud project. In addition, we expect the proposed method would be helpful for the effective allocation of limited resources when developing edge-cloud systems.

关键词： Edge-cloud system Just-in-time software defect prediction CodeBERT

来源：评论

学校读者我要写书评

暂无评论

Mapping Modern JVM Language Code to Analysis-friendly Graphs: A Pilot Study with Kotlin 34

Mapping Modern JVM Language Code to Analysis-friendly Graphs...

引用

34th International conference on software engineering and knowledge engineering, SEKE 2022

作者： Li, Lu Liu, Yan School of Software Engineering Tongji University Shanghai China

ISBN: (纸本)1891706543

Kotlin is a modern JVM language, gaining adoption rapidly and becoming Android official programming language. With its widely usage, the need for code analysis of Kotlin is increasing. Exposing code semantics explicitly with a properly structured format is the first step in code analysis and the construction of such representation is the foundation for downstream tasks. Recently, graph-based approaches become a promising way for encoding source code semantics. However, current works mainly focus on representation learning with limited interpretability and shallow domain knowledge. The known evolvements of code semantics in new-generation programming languages have been overlooked. How to establish an effective mapping between naturally concise Kotlin source code with graph-based representation needs to be studied by analyzing known language features. In this paper, we propose a first-sight, rule-based mapping method, using composite representation with AST, CFG, DFG, and language features. We evaluate mapping strategies with ablation experiments by simulating a code search solution as a downstream task. Our graph-based method with built-in language features outperforms the text-based way without introducing greater complexity. By addressing the practical barriers to extracting and exposing the hidden semantics from Kotlin source code, our study also helps enlighten source code representations for other modern languages. © 2022 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Human-Centered software engineering: Rethinking the Interplay of Human-Computer Interaction and software engineering in the Age of Digital Transformation 19th

Human-Centered Software Engineering: Rethinking the Interpla...

引用

19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International conference on Human-Computer Interaction (INTERACT)

作者： Ardito, Carmelo Bernhaupt, Regina Sauer, Stefan LUM Giuseppe Degennaro Univ Casamassima BA Italy Eindhoven Univ Technol Eindhoven Netherlands Paderborn Univ Paderborn Germany

ISBN: (纸本)9783031422928;9783031422935

Digital transformation is a fundamental change process for improving organizations, industries or society and redefining key values for its stakeholders. Digital transformation represents the transition process that has to be dealt with to innovate organizational processes, to improve their interaction with customers and to offer innovative services that are based on the intensive use of digital technologies. Digital transformation affects the life of end users who can access services in completely new ways, made possible by innovative technologies. Digital transformation is therefore a process of organizational, economic, social and creative change enabled by the adoption and development of digital technologies. Human-Centered software engineering (HCSE) as a research domain is thus more relevant than when it comes to the sole introduction of novel technologies in a socio-technical system. The interplay between human-computer interaction and software engineering needs to be rethought for a rapid response to the evolution of technologies, while also considering aspects such as greater agility in service development, sustainability, ethical considerations, cybersecurity, user mindset and awareness, to name a few. Beyond the traditional themes of IFIPWG13.2 workshops, this edition promotes sharing of knowledge and experiences that address how to deal with the challenges of the digital transformation and its influence on human-centered socio-technical system design and development practices.

关键词： digital transformation sustainability agile development low-code development digital twin ethical considerations cybersecurity

来源：评论

学校读者我要写书评

暂无评论

Specification description analysis method for requirement modeling 28th

Specification description analysis method for requirement mo...

引用

28th International conference on knowledge based and Intelligent information and engineering Systems, KES 2024

作者： Hayashi, Masami Hayashi, Kaori Sonobe, Yohei Sato, Hiroyuki Takeuchi, Hironori Denso Create Inc. 2-14-19 Nishiki Naka-kuAichi Nagoya-shi460-0003 Japan Musashi University 1-26-1 Toyotamakami Nerima-ku Tokyo176-8354 Japan

In the development of software systems, multiple members create models of requirement specifications under the guidance of experienced professionals. In such cases, the time taken to create models and the quality of the resulting models depends on the members' system development experience and the characteristics of the specifications. Consequently, the cost of modeling and the quality of deliverables can make development more challenging. In this study, we identified the elements necessary to develop models of uniform quality during the process of converting specifications into the requirements analysis model defined in this study. We developed a modeling method that consists of information that should be agreed upon in advance between experienced professionals and members, and patterns of specification description analysis. © 2024 The Authors.

关键词： Modeling Requirements Analysis Requirements Specifications software Development

来源：评论

学校读者我要写书评

暂无评论

knowledge-based Monitoring for Checking Law and Regulation Compliance 37th

Knowledge-Based Monitoring for Checking Law and Regulation C...

引用

37th International conference on Industrial, engineering and Other Applications of Applied Intelligent Systems (IEA-AIE)

作者： Jahaj, Ledio Klampfl, Lorenz Wotawa, Franz Graz Univ Technol Inst Software Technol Inffeldgasse 16b-2 A-8010 Graz Austria AVL List GmbH Hans List Pl 1 A-8020 Graz Austria

ISBN: (纸本)9789819746767;9789819746774

Obeying the law and other rules and regulations is important for all systems. Although all corresponding compliance checks can be carried out as part of the design phase for ordinary systems, this might not hold anymore when dealing with agents interacting in the real world, like mobile robots or autonomous vehicles. The reason is the huge space of potential interactions, which can hardly be considered for testing. Hence, there is a need for monitoring and compliance checking during operation. In this paper, we propose a logic-based monitoring system that allows us to check compliance with traffic rules and regulations. We demonstrate its applicability by considering several use cases. We implemented the use cases in a 3D simulation environment and attached our monitoring system, allowing us to derive traffic rule violations within a reasonable time after occurrence.

关键词： Compliance checking Application of Answer Set Programming Autonomous driving

来源：评论

学校读者我要写书评

暂无评论

Alarm Root-Cause Analysis Using an Alarm Logic Directed Graph Extracted From Control software 3

Alarm Root-Cause Analysis Using an Alarm Logic Directed Grap...

引用

3rd IEEE Industrial Electronics Society Annual On-Line conference, ONCON 2024

作者： Wen, Ziming Kunze, Franz C. Wilch, Jan Fay, Alexander Vogel-Heuser, Birgit Technical University of Munich Automation and Information Systems Garching Germany Ruhr University Chair of Automation Bochum Germany

ISBN: (纸本)9798331540319

The growing complexity of modern automated production systems demands solutions for managing alarm floods potentially stemming from multi-root causes, while improving situational awareness of operators to ensure timely fault responses and minimize downtime. For this purpose, knowledge-driven approaches that utilize domain specific knowledge for alarm handling have shown promising results. However, knowledge extraction is expensive, leaving data-driven approaches as an alternative, which in turn requires large amounts of data. To profit from both approaches and alleviate their weaknesses, hybrid approaches have been a focus of recent development. Therefore, this work proposes the Alarm-Logic-Directed-Graph for a novel hybrid approach. This graph models the alarm logic inherent in the control code, enabling knowledge-based clustering and sorting of the alarm log, which then serves as input data for a subsequent Bayesian network learning. Moreover, with the integration of physical and heuristic knowledge, the root causes can be further refined to alarm-related component status variables. The evaluation of this work is conducted on the Tennessee-Eastman Process, a well-known continuous process simulation. The results show that the proposed approach remains robust to multi-root cause identification even in the absence of historical alarm log data or process knowledge besides programmable logic controller code. © 2024 IEEE.

关键词： knowledge graph

来源：评论

学校读者我要写书评

暂无评论

knowledge Distillation with Active Exploration and Self-Attention based Inter-Class Variation Transfer for Image Segmentation 48

Knowledge Distillation with Active Exploration and Self-Atte...

引用

48th IEEE International conference on Acoustics, Speech and Signal Processing, ICASSP 2023

作者： Zhang, Yifan Li, Shaojie Yang, Xuan Shenzhen University College of Computer Science and Software Engineering Shenzhen China

ISBN: (纸本)9781728163277

knowledge distillation (KD) aims to distill the knowledge from a more extensive deep neural network into a small net-work without losing validity. This paper proposes a novel approach with active exploration and passive transfer (AEPT) and self-attention-based inter-class feature variation (AIFV) distillation for the cardiac image segmentation task. The AEPT encourages the student model to learn undiscovered knowledge/features of the teacher model, aiming to explore new features outperforming the teacher. More specifically, we focus on where the teacher performs poorly and encourage the student model to explore complementary features different from the teacher model. To improve the distinguishability of the student for different classes, the student learns the self-attention-based feature variation (AIFV) between classes. Extensive experiments on medical and public image datasets demonstrate that our approach makes the student model learn better representations and outperforms state-of-art methods by combining two knowledge distillation strategies. © 2023 IEEE.

关键词： Distillation

来源：评论

学校读者我要写书评

暂无评论

Metaheuristic Algorithms for Proof Searching in HOL4 34

Metaheuristic Algorithms for Proof Searching in HOL4

引用

34th International conference on software engineering and knowledge engineering, SEKE 2022

作者： Nawaz, M. Saqib Nawaz, M. Zohaib Hasan, Osman Fournier-Viger, Philippe School of Computer Science and Software Engineering Shenzhen University China Department of Computer Science and IT University of Sargodha Sargodha Pakistan Islamabad Pakistan

ISBN: (纸本)1891706543

User guided proof development in interactive theorem proving is a manual and time consuming activity. For automating proof searching and optimization in a higher-order logic proof assistant, we provide two metaheuristic algorithms that are based on Fitness Dependent Optimizer (FDO) and Bat Algorithm (BA). In both metaheuristic algorithms, random proof sequences are first created from a population of frequently occurring proof steps that are discovered using pattern mining techniques. Created proof sequences are then evolved till their fitness matches the fitness of the original (or target) proof sequences. Experiments are performed to investigate the performance of the proposed algorithms on different HOL4 theories. Moreover, the proposed FDO and BA-based proof searching approaches are compared with Simulated Annealing (SA) and Genetic Algorithm (GA)based methods. Results show that BA performs best, followed by FDO and SA for proof finding and optimization in HOL4. © 2022 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

Personalized Learning in Automation: A 3D AI-based Approach 53

Personalized Learning in Automation: A 3D AI-Based Approach

引用

53rd IEEE ASEE Frontiers in Education International conference, FIE 2023

作者： Ali, Asmar Deuter, Andreas Wehmeier, Leon Owl University of Applied Sciences and Arts Computer Science for Engineering and Production Lemgo Germany

ISBN: (纸本)9798350336429

In today's technology-driven world, the need for interdisciplinary skills is increasing. This has become challenging in tertiary education to provide students with applicable knowledge of various fields. Anderson's Adaptive Control of Thought (ACT) theory suggests that universities have traditionally focused on imparting declarative knowledge, which involves memorization of facts and concepts. However, imparting the ability to apply such knowledge on individual students and create procedural knowledge is the challenge. This includes teachers dealing with a diverse range of student abilities, particularly at university-level where they teach the same course content to students with different levels of prior knowledge and, given the structure of modern education systems, the resources required to monitor and provide feedback for a number of decisions and attempts independently performed by the students. Intelligent Tutoring Systems (ITS) have proven to be effective in addressing the aforementioned challenges by creating personalized learning environments that provide instant feedback, adapt to individual student needs, and promote the development of procedural knowledge. In the field of automation education at the university level, we are creating a 3D artificial intelligence (AI)-based ITS software named KIAAA (An AI Assistant for teaching in the field of automation), specifically designed to teach computer programming to students. KIAAA aims to assist students in transitioning from their abilities to procedural aptitude by providing personalized learning scenarios that allow them to apply their knowledge and receive immediate feedback. Our approach is based mainly on the pedagogical model of ITS, which focuses on creating a supportive and inclusive learning environment that promotes success for all students, regardless of their initial level of knowledge. One of the key aspects of our approach is the utilization of personalized learning. We propose a scheme that, su

关键词： AI-based Learning Automation Education Intelligent Tutoring Systems (ITS) Programming Education

来源：评论

学校读者我要写书评

暂无评论

A Federated Model Personalisation Method based on Sparsity Representation and Clustering 34

A Federated Model Personalisation Method Based on Sparsity R...

引用

34th International conference on software engineering and knowledge engineering, SEKE 2022

作者： Yang, Hailin Huang, Yanhong Shi, Jianqi Cai, Fangda National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai China

ISBN: (纸本)1891706543

As federated learning (FL) becomes more extensively employed, it attracts an increasing number of scholars and practitioners. In contrast to traditional decentralized machine learning approaches that acquire users' raw data, FL gathers locally updated gradients, protecting their privacy. However, different users may have disparate data distributions, resulting in underperformance of the federated model. It is beneficial to adapt the federated model to various data distributions. Numerous personalisation approaches have been examined, but most of them are limited to a single device with minimal data, making them susceptible to bias and overfitting. In fact, the data distributions of certain users are similar, and these similarities can be leveraged to increase the efficacy of personalisation. In this research, we describe a sparsity-based clustering method, as well as a federated personalisation strategy based on it. Our method mitigates the impact of non-IID data and generates more accurate local models. The trials reveal that it outperforms several of its counterparts. © 2022 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 66 67 68 69 70 71 72 73 74 75 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：