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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,877 篇 会议
421 篇 期刊文献
114 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

1,539 篇 software enginee...
1,218 篇 software
1,111 篇 knowledge engine...
877 篇 application soft...
644 篇 knowledge based ...
544 篇 computer science
519 篇 knowledge manage...
430 篇 data mining
410 篇 software systems
398 篇 programming
391 篇 ontologies
365 篇 computer archite...
325 篇 education
268 篇 educational inst...
261 篇 artificial intel...
251 篇 computer aided s...
236 篇 software design
228 篇 semantics
209 篇 software archite...
207 篇 project manageme...

机构

49 篇 state key labora...
45 篇 college of compu...
33 篇 school of inform...
31 篇 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 篇 college of compu...
20 篇 school of softwa...
20 篇 university of ch...
20 篇 school of electr...
19 篇 school of softwa...
19 篇 school of softwa...
18 篇 software enginee...
18 篇 school of softwa...
17 篇 national enginee...

作者

24 篇 biffl stefan
22 篇 jin zhi
22 篇 wang qing
17 篇 liu yang
15 篇 far behrouz h.
15 篇 liu jie
15 篇 wang wei
14 篇 washizaki hirono...
14 篇 xu baowen
13 篇 li li
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,151 篇 英文
157 篇 其他
79 篇 中文
25 篇 西班牙文
7 篇 葡萄牙文
2 篇 德文
2 篇 法文
2 篇 土耳其文
1 篇 俄文
1 篇 斯洛伐克文

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

共 17413 条记录，以下是231-240 订阅

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

详细简洁

排序：

A Medical Image Segmentation Method based on Multi-scale Features and Contour Loss Constrain 36

A Medical Image Segmentation Method based on Multi-scale Fea...

引用

36th International conference on software engineering and knowledge engineering, SEKE 2024

作者： Niu, Jian Fang, Zhijun Qian, Chen Qiu, Xihe School of Computer Science and Technology Donghua University Shanghai China School of Electrical and Electronic Engineering Shanghai University Of Engineering Science Shanghai China

ISBN: (纸本)1891706594

In recent years, deep learning has made breakthroughs in medical image segmentation, especially the U-Net architecture, which is becoming a benchmark for various medical image segmentation tasks due to the accuracy of its segmentation results. Although U-Net has achieved great success in many medical image segmentation tasks, it is still unsatisfactory in segmenting object boundaries and small objects. This is due to the fact that segmentation networks gradually lose information, especially edge information and small object information, during the process of convolution and downsampling of features. In order to solve the above problems, we design a novel method that uses a multi-scale module as a feature extractor in the contraction path of the U-shaped structure, which better captures the scale changes of the target object by acquiring image features at different scales;in the prediction stage, a contour prediction branch is constructed to constrain the loss of the target's contour, so that the segmentation network pays more attention to the boundaries of the target. We have validated the performance of our method on the Automated Cardiac Diagnosis Challenge (ACDC) and the spleen segmentation tasks of the Medical Segmentation Decathlon (MSD). The results show that our method obtained the best 95% Hausdorff Distance (HD) metrics on both the ACDC dataset and the Spleen dataset, as well as being quite competitive with other state-of-the-art methods in terms of Dice scores. © 2024 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of Single and Ensemble Support Vector Regression Methods for software Development Effort Estimation 16

Comparative Analysis of Single and Ensemble Support Vector R...

引用

16th International conference on knowledge Discovery and Information Retrieval, KDIR 2024 as part of 16th International Joint conference on knowledge Discovery, knowledge engineering and knowledge Management, IC3K 2024

作者： Hosni, Mohamed MOSI Research Team LM2S3 Laboratory ENSAM Moulay Ismail Iniversity of Meknes Meknes Morocco

ISBN: (纸本)9789897587160

Providing an accurate estimation of the effort required to develop a software project is crucial for its success. These estimates are essential for managers to allocate resources effectively and deliver the software product on time and with the desired quality. Over the past five decades, various effort estimation techniques have been developed, including machine learning (ML) techniques. ML methods have been applied in software development effort estimation (SDEE) for the past three decades and have demonstrated promising levels of accuracy. Numerous ML methods have been explored, including the Support Vector Regression (SVR) technique, which has shown competitive performance compared to other ML techniques. However, despite the plethora of proposed methods, no single technique has consistently outperformed the others in all situations. Prior research suggests that generating estimations by combining multiple techniques in ensembles, rather than relying solely on a single technique, can be more effective. Consequently, this research paper proposes estimating SDEE using both individual ML techniques and ensemble methods based on SVR. Specifically, four variations of the SVR technique are employed, utilizing four different kernels: polynomial, linear, radial basis function, and sigmoid. Additionally, a homogeneous ensemble is constructed by combining these four variants using two types of combiners. An empirical analysis is conducted on six well-known datasets, evaluating performance using eight unbiased criteria and the Scott-Knott statistical test. The results suggest that both single and ensemble SVR techniques exhibit similar predictive capabilities. Furthermore, the SVR variant with the polynomial kernel is deemed the most suitable for SDEE. Regarding the combiner rule, the nonlinear combiner yields superior accuracy for the SVR ensemble. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Support vector regression

来源：评论

学校读者我要写书评

暂无评论

Timing Predictability and Performance Standoff in Component-based Vehicle software on Multi-core 20

Timing Predictability and Performance Standoff in Component-...

引用

IEEE 20th International conference on software Architecture (ICSA)

作者： Mubeen, Saad Malardalen Univ Vasteras Sweden

ISBN: (纸本)9781665464598

Multi-core computing platforms have recently been introduced in the vehicle domain to enable novel data-intensive and computation-demanding features in advanced real-time embedded system applications (e.g., a modern car) that could not be supported by traditional single-core computing platforms. Although the existing model- and component-based software development techniques can efficiently deal with the challenge of managing the software complexity in these systems, the core challenge of ensuring their timing predictability comes at the cost of performance loss and underutilization of the systems' resources. This paper identifies a sheer standoff between ensuring timing predictability and performance when the traditional model- and component-based software development techniques are used to develop software architectures of these systems. Note that ensuring timing predictability of a real-time system during its development is as important as ensuring its correct logical functionality. This paper takes the position that the traditional techniques fail to resolve this standoff mainly because they consider the following three viewpoints either in isolation or in pairs, but not altogether: (i) viewpoint of the software architecture modeling, (ii) viewpoint of the execution environment modeling, and (iii) viewpoint of the timing predictability verification. To mitigate this standoff, the paper discusses several approaches and points out opportunities for further research in developing a novel model- and component-based software development framework that jointly considers the three viewpoints during the development of these systems.

关键词： automotive software Component based software engineering model based development Multi core Timing analysis

来源：评论

学校读者我要写书评

暂无评论

Leadership Teaching in Agile software engineering: A Systematic Mapping 17

Leadership Teaching in Agile Software Engineering: A Systema...

引用

17th International conference on Computer Supported Education, CSEDU 2025

作者： Nascimento, Nicolas Sales, Afonso Chanin, Rafael PUCRS School of Technology RS Porto Alegre Brazil

ISBN: (纸本)9789897587467

The software industry is characterized by an environment of uncertainty, high volatility, and constant change. This context has shaped the industry, its components, and actors, generating methodologies capable of meeting both market expectations and software development requirements. Among these methodologies, agile has been the most widely adopted - it provides teams with an overarching set of practices to manage software development project requirements while maintaining flexibility to incorporate changes that the business environment presents. However, professionals equipped with the necessary skills to work in these Agile teams, often referred to as "soft skills", pose a challenge for universities to teach. From this set of skills, leadership, in particular, has recently garnered attention from the software engineering education community but remains an open research opportunity. In this context, this work aims at creating a body of knowledge regarding leadership teaching in agile software engineering. To achieve this goal, we conducted a systematic mapping. From a selection of 27 studies, our results provide indications that: (i) leadership in software engineering education is typically defined as part of teamwork, shared among team members, associated with Scrum, and applied to provide students with experience in group representation;and (ii) it is usually taught through Scrum, involving active learning methodologies (such as problem-based learning) and employing real projects either sourced from external partners or designed to solve real-world problems. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Anaphora Ambiguity Detection Method based on Cross-domain Pronoun Substitution 35

Anaphora Ambiguity Detection Method Based on Cross-domain Pr...

引用

35th International conference on software engineering and knowledge engineering, SEKE 2023

作者： Peng, Fengyong Wu, Xi Zhao, Yongxin Li, Yongjian Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China The University of Sydney Australia State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

Pronoun anaphora ambiguity is very common in natural language descriptions, especially in specilized fileds such as computing, medicine and aerospace. When multiple antecedents appear before a pronoun word, readers with different background knowledge often have completely different understandings on a same word. In order to reduce such misunderstandings caused by ambiguity in the process of document propogation, we usually use manual methods to check the ambiguity of reference, which however cannot meet the increasing needs of detection with the development of various disciplines. In this paper, we propose a method to intelligently detect sentences with anaphora ambiguity. First of all, we identify criteria for ambiguous sentences and then use word embeddings to further detect ambiguity. Specifically, we propose a pronoun substitution strategy based on coreference resolution, and combine this strategy with word embedding techniques to generate a cross-domain anaphora ambiguity detection method. Finally, we carry out experiments on aerospace documents, which verify the effectiveness of our proposed method in anaphora ambiguity detection. © 2023 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

A python software development for dynamic simulation of mobile elevating work platform 31

A python software development for dynamic simulation of mobi...

引用

31st International conference on Noise and Vibration engineering, ISMA 2024 and 10th International conference on Uncertainty in Structural Dynamics, USD 2024

作者： Cangi, G. Angeletti, A. Baldinucci, M. Palmieri, M. Cianetti, F. University of Perugia Department of Engineering Via G. Duranti 93 Perugia06125 Italy Terex Italia Via Portella delle Ginestre 5 Umbertide Perugia06019 Italy

ISBN: (纸本)9789082893175

Understanding since the initial stages of designing new products (such as work machinery) the dynamic loads (forces and moments) acting at critical points of structures, leads to significant time to market reduction and cost savings. However, the adoption of commercial capable of simulating the dynamic behavior of various physical systems, remains limited due to the specialized knowledge required to operate with such software. Consequently, many companies forego using these programs, compromising the efficiency of new product development and falling into the iterative design-test loop. The Python-based tool developed in this study, used here to simulate the dynamics of an aerial work platform, aims to make such simulations accessible with relative ease. © 2024 Proceedings of ISMA 2024 - International conference on Noise and Vibration engineering and USD 2024 - International conference on Uncertainty in Structural Dynamics. All rights reserved.

关键词： Product design

来源：评论

学校读者我要写书评

暂无评论

A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems 23

A Novel and Pragmatic Scenario Modeling Framework with Verif...

引用

IEEE/ACM 45th International conference on software engineering - New Ideas and Emerging Results (ICSE-NIER)

作者： Du, Dehui Li, Bo Zheng, Chenghang Zhang, Xinyuan East China Normal Univ Shanghai Key Lab Trustworthy Comp Software Engn Inst Shanghai Peoples R China

ISBN: (纸本)9798350300390

Scenario modeling for Autonomous Driving Systems (ADS) enables scenario-based simulation and verification which are critical for the development of safe ADS. However, with the increasing complexity and uncertainty of ADS, it becomes increasingly challenging to manually model driving scenarios and conduct verification analysis. To tackle these challenges, we propose a novel and pragmatic framework for scenario modeling, simulation and verification. The novelty is that it's a verification-in-the-loop scenario modeling framework. The scenario modeling language with formal semantics is proposed based on the domain knowledge of ADS. It facilitates scenario verification to analyze the safety of scenario models. Moreover, the scenario simulation is implemented based on the scenario executor. Compared with existing works, our framework can simplify the description of scenarios in a non-programming, user-friendly manner, model stochastic behavior of vehicles, support safe verification of scenario models with UPPAAL-SMC and generate executable scenario in some open-source simulators such as CARLA. To preliminarily demonstrate the effectiveness and feasibility of our approach, we build a prototype tool and apply our approach in several typical scenarios for ADS.

关键词： ADS scenario modeling domain specific modeling language scenario simulation UPPAAL-SMC

来源：评论

学校读者我要写书评

暂无评论

MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains 38

MalWuKong: Towards Fast, Accurate, and Multilingual Detectio...

引用

38th IEEE/ACM International conference on Automated software engineering (ASE)

作者： Li, Ningke Wang, Shenao Feng, Mingxi Wang, Kailong Wang, Meizhen Wang, Haoyu Huazhong Univ Sci & Technol Wuhan Peoples R China

ISBN: (纸本)9798350329964

In the face of increased threats within software registries and management systems, we address the critical need for effective malicious code detection. In this paper, we propose an innovative approach that integrates source code slicing, inter-procedural analysis, and cross-file inter-procedural analysis, thereby enhancing the detection precision and reducing false positives. This approach has been encapsulated within a multi-analysis-based framework for automatic detection of malicious code in real-world software packages. In its application to major third-party software registries like PyPI and NPM, our framework has proven effective, identifying 130 malicious packages from a total of 169,640 monitored over a continuous period of five weeks. This work advances the current state-of-the-art solution to malicious code detection, demonstrating significant practical impact in strengthening the software supply chain defense.

关键词： Malware Detection software Supply Chain Security Security Tools

来源：评论

学校读者我要写书评

暂无评论

Hyacinth macaw: a project-based learning program to develop talents in software engineering for Artificial Intelligence 23

Hyacinth macaw: a project-based learning program to develop ...

引用

37th Brazilian Symposium on software engineering, SBES 2023, held in conjunction with the Brazilian conference on software: Theory and Practice, CBSoft 2023

作者： Fontão, Awdren Matsubara, Edson Mongelli, Henrique Medeiros, Marcio Lourenço, Carlos Martins, Henrique Cortez, Igor Borges, Maria Faculty of Computing / Software Engineering Lab Federal University of Mato Grosso Do Sul Brazil PDtec SP Brazil B3 SP Brazil Blk SP Brazil Neoway SP Brazil

ISBN: (纸本)9798400707872

software engineering for Artificial Intelligence (SE4A) uses SE principles to design and maintain AI systems, requiring analytical thinking for software complexity, while AI demands mathematical knowledge and algorithm adjustment. The IEEE Curriculum Guidelines for Undergraduate Degree Programs in software engineering states that extracurricular elements impact students' preparation. This study focuses on the first module of a project-based learning talent development program involving undergraduate students, two expert professors (in AI and SE), and mentors from sponsoring companies. An exploratory case study with 39 students from four courses was conducted, challenging them to deliver an MVP in machine learning within 1.5 months. Results showed high agreement (87.5%) in applying learned skills to future projects, recognizing SE's benefits (96.9%) in AI, and acknowledging the connection between SE and AI (78.1%). Participants applied relevant knowledge in ML performance, data analysis, and software architecture for AI. We share strategies used by students to enhance developer experience. © 2023 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Why Don't software Companies Care About software Energy Efficiency? A Survey of software Industry Developers. 28th

Why Don't Software Companies Care About Software Energy Effi...

引用

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

作者： Wysocki, Wlodzimierz West Pomeranian University of Technology al. Piastów 17 Szczecin70-310 Poland

The widespread use of the software is responsible for the increasing energy consumption of the world's IT infrastructure. Many techniques, methods, and practices can reduce software's energy consumption, but software producers do not use them. This paper aims to answer the question of why software developers do not care about energy consumption. In order to answer this question, we distinguished five research objectives and drew up a questionnaire consisting of 13 questions. We then conducted telephone interviews with 22 people from the software industry. We showed that developers need a higher awareness of the problem and more knowledge of proven ways to manage software energy efficiency. The author suggests introducing energy efficiency standards and green energy certificates for applications. Courses in energy-efficient software development at universities help prepare staff for the sustainable software development of the future. © 2024 The Authors.

关键词： Green development

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：