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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,566 篇 会议
15,726 册 图书
11,130 篇 期刊文献
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

107,791 篇 工学
- 93,213 篇 计算机科学与技术...
- 66,641 篇 软件工程
- 23,222 篇 信息与通信工程
- 12,587 篇 电气工程
- 8,424 篇 控制科学与工程
- 8,197 篇 生物工程
- 8,082 篇 生物医学工程（可授...
- 6,287 篇 光学工程
- 4,397 篇 电子科学与技术（可...
- 3,941 篇 机械工程
- 3,616 篇 化学工程与技术
- 2,787 篇 建筑学
- 2,351 篇 动力工程及工程热...
- 2,316 篇 土木工程
- 2,018 篇 安全科学与工程
55,721 篇 理学
- 41,103 篇 数学
- 9,552 篇 生物学
- 8,448 篇 物理学
- 7,809 篇 统计学（可授理学、...
- 4,827 篇 系统科学
- 3,126 篇 化学
22,350 篇 管理学
- 13,195 篇 图书情报与档案管...
- 10,160 篇 管理科学与工程(可...
- 6,941 篇 工商管理
5,729 篇 医学
- 5,273 篇 临床医学
- 4,546 篇 基础医学(可授医学...
- 3,132 篇 药学(可授医学、理...
3,700 篇 法学
- 3,134 篇 社会学
2,476 篇 教育学
- 2,434 篇 教育学
2,162 篇 经济学
- 2,156 篇 应用经济学
1,824 篇 农学
171 篇 军事学
107 篇 文学
74 篇 艺术学
17 篇 哲学
2 篇 历史学

主题

8,063 篇 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,974 篇 semantics
1,939 篇 computers
1,923 篇 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...
153 篇 huazhong univers...
151 篇 department of co...
145 篇 institute of inf...
121 篇 department of co...
119 篇 tsinghua univers...
117 篇 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...
72 篇 department of co...
72 篇 karnataka bangal...
71 篇 college of compu...
68 篇 school of comput...
67 篇 university of ch...
63 篇 school of comput...
63 篇 college of compu...

作者

73 篇 vardi moshe y.
72 篇 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

语言

126,097 篇 英文
7,546 篇 其他
1,494 篇 中文
283 篇 德文
4 篇 法文
1 篇 加泰罗尼亚文
1 篇 俄文

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

共 135425 条记录，以下是4461-4470 订阅

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

详细简洁

排序：

HBSS: (Simple) Hash-Based Stateless Signatures – Hash All the Way to the Rescue!: (Preliminary Version) 7th

HBSS: (Simple) Hash-Based Stateless Signatures – Hash All t...

引用

7th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2023

作者： Dolev, Shlomi Yagudaev, Avraam Yung, Moti Department of Computer Science Ben-Gurion University of the Negev Beer Sheva Israel Google Mountain View United States

ISBN: (纸本)9783031346705

One-time signatures (originated by Lamport) and their extensions to many signatures has gained recent momentum with the need for Post-Quantum secure signing since they are essentially based on standard hash (one-way) functions (rather than number theoretic assumptions). Such signatures, to date, have been based on an array of commitments that are de-committed (private key/preimage revealed) only based on bits of a representation of the hashed message signed, and their stateless versions have been based on pseudorandom functions. In this work, a new approach to the above is presented, based on probabilistic "set membership data structure," which in turn is based on hash functions. A signature based on hash access to a suitably long array, where k hash functions which are independent are used for each message to tag an index in the array. The above access is similar to the access performed in Bloom filters. The resulting signature scheme is stateless and can be tuned to support any given upper-bound number of signatures (by tuning the array’s length). The central idea is that a de-committed array is only partially loaded with de-commitments to be valid, a fact that assures correctness (signed message is validated), soundness (unsigned message is not fully validated), and unforgeability of the signature (an attempt to forge a signature is reduced to decommitment without access to the private key/decommited preimage). Constructions that are based on enhancing a one-time or bounded-message construction (such as the Naor-Yung extension from bounded messages to regular signatures) are valid for the new Hash-Based Stateless Signature (HBSS). © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Empirical Evaluation of Microservices Architecture 1

引用

4th International Conference on Communication and Intelligent Systems, ICCIS 2022

作者： Kaushik, Neha Kumar, Harish Raj, Vinay Department of Computer Engineering JC Bose University of Science and Technology Faridabad India Department of Computer Applications National Institute of Technology Tiruchirappalli Tiruchirappalli India

ISBN: (数字)9789819923229

ISBN: (纸本)9789819923212

Microservices architecture has gained a lot of interest in recent times in designing large enterprise applications with coupling and scalability as its significant features. Microservices architecture is an architectural approach in which large applications are split into small, loosely coupled services that communicate with one another using lightweight protocols such as RESTful APIs. The identified microservices must be monitored and assessed in order to determine the areas that need to be improved. Therefore, it is required to study the tools and metrics that can help practitioners and developers to continuously evaluate the quality of microservice-based architectures and provide suggestions for refactoring them. This work adapted the empirically based architecture evaluation (EBAE) method for evaluating the microservices-based applications. A web-based application is chosen as a case study and metrics related to QoS attributes are considered. The results obtained are presented, and it is clear from the results that microservices architecture can be strongly recommended for the design of large enterprise applications. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Research on Architecture and Simulation of Reconfigurable Integrated Processing Microsystem for Micro Space Robot

Research on Architecture and Simulation of Reconfigurable In...

引用

2024 International Conference on Guidance, Navigation and Control

作者： Li, Wenjie Chen, Lei Zhang, Yanlong Zhu, Tianrui Ni, Feng Li, Nan Xu, Kun Ding, Xilun Beihang Univ Beijing 100086 Peoples R China China Acad Aerosp Elect Technol Beijing 100094 Peoples R China Beijing Microelectron Technol Inst Beijing 100076 Peoples R China Tsinghua Univ Beijing 100084 Peoples R China Nanjing Inst Technol Nanjing 210094 Peoples R China

ISBN: (纸本)9789819622542;9789819622528;9789819622511

The explosive growth of micro-satellites has brought about increasingly saturated competition for low Earth orbit resources, and more complex potential needs of on orbit operations grow quickly. Aerospace robotic arms are still the most important optimal option to replace human beings to perform complex operation tasks for a long term. Faced with extreme requirements and environmental constraints different with on the ground, the miniaturization of the electronic system is the bottleneck that determines space robots' performance and energy efficiency ratio. This paper proposes an architecture of reconfigurable integrated processing microsystem for the application of micro space dual arm robotics. The core architecture design is studied from the task demand orientation, with processing, communication, sensing, execution, control and other functions in a highly integrated architecture, through system modeling, simulation and software hardware collaborative design. A corresponding assessment is provided for the subsequent implementation of hardware system miniaturization using the microsystem 3D integration process.

关键词： computer Architecture Microsystem Space Robotics

来源：评论

学校读者我要写书评

暂无评论

Pretext Tasks in Bridge Defect Segmentation Within a ViT-Adapter Framework 18th

Pretext Tasks in Bridge Defect Segmentation Within a ViT-Ada...

引用

18th International Symposium on Visual Computing (ISVC)

作者： Paques, Matthieu Law-Hine, Didier Hamedane, Otmane Alami Nguyen, Thanh-Tung Tran, Viet-Vu Allezard, Nicolas Univ Paris Saclay CEA List F-91120 Palaiseau France Socotec Monitoring 9 Rue Leon Blum F-91120 Palaiseau France Socotec Vietnam 17-575 Kim Ma Hanoi Vietnam

ISBN: (纸本)9783031479687;9783031479694

computer vision-based systems hold great potential for assisting experts during visual inspections of civil infrastructures. They can enhance efficiency and objectivity in detecting and characterizing anomalies, thereby supporting maintenance obligations. Here, we report on the image semantic segmentation of multiple bridge defects (Crack, Corrosion, Rebar Corrosion and Spallation) within a Vision Transformers (ViT)-Adapter framework. ViTs have shown outstanding performance on a variety of tasks provided they are correctly pre-trained. By capitalizing on publicly available datasets with self-supervised pre-training methods (DINO, iBOT, SupMAE), segmenter models were efficiently trained for each defect category with minimal annotation efforts. Self-supervised pre-training on a medium-scale specific dataset was found to outperform supervised pre-training on both a massive generalist dataset (SA-1B) and a small specific dataset. More specifically, SupMAE exhibited a propensity for preparing the segmenter to handle "stuff" defects (Crack, Corrosion, and Spallation), while DINO demonstrated better performance for "thing" defects (Rebar Corrosion).

关键词： computer Vision Semantic Segmentation Vision Transformers Bridge Defect Visual Inspection Self-Supervised Pre-training Stuff vs Thing classes

来源：评论

学校读者我要写书评

暂无评论

Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems 11th

Towards the Strengthening of Capella Modeling Semantics by...

引用

11th International Conference on Model and Data Engineering, MEDI 2022

作者： Bouba, Khaoula Ait Wakrime, Abderrahim Ouhammou, Yassine Benaini, Redouane Computer Science Department Faculty of Sciences Mohammed V University in Rabat Rabat Morocco LIAS/ISAE - ENSMA Futuroscope Chasseneuil Cedex Chasseneuil-du-Poitou86961 France

ISBN: (纸本)9783031215940

Safety-critical systems are increasingly model-based, since model-based system engineering (MBSE) paradigm reduces the time-to-market and allows evolving systems at different abstraction levels. Different languages have been proposed recently enabling to facilitate the modeling process and shorten the development life-cycle. However, these languages may be used at one or many modeling steps regarding the semantics of their artefacts. Capella language is one of these languages that gained popularity recently. It is dedicated to system engineering and its use may very beneficial for safety-critical system. However, designing with Capella is considered as semi-formal. Thus, the approach presented in this paper stands for systematic formal verification of Capella’s behavioral models using Event-B method in a transparent way. Our proposal translates Capella models into Event-B specifications using automatic model-to-model transformations dedicated to Capella designers. The verification of correctness of the transformed models is provided by the ProB model-checker. An automatic lighting system is treated as a case study to validate of our contribution. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Enhancing Data Warehouse Efficiency by Optimizing ETL Processing in Near Real Time Data Integration Environment

Enhancing Data Warehouse Efficiency by Optimizing ETL Proces...

引用

International Conference on Big Data Intelligence and Computing, DataCom 2022

作者： Maharaj, Kunal Kumar, Kunal Department of Information Technology National Training and Productivity Centre Fiji National University Lautoka Fiji Department of Computer Science and Mathematics University of Fiji Lautoka Fiji

ISBN: (纸本)9789819922321

The importance of data towards business process enhancement is perhaps the most important element. Successful utilization of data collected enables business organizations to visualize relationships between business processes, identifying not only solutions to problems but also opportunities based on current trends, to make effective decisions and gain competitive advantage. The digital era has resulted in the continuous generation of volumetric data from various sources such as IoT devices, social media API’s and so on. These sources, combined with other core data sources for any respective business such as Online Transaction Processing (OLTP) are needed in real-time for effective decision making. This study identifies techniques which will optimize the real-time data warehouse ETL processes for the overall efficiency of the data warehouses implemented by business organizations. Due to the complex nature of data (structured, semi-structured and unstructured), this study proposes a unified model for efficient ELT processes which can be implemented for robust near-real data warehousing. Based on a significant review of the literature, this paper identifies and recommends instances where ELT and pushdown processes work optimally in real-time. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

A Study on the Mental Health Among Indian Population in the Post COVID-19 Pandemic Using Computational Intelligence 1

引用

5th International Conference on Advances in Distributed Computing and Machine Learning, ICADCML 2024

作者： Kumari, Nancy Acharjya, D.P. Ma, Yan School of Computer Science and Engineering VIT Bhopal University Bhopal India School of Computer Science and Engineering VIT Vellore India College of Information Mechanical and Electrical Engineering Shanghai Normal University Shanghai200234 China

ISBN: (数字)9789819718412

ISBN: (纸本)9789819718405

Preventing mental health problems is an essential task for national and international organizations. Such entails the establishment of active information network indicators to assess the mental health of populations. About 21% of the global people suffering from depression, anxiety, isolation, loss of income, and fear are triggering mental health problems due to the COVID-19 pandemic. Therefore, it is essential to find out various factors that affect the mental health of people in India the post COVID-19 pandemic. A hybridized rough and whale optimization technique is used to study the mental health of people in the post pandemic of India. The proposed design contains three stages of implementation. In the very beginning, the data collected from primary sources are validated using structural equation modeling and partial least square. Further, in the second phase, the proposed rough whale optimization is employed to identify the chief parameters of the decision system. The reduced decision system is analyzed further using a rough set in the final phase. It is observed that the evaluations have drawn attention to the importance of mental disorders for public health. It, in turn, helps to reduce the risk of getting a mental disorder. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

Deriving Dependency Graphs from Abstract Argumentation Frameworks 22nd

Deriving Dependency Graphs from Abstract Argumentation Fram...

引用

22nd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023

作者： Bistarelli, Stefano Taticchi, Carlo Department of Mathematics and Computer Science University of Perugia Perugia Italy

ISBN: (纸本)9783031475450

Abstract Argumentation Frameworks (AFs) are used, in the field of Artificial Intelligence, to evaluate the justification state of conflicting information, thus allowing the development of automatic reasoning techniques and systems. Complex argumentative processes such as decision-making and negotiation, which take place over time, can be modelled through the Concurrent Language for Argumentation, a formalism for handling concurrent interactions between intelligent agents that use an AF as shared memory. In this paper, we first show how AFs can be interpreted as dependency graphs by exploiting the relation between arguments induced by the attacks. Then, we describe a methodology for obtaining a procedure that generates the given AF. Such a procedure allows to dynamically represent dialogues and other forms of interaction that brought to the instantiation of the specified AF. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Intelligent agents

来源：评论

学校读者我要写书评

暂无评论

Extremely Lightweight Skin Segmentation Networks to Improve Remote Photoplethysmography Measurement 14th

Extremely Lightweight Skin Segmentation Networks to Improve ...

引用

14th International Conference on Intelligent Human computer Interaction, IHCI 2022

作者： Lee, Kunyoung You, Hojoon Oh, Jaemu Lee, Eui Chul Department of Computer Science Graduate School Sangmyung University Seoul Korea Republic of Department of AI and Informatics Graduate School Sangmyung University Seoul Korea Republic of Department of Human-Centered Artificial Intelligence Sangmyung University Seoul Korea Republic of

ISBN: (纸本)9783031271984

Recently, remote photoplethysmography (rPPG) has been studied and developed not only in a controlled environment but also in a wild environment such as telemedicine and driver monitoring. Although photoplethysmography (PPG) can be measured through a contact sensor, pulse signal can be obtained by remote measuring minute color changes on the skin surface using a camera. This pulse signal is called rPPG and has an advantage of sensing cardiac activity without a contact sensor. The processing pipeline of rPPG can be simply defined as region of interest selection (ROI), pulse signal extraction, signal processing. During this process, in ROI selection, skin segmentation is performed because only the skin pixel region is related to the rPPG signal. We propose extremely lightweight skin segmentation network (ELSNet) for applying deep learning to skin segmentation to measure reliable signals. Our method improved the success rate within 5BPM of heart rate estimation by about 6%, and in the talking environment, an average performance improvement of 9.5% was confirmed. In addition, it was confirmed that MAPE was improved by an average of 20%. The ELSNet shows 167 FPS throughput on Intel i9 CPU. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

POSTER: AuthZit: Multi-modal Authentication with Visual-Spatial and Text Secrets 21st

POSTER: AuthZit: Multi-modal Authentication with Visual-Spat...

引用

21st International Conference on Applied Cryptography and Network Security (ACNS)

作者： Han, Joon Kuy Wong, Dennis Kang, Byungkon SUNY Korea Incheon South Korea Macao Polytech Univ Macau Peoples R China

ISBN: (纸本)9783031411809;9783031411816

Designing a fallback authentication mechanism that is both memorable and strong is a challenging problem because of the trade-off between usability and security. This challenge is particularly pronounced for accounts that require infrequent authentication, where the authentication secrets must remain secure and easy to recall without frequent reinforcement. Inspired by people's strong visual-spatial memory and memory via association, we introduce a novel system AuthZit to help address this problem. AuthZit encodes authentication secrets as paths through a 3D map of places in real life navigated in the first person and birds-eye perspective, along with a textual secret tagged with this path. We evaluated the usability and security of our design in two dimensions: memorability after one month and speed through a user study with 20 participants. Our results suggest that (1) user authentication secrets in AuthZit are memorable, and (2) authentication using AuthZit was not significantly slower to enter.

关键词： Human computer interaction Fallback authentication Visual-spatial Usable security

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 443 444 445 446 447 448 449 450 451 452 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：