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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

34,370 篇 会议
631 篇 期刊文献
476 册 图书

馆藏范围

35,475 篇 电子文献
3 种 纸本馆藏

日期分布

学科分类号

23,049 篇 工学
- 15,070 篇 计算机科学与技术...
- 12,178 篇 软件工程
- 3,152 篇 信息与通信工程
- 3,054 篇 电气工程
- 2,876 篇 控制科学与工程
- 2,154 篇 化学工程与技术
- 1,863 篇 材料科学与工程（可...
- 1,798 篇 机械工程
- 1,599 篇 电子科学与技术（可...
- 1,227 篇 土木工程
- 1,217 篇 建筑学
- 1,212 篇 生物工程
- 1,207 篇 动力工程及工程热...
- 1,021 篇 生物医学工程（可授...
- 910 篇 环境科学与工程（可...
- 871 篇 力学（可授工学、理...
- 857 篇 交通运输工程
- 846 篇 安全科学与工程
- 835 篇 光学工程
- 804 篇 仪器科学与技术
8,167 篇 理学
- 3,861 篇 数学
- 2,314 篇 物理学
- 1,424 篇 化学
- 1,363 篇 生物学
- 1,108 篇 统计学（可授理学、...
- 928 篇 系统科学
5,290 篇 管理学
- 3,782 篇 管理科学与工程(可...
- 1,853 篇 图书情报与档案管...
- 1,768 篇 工商管理
822 篇 教育学
- 813 篇 教育学
774 篇 法学
748 篇 医学
609 篇 经济学
243 篇 农学
75 篇 文学
67 篇 艺术学
55 篇 军事学
1 篇 哲学
1 篇 历史学

主题

1,596 篇 software enginee...
1,204 篇 software
628 篇 knowledge engine...
467 篇 computer science
440 篇 computational mo...
431 篇 training
376 篇 application soft...
374 篇 conferences
367 篇 data mining
357 篇 mathematical mod...
337 篇 feature extracti...
334 篇 computer archite...
312 篇 testing
291 篇 semantics
283 篇 software design
271 篇 artificial intel...
270 篇 software systems
257 篇 deep learning
253 篇 machine learning
249 篇 knowledge manage...

机构

65 篇 school of inform...
59 篇 school of comput...
58 篇 nanjing univ sta...
48 篇 school of comput...
38 篇 university of el...
37 篇 univ chinese aca...
35 篇 school of comput...
34 篇 college of compu...
30 篇 university of el...
24 篇 department of el...
22 篇 college of infor...
22 篇 school of comput...
22 篇 department of el...
21 篇 university of mi...
20 篇 school of softwa...
19 篇 school of electr...
19 篇 school of inform...
19 篇 universitas sang...
18 篇 school of automa...
17 篇 software enginee...

作者

32 篇 li li
29 篇 bernady o. apduh...
22 篇 liu yang
21 篇 jin zhi
21 篇 wang qing
19 篇 qing wang
19 篇 li yang
18 篇 wang lei
15 篇 lee s.
14 篇 wnuk krzysztof
14 篇 wei jun
13 篇 xiangjun xin
13 篇 zhang hongyu
13 篇 zhang lei
13 篇 wu huisi
12 篇 bin wang
12 篇 wang jing
12 篇 li zhang
11 篇 jazdi nasser
11 篇 hironori washiza...

语言

34,430 篇 英文
693 篇 其他
333 篇 中文
15 篇 葡萄牙文
13 篇 西班牙文
6 篇 俄文
4 篇 德文
4 篇 法文
2 篇 土耳其文
1 篇 日文
1 篇 斯洛伐克文
1 篇 乌克兰文

检索条件"任意字段=18th International Conference on Software Engineering and Knowledge Engineering"

共 35477 条记录，以下是201-210 订阅

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

详细简洁

排序：

MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis 18

MODINF: Exploiting Reified Computational Dependencies for In...

引用

18th international conference on Evaluation of Novel Approaches to software engineering (ENASE)

作者： Van der Plas, Jens Nicolay, Jens De Meuter, Wolfgang De Roover, Coen Vrije Univ Brussel Software Languages Lab Pl laan 2 Brussels Belgium

ISBN: (纸本)9789897586477

Information Flow Control is important for securing applications, primarily to preserve the confidentiality and integrity of applications and the data they process. Statically determining the flows of information for security purposes helps to secure applications early in the development pipeline. However, a sound and precise static analysis is difficult to scale. Modular static analysis is a technique for improving the scalability of static analysis. In this paper, we present an approach for constructing a modular static analysis for performing Information Flow Control for higher-order, imperative programs. A modular analysis requires information about data dependencies between modules. these dependencies arise as a result of information flows between modules, and therefore we piggy-back an Information Flow Control analysis on top of an existing modular analysis. Additionally, the resulting modular Information Flow Control analysis retains the benefits of its modular character. We validate our approach by performing an Information Flow Control analysis on 9 synthetic benchmark programs that contain both explicit and implicit information flows.

关键词： Information Flow Control Data Flow Analysis Taint Analysis Static Analysis Modular Analysis

来源：评论

学校读者我要写书评

暂无评论

Developing software for Low Socio-Economic End Users: Lessons Learned from A Case Study of Fisherfolk Communities in Bangladesh 23

Developing Software for Low Socio-Economic End Users: Lesson...

引用

45th IEEE/ACM international conference on software engineering - software engineering in Society (ICSE-SEIS)

作者： Kanij, Tanjila Anwar, Misita Oliver, Gillian Hossain, Md. Khalid Monash Univ Fac Informat Technol Melbourne Australia

ISBN: (纸本)9798350322613

As part of a large Information and Communication Technology for Development (ICT4D) programme, we conducted a number of research projects to empower fisherfolk in Bangladesh. Due to their low socio-economic status, low level of digital as well as general literacy and many other similar factors, fisherfolk are very diverse as end users of software. It was important to understand their characteristics before designing any software for them. We started with exploratory research in reviewing literature and hearing from experts who closely work with fisherfolk. Based on the identification of some of the challenges, we designed a prototype software for tacit knowledge transfer among captains of boats. We conducted number of focus groups with the captains of the boats and adopted a co-creation process where the functionality and usability of the prototype software were decided by the end users themselves. From our experience of working with this diverse group of end users we propose specific recommendations for future software development for end users with a low socio-economic background.

关键词： Fisherfolk Tacit knowledge Co-creation

来源：评论

学校读者我要写书评

暂无评论

A Decision Support Model for Improved Routing in software Defined Vehicular Ad hoc Networks 18

A Decision Support Model for Improved Routing in Software De...

引用

18th INDIAcom;11th international conference on Computing for Sustainable Global Development, INDIACom 2024

作者： Kumar, Manish Raw, Ram Shringar University School of Information Communication and Technology Guru Gobind Singh Indraprastha University Dept. of Computer Science and Engineering New Delhi India New Delhi India

ISBN: (纸本)9789380544519

the inherent dynamism of Vehicular Ad hoc Networks (VANETs), distinguished by rapid movement and frequent changes in network structure, imposes substantial obstacles in effective route management and optimization. the use of software Defined Networking (SDN) in VANETs enables a centralized control mechanism that provides flexibility and adaptability in the administration of the network. the SDN Controller in SDN is responsible for route determination. there are many factors like the distance between vehicles, movement direction, connection duration, data transfer rate, speed, and vehicle data transmission range that are involved to determine the route. this study introduces an innovative decision support model for software Defined Vehicular Ad hoc Networks (SD-VANETs) that use the Analytic Hierarchy Process (AHP) and Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) to improve the route determination which further enhances the VANETs routing. the model estimates the relative importance of the factors to decide the route by the SDN controller in Sd-VANETs. this work enhances the progress of intelligent routing solutions in VANETs, providing a scalable and efficient way for future ITS advancements. © 2024 Bharati Vidyapeeth, New Delhi.

关键词： AHP MCDM in Routing Multi Criteria Decision Making SD-VANET TOPSIS VANET VANET Routing

来源：评论

学校读者我要写书评

暂无评论

From Misuse to Mastery: Enhancing Code Generation with knowledge-Driven AI Chaining 38

From Misuse to Mastery: Enhancing Code Generation with Knowl...

引用

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

作者： Ren, Xiaoxue Ye, Xinyuan Zhao, Dehai Xing, Zhenchang Yang, Xiaohu Zhejiang Univ Sch Software Technol Hangzhou Peoples R China Australian Natl Univ Sch Comp Canberra ACT Australia CSIROs Data61 Sydney NSW Australia Australian Natl Univ Sydney NSW Australia Zhejiang Univ Coll Comp Sci & Technol Hangzhou Peoples R China

ISBN: (纸本)9798350329964

Large Language Models (LLMs) have shown promising results in automatic code generation by improving coding efficiency to a certain extent. However, generating high-quality and reliable code remains a formidable task because of LLMs' lack of good programming practice, especially in exception handling. In this paper, we first conduct an empirical study and summarize three crucial challenges of LLMs in exception handling, i.e., incomplete exception handling, incorrect exception handling and abuse of try-catch. We then try prompts with different granularities to address such challenges, finding fine-grained knowledge-driven prompts works best. Based on our empirical study, we propose a novel knowledge-driven Prompt Chaining-based code generation approach, name KPC, which decomposes code generation into an AI chain with iterative check-rewrite steps and chains fine-grained knowledge-driven prompts to assist LLMs in considering exception-handling specifications. We evaluate our KPC-based approach with 3,079 code generation tasks extracted from the Java official API documentation. Extensive experimental results demonstrate that the KPC-based approach has considerable potential to ameliorate the quality of code generated by LLMs. It achieves this through proficiently managing exceptions and obtaining remarkable enhancements of 109.86% and 578.57% with static evaluation methods, as well as a reduction of 18 runtime bugs in the sampled dataset with dynamic validation.

关键词： Large Language Model Code Generation knowledge-driven Prompt API Misuse

来源：评论

学校读者我要写书评

暂无评论

Exploring Architectural Design Decisions in Mailing Lists and their Traceability to Issue Trackers 18th

Exploring Architectural Design Decisions in Mailing Lists an...

引用

18th European conference on software Architecture (ECSA)

作者： Soliman, Mohamed Univ Paderborn Paderborn Germany Univ Groningen RUG Groningen Netherlands

ISBN: (纸本)9783031707964;9783031707971

software developers commonly use mailing lists to communicate and discuss issues. Some of the emails discuss architectural design decisions (ADDs) to design the components of a system, or achieve quality attributes. In this paper, we explore (a) the types of ADDs in mailing lists, and their co-occurrences, and (b) Methods used by practitioners to discuss ADDs using both mailing lists and issue trackers (e.g. Jira). We applied qualitative methods, as well as deep learning classification to classify ADDs in mailing lists. Furthermore, we applied similarity algorithms to detect related ADDs between emails and issues. Our findings support empirically-grounded approaches to identify and classify ADDs in mailing lists and issue trackers for future system design.

关键词： software architecture Architectural design decisions Architectural knowledge Mailing lists Issue tracker software engineering

来源：评论

学校读者我要写书评

暂无评论

Using Accessibility Awareness Interventions to Improve Computing Education 46

Using Accessibility Awareness Interventions to Improve Compu...

引用

ACM/IEEE 44th international conference on software engineering: software engineering Education and Training (ICSE-SEET)

作者： Liu, Yang Mangano, Domenic Neupane, Krishna Prasad Malachowsky, Samuel Krutz, Daniel E. Rochester Inst Technol B Thomas Golisano Coll Comp & Informat Sci Dept Software Engn Rochester NY 14623 USA

ISBN: (纸本)9798400704987

Research demonstrates that we continue to be deficient in creating inclusive and equitable software, with a lack of empathy among software developers attributed to this issue, even if unintentional. Although increasing empathy has been shown to be part of the solution, unfortunately there is a lack of data that can be analyzed that shows how empathy-building and accessibility awareness interventions can be utilized in computing education, along with a shortage of free, public, and easily adoptable educational material regarding empathy and the creation of accessible software. through large in-person studies that involve real-world participants, we are able to contribute to the knowledge regarding the potential benefits that can be used to improve computing education by implementing empathy-building strategies in the curriculum. Two forms of accessibility awareness exercises are utilized to display the effectiveness of empathy-based learning and teach the importance of accessibility in computing, including experiential and expression-based interventions. In these interventions, we expect to find an increase in awareness and empathy in participants, as well as an increase in participant interest in the topic of software inclusivity and accessibility by placing the participant in a situation they may encounter in the real world. We additionally present a web-hosted, easily adoptable experiential and expression-based educational lab to support the inclusion of inclusive development and/or empathy-focused topics into a variety of curricula formats. Complete materials are available on the project website: https://***

关键词： Experiential Education Computing Education Empathy-Building Interventions

来源：评论

学校读者我要写书评

暂无评论

Benchmark for Evaluating the Design Quality of Object-Oriented Microservices 36

Benchmark for Evaluating the Design Quality of Object-Orient...

引用

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

作者： Athanasopoulos, Dionysis School of Electronics Electrical Engineering and Computer Science Queen’s University of Belfast United Kingdom

ISBN: (纸本)1891706594

Various approaches have been proposed for extracting microservices from the source code of monolithic software systems. the extracted microservices are usually evaluated by using the metrics of the precision and recall. However, the evaluation of the object-oriented design of microservices needs specialized metrics. To bridge this literature gap, we propose the metrics of the completeness, minimality, and structurality to assess the proximity of an extracted design to a ground-truth design. Our evaluation show that our metrics fix the misleading results on the UML quality of microservice designs made by the existing metrics. © 2024 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A thorough Exploration of Cooking Oil Emission Characteristics: Unveiling Comprehensive Insights 18

A Thorough Exploration of Cooking Oil Emission Characteristi...

引用

18th international conference on Indoor Air Quality and Climate, INDOOR AIR 2024

作者： Salmanimojaveri, Mostafa Naseri, Motahareh Madiyarova, Tomiris Ushakova, Nadezhda Yessengaziyeva, Karina Sultan, Gulnur Adotey, Enoch Zhemeney, Gulnaz Omrani, Ali Darvishi Jafarigol, Farzaneh Sankhyan, Sumit Miller, Shelly Wallace, Lance Shah, Dhawal Torkmahalleh, Mehdi Amouei Department of Chemical and Materials Engineering School of Engineering and Digital Sciences Nazarbayev University Astana010000 Kazakhstan Mazandaran 48197-43477 Iran Department of Mechanical Engineering University of Colorado Boulder 1111 Engineering Drive 427 UCB BoulderCO80309 United States 428 Woodley Way Santa RosaCA95409 United States Division of Environmental and Occupational Health Sciences School of Public Health University of Illinois at Chicago ChicagoIL60612 United States

ISBN: (纸本)9798331306816

the present study investigated emissions of black carbon, PM2.5, Particle number and surface concentrations and gases of 17 heated cooking oils available in the US market. Briefly, the process involved heating 100 ml of cooking oil in a beaker until the temperature reached 195oC and continued for 20 minutes. this study provides an opportunity to select cooking oils for frying with low emissions. © 2024 18th conference of the international Society of Indoor Air Quality and Climate, INDOOR AIR 2024 - conference Program and Proceedings. All rights reserved.

关键词： Low emission

来源：评论

学校读者我要写书评

暂无评论

Model Checking for Probabilistic Timed Black-box Systems 36

Model Checking for Probabilistic Timed Black-box Systems

引用

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

作者： Li, Yibo Xu, Jin Department of Software Engineering Tongji University Shanghai China

ISBN: (纸本)1891706594

Probabilistic timed systems are increasingly crucial in modern system architecture. Ensuring the correctness of system behavior has become a crucial problem, and model checking offers a solution. However, it is a challenge to obtain model for black-box systems. Currently, there is a lack of model checking method for probabilistic timed black box systems. thus, we propose a passive model learning algorithm for probabilistic timed automata, combine it with the existing framework for the model checking of probabilistic timed black-box systems. We also carried out relevant experiments and the results demonstrate the accuracy of this approach. © 2024 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

MDAU-Net: A Multi-Scale U-Net with Dual Attention Module for Pavement Crack Segmentation 18

MDAU-Net: A Multi-Scale U-Net with Dual Attention Module for...

引用

18th international conference on Intelligent Systems and knowledge engineering, ISKE 2023

作者： Al-Huda, Zaid Peng, Bo Al-Antari, Mugahed A. Algburi, Riyadh Nazar Ali Saleh, Radhwan A. A. Moghalles, Khaled Southwest Jiaotong University School of Computing and Artificial Intelligence Chengdu China Sejong University College of Software & Convergence Technology Department of Artificial Intelligence Seoul Korea Republic of College of Technical Engineering Aeronautical Technical Engineering Al-Farahidi University Baghdad Iraq Kocaeli University Department of Mechatronics Engineering Kocaeli Turkey Southwest Jiaotong University School of Information Science and Technology Chengdu China

ISBN: (纸本)9798350318401

Crack segmentation is a critical and demanding task in pavement engineering. Recent studies using Convolutional Neural Networks (CNNs) or vision Transformer (ViT) for crack segmentation have shown promising results, but there are still challenges due to the inhomogeneous crack intensity, complex pavement environments, limited labeled training datasets, and noise in most crack images. these challenges make it difficult to distinguish cracks from noise. To address these challenges, we propose MDAU-Net, a multi-scale U-Net with dual attention module based on an encoder-decoder architecture for pavement crack segmentation. MDAU-Net exploits multi-scale input to preserve spatial awareness in all encoder layers, and the dual attention module (DAM) combines global average pooling (GAP) attention module and position attention (PC) module to extract more comprehensive and discriminative features for crack boundary recognition and improve crack segmentation effectiveness. For optimizing the segmentation network and capturing detailed crack information, a hybrid weighted segmentation loss function is developed. Comprehensive experimental evaluations on two benchmark datasets (DeepCrack and Crack500) demonstrate that MDAU-Net achieves state-of-the-art segmentation performance. these results show that MDAU-Net is a promising approach for pavement crack segmentation and can be used to improve the safety and durability of pavement infrastructure. © 2023 IEEE.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：