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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,727 册 图书
11,121 篇 期刊文献
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

107,605 篇 工学
- 93,057 篇 计算机科学与技术...
- 66,619 篇 软件工程
- 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,651 篇 理学
- 41,048 篇 数学
- 9,539 篇 生物学
- 8,447 篇 物理学
- 7,806 篇 统计学（可授理学、...
- 4,825 篇 系统科学
- 3,126 篇 化学
22,326 篇 管理学
- 13,183 篇 图书情报与档案管...
- 10,141 篇 管理科学与工程(可...
- 6,929 篇 工商管理
5,722 篇 医学
- 5,266 篇 临床医学
- 4,540 篇 基础医学(可授医学...
- 3,132 篇 药学(可授医学、理...
3,695 篇 法学
- 3,129 篇 社会学
2,458 篇 教育学
- 2,416 篇 教育学
2,158 篇 经济学
- 2,152 篇 应用经济学
1,824 篇 农学
171 篇 军事学
107 篇 文学
74 篇 艺术学
17 篇 哲学
2 篇 历史学

主题

8,057 篇 artificial intel...
4,840 篇 computer communi...
3,516 篇 information syst...
2,779 篇 algorithm analys...
2,432 篇 software enginee...
2,006 篇 image processing...
1,992 篇 user interfaces ...
1,973 篇 semantics
1,939 篇 computers
1,925 篇 information stor...
1,665 篇 computer applica...
1,526 篇 pattern recognit...
1,469 篇 data mining and ...
1,433 篇 computer vision
1,426 篇 software enginee...
1,371 篇 database managem...
1,251 篇 distributed comp...
1,225 篇 theory of comput...
1,216 篇 computer circuit...
1,181 篇 computer systems...

机构

202 篇 university of sc...
152 篇 huazhong univers...
151 篇 department of co...
145 篇 institute of inf...
121 篇 department of co...
120 篇 tsinghua univers...
116 篇 shanghai jiao to...
112 篇 national institu...
96 篇 school of comput...
93 篇 chinese academy ...
85 篇 école des ponts ...
83 篇 department of co...
81 篇 university of el...
73 篇 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
37 篇 jiang xiaoyi
37 篇 li yang
36 篇 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

语言

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

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

共 135251 条记录，以下是1311-1320 订阅

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

详细简洁

排序：

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models 1

引用

10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023

作者： Khamespanah, Ehsan Sirjani, Marjan Khosravi, Ramtin School of Electrical and Computer Engineering University of Tehran Tehran Iran School of Computer Science Reykjavik University Reykjavik Iceland School of Innovation Design and Engineering Mälardalen University Västerås Sweden

ISBN: (数字)9783031424410

ISBN: (纸本)9783031424403

Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models. Together with the standard enriched editor, easy to trace counter-example viewer, modular temporal property definition, exporting a model and its transition system to some other formats facilities are features of Afra. Rebeca family provides actor-based modeling languages which are designed to bridge the gap between formal methods and software engineering. Faithfulness to the system being modeled, and the usability of Rebeca family languages help in ease of modeling and analysis of the model, together with the synthesis of the system based on the model. In this paper, architectural decisions and design strategies we made in the development of Afra are presented. This makes Afra an extensible and reusable application for the modeling and analysis of Rebeca family models. Here, we show how different compilers can be developed for the family of languages which are the same in general language constructs but have some minor differences. Then we show how the model checking engine for these different languages is designed. Despite the fact that Afra has a layered object-oriented design and is developed in Java technology, we use C++ codes for developing its model checking for the performance purposes. This decision made the design of the application even harder. © 2023, IFIP International Federation for Information Processing.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Software Aided Approach for Constrained Optimization Based on QAOA Modifications 1

引用

23rd International Conference on Computational science, ICCS 2023

作者： Lamża, Tomasz Zawalska, Justyna Sterzel, Mariusz Rycerz, Katarzyna Institute of Computer Science AGH al. Mickiewicza 30 Krakow30-059 Poland Academic Computer Center Cyfronet AGH ul. Nawojki 11 Krakow30-950 Poland

ISBN: (数字)9783031360305

ISBN: (纸本)9783031360299

We present two variants of the QAOA modification for solving constrained combinatorial problems. The results presented in this paper were obtained using the QHyper framework, which we developed specifically for this purpose. More specifically, we use the created framework to compare the QAOA results with its two modifications, namely: Weight-Free QAOA (WF-QAOA) and Hyper QAOA (H-QAOA). Additionally, we compare the Basin-hopping global optimization method for subsequent sampling of the initial points for the proposed QAOA modifications with a simple Random Search. The results obtained for the Knapsack Problem indicate that the proposed solution outperforms the original QAOA algorithm and can be promising for QUBO, where adjusting the relative importance of the cost function and the constraints is a significant challenge. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Generalization Gap in Data Augmentation: Insights from Illumination 27th

Generalization Gap in Data Augmentation: Insights from Ill...

引用

27th International Conference on Pattern Recognition, ICPR 2024

作者： Xiao, Jianqiang Guo, Weiwen Liu, Junfeng Li, Mengze South China University of Technology Guangzhou China Co. Ltd. Guangzhou China Co. Ltd. Guangzhou China Research Center for Frontier Fundamental Studies Zhejiang Lab Hangzhou China

ISBN: (纸本)9783031784439

In the field of computer vision, data augmentation is widely used to enrich the feature complexity of training datasets with deep learning techniques. However, regarding the generalization capabilities of models, the difference in artificial features generated by data augmentation and natural visual features has not been fully revealed. This study introduces the concept of "visual representation variables" to define the possible visual variations in a task as a joint distribution of these variables. We focus on the visual representation variable "illumination", by simulating its distribution degradation and examining how data augmentation techniques enhance model performance on a classification task. Our goal is to investigate the differences in generalization between models trained with augmented data and those trained under real-world illumination conditions. Results indicate that after applying various data augmentation methods, model performance has significantly improved. Yet, a noticeable generalization gap still exists after utilizing various data augmentation methods, emphasizing the critical role of feature diversity in the training set for enhancing model generalization. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： computer Vision Data Augmentation Generalization

来源：评论

学校读者我要写书评

暂无评论

Parallel Vectorized Implementations of Compensated Summation Algorithms 1

引用

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

作者： Dmitruk, Beata Stpiczyński, Przemyslaw Maria Curie-Sklodowska University Institute of Computer Science ul. Akademicka 9 Lublin20-031 Poland

ISBN: (数字)9783031304453

ISBN: (纸本)9783031304446

The aim of this paper is to show that Kahan’s and Gill-Møller compensated summation algorithms that allow to achieve high accuracy of summing long sequences of floating-point numbers can be efficiently vectorized and parallelized. The new implementation uses Intel AVX-512 intrinsics together with OpenMP constructs in order to utilize SIMD extension of modern multicore processors. We describe in detail the vectorization technique and show how to define custom reduction operators in OpenMP. Numerical experiments performed on a server with Intel Xeon Gold 6342 processors show that the new implementations of the compensated summation algorithms achieve much better accuracy than ordinary summation and their performance is comparable with the performance of the ordinary summation algorithm optimized automatically. Moreover, the experiments show that the vectorized implementation of the Gill-Møller algorithm is faster than the vectorized implementation of Kahan’s algorithm. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying Physical Assumption in Card-Based Cryptography 1

引用

15th International Conference on Security for Information Technology and Communications, SECITC 2022

作者： Shimano, Masahisa Sakiyama, Kazuo Miyahara, Daiki The University of Electro-Communications Tokyo Japan National Institute of Advanced Industrial Science and Technology Tokyo Japan

ISBN: (数字)9783031326363

ISBN: (纸本)9783031326356

Card-based cryptography realizes cryptographic tasks, such as secure computation, with a deck of physical cards. The primary research subjects for card-based cryptography are theoretical studies that, for example, propose efficient protocols regarding the number of required cards and procedures. However, almost all prior studies are based on the ideal physical assumption that the backs of all cards are indistinguishable without verification. This study addresses this assumption from a physical perspective to improve the security of card-based cryptography. In the first attempt, we assume a strong attacker who uses ink and a high-performance camera to distinguish the backs of the cards. We experimented with them and confirmed that such an attacker could identify the inked area of the back by analyzing an image captured by the camera. Based on our study, one can address another approach, such as using invisible oil and smartphone cameras to verify the physical assumption. This study is a seminal work that addresses this physical assumption. In addition to the verification, we study secret information that such a strong attacker can obtain during the execution of card-based protocols. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 128 129 130 131 132 133 134 135 136 137 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：