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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

86,209 篇 会议
2,735 册 图书
1,726 篇 期刊文献
4 篇 学位论文
2 篇 科技报告

馆藏范围

90,670 篇 电子文献
8 种 纸本馆藏

日期分布

学科分类号

46,753 篇 工学
- 38,434 篇 计算机科学与技术...
- 31,982 篇 软件工程
- 6,383 篇 控制科学与工程
- 6,314 篇 信息与通信工程
- 5,566 篇 电气工程
- 3,216 篇 机械工程
- 2,952 篇 电子科学与技术（可...
- 2,059 篇 生物工程
- 1,599 篇 生物医学工程（可授...
- 1,487 篇 安全科学与工程
- 1,407 篇 动力工程及工程热...
- 1,374 篇 仪器科学与技术
- 1,274 篇 建筑学
- 1,206 篇 土木工程
- 1,147 篇 材料科学与工程（可...
- 1,038 篇 光学工程
- 1,029 篇 交通运输工程
13,170 篇 理学
- 7,357 篇 数学
- 2,661 篇 物理学
- 2,363 篇 系统科学
- 2,245 篇 生物学
- 1,766 篇 统计学（可授理学、...
11,155 篇 管理学
- 7,853 篇 管理科学与工程(可...
- 4,113 篇 工商管理
- 4,080 篇 图书情报与档案管...
2,147 篇 教育学
- 2,121 篇 教育学
1,383 篇 医学
- 1,181 篇 临床医学
- 1,036 篇 基础医学(可授医学...
1,378 篇 法学
- 1,077 篇 社会学
1,313 篇 经济学
- 1,304 篇 应用经济学
382 篇 农学
257 篇 文学
194 篇 军事学
62 篇 艺术学
2 篇 哲学
2 篇 历史学

主题

8,329 篇 application soft...
7,119 篇 software enginee...
5,925 篇 computer archite...
5,306 篇 software
5,226 篇 computer science
4,429 篇 software systems
4,167 篇 hardware
3,535 篇 computer aided s...
3,262 篇 control systems
2,661 篇 computational mo...
2,223 篇 costs
2,093 篇 programming
1,818 篇 artificial intel...
1,746 篇 computer softwar...
1,740 篇 real time system...
1,624 篇 testing
1,516 篇 real-time system...
1,420 篇 software design
1,369 篇 protocols
1,350 篇 information syst...

机构

204 篇 college of compu...
117 篇 school of comput...
59 篇 school of comput...
56 篇 college of compu...
54 篇 school of comput...
49 篇 department of co...
40 篇 college of compu...
37 篇 department of el...
37 篇 school of comput...
36 篇 school of electr...
36 篇 department of el...
34 篇 institute of inf...
33 篇 state key labora...
32 篇 school of comput...
32 篇 department of el...
31 篇 department of co...
31 篇 department of el...
29 篇 department of co...
28 篇 school of comput...
27 篇 tsinghua univers...

作者

49 篇 anon
37 篇 bernady o. apduh...
36 篇 bosch jan
34 篇 o'connor rory v.
28 篇 shaoying liu
28 篇 li yang
26 篇 dubinsky yael
26 篇 ebrahim babaei
22 篇 zhu huibiao
21 篇 lei wang
21 篇 dong jin song
20 篇 katz guy
19 篇 zhang lei
17 篇 levent yilmaz
17 篇 rui wang
17 篇 wenyun zhao
17 篇 shahar maoz
17 篇 vardi moshe y.
16 篇 weiming shen
16 篇 noraziah a.

语言

89,186 篇 英文
1,017 篇 其他
437 篇 中文
32 篇 西班牙文
18 篇 葡萄牙文
15 篇 德文
14 篇 土耳其文
13 篇 俄文
9 篇 法文
4 篇 捷克文
4 篇 日文
2 篇 乌克兰文
1 篇 朝鲜文

检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"

共 90676 条记录，以下是4721-4730 订阅

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

详细简洁

排序：

Performance Evaluation of ECC based Cryptographic Accumulator on Resource-Constrained Platform

Performance Evaluation of ECC based Cryptographic Accumulato...

引用

2024 Innovations in Intelligent systems and Applications conference, ASYU 2024

作者： Toros, Armağan Çekiş, İsmet Kaan Korkmaz, Kübra Özçelik, İlker Computer Engineering Eskişehir Osmangazi University Eskişehir Turkey Software Engineering Eskişehir Osmangazi University Eskişehir Turkey

ISBN: (纸本)9798350379433

Cryptographic accumulators are efficient data structures used for membership testing in various applications, including resource-constrained devices like IoT systems. This paper explores the performance of an ECC-based dynamic cryptographic accumulator implemented on a Raspberry Pi. The study focuses on evaluating key functions (verification, witness generation, and insertion) essential for IoT environments with limited computational resources. The research finds that witness generation operates with O(n) complexity, highlighting the importance of considering element ID lengths to maintain efficiency. Batch insertion strategies demonstrate nearly O (1) complexity, significantly reducing overhead compared to individual insertions and crucial for minimizing operational delays in IoT deployments. Verification functions consistently operate in O (1) time, making them suitable for real-time IoT applications with minimal memory requirements. Empirical results demonstrate the feasibility of cryptographic accumulators in low-energy systems, emphasizing their potential to enhance data integrity and confidentiality in IoT environments. Future research should explore additive-based accumulator schemes to further optimize performance and reduce processing demands. This study provides empirical insights into adapting cryptographic accumulators for IoT devices, offering practical guidance on selecting suitable accumulator schemes and optimizing performance metrics critical for deploying secure and efficient IoT applications). © 2024 IEEE.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

The Original Method of Controlling a computer Using Distance Sensors 16

The Original Method of Controlling a Computer Using Distance...

引用

16th IEEE International conference on Advanced Trends in Radioelectronics, Telecommunications and computer engineering, TCSET 2022

作者： Savaryn, Pavlo Strekha, Vadym Brych, Mykola Brych, Lesia Kabak, Vitalii Polishchuk, Mykola Lutsk National Technical University Department of Digital Education Technologies Lutsk Ukraine Lutsk National Technical University Department of Computer Science Lutsk Ukraine Internet of Things and Software Defined Networks Lab Lviv Polytechnic National University Lviv Ukraine Centre for International Education Lviv Polytechnic National University Lviv Ukraine Lutsk National Technical University Department of Computer Engineering and Cybersecurity Lutsk Ukraine

ISBN: (纸本)9781665468619

The article provides a brief overview of human-computer interaction methods and systems, and the research made in this area. We have designed the architecture of the system and tested a method of controlling a computer using ultrasonic distance sensors. In the course of the experiment, the following problems have been solved: obtaining and processing data from several distance sensors, data transfer to gesture recognition algorithm, uncontrolled oscillations of sensor indicators. The suggested method of controlling a computer can be used in ubiquitous computing. © 2022 IEEE.

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Graphical Password Authentication Using Decentralized Single-Sign-On

Graphical Password Authentication Using Decentralized Single...

引用

2023 IEEE World conference on Communication and Computing, WCONF 2023

作者： Shinde, Rishikesh Dnyandev Jathar, Kishori Ravindra Pardeshi, Abhay Dilip Thorat, S.A. Government College of Engineering and Research Avasari Department of Computer Engineering Pune India

ISBN: (纸本)9798350311204

Authentication is a crucial process that verifies the identity of an individual or system seeking access to resources or services. Password-based authentication systems, which are the most common and widely used, can be complex, difficult to remember, and vulnerable to various attacks. Graphical passwords offer a more user-friendly alternative to text-based passwords and have been validated by software companies and psychology research. However, existing password authentication systems, including OAuth2.0, Google Auth, and Facebook Auth, have limitations, such as single-point failure, centralized architecture, privacy concerns, and resource-intensive computation systems. This paper proposes a decentralized platform, Visual-D-Auth, that leverages blockchain and IPFS technologies to provide secure and reliable access to users through a Decentralized Single Sign-On (DSSO) technique. The Visual-D-Auth system eliminates the need for remembering multiple usernames and passwords in a decentralized environment while providing improved security, user privacy, and convenience. The paper introduces a unique graphical password generation algorithm that generates highly secure passwords using a combination of images and a user-selected username. Finally, the Visual-D-Auth solutions address the most common weaknesses of graphical password systems, such as shoulder-surfing and smudge attacks, offering a more secure and user-friendly solution. Overall, this research presents a novel approach to authentication that could potentially revolutionize the way we authenticate access to resources and services. © 2023 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Towards Evidence-Based Cybersecurity Assessment of Programmable systems to Ensure the Protection of Critical IT Infrastructure 12

Towards Evidence-Based Cybersecurity Assessment of Programma...

引用

12th IEEE International conference on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications, IDAACS 2023

作者： Illiashenko, Oleg Kharchenko, Vyacheslav Odarushchenko, Oleg National Aerospace University 'KhAI' Department of Computer Systems and Networks Kharkiv61070 Ukraine Institute of Information Science and Technologies 'Alessandro Faedo' - Isti Cnr Software Engineering & Dependable Computing Laboratory Pisa56124 Italy Research and Production Enterprise Rpc Radics Llc Kropyvnytskyi25009 Ukraine

ISBN: (纸本)9798350358056

The paper is devoted to developing scientific principles, methods, means, and information technology of model-oriented verification and evidence-based assessment using functional safety and cybersecurity cases for programmable systems of critical applications (PSCA). In particular, information and control systems important for the safety of nuclear power plants (NPPs), aerospace systems, railway domains, etc., developed using Field Programmable Gate Arrays (FPGAs) and hardware platforms are reviewed. The goal is to ensure the guaranteed completeness and reliability of its functional safety and cybersecurity assessment by developing and implementing a set of formal and semi-formal methods and tools that consider defects of different nature - physical, design, trojans, and vulnerabilities that can be attacked and lead to a fatal system failure, which results in damaging the critical IT infrastructure. The methods shown are based on integrating algebraic, tabular, graph models, and case assessment methodology. The methods are implemented as appropriate technologies for evidence-based verification and evaluation of PSCA. For formal methods, a prototype of a translator of Very High-Speed Integrated Circuits Hardware Description Language (VHDL) code is developed into an algebra of behaviors. It provides evidence-based verification and a framework and tools to design reports on assessing the cybersecurity and functional safety of programmable systems. © 2023 IEEE.

关键词： critical IT infrastructure cybersecurity FPGA functional safety programmable systems of critical applications

来源：评论

学校读者我要写书评

暂无评论

Metalearning Linear Bandits by Prior Update 25

Metalearning Linear Bandits by Prior Update

引用

International conference on Artificial Intelligence and Statistics

作者： Peleg, Amit Pearl, Naama Meir, Ron Technion Viterbi Fac ECE Haifa Israel Univ Haifa Haifa Israel

Fully Bayesian approaches to sequential decision-making assume that problem parameters are generated from a known prior. In practice, such information is often lacking. This problem is exacerbated in setups with partial information, where a misspecified prior may lead to poor exploration and performance. In this work we prove, in the context of stochastic linear bandits and Gaussian priors, that as long as the prior is sufficiently close to the true prior, the performance of the applied algorithm is close to that of the algorithm that uses the true prior. Furthermore, we address the task of learning the prior through metalearning, where a learner updates her estimate of the prior across multiple task instances in order to improve performance on future tasks. We provide an algorithm and regret bounds, demonstrate its effectiveness in comparison to an algorithm that knows the correct prior, and support our theoretical results empirically. Our theoretical results hold for a broad class of algorithms, including Thompson Sampling and Information Directed Sampling.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Extending Meta-Model of Problem Frames for Metaverse Human-computer Interaction System

Extending Meta-Model of Problem Frames for Metaverse Human-C...

引用

IEEE International Requirements engineering conference Workshops (REW)

作者： Yilong Yang Yuyu Cheng Juntao Gao Zhi Li School of Software Beihang University Beijing China School of Software Northeast Petroleum University Daqing China School of Software Guangxi Normal University Guangxi China

ISBN: (数字)9798350395518

ISBN: (纸本)9798350395525

The metaverse integrates digital and physical realities into a parallel virtual environment, which has become a key direction for the future of the digital world. With the development of this paradigm, the need for human-computer interaction (HCI) systems within the metaverse has become increasingly important, but the complexity and uniqueness of the interactions also pose a series of challenges. To better understand and solve problems in metaverse HCI systems, this paper proposes an approach based on a combination of problem framing (PF) and model-drive (MDE). The approach describes the entities of the metaverse HCI system and the special interactions between the two worlds by extending the meta-model of the PF. This paper also discusses the application scenarios of this extended model, demonstrating the feasibility of our approach through a case study.

关键词： Human computer interaction Metaverse conferences Complexity theory Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Industrial Experience Deploying Heterogeneous Platforms for Use in Multi-modal Power systems Design Workflows

Industrial Experience Deploying Heterogeneous Platforms for ...

引用

22nd Smoky Mountains Computational Sciences and engineering conference (SMC)

作者： Gallo, Andrew Claydon, Ian Tucker, Eric Arthur, Richard Gen Elect Global Res Ctr Niskayuna NY 12309 USA

ISBN: (纸本)9783031236051;9783031236068

We will present our industrial experience deploying software and heterogeneous hardware platforms to support end-to-end workflows in the power systems design engineering space. Such workflows include classical physics-based High Performance Computing (HPC) simulations, GPU-based ML training and validation, as well as pre- and post-processing on commodity CPU systems. The software architecture is characterized by message-oriented middleware which normalizes distributed, heterogenous compute assets into a single ecosystem. Services provide enterprise authentication, data management, version tracking, digital provenance, and asynchronous event triggering, fronted by a secure API, Python SDK, and monitoring GUIs. With the tooling, various classes of workflows from simple, unitary through complex multi-modal workflows are enabled. The software development process was informed by and uses several national laboratory software packages whose impact and opportunities will also be discussed. Utilizing this architecture, automated workflow processes focused on complex and industrially relevant applications have been developed. These leverage the asynchronous triggering and job distribution capabilities of the architecture to greatly improve design capabilities. The physics-based workflows involve simple Python-based pre-processing, proprietary Linux-based physics solvers, and multiple distinct HPC steps each of which required unique inputs and provided distinct outputs. Post-processing via proprietary Fortran and Python scripts are used to generate training data for machine learning algorithms. Physics model results were then provided to machine learning (ML) algorithms on GPU compute nodes to optimize the machine learning models based on design criteria. Finally, the ML optimized results were validated by running the identified designs through the physics-based workflow.

关键词： Heterogeneous computing HPC Workflow Metadata Data provenance Digital thread

来源：评论

学校读者我要写书评

暂无评论

Tamper-forgery Image Detection in Security Digital Image: A Review 3

Tamper-forgery Image Detection in Security Digital Image: A ...

引用

3rd IEEE International conference on Blockchain and Distributed systems Security, ICBDS 2024

作者： Thorat, Nilesh N. Dhotre, Prashant Kulal, Nilesh Pimpalkar, Aarti P Patil, Vijaya S. Kolekar, Sachin M. Mit Art Design and Technology University Mit School of Computing Computer Science & Engineering Department Pune India Mit Art Design and Technology University Mit School of Computing Information Technology Department Pune India

ISBN: (纸本)9798350354348

Concerns with image security exist in every sector that uses digital photographs. Historically, public safety and forensics have depended on images from the crime scene, biometric photos, suspect photos, and other sources. With the development of digital imaging, there has been a significant increase in the use of digital images in this field. Although the use of digital image processing has led to the creation of several new forensic methods of inquiry, it has also simplified picture modification. Digital picture validity is an issue since several snipping and image alteration programs are freely available to the public. It serves as solid proof in many different types of crimes and is utilized as documentation for many purposes. Creating and modifying photos has become easier and more accessible with the development of image manipulation and editing tools. The two most common methods of photo counterfeiting are copy-and-move forgery and image splicing. An image can be spliced, or combined from two photos, to hide or show an error scenario. A section of a picture can be copied and pasted into another image. The many kinds of digital image frauds are examined in this study along with software that detects them. An analysis was done on the methods currently in use for spotting phony photos. © 2024 IEEE.

关键词： Anonymity

来源：评论

学校读者我要写书评

暂无评论

Optimizing the Reuse of Building Demolition Materials for Coastal Dunes Reestablishment 4th

Optimizing the Reuse of Building Demolition Materials for...

引用

4th International conference on Numerical Computations: Theory and Algorithms, NUMTA 2023

作者： Brunetti, Guglielmo Federico Antonio Bevacqua, Marida Maiolo, Maria Rita Amisano, Maristella Department of Environmental Engineering University of Calabria Rende Italy Department of Business and Legal Sciences University of Calabria Rende Italy

ISBN: (纸本)9783031812439

Effective strategies for designing and managing coastal defenses against erosion require a multidisciplinary approach. From a regulatory perspective, the Italian Dm 152/2022 "End of Waste" governs the reuse of construction and demolition waste (C&D waste) and other inert mineral waste. A noteworthy aspect of this Dm is that it allows such waste to be used for the morphological restoration of eroded coastlines, through beach replenishment and the reestablishment of coastal dunes. This circumstance serves as an opportunity to incorporate porous materials with predetermined granulometric characteristics and values of the main hydraulic parameters, such as hydraulic conductivity. In an attempt to improve the current understanding and shed light on the potentialities of this approach, we utilized the Hydrus-2D software. We investigated whether the implementation of local heterogeneities made by recovered materials with specific grain sizes could effectively regulate the interaction between the sea and groundwater. This could control infiltration, exfiltration, and velocity distribution in a coastal dune, thereby mitigating erosive phenomena. A comparison is made between different scenarios in which heterogeneities have been created inside a dune using highly and lowly conductive materials. We consider cases where the groundwater level is higher than the sea level and vice versa. Results indicate that soil heterogeneity can be used to optimize infiltration adn exfiltration processes. Materials with lower hydraulic conductivity values generally limit velocity fields and exfiltration processes from the dune surface. This could limit erosion, especially in cases where groundwater level is higher than sea water level. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Hydraulic conductivity

来源：评论

学校读者我要写书评

暂无评论

To Build 3D Indoor Navigation Application for Museum Visitors 2nd

To Build 3D Indoor Navigation Application for Museum Visitor...

引用

2nd International conference on Emerging Trends in Expert Applications and Security, ICE-TEAS 2023

作者： Singh, Aastha Rawat, Anushka Singore, Bhawana Gupta, Sumita Gambhir, Sapna Panchal, Jitesh H. Department of Computer Science & Engineering Amity University of Engineering & Technology Amity University UP Noida India Department of Computer Engineering J.C. Bose University of Science & Engineering YMCA Faridabad India Department of Mechanical Engineering Purdue University West Lafayette United States

ISBN: (纸本)9789819919451

Museums are filled with abundance of rich history, culture and amazing architectural grandeur. But yet many people would much rather prefer to watch a documentary or read a book than to visit a museum. With the aim of building a 3D interactive application for museum, the visitors will get a 3D virtual tour just at the screen of their mobiles. The app will aim at creating 3D interactive map, which will allow anyone to get a personalized experience of the museum. This will not only increase the popularity of the museums but also help in circulation of knowledge as each and every person not just a visitor will be able to access the app and get a personalized tour of it. In this paper, we have created a prototype of the E3 block of Amity School of engineering and Technology in order to show the vision we intent on creating in the form of application. For this, the use of Blender software and Unity Game Engine has been made. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： 3D modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 469 470 471 472 473 474 475 476 477 478 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：