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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,566 篇 会议
2,464 篇 期刊文献
14 册 图书

馆藏范围

6,044 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,102 篇 工学
- 3,147 篇 计算机科学与技术...
- 2,618 篇 软件工程
- 743 篇 信息与通信工程
- 468 篇 控制科学与工程
- 364 篇 生物工程
- 298 篇 电气工程
- 291 篇 机械工程
- 253 篇 电子科学与技术（可...
- 207 篇 光学工程
- 199 篇 生物医学工程（可授...
- 147 篇 仪器科学与技术
- 139 篇 化学工程与技术
- 118 篇 网络空间安全
- 116 篇 动力工程及工程热...
- 94 篇 交通运输工程
- 92 篇 安全科学与工程
- 90 篇 材料科学与工程（可...
- 90 篇 建筑学
1,844 篇 理学
- 1,168 篇 数学
- 398 篇 生物学
- 326 篇 统计学（可授理学、...
- 314 篇 物理学
- 214 篇 系统科学
- 146 篇 化学
1,201 篇 管理学
- 715 篇 管理科学与工程(可...
- 545 篇 图书情报与档案管...
- 229 篇 工商管理
129 篇 医学
- 107 篇 临床医学
- 91 篇 基础医学(可授医学...
128 篇 法学
- 97 篇 社会学
73 篇 经济学
66 篇 教育学
45 篇 农学
21 篇 艺术学
15 篇 文学
12 篇 军事学
5 篇 哲学

主题

178 篇 semantics
160 篇 computer science
130 篇 feature extracti...
129 篇 software enginee...
125 篇 laboratories
119 篇 training
111 篇 computational mo...
99 篇 software
98 篇 web services
96 篇 data mining
92 篇 educational inst...
87 篇 deep learning
87 篇 algorithm design...
80 篇 optimization
80 篇 accuracy
78 篇 cloud computing
72 篇 clustering algor...
66 篇 data models
61 篇 wireless sensor ...
61 篇 software testing

机构

454 篇 state key labora...
279 篇 state key labora...
204 篇 school of comput...
176 篇 state key labora...
161 篇 college of compu...
156 篇 state key labora...
144 篇 school of inform...
131 篇 school of electr...
121 篇 key laboratory o...
112 篇 national key lab...
110 篇 shanghai key lab...
109 篇 state key labora...
102 篇 school of comput...
102 篇 school of comput...
90 篇 university of ch...
88 篇 shandong provinc...
79 篇 state key labora...
71 篇 shandong provinc...
65 篇 school of comput...
63 篇 department of co...

作者

73 篇 junping du
52 篇 shen linlin
47 篇 tao dacheng
46 篇 du bo
43 篇 xiao limin
41 篇 huang di
40 篇 gao yang
39 篇 shi yinghuan
35 篇 chen zhong
35 篇 yu huiqun
32 篇 fan guisheng
32 篇 ruan li
32 篇 liu hong
31 篇 miao huaikou
31 篇 limin xiao
30 篇 baowen xu
29 篇 zhao jian
28 篇 shen furao
28 篇 hong mei
27 篇 xu baowen

语言

5,678 篇 英文
214 篇 其他
157 篇 中文

检索条件"机构=The Key Laboratory of Computer Software Engineering"

共 6044 条记录，以下是391-400 订阅

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

详细简洁

排序：

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count 23

Detecting Memory Errors in Python Native Code by Tracking Ob...

引用

Proceedings of the 38th IEEE/ACM International Conference on Automated software engineering

作者： Xutong Ma Jiwei Yan Hao Zhang Jun Yan Jian Zhang State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences and University of Chinese Academy of Sciences Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences and Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences and University of Chinese Academy of Sciences

ISBN: (纸本)9798350329964

Third-party Python modules are usually implemented as binary extensions by using native code (C/C++) to provide additional features and runtime acceleration. In native code, the heap-allocated PyObjects are managed by the reference counting mechanism provided in Python/C APIs for automatic reclaiming. Hence, improper refcount manipulations can lead to memory leaks and use-after-free problems, and cannot be detected by simply pairing the occurrence of source and sink points. To detect such problems, state-of-the-art approaches have made groundbreaking contributions to identifying inappropriate final refcount values before returning from native code to Python. However, not all problems can be exposed at the end of a path. To detect those hidden in the middle of a path in native code, it is also crucial to track the lifecycle state of PyObjects through the refcount and lifecycle operations in API *** achieve this goal, we propose the PyObject State Transition Model (PSTM) recording the lifecycle states and refcount values of PyObjects to describe the effects of Python/C API calls and pointer operations. We track state transitions of PyObjects with symbolic execution based on the model, and report problems when a statement triggers a transition to buggy states. The program state is also expanded to handle pointer nullity checks and smart pointers of PyObjects. We conduct experiments on 12 open-source projects and detect 259 real problems out of 280 reports, which is twice as many bugs as state-of-the-art approaches. We submit 168 real bugs to those active projects, and 106 issues are either confirmed or resolved.

关键词： python native code

来源：评论

学校读者我要写书评

暂无评论

Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction 1

引用

3rd International Conference on Artificial Intelligence Logic and Applications, AILA 2023

作者： Lin, Xiaoan Li, Meihua Pei, Jihong Zhao, Yang College of Electronics and Information Engineering Shenzhen University Guangdong Shenzhen China Guangdong Key Laboratory of Intelligent Information Processing Guangdong Shenzhen China Department of Computer Science City University of Hong Kong Hong Kong College of Computer Science and Software Engineering Shenzhen University Guangdong Shenzhen China

ISBN: (数字)9789819978694

ISBN: (纸本)9789819978687

Consistent Discriminant Correlation Analysis (CDCA) is an effective algorithm for dual-view learning. However, the importance of information from different samples and features may vary. In CDCA, the sample features from both views are equally weighted during training, which may not fully utilize the information contained in certain sample features. This can negatively impact the decision-making and predictive capabilities of the model. Additionally, CDCA is only applicable to dual-view data and cannot effectively utilize multi-view data. To address these issues, this paper extends CDCA to multi-view scenarios and proposes Consistent Discriminant Correlation Analysis with Weight Correction (CDCA-WC). The feature weighting approach used in this paper involves calculating the average weight of each feature using the ReliefF algorithm. The sample weighting method employed is based on a weighted loss function, where a larger weight indicates a stronger classification ability for the corresponding feature or sample. During the training process, CDCA-WC is used to obtain the feature subspace mappings for the training samples from multiple views. The data’s feature and sample dimensions are then adjusted based on their respective weights, and the adjusted data is used for a second round of training. During testing, the similarity between samples is measured using a KNN classifier. Experimental results on three publicly available face recognition datasets demonstrate that CDCA-WC can effectively improve the accuracy of low-resolution face image recognition. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2023.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

Regularized Loose Coupled Deep Non-negative Basis Matrix Factorization for Low-Resolution Face Image Recognition 1

引用

3rd International Conference on Artificial Intelligence Logic and Applications, AILA 2023

作者： Li, Jianhua Wang, Jinxin Pei, Jihong Zhao, Yang College of Electronics and Information Engineering Shenzhen University Guangdong Shenzhen China Guangdong Key Laboratory of Intelligent Information Processing Guangdong Shenzhen China Department of Computer Science City University of Hong Kong Hong Kong College of Computer Science and Software Engineering Shenzhen University Guangdong Shenzhen China

ISBN: (数字)9789819978694

ISBN: (纸本)9789819978687

Low-resolution face image recognition is a research focus in computer vision and pattern recognition. In this paper, the potential relationship between matched high-resolution face and low-resolution face images is considered to propose the regularized loose coupled deep non-negative basis matrix factorization (RLCDNBMF) architecture, which uses regularized deep non-negative basis matrix factorization for high-resolution images and couples its coefficient matrix with the coefficient matrix obtained from low-resolution non-negative factorization, so that the discriminative information of high-resolution face images can be fully utilized to guide the non-negative matrix factorization of low-resolution face images. Comparative experiments are conducted on three mainstream face databases, and the experimental results show that the method can improve the accuracy of low-resolution face recognition. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2023.

关键词： Non-negative matrix factorization

来源：评论

学校读者我要写书评

暂无评论

Coupled Non-negative Matrix Factorization with Deep Part-Based Feature Learning for Low-Resolution Image Recognition 1

引用

3rd International Conference on Artificial Intelligence Logic and Applications, AILA 2023

作者： Wang, Jinxin Zhao, Yang Pei, Jihong Yang, Xuan College of Electronics and Information Engineering Shenzhen University Guangdong Shenzhen China Guangdong Key Laboratory of Intelligent Information Processing Guangdong Shenzhen China Department of Computer Science City University of Hong Kong Hong Kong College of Computer Science and Software Engineering Shenzhen University Guangdong Shenzhen China

ISBN: (数字)9789819978694

ISBN: (纸本)9789819978687

The existing low-resolution (LR) image recognition methods based on coupled relationship learning of high- and low-resolution images usually take similar feature extraction steps for both high- and low-resolution images. However, the high- and low-resolution features thus obtained may differ in terms of information content and information scale. This leads to a robust coupled relationship between the obtained high- and low-resolution images feature is difficult to be learned. Therefore, a coupled non-negative matrix factorization with a deep part-based feature learning method is proposed for the LR image recognition task. This method is divided into two main steps. Firstly, the depth non-negative matrix factorization method by graph convolution is used to obtain a robust depth underlying basis images of HR images for feature representation. Then the coupled relationship between the depth basis images feature of the HR images and the LR basis images feature is learned. Learning More Robust LR Basis images features using depth underlying features of HR images to assist LR images. Improve the expression of LR basis images of features. Experimental results show that the method can provide higher recognition performance. It outperforms existing image recognition methods in image recognition. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2023.

关键词： Image recognition

来源：评论

学校读者我要写书评

暂无评论

Learning Deterministic One-Clock Timed Automata via Mutation Testing 20th

Learning Deterministic One-Clock Timed Automata via Mutatio...

引用

20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022

作者： Tang, Xiaochen Shen, Wei Zhang, Miaomiao An, Jie Zhan, Bohua Zhan, Naijun School of Software Engineering Tongji University Shanghai China Kaiserslautern Germany State Key Laboratory of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783031199912

In active learning, an equivalence oracle is supposed to answer whether a hypothesis model is equivalent to the system under learning. Its implementation in real applications is considered a major bottleneck for active automata learning. The problem is especially difficult in the context of learning timed automata due to the infinitely large state space involved. In this paper, following the framework of combining mutation analysis and random testing, we propose an implementation of equivalence oracle in the context of learning deterministic one-clock timed automata (DOTAs). This includes two learning-friendly mutation operators, a heuristic test-case generation method, and a score-based test-case selection method. We implemented a prototype applying our approach by extending an existing tool on active learning of DOTAs and conducted extensive experiments. The results indicate that our method improves upon existing methods on the rate of learning correct models, the number of test cases required, and accumulated delay time in test cases. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Towards better dynamic graph learning: new architecture and unified library 23

Towards better dynamic graph learning: new architecture and ...

引用

Proceedings of the 37th International Conference on Neural Information Processing Systems

作者： Le Yu Leilei Sun Bowen Du Weifeng Lv State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University

We propose DyGFormer, a new Transformer-based architecture for dynamic graph learning. DyGFormer is conceptually simple and only needs to learn from nodes' historical first-hop interactions by: (i) a neighbor co-occurrence encoding scheme that explores the correlations of the source node and destination node based on their historical sequences; (ii) a patching technique that divides each sequence into multiple patches and feeds them to Transformer, allowing the model to effectively and efficiently benefit from longer histories. We also introduce DyGLib, a unified library with standard training pipelines, extensible coding interfaces, and comprehensive evaluating protocols to promote reproducible, scalable, and credible dynamic graph learning research. By performing exhaustive experiments on thirteen datasets for dynamic link prediction and dynamic node classification tasks, we find that DyGFormer achieves state-of-the-art performance on most of the datasets, demonstrating its effectiveness in capturing nodes' correlations and long-term temporal dependencies. Moreover, some results of baselines are inconsistent with previous reports, which may be caused by their diverse but less rigorous implementations, showing the importance of DyGLib. All the used resources are publicly available at https://***/yule-BUAA/DyGLib.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Privacy Preserving Method for IoT Forensics

A Privacy Preserving Method for IoT Forensics

引用

2024 IEEE Global Communications Conference, GLOBECOM 2024

作者： Zhang, Wenzheng Chen, Boxi Fu, Xiao Gu, Qing Shi, Jin Du, Xiaojiang Zhou, Xiaoyang Nanjing University State Key Laboratory for Novel Software Technology Nanjing China Nanjing University School of Information Management Nanjing China Stevens Institute of Technology Department of Electrical and Computer Engineering HobokenNJ United States Innovation Research Institute Nanjing China

ISBN: (纸本)9798350351255

The diversity of the Internet of Things (IoT) poses challenges to privacy protection, especially in the field of digital forensics. How to ensure that only the private information of the suspect is provided, and not the irrelevant information of other users is disclosed is crucial, especially when obtaining evidence in the complex IoT environment. To the best of our knowledge, there are few studies on protecting the privacy of irrelevant users in the IoT forensics. However, it is very important to ensure that the evidence does not violate the privacy of other users when collecting evidence, because it directly determines whether the evidence is legal and whether it can be admissible in court. In this paper, a new method based on data provenance graph is designed to solve the privacy protection problem of IoT forensics. The key idea of this method is to protect privacy by dividing multi-user information and protecting it from an encryption perspective. The method consists of three main phrases: distinguishing different users' data provenance graphs using traversal search, node abstraction, and hiding techniques, utilizing pseudo-random dual-key negotiation methods tailored for the scenario to enhance privacy protection for unrelated users, and employing identity authentication technology to facilitate better investigation and extraction of data provenance graph information of criminal accomplices in specific scenarios. Example proves that this method has practical significance and promising application prospects in protecting the privacy of unrelated users in IoT forensics while ensuring evidence accessibility in special criminal scenarios. © 2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Blockchain-based Crowd-sensing Trust Management Mechanism for Crowd Evacuation 25

Blockchain-based Crowd-sensing Trust Management Mechanism fo...

引用

25th IEEE International Conference on computer Supported Cooperative Work in Design, CSCWD 2022

作者： Yu, Jiawen Zhang, Guijuan Lu, Dianjie Liu, Hong School of Information Science and Engineering Shandong Normal University Shandong Provincial Key Laboratory for Novel Distributed Computer Software Technology State Key Laboratory of High-end Server and Storage Technology Shandong Jinan China

ISBN: (纸本)9781665405270

With the continuous urban expansion, the safety of public places has attracted more and more attention. Once an accident occurs and people distrust their surroundings, it will cause congestion, trampling and other events. Individual trust value is particularly important in crowd evacuation. However, it is very difficult to evaluate the individual credibility with existing methods. We propose a blockchain-based crowd-sensing trust management mechanism (B-CSTM) to address this problem. First, we provide a message credibility evaluation mechanism that can evaluate the credibility of messages sent by individuals on spot. Second, we developed a trust calculation method that uses a distributed Evacuation Perception Unit (EPU) to calculate individuals' trust values by perception scores. Finally, we build a blockchain-based trust management mechanism model that uses blockchain to store and query trust values. Through experimental analysis, we visualize the trust results in the evacuation scenario. It is shown that the mechanism is feasible for the management of trust values (collection, calculation and storage, etc.) in crowd evacuation. © 2022 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Data-Driven Crowd Motion Modeling With Group Properties Analysis 25

Data-Driven Crowd Motion Modeling With Group Properties Anal...

引用

25th IEEE International Conference on computer Supported Cooperative Work in Design, CSCWD 2022

作者： Jia, Chuanhua Lu, Dianjie Zhang, Guijuan Liu, Hong School of Information Science and Engineering Shandong Normal University Shandong Provincial Key Laboratory for Novel Distributed Computer Software Technology State Key Laboratory of High-end Server and Storage Technology Shandong Jinan China

ISBN: (纸本)9781665405270

Traditional crowd evacuation simulation methods focus on the analysis of individual behavior in the crowd, but ignore the analysis of potential group properties in the process of crowd motion, which reduces the visual realism of the crowd evacuation simulation process. During crowd motion, crowds cause unconscious self-organization due to common destinations and social relationships, thus forming groups. Considering the influence of group properties on crowd motion is important to improve the visual realism of crowd motion simulation. To address this problem, we propose a crowd motion modeling method for group properties analysis (GPA-CMM). First, we build a data-driven group properties quantification (DGPQ) model to describe the characteristics of group motion accurately. In the model, we divide the crowd into several groups, extract motion properties of the crowd, and quantify the features of intra-group stability and inter-group conflict. Then, in order to analyze their influences of group properties, we build a stability and conflict based crowd motion analysis (SC-CMA) model. Finally, we implement a crowd simulation system based on SC-CMA, visualize the results of the theoretical analysis in a graphical way. The experimental results show that the method can simulate crowd motion more realistically. © 2022 IEEE.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

Federated Learning based Path Planning Method for Crowd Evacuation 25

Federated Learning based Path Planning Method for Crowd Evac...

引用

25th IEEE International Conference on computer Supported Cooperative Work in Design, CSCWD 2022

作者： Yuan, Zihao Lu, Dianjie Zhang, Guijuan Liu, Hong School of Information Science and Engineering Shandong Normal University Shandong Provincial Key Laboratory for Novel Distributed Computer Software Technology State Key Laboratory of High-end Server and Storage Technology Shandong Jinan China

ISBN: (纸本)9781665405270

The surveillance videos captured by cameras deployed in large-scale places can provide help for path planning of crowd evacuation in emergencies. However, most surveillance videos are not allowed to be shared in order to avoid privacy disclosure. Thus, it is difficult to obtain the video data of the whole scenario for path planning which greatly reduces effectiveness of path planning. How to provide global path planning for crowd evacuation while ensuring privacy protection is a challenging problem. To solve this problem, we propose a federated learning based path planning method for crowd evacuation. In this method, the potential field model are introduced into the federated learning framework to provide the privacy protection since only the potential field information is aggregated between the camera terminal and the central server, instead of the surveillance videos. First, we construct the local potential field for the surveillance scene of each camera by extracting the scene information and the crowds information. Second, the central server periodically performs the global potential field information aggregation and integrates these information to plan the optimal global path dynamically for crowd evacuation. Finally, we implemente a simulation platform to simulate the process of crowd movement and visualize the dynamic change of the potential energy field. Experimental results prove that the proposed method can provide privacy-preserving path planning for multi-camera evacuation scenarios. © 2022 IEEE.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：