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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,393 篇 会议
15,710 册 图书
11,132 篇 期刊文献
5 篇 学位论文

馆藏范围

135,098 篇 电子文献
172 种 纸本馆藏

日期分布

学科分类号

107,593 篇 工学
- 93,034 篇 计算机科学与技术...
- 66,621 篇 软件工程
- 23,080 篇 信息与通信工程
- 12,523 篇 电气工程
- 8,335 篇 控制科学与工程
- 8,186 篇 生物工程
- 8,080 篇 生物医学工程（可授...
- 6,298 篇 光学工程
- 4,395 篇 电子科学与技术（可...
- 3,849 篇 机械工程
- 3,613 篇 化学工程与技术
- 2,782 篇 建筑学
- 2,344 篇 动力工程及工程热...
- 2,310 篇 土木工程
- 2,013 篇 安全科学与工程
55,645 篇 理学
- 41,034 篇 数学
- 9,541 篇 生物学
- 8,451 篇 物理学
- 7,807 篇 统计学（可授理学、...
- 4,824 篇 系统科学
- 3,129 篇 化学
22,327 篇 管理学
- 13,183 篇 图书情报与档案管...
- 10,142 篇 管理科学与工程(可...
- 6,928 篇 工商管理
5,726 篇 医学
- 5,270 篇 临床医学
- 4,545 篇 基础医学(可授医学...
- 3,132 篇 药学(可授医学、理...
3,692 篇 法学
- 3,126 篇 社会学
2,462 篇 教育学
- 2,420 篇 教育学
2,158 篇 经济学
- 2,152 篇 应用经济学
1,824 篇 农学
171 篇 军事学
107 篇 文学
74 篇 艺术学
17 篇 哲学
2 篇 历史学

主题

8,048 篇 artificial intel...
4,831 篇 computer communi...
3,512 篇 information syst...
2,777 篇 algorithm analys...
2,431 篇 software enginee...
2,003 篇 image processing...
1,991 篇 user interfaces ...
1,974 篇 semantics
1,939 篇 computers
1,917 篇 information stor...
1,657 篇 computer applica...
1,524 篇 pattern recognit...
1,468 篇 data mining and ...
1,432 篇 computer vision
1,424 篇 software enginee...
1,375 篇 database managem...
1,251 篇 distributed comp...
1,227 篇 theory of comput...
1,216 篇 computer circuit...
1,180 篇 computer systems...

机构

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

作者

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

语言

130,663 篇 英文
2,755 篇 其他
1,490 篇 中文
326 篇 德文
4 篇 法文
1 篇 加泰罗尼亚文
1 篇 俄文

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

共 135240 条记录，以下是1261-1270 订阅

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

详细简洁

排序：

Virtual Affine Nonholonomic Constraints 1

引用

The 6th International Conference on Geometric science of Information, GSI 2023

作者： Stratoglou, Efstratios Simoes, Alexandre Anahory Bloch, Anthony Colombo, Leonardo José Gutiérrez Abascal 2 Madrid28006 Spain School of Science and Technology IE University Segovia Spain Department of Mathematics University of Michigan Ann ArborMI48109 United States Ctra. M300 Campo Real Km 0200 Arganda del Rey Madrid28500 Spain

ISBN: (数字)9783031382994

ISBN: (纸本)9783031382987

Virtual constraints are relations imposed on a control system via feedback control that become invariant via feedback, as opposed to physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual affine nonholonomic constraints in a geometric framework. More precisely, it is a controlled invariant affine distribution associated with an affine connection mechanical control system. We show the existence and uniqueness of a control law defining a virtual affine nonholonomic constraint. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Control theory

来源：评论

学校读者我要写书评

暂无评论

Requirements Analysis to Support Equal Participation in Hybrid Collaboration Settings in Higher Education 1

引用

10th International Conference on Learning and Collaboration Technologies (LCT) Held as Part of the 25th International Conference on Human-computer Interaction (HCII)

作者： Avdullahu, Arlind Herrmann, Thomas Rummel, Nikol Ruhr Univ Bochum Educ Psychol & Technol Res Grp Bochum Germany Ruhr Univ Bochum Bochum Germany

ISBN: (数字)9783031345500

ISBN: (纸本)9783031345494;9783031345500

In the transition from COVID-19 back to regular life, hybrid collaboration has gained increased attention. Currently, hybrid collaboration settings in higher education are not sufficient to support equal participation between co-located and remote students. In a first step, we conducted a literature review on the characteristics of co-located, remote, and hybrid collaboration settings involved in successful collaboration. The characteristics of these three types of collaboration were then used to identify design elements for hybrid collaboration settings that support equal participation in small-group work in higher education. In a second step, we designed an initial hybrid collaboration setting for higher education and implemented it in an exploratory study to identify additional features that support equal participation and to analyze collaboration between co-located and remote participants. From the results of this analysis, we identified 16 requirements to support equal participation in hybrid collaboration settings in higher education, which can serve as the basis for implementing and evaluating proposed solutions in a next step.

关键词： Requirements engineering computer-supported collaborative learning Hybrid collaboration Equal participation

来源：评论

学校读者我要写书评

暂无评论

On Minimization of Nonlinear Energies Using FEM in MATLAB 1

引用

14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022

作者： Moskovka, Alexej Valdman, Jan Vohnoutová, Marta Department of Mathematics Faculty of Applied Sciences University of West Bohemia Technická 8 Plzeň30100 Czech Republic Department of Computer Science Faculty of Science University of South Bohemia Branišovská 31 České Budějovice37005 Czech Republic The Czech Academy of Sciences Institute of Information Theory and Automation Pod vodárenskou věží 4 Prague18208 Czech Republic

ISBN: (数字)9783031304453

ISBN: (纸本)9783031304446

Two minimization problems are added to the Moskovka and Valdman MATLAB package (2022): a Ginzburg-Landau (scalar) problem and a topology optimization (both scalar and vector) problem in linear elasticity. Both problems are described as nonlinear energy minimizations that contain the first gradient of the unknown field. Their energy functionals are discretized by finite elements, and the corresponding minima are searched using the trust-region method with a known Hessian sparsity or the Quasi-Newton method. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Finite element method

来源：评论

学校读者我要写书评

暂无评论

Joint Dynamic Resource Allocation and Trajectory Optimization for UAV-Assisted Mobile Edge Computing in Internet of Vehicles 29th

Joint Dynamic Resource Allocation and Trajectory Optimizati...

引用

29th International Conference on Cooperative Information Systems, CoopIS 2023

作者： Li, Runji Sun, Haifeng School of Computer Science and Technology Southwest University of Science and Technology Mianyang621010 China

ISBN: (纸本)9783031468452

Computation offloading in Mobile Edge Computing (MEC) represents a key technology for the future of the Internet of Vehicles (IoV), reducing the time and energy consumption of vehicles for computation tasks, while Unmanned Aerial Vehicles (UAVs) equipped with computation resources can act as aerial based stations to provide computation offloading services to vehicles moving on the road. In this paper, a joint dynamic resource allocation and UAV trajectory optimization scheme is proposed. In the scheme, an UAV is deployed with an edge server to execute the partially offloaded computation tasks from multiple vehicles. The goal of the problem is to maximize the total computation workload while minimizing the energy consumption of all vehicles by jointly optimizing the computation frequency, the wireless transmission power, the task offloading decisions of vehicles, as well as the flight angle of the UAV in each time slot. Since the problem is non-convex in continuous action space, we consider the Twin Delayed Deep Deterministic (TD3) policy gradient algorithm to solve the problem. Experimental results demonstrate the effectiveness of the TD3 policy gradient algorithm in the proposed optimization scheme in terms of the convergence speed and the system reward. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Antennas

来源：评论

学校读者我要写书评

暂无评论

Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java Code 1st

Recovery of Trace Links Between a SOFL Formal Specification ...

引用

1st International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024

作者： Li, Jiandong Liu, Shaoying Jin, Zhi School of Computer Science Peking University Beijing China Ministry of Education Beijing China Graduate School of Advanced Science and Engineering Hiroshima University Higashihiroshima Japan

ISBN: (纸本)9789819616206

Formal specification-based inspection is a practical program verification technique for detecting requirement-related faults and can be applied at any time before or after the code is completed. A high level of automated support for specification-based inspection is desirable as it will help to enhance efficiency and reduce human errors during inspection. To achieve this goal, the open problem of how to link the components in a formal specification to those in the corresponding program must be addressed first, since it is a prerequisite for inspection. By taking advantage of the multi-dimensional attributes of the components in a SOFL formal specification, which are mostly remained in their implementation, we have proposed an approach to establishing trace links between a SOFL formal specification and its corresponding complete code after programming in our previous work. This paper solves the challenge of establishing trace links between a SOFL specification and the incomplete code during programming. The method is comprised of four steps: preprocessing the formal specification, extracting the intermediate states and final states of the multidimensional attributes for components in the specification and the current state of those in its corresponding programs, calculating the similarity, and predicting traceability links through filtering and ranking. A comparative evaluation of the proposed method, using two selected modules of the SOFL formal specification of an ATM system and its Java implementation, demonstrates an improvement in precision than existing latent semantic indexing (LSI) that is an information retrieval-based method. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Toward a QoS-Guaranteed Cloud Through Elastic Resource Scaling and Request Updating 24th

Toward a QoS-Guaranteed Cloud Through Elastic Resource Scal...

引用

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

作者： Shen, Bingchen Liu, Jiawei Zhao, Gongming Xu, Hongli Bao, Jianfeng School of Computer Science and Technology University of Science and Technology of China Hefei China Suzhou Institute for Advanced Research University of Science and Technology of China Suzhou China

ISBN: (纸本)9789819615414

In multi-tenant clouds, service providers offer services to tenants and generate profits by deploying network function (e.g., NAT, VPN) instances. Tenants access services by forwarding their requests to corresponding instances. In practice, traffic dynamics typically result in load imbalances and overloads among instances, severely impacting QoS. Existing works primarily address these issues through request updating and elastic resource scaling. Request updating is a fast and feasible method but may incur significant costs since these methods need prepurchasing enough servers. Elastic resource scaling is an approach to save infrastructure costs but may degrade user QoS when adjusting the number of instances. This paper presents a problem called ESRU, aimed at providing a QoS-guaranteed and cost-effective elastic resource scaling and request updating in clouds. Furthermore, we propose the ESRU-A algorithm, which features a bounded approximation factor based on randomized rounding and a greedy strategy. Performance analysis indicates our algorithm can achieve optimal value with high certainty. Experiments conducted across various topologies and traffic dynamic scenarios have demonstrated that our proposed algorithm reduces infrastructure costs by up to 45.17% while increasing throughput by 58.17%, compared to state-of-the-art benchmarks. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Cloud platforms

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Quantum-Inspired Genetic Algorithm for Supervised Learning of Deep Classification Models 1

引用

23rd International Conference on Computational science, ICCS 2023

作者： Balicki, Jerzy Faculty of Mathematics and Information Science Warsaw University of Technology ul. Koszykowa 75 Warsaw00-662 Poland

ISBN: (数字)9783031360305

ISBN: (纸本)9783031360299

Quantum decision making is an emerging field that explores how quantum computing can be used to make decisions more efficiently and effectively than classical computing. The main advantage of quantum decision making is the ability to explore multiple possible solutions to a problem simultaneously, using the principles of superposition and entanglement. A quantum-inspired genetic algorithm can improve a quality of a multi-criteria supervised learning of deep classification models. Designed classifiers can be trained by a quantum simulator with Hadamard, CNOT and rotation gates. To demonstrate advantages of the new algorithm, we analyze the Pareto-optimal classifiers for an efficient diagnosis of SARS-CoV-2 infection based on remote analysis of X-rays images with the quantum computing platform QI. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Machine Learning Algorithms for Parameter Identification for Reactive Flow in Porous Media 14th

Machine Learning Algorithms for Parameter Identification for...

引用

14th International Conference on Large-Scale Scientific Computations (LSSC)

作者： Fokina, Daria Grigoriev, Vasiliy V. Iliev, Oleg Oseledets, Ivan Fraunhofer Inst Ind Math Kaiserslautern Germany Rheinland Pfalz Tech Univ Kaiserslautern Landau Kaiserslautern Germany North Eastern Fed Univ Yakutsk Russia Skolkovo Inst Sci & Technol Moscow Russia Artificial Intelligence Res Inst Moscow Russia

ISBN: (纸本)9783031562075;9783031562082

Earlier we have explored different deterministic, stochastic and metaheuristic methods for identifying parameters of heterogeneous reactions for diffusion dominated and reaction dominated regimes [2-5]. Pore scale reactive transport was studied, breakthrough curves were the additional information used in identifying the parameters in Henry or Langmuir isotherms. All methods were time consuming, requiring multiple solution of the direct problem. Various surrogate models are used in the literature to reduce the computational burden related to parameter identification problems. In this paper we explore surrogate models based on neural network, Gaussian process, and cross approximation approaches. We also extend the number of the sought parameters. The achieved accuracy and the performance of the surrogate models were studied.

关键词： Pore scale reactive flow Parameter identification Machine learning and Data science

来源：评论

学校读者我要写书评

暂无评论

A Fine-Tuned 3D U-Net for Primary Tumor and Affected Lymph Nodes Segmentation in Fused Multimodal Images of Oropharyngeal Cancer 1

引用

3rd 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR 2022, held in Conjunction with the 25th International Conference on Medical Image Computing and computer Assisted Intervention, MICCAI 2022

作者： La Greca Saint-Esteven, Agustina Motisi, Laura Balermpas, Panagiotis Tanadini-Lang, Stephanie University Hospital Zurich University of Zurich Rämistr. 100 Zurich8091 Switzerland Computer Vision Laboratory ETH Zurich Sternwartstr. 7 Zurich8092 Switzerland

ISBN: (数字)9783031274206

ISBN: (纸本)9783031274190

Head and Neck (HN) cancer has the sixth highest incidence rate of all malignancies worldwide. One of the two main curative treatments for this malignancy is radiotherapy, whose delivery depends on accurate contouring of the primary tumor and affected lymph nodes among other structures. In this study, we present a transfer learning-based approach for the automatic primary tumor and lymph nodes segmentation in fused positron emission tomography (PET) and computed tomography (CT) images belonging to the HECKTOR challenge dataset. Transfer learning is performed from the Genesis Chest CT model, a publicly available 3D U-net, pre-trained on chest CT scans. Three-fold cross-validation is employed during training, so that, on each fold, two different binary segmentation models are chosen, one for the primary tumor and one for the lymph nodes. During testing, majority voting is applied. Our results show promising performance on the training and validation cohorts, while moderate performance was observed in the test cohort. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

Wavelet-Based Mamba with Fourier Adjustment for Low-Light Image Enhancement 17th

Wavelet-Based Mamba with Fourier Adjustment for Low-Light ...

引用

17th Asian Conference on computer Vision, ACCV 2024

作者： Tan, Junhao Pei, Songwen Qin, Wei Fu, Bo Li, Ximing Huang, Libo School of Optical-Electrical and Computer Engineering University of Shanghai for Science and Technology Shanghai200093 China School of Computer Science and Artificial Intelligence Liaoning Normal University Liaoning116081 China College of Computer Science and Technology Jilin University Jilin134000 China School of Computer National University of Dense Technology Changsha410073 China

ISBN: (纸本)9789819609109

Frequency information (e.g., Discrete Wavelet Transform and Fast Fourier Transform) has been widely applied to solve the issue of Low-Light Image Enhancement (LLIE). However, existing frequency-based models primarily operate in the simple wavelet or Fourier space of images, which lacks utilization of valid global and local information in each space. We found that wavelet frequency information is more sensitive to global brightness due to its low-frequency component while Fourier frequency information is more sensitive to local details due to its phase component. In order to achieve superior preliminary brightness enhancement by optimally integrating spatial channel information with low-frequency components in the wavelet transform, we introduce channel-wise Mamba, which compensates for the long-range dependencies of CNNs and has lower complexity compared to Diffusion and Transformer models. So in this work, we propose a novel Wavelet-based Mamba with Fourier Adjustment model called WalMaFa, consisting of a Wavelet-based Mamba Block (WMB) and a Fast Fourier Adjustment Block (FFAB). We employ an Encoder-Latent-Decoder structure to accomplish the end-to-end transformation. Specifically, WMB is adopted in the Encoder and Decoder to enhance global brightness while FFAB is adopted in the Latent to fine-tune local texture details and alleviate ambiguity. Extensive experiments demonstrate that our proposed WalMaFa achieves state-of-the-art performance with fewer computational resources and faster speed. Code is now available at: https://***/mcpaulgeorge/WalMaFa. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 123 124 125 126 127 128 129 130 131 132 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：