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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

108,400 篇 会议
15,696 册 图书
11,120 篇 期刊文献
3 篇 学位论文

馆藏范围

135,077 篇 电子文献
170 种 纸本馆藏

日期分布

学科分类号

107,595 篇 工学
- 93,050 篇 计算机科学与技术...
- 66,618 篇 软件工程
- 23,096 篇 信息与通信工程
- 12,539 篇 电气工程
- 8,337 篇 控制科学与工程
- 8,184 篇 生物工程
- 8,077 篇 生物医学工程（可授...
- 6,286 篇 光学工程
- 4,393 篇 电子科学与技术（可...
- 3,853 篇 机械工程
- 3,609 篇 化学工程与技术
- 2,781 篇 建筑学
- 2,343 篇 动力工程及工程热...
- 2,310 篇 土木工程
- 2,012 篇 安全科学与工程
55,648 篇 理学
- 41,046 篇 数学
- 9,539 篇 生物学
- 8,447 篇 物理学
- 7,806 篇 统计学（可授理学、...
- 4,825 篇 系统科学
- 3,126 篇 化学
22,324 篇 管理学
- 13,183 篇 图书情报与档案管...
- 10,139 篇 管理科学与工程(可...
- 6,929 篇 工商管理
5,722 篇 医学
- 5,266 篇 临床医学
- 4,540 篇 基础医学(可授医学...
- 3,132 篇 药学(可授医学、理...
3,695 篇 法学
- 3,129 篇 社会学
2,457 篇 教育学
- 2,415 篇 教育学
2,158 篇 经济学
- 2,152 篇 应用经济学
1,824 篇 农学
171 篇 军事学
106 篇 文学
74 篇 艺术学
17 篇 哲学
2 篇 历史学

主题

8,037 篇 artificial intel...
4,826 篇 computer communi...
3,509 篇 information syst...
2,774 篇 algorithm analys...
2,427 篇 software enginee...
2,002 篇 image processing...
1,984 篇 user interfaces ...
1,975 篇 semantics
1,947 篇 computers
1,915 篇 information stor...
1,656 篇 computer applica...
1,524 篇 pattern recognit...
1,466 篇 data mining and ...
1,442 篇 computer vision
1,422 篇 software enginee...
1,369 篇 database managem...
1,246 篇 distributed comp...
1,227 篇 computer circuit...
1,224 篇 theory of comput...
1,182 篇 computer systems...

机构

202 篇 university of sc...
159 篇 department of co...
152 篇 huazhong univers...
145 篇 institute of inf...
121 篇 department of co...
119 篇 tsinghua univers...
116 篇 shanghai jiao to...
112 篇 national institu...
96 篇 school of comput...
91 篇 chinese academy ...
85 篇 école des ponts ...
83 篇 department of co...
79 篇 school of comput...
78 篇 karnataka bangal...
75 篇 university of ch...
72 篇 department of co...
71 篇 college of compu...
71 篇 university of el...
63 篇 school of comput...
63 篇 college of compu...

作者

74 篇 vardi moshe y.
70 篇 wang lei
62 篇 zhang lei
59 篇 pnueli amir
51 篇 hancock edwin r.
41 篇 huang yueh-min
41 篇 li yang
40 篇 li xin
40 篇 marina l. gavril...
39 篇 stuckey peter j.
38 篇 man ka lok
37 篇 jiang xiaoyi
36 篇 liu bo
35 篇 zhang tao
34 篇 yu yong
33 篇 panayiotis zaphi...
33 篇 jianying zhou
32 篇 peleg david
31 篇 hsu tsan-sheng
31 篇 lee dong chun

语言

127,567 篇 英文
5,876 篇 其他
1,486 篇 中文
284 篇 德文
4 篇 法文
1 篇 加泰罗尼亚文
1 篇 俄文

检索条件"任意字段=Lecture Notes in Computer Science"

共 135219 条记录，以下是1461-1470 订阅

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

详细简洁

排序：

An EXPTIME-Complete Entailment Problem in Separation Logic 1

引用

30th International Workshop on Logic, Language, Information and Computation (WoLLIC)

作者： Peltier, Nicolas Univ Grenoble Alpes LIG CNRS F-38000 Grenoble France

ISBN: (数字)9783031626876

ISBN: (纸本)9783031626869;9783031626876

Separation logic (SL) is extensively employed in verification to analyze programs that manipulate dynamically allocated memory. The entailment problem, when dealing with inductively defined predicates or data constraints, is undecidable for SL formulas. Our focus is on addressing a specific fragment of this issue, wherein the consequent is restricted to clauses of some particular form, devoid of inductively defined predicates. We present an algorithm designed to determine the validity of such entailments and demonstrate that the problem is decidable and ExpTime complete under some conditions on the data theory. This algorithm serves the purpose of verifying that the data structures outlined by a given SL formula (the antecedent) adhere to certain shape constraints expressed by the consequent.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

SMFuse: Two-Stage Structural Map Aware Network for Multi-focus Image Fusion 27th

SMFuse: Two-Stage Structural Map Aware Network for Multi-foc...

引用

27th International Conference on Pattern Recognition, ICPR 2024

作者： Shen, Tianyu Li, Hui Cheng, Chunyang Shen, Zhongwei Song, Xiaoning International Joint Laboratory on Artificial Intelligence of Jiangsu Province School of Artificial Intelligence and Computer Science Jiangnan University Wuxi China School of Electronic and Information Engineering Suzhou University of Science and Technology Suzhou China

ISBN: (纸本)9783031783111

Multi-focus image fusion (MFIF) explores the positioning and reorganization of the focused parts from the input images. Focused and defocused parts have similar representations in color, contour and other appearance information, which degrades the fusion quality due to the influence of these redundant information. Currently, most MFIF methods have not identified an effective way to remove redundant information before fusion stage. Thus, in this paper, we introduce a structural map extraction strategy for multi-focus image fusion. Compared to the source image, structural map reduces redundant information, and the clearer parts of the image retain more abundant structural features. Consequently, the differences between focused part and defocused part become more pronounced based on the extracted structural map. Specifically, the proposed fusion method adopts a two-stage training strategy. Firstly, the structural map is extracted by the proposed structural map extraction network (SMENet) from the source images. Secondly, the structural map is thus applied to train the decision map generation network (DMGNet) to obtain the decision map which is utilized to generate the final fusion image. Qualitative and quantitative experiments on three public datasets demonstrate the superiority of the proposed method, compared with the advanced image fusion algorithms. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Image fusion

来源：评论

学校读者我要写书评

暂无评论

Environment-Independent Fusion for Robust Object Detection in Adverse Environments 27th

Environment-Independent Fusion for Robust Object Detection ...

引用

27th International Conference on Pattern Recognition, ICPR 2024

作者： Zhong, Wenlong Zhang, Yunfei Wu, Si School of Future Technology South China University of Technology Guangzhou China School of Computer Science and Engineering South China University of Technology Guangzhou China

ISBN: (纸本)9783031781094

Object detection has achieved remarkable progress, yet its efficacy undergoes substantial deterioration in challenging or adverse environmental conditions. Current domain adaptation object detection (DAOD) methodologies predominantly concentrate on transfer models to acclimate to the target domain, but neglecting the potential erosion in detection performance within the source domains. This narrow focus can undermine the comprehensive robustness and adaptability of the detection systems. We propose a simple but efficient method called Environment-Independent Fusion YOLO (EIF-YOLO) to tackle this issue. Our method focuses on extracting and fusing environment-independent features to enable accurate detection across different domains. We have reused the original feature extractor while preserving all its parameters and optimizing it by mixing data from the source and target domains. To encourage the extraction of object-related features, we introduce multi-layer perceptual regularization to align the features from the original feature extractor. Additionally, we introduce a domain-adaptive fusion that merges features from different domains while minimizing interference with the original data features. Experimental results show that our method surpasses existing foggy and low-light detection approaches while maintaining excellent source domain performance. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Domain adaptation Environment-Independent Fusion Object Detection

来源：评论

学校读者我要写书评

暂无评论

Adapting Models to Scarce Target Data Without Source Samples 17th

Adapting Models to Scarce Target Data Without Source Sample...

引用

17th Asian Conference on computer Vision, ACCV 2024

作者： Lee, JoonHo Lee, Gyemin Seoul National University of Science and Technology Seoul Korea Republic of Samsung SDS Technology Research Seoul Korea Republic of

ISBN: (纸本)9789819609659

When significant discrepancies exist in data distributions between source and target domains, source-trained models often exhibit suboptimal performance in the target domain. Unsupervised domain adaptation (UDA) effectively addresses this issue without needing labels of target data. More recent source-free UDA methods handle the situations where source data is inaccessible. However, the performance of UDA is substantially compromised when the target domain data is scarce. Despite the challenges in obtaining and storing large target data, this aspect of UDA has not been extensively investigated. Our study introduces a new method to alleviate performance degradation in source-free UDA under target data scarcity. The proposed method retains the architecture and pretrained parameters of the source model, thereby reducing the risk of overfitting. Instead, it incorporates less than 3.3% of trainable parameters that comprise a set of convolution layers with non-linearity and a spatial attention network. Empirical assessments reveal that our approach achieves up to 5.4% performance improvement with limited target data on VisDA benchmark over existing UDA methods. Similar trends are also evident in Office-31 benchmark and multi-source UDA experiments with Office-Home benchmark across different target domains. Our method shows promising enhancement of the adapted model’s generalization. These findings highlight the efficacy of our method in improving UDA across diverse domain adaptation scenarios. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Scarce Target Data Source-Free Domain Adaptation Unsupervised Domain Adaptation

来源：评论

学校读者我要写书评

暂无评论

Enabling Tactile Feedback for Robotic Strawberry Handling Using AST Skin 25th

Enabling Tactile Feedback for Robotic Strawberry Handling U...

引用

25th Annual Conference on Towards Autonomous Robotic Systems, TAROS 2024

作者： Rajendran, S. Vishnu Nazari, Kiyanoush Parsons, Simon Ghalamzan, E. Amir Lincoln Institute of Agri-Food Technology University of Lincoln Lincoln United Kingdom School of Computer Science University of Lincoln Lincoln United Kingdom University of Surrey Guildford United Kingdom

ISBN: (纸本)9783031720581

Acoustic Soft Tactile (AST) skin is a novel sensing technology which derives tactile information from the modulation of acoustic waves travelling through the skin’s embedded acoustic channels. A generalisable data-driven calibration model maps the acoustic modulations to the corresponding tactile information in the form of contact forces with their contact locations and contact geometries. AST skin technology has been highlighted for its easy customisation. As a case study, this paper discusses the possibility of using AST skin on a custom-built robotic end effector finger for strawberry handling. The paper delves into the design, prototyping, and calibration method to sensorise the end effector finger with AST skin. A real-time force-controlled gripping experiment is conducted with the sensorised finger to handle strawberries by their peduncle. The finger could successfully grip the strawberry peduncle by maintaining a preset force of 2 N with a maximum Mean Absolute Error (MAE) of 0.31 N over multiple peduncle diameters and strawberry weight classes. Moreover, this study sets confidence in the usability of AST skin in generating real-time tactile feedback for robot manipulation tasks. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： End effectors

来源：评论

学校读者我要写书评

暂无评论

MARO: Enabling Full MPI Automatic Refactoring in DSL-Based Programming Framework 24th

MARO: Enabling Full MPI Automatic Refactoring in DSL-Based ...

引用

24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024

作者： Lei, Tong Chen, Zongjing Che, Yonggang Xu, Chuanfu Laboratory of Digitizing Software for Frontier Equipment National University of Defense Technology Changsha410073 China National Key Laboratory of Parallel and Distributed Computing College of Computer Science and Technology National University of Defense Technology Changsha410073 China

ISBN: (纸本)9789819615445

Currently, the landscape of computer hardware architecture presents the characteristics of heterogeneity and diversity, prompting widespread attention to cross-platform portable parallel programming techniques. Most existing portable programming approaches adopt the "MPI+X" strategy, focusing mainly on node-level "X" parallelism, while inter-node parallelization still relies on manual MPI programming. OP2 is a domain-specific language-based portable parallel programming framework for unstructured mesh applications that supports the automatic generation of MPI parallel code. However, programmers must manually write pre-processing code during code refactoring, such as handling the mapping relationship between global and process-local variables and the initial distribution of process-local data. In this paper, we propose MARO (MPI Automatic Refactoring for OP2), an automatic refactoring method for generating pre-processing code targeting MPI code generation within the OP2 programming framework for unstructured mesh applications. This method automatically generates the pre-processing code required for MPI parallelism through the source-to-source translator, enabling OP2 to generate MPI parallel code without requiring users to write MPI-related code manually. We compare the automatically refactored OP2 applications using the proposed method with those manually refactored to validate its effectiveness. The proposed method enhances OP2’s automatic parallel code generation capability, enabling it to achieve fully automatic MPI parallelization. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

CavFind: A Novel Algorithm to Detect Cavities on Protein Structure 1

引用

5th International Conference on computer and Communication Technologies, IC3T 2023

作者： Adhikari, Swati Roy, Parthajit Department of Computer Science The University of Burdwan Golapbag West Bengal Purba Bardhaman713104 India

ISBN: (数字)9789819997046

ISBN: (纸本)9789819997039

Various essential functions in living organisms are performed by binding of proteins with other molecules (ligands). Proper detection and analysis of ligand binding locations (cavities) leads towards the success of the overall drug designing system. The main challenge towards that goal is that the problem is computationally hard. In the present study, a soft computing-based algorithm has been proposed that is capable of detecting cavities on protein’s structure. The proposed algorithm is based on Voronoi decomposition and implemented by applying the self-organizing map (SOM) clustering algorithm. The proposed algorithm is evaluated with 48 protein–ligand complexes and compared with two existing algorithms like Fpocket and ConCavity and compared with the results stored in two existing databases like BioLiP and CaviDB. The proposed algorithm is also capable of computing some descriptors of the detected cavities. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Binding sites

来源：评论

学校读者我要写书评

暂无评论

Chaotic Particle Swarm Algorithm for QoS Optimization in Smart Communities 18th

Chaotic Particle Swarm Algorithm for QoS Optimization in Sma...

引用

18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023

作者： Wang, Jiaju Fu, Baochuan Suzhou University of Science and Technology No. 99 Xuefu Road Huqiu District Jiangsu Suzhou China

ISBN: (纸本)9789819998951

In smart communities, computer networks carry a large number of real-time computing tasks such as smart property, smart parking, smart home, etc., and these services are characterized by large data transmission and high concurrency, which require high real-time performance of the network. How to ensure the real-time network to reduce the task scheduling delay is the key problem to be solved when QoS optimization of smart community network. To this end, this paper deeply analyzes the characteristics of smart community task scheduling, firstly, establishes a community computing task scheduling model with computation time and computation cost as the optimization goal;then, proposes the optimization strategy of Chaotic Particle Swarm Algorithm for the stochastic nature of highly concurrent tasks, i.e., based on the basic algorithm of Particle Swarm to add the chaotic strategy in the initialization of the population and the optimization means of the adaptive factor in order to avoid falling into the local optimal and improve the optimization speed;finally, the time and cost overheads under different number of tasks are compared through simulation experiments, and the simulation results verify the effectiveness of the improved algorithm proposed in this paper in network QoS optimization. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2024.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Cost-Efficient Crowdsourcing for Span-Based Sequence Labeling: Worker Selection and Data Augmentation 23rd

Cost-Efficient Crowdsourcing for Span-Based Sequence Labeli...

引用

23rd China National Conference on Computational Linguistics, CCL 2024

作者： Wang, Yujie Huang, Chao Yang, Liner Fang, Zhixuan Huang, Yaping Liu, Yang Yu, Jingsi Yang, Erhong School of Computer and Information Technology Beijing Jiaotong University Beijing China National Language Resources Monitoring and Research Center for Print Media Beijing Language and Culture University Beijing China Department of Computer Science The University of California Davis United States School of Information Science Beijing Language and Culture University Beijing China Institute for Interdisciplinary Information Sciences Tsinghua University Beijing China

ISBN: (纸本)9789819783663

This paper introduces a novel crowdsourcing worker selection algorithm, enhancing annotation quality and reducing costs. Unlike previous studies targeting simpler tasks, this study contends with the complexities of label interdependencies in sequence labeling. The proposed algorithm utilizes a Combinatorial Multi-Armed Bandit (CMAB) approach for worker selection, and a cost-effective human feedback mechanism. The challenge of dealing with imbalanced and small-scale datasets, which hinders offline simulation of worker selection, is tackled using an innovative data augmentation method termed shifting, expanding, and shrinking (SES). Rigorous testing on CoNLL 2003 NER and Chinese OEI datasets showcased the algorithm’s efficiency, with an increase in F1 score up to 100.04% of the expert-only baseline, alongsidecost savings up to 65.97%. The paper also encompasses a dataset-independent test emulating annotation evaluation through a Bernoulli distribution, which still led to an impressive 97.56% F1 score of the expert baseline and 59.88% cost savings. Furthermore, our approach can be seamlessly integrated into Reinforcement Learning from Human Feedback (RLHF) systems, offering a cost-effective solution for obtaining human feedback. All resources, including source code and datasets, are available to the broader research community at https://***/blcuicall/nlp-crowdsourcing. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Crowdsourcing

来源：评论

学校读者我要写书评

暂无评论

Understanding the Problem Space for Effective Use of a Circular Economy Monitor in Policy Making 1

引用

16th International Conference on Electronic Participation (ePart)

作者： Pauwels, Michiel Reich, Rene Vercalsteren, An Christis, Maarten Alaerts, Luc van Acker, Karel Katholieke Univ Leuven Ctr Econ & Corp Sustainabil Fac Econ & Business Leuven Belgium Katholieke Univ Leuven Sustainabil Assessments Mat & Circular Econ Dept Mat Engn Leuven Belgium VITO Unit Sustainable Mat & Chem Mol Belgium Flanders Make Vzw VCCM Corelab Leuven Belgium

ISBN: (数字)9783031708046

ISBN: (纸本)9783031708039;9783031708046

This paper identifies and validates the challenges hindering the integration of circular economy into evidence-based policy making, and proposes an outlook for enhancing the effective use of circular economy monitors. It highlights the limitations of current circular economy monitoring systems, which often fail to transform circular economy information into actionable knowledge for policy makers. Using the echelon Design science Research approach, which divides projects into manageable 'echelons' to tackle complex socio-technical problems, this study focuses on the problem analysis echelon. Through 13 semi-structured interviews with intended users and an extensive literature review, the study identifies and validates five challenges to embedding circular economy in policymaking. These challenges are the delayed benefits of circular economy actions, fragmented policy coordination, the lack of a policy agenda for higher R strategies, the complexity of circular economy implementation, and the gap between theoretical frameworks and practical policy needs. This analysis is grounded in the theory of effective use as our Kernel Theory. To address the ineffective use of circular economy monitors, the study proposes an outlook of design requirements and design principles. This paper contributes to the literature on policy monitoring frameworks and circular economy policymaking by delineating a validated problem space that future researchers can use to improve the effective use of circular economy monitors in policymaking.

关键词： Circular Economy Decision Support System Design science Research

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 143 144 145 146 147 148 149 150 151 152 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：