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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

36,341 篇 会议
588 篇 期刊文献
477 册 图书
1 篇 学位论文

馆藏范围

37,406 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

17,729 篇 工学
- 12,489 篇 计算机科学与技术...
- 9,805 篇 软件工程
- 3,331 篇 信息与通信工程
- 2,909 篇 控制科学与工程
- 2,767 篇 电子科学与技术（可...
- 2,504 篇 电气工程
- 1,034 篇 机械工程
- 941 篇 仪器科学与技术
- 864 篇 生物医学工程（可授...
- 846 篇 生物工程
- 681 篇 光学工程
- 588 篇 动力工程及工程热...
- 545 篇 安全科学与工程
- 544 篇 建筑学
- 531 篇 化学工程与技术
- 502 篇 土木工程
- 463 篇 材料科学与工程（可...
6,666 篇 理学
- 4,010 篇 数学
- 1,603 篇 物理学
- 1,165 篇 系统科学
- 1,091 篇 统计学（可授理学、...
- 975 篇 生物学
- 448 篇 化学
3,932 篇 管理学
- 2,675 篇 管理科学与工程(可...
- 1,500 篇 图书情报与档案管...
- 1,421 篇 工商管理
632 篇 医学
- 573 篇 临床医学
- 495 篇 基础医学(可授医学...
524 篇 法学
- 453 篇 社会学
449 篇 经济学
- 448 篇 应用经济学
333 篇 教育学
156 篇 农学
103 篇 文学
84 篇 军事学
30 篇 艺术学
3 篇 哲学
1 篇 历史学

主题

2,244 篇 computer archite...
1,821 篇 computer science
1,582 篇 hardware
1,422 篇 application soft...
1,284 篇 computational mo...
1,232 篇 control systems
834 篇 costs
739 篇 software enginee...
634 篇 real time system...
631 篇 software systems
624 篇 bandwidth
621 篇 algorithm design...
617 篇 testing
613 篇 delay
544 篇 computer network...
533 篇 feature extracti...
532 篇 protocols
483 篇 monitoring
464 篇 real-time system...
455 篇 analytical model...

机构

134 篇 school of comput...
99 篇 department of el...
64 篇 department of el...
61 篇 department of sy...
54 篇 department of el...
51 篇 department of el...
46 篇 ieee
45 篇 school of electr...
42 篇 department of el...
41 篇 department of co...
39 篇 department of el...
38 篇 department of el...
37 篇 department of el...
37 篇 department of el...
35 篇 department of el...
35 篇 department of el...
34 篇 department of el...
34 篇 department of el...
33 篇 school of comput...
32 篇 department of co...

作者

26 篇 li li
26 篇 frank knoefel
24 篇 m. n. s. swamy
23 篇 m. omair ahmad
21 篇 a. antoniou
19 篇 jun wang
17 篇 p. agathoklis
17 篇 wu-sheng lu
16 篇 j. leaney
16 篇 hayashi eiji
15 篇 randall geiger
15 篇 m. sawan
15 篇 liu yang
14 篇 yu wang
14 篇 sengupta anirban
14 篇 arjuna madanayak...
14 篇 li zhang
13 篇 jaime ramirez-an...
13 篇 fabrizio lombard...
13 篇 t.m. khoshgoftaa...

语言

36,786 篇 英文
380 篇 中文
254 篇 其他
12 篇 葡萄牙文
9 篇 土耳其文
1 篇 德文
1 篇 法文
1 篇 乌克兰文

检索条件"任意字段=International Symposium and Workshop on Systems Engineering of Computer Based Systems"

共 37407 条记录，以下是31-40 订阅

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

详细简洁

排序：

A Mini Review on Purchaser Security in the Metaverse: Challenges and Solutions

A Mini Review on Purchaser Security in the Metaverse: Cha...

引用

PhD symposium, Posters, Demos, and A Web for more inclusive, sustainable and prosperous societies, WEB-for-GOOD 2024 and 1st international workshop on AI and Web Data Analytics, AIWDA 2024 form the 25th international Conference on Web Information systems engineering, WISE 2024

作者： Aloudat, Mohammad Barhamgi, Mahmoud Yaacoub, Elias Department of Computer Science and Engineering Qatar University Doha Qatar

ISBN: (纸本)9789819614820

This mini review examines the security challenges faced by purchasers in the metaverse, focusing on issues such as data protection, privacy, identity theft, financial fraud, and software vulnerabilities. The metaverse, characterized by its immersive, decentralized, and interactive nature, presents unique risks due to extensive data collection, real-time user tracking, and the integration of digital and physical worlds. This mini review highlights specific threats such as unauthorized access, exploitation of biometric data, and fraudulent activities involving blockchain-based assets like non-fungible tokens (NFTs). Mitigation strategies, including advanced encryption, multi-factor authentication, decentralized identity solutions, and regulatory frameworks, are discussed as essential to safeguarding purchasers. The paper concludes by identifying gaps in current research and proposing directions for future studies, emphasizing the need for interdisciplinary approaches to enhance metaverse security. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

An FPT-based mmW Cavity-Backed Antenna

An FPT-Based mmW Cavity-Backed Antenna

引用

2025 IEEE international workshop on Antenna Technology, iWAT 2025

作者： Osorio, Anthony Koutinos, Anastasios Zekios, Constantinos L. Georgakopoulos, Stavros V. Florida International University Department of Electrical and Computer Engineering Miami United States

ISBN: (纸本)9798331527365

In this work, a cavity-backed antenna with increased bandwidth and minimum design complexity for operation at millimeter wave (mmW) frequencies is proposed. Namely, by leveraging our recently proposed frequency pulling technique (FPT) and aperture coupled feeding mechanisms we increase the bandwidth of our antenna 1.8 times compared to conventional cavity-backed designs found in the literature without compromising directivity, radiation efficiency and size. This design is a good candidate for practical applications in next-generation communication systems. © 2025 IEEE.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

RailCabs and Birds in Julia Context-Role Ensemble engineering in Practice 12th

RailCabs and Birds in Julia Context-Role Ensemble Engineerin...

引用

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Assmann, Uwe Gutsche, Christian Tech Univ Dresden Inst Software & Multimediatech Dresden Germany Ctr Tactile Internet CeTI Dresden Germany Boysen TU Dresden Res Training Grp Dresden Germany

ISBN: (纸本)9783031751066;9783031751073

Because ensembles and swarms occur everywhere in nature, in social and in technical contexts, their modeling and programming is one of the challenges of modern software systems engineering. While it is well-known how self-adaptive or autonomic systems can be designed advantageously (Kounev et al., 2017), this often requires the engineering of new software languages with a tremendous development effort. This paper presents a novel context-role-adaptive approach for modeling and programming of ensembles and swarms that relies on a small library in Julia (1300 SLOC), exploiting its facilities for metaprogramming, multiple dispatch, and equational modeling. We demonstrate the validity of the approach with a tutorial on two scenarios from the technical and natural domain in which ensembles are represented by (dynamic) contexts. RailCabs are shuttle-based autonomous trains, self-forming ensembles, represented as contexts that re-group during their travels. Bird swarms show specific formations, represented as contexts to save energy and to prevent attackers. In the latter case study, we show how to model the dynamic behavior of the birds with an equational modeling library in Julia. Therefore, the paper contributes a new library-based approach to Context-Role-oriented Equational Modeling of Ensembles (CREME).

关键词： Ensemble engineering ensemble simulation ensemble protocols contexts roles

来源：评论

学校读者我要写书评

暂无评论

Architecting Space Microdatacenters: A System-level Approach 31

Architecting Space Microdatacenters: A System-level Approach

引用

31st IEEE international symposium on High Performance computer Architecture, HPCA 2025

作者： Bleier, Nathan Eason, Rick Lembeck, Michael Kumar, Rakesh University of Michigan Department of Electrical Engineering & Computer Science Ann ArborMI United States University of Illinois Department of Electrical and Computer Engineering UrbanaIL United States University of Illinois Department of Aerospace Engineering UrbanaIL United States

ISBN: (纸本)9798331506476

Server-based computing in space has been recently proposed due to potential benefits in terms of capability, latency, security, sustainability, and cost. Despite this, there has been no work asking the question: how should we architect systems for server-based computing in space when considering overall cost. This paper presents a Total Cost of Ownership (TCO)-based approach to architecture of server-based computing systems for space (Space Microdatacenters - SμDC) for processing data produced by low Earth orbit (LEO)-based Earth observation (EO) satellites. We show that power of compute is the primary factor in determining SμDC TCO, though the dependence is sublinear. Second, the impact of compute mass, monetary cost, and communication on TCO is relatively insignificant. Third, architectures with the highest \frac{\text { FLOPs }}{W} provide much higher performance per TCO {\} even if they have poor \frac{FLOPs}{\}. We leverage these insights to advocate extreme heterogeneity designs for SμDCs. These designs reduce SμDC TCO by 116× in spite of poor \frac{{FLOPs}}{\} characteristics. We also show that (a) collaborative compute constellations - constellations in which EO satellites are also equipped with compute hardware - further improve SμDC TCO by 1.31 to 1.74×, (b) a distributed architecture reduces TCO by 10% over a monolithic architecture, and (c) low monetary cost of compute can be leveraged to provide near zero cost compute overprovisioning which improves an SμDC's availability significantly and supports graceful degradation. Overall, this is the first paper on cost-aware architecture and optimization of a SμDC. © 2025 IEEE.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

GraphTFD: A Fraud Detection System based on Graph Transformer

GraphTFD: A Fraud Detection System Based on Graph Transform...

引用

作者： Yu, Chengcheng Fei, Lujing Zhou, Wenqian Chen, Lin Wang, Jiahui Meng, Xiankai Chen, Fangshu School of Computer and Information Engineering Shanghai Polytechnic University Shanghai China

ISBN: (纸本)9789819614820

Fraud detection is critical in identifying and preventing fraudulent activities across various industries, safeguarding financial assets, and maintaining trust in business. Although graph-based fraud detection methods have demonstrated significant success, they still suffer from two main challenges that remain unresolved. First, traditional GNN-based algorithms may perform poorly when the nodes’ class distribution is heavily skewed. Second, many GNN-based methods fail to generalize to the heterophily setting. In this demonstration, we present a graph transformer-based fraud detection system called GraphTFD. This system can help address the above challenges by exploring a data augmentation strategy to enhance the minority class with numerous unlabeled nodes and introducing group-level aggregation and group encodings to help the transformer encoder capture more similar neighborhood information under heterophily settings. GraphTFD also provides an interface that visualizes the GraphTFD internals and assesses the quality of fraud detection results. Our demonstration video can be found here: https://***/Z13L5Uf. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Distribution transformers

来源：评论

学校读者我要写书评

暂无评论

Attributed Point-to-Point Communication in R-CHECK 12th

Attributed Point-to-Point Communication in R-CHECK

引用

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Abd Alrahman, Yehia Azzopardi, Shaun Di Stefano, Luca Piterman, Nir Univ Gothenburg Gothenburg Sweden Chalmers Univ Technol Gothenburg Sweden Univ Malta Msida Malta TU Wien Inst Comp Engn Treitlstr 3 A-1040 Vienna Austria

ISBN: (纸本)9783031751066;9783031751073

Autonomous multi-agent, or more generally, collective adaptive systems, use different modes of communication to support their autonomy and ease of interaction. In order to enable modelling and reasoning about such systems, we need frameworks that combine many forms of communication. R-CHECK is a modelling, simulation, and verification environment supporting the development of multi-agent systems, providing attributed channelled broadcast and multicast communication. That is, the communication is not merely derived based on connectivity to channels but in addition based on properties of targeted receiversAnother common communication mode is point-to-point, wherein agents communicate with each other directly. Capturing point-to-point through R-CHECK's multicast and broadcast is possible but cumbersome, inefficient, and prone to interference. Here, we extend R-CHECK with attributed point-to-point communication, which can be established based on identity or properties of participants. We also support model-checking of point-to-point by extending linear temporal logic with observation descriptors related to the participants in this communication mode. We argue that these extensions simplify the design of models, and demonstrate their benefits by means of an illustrative case study.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Software engineering Experiences of an Optimist

Software Engineering Experiences of an Optimist

引用

6th international School on engineering Trustworthy Software systems, SETSS 2024

作者： He, Jifeng Tongji University Shanghai China

This edited transcript records a keynote address at the SETSS 2024 workshop. It provides some thoughts on formal software engineering approach in the light of experience and recent developments such as Artif... 详细信息

ISBN: (纸本)9789819646555

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Once and for All: How to Compose Modules - The Composition Calculus 12th

Once and for All: How to Compose Modules - The Composition C...

引用

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Fettke, Peter Reisig, Wolfgang German Res Ctr Artificial Intelligence DFKI Saarbrucken Germany Saarland Univ Saarbrucken Germany Humboldt Univ Berlin Germany

ISBN: (纸本)9783031751066;9783031751073

Computability theory is traditionally conceived as the theoretical basis of informatics. Nevertheless, numerous proposals transcend computability theory, in particular by emphasizing interaction of modules, or components, parts, constituents, as a fundamental computing feature. In a technical framework, interaction requires composition of modules. Hence, a most abstract, comprehensive theory of modules and their composition is required. To this end, we suggest a minimal set of postulates to characterize systems in the digital world that consist of interacting modules. For such systems, we suggest a calculus with a simple, yet most general composition operator which exhibits important properties, in particular associativity. We claim that this composition calculus provides not just another conceptual, formal framework, but that essentially all settings of modules and their composition can be based on this calculus. This claim is supported by a rich body of theorems, properties, special classes of modules, and case studies.

关键词： systems composition data modeling behavior modeling composition calculus algebraic specification Petri nets

来源：评论

学校读者我要写书评

暂无评论

Scientific Documents Recommendation based on Graph Convolutional Network

Scientific Documents Recommendation Based on Graph Convolut...

引用

作者： Li, Jianmin School of Cyber Security and Computer Hebei University Baoding071002 China Hebei Machine Vision Engineering Research Center Hebei University Baoding071002 China

ISBN: (纸本)9789819614820

The rapid growth in the number of scientific documents makes it increasingly necessary to provide researchers with efficient paper recommendation services. Since scientific documents contain many mathematical expressions and rich text information, effectively mining this information to improve recommendation quality is a challenging and necessary task. Therefore, this paper proposes a method that fuses content-based and Graph Convolutional Network (GCN) introducing the multi-head attention mechanism for scientific document recommendation. The method employs Hesitant Fuzzy Set (HFS) and Bidirectional Encoder Representations from Transformers (BERT) to calculate the similarity between mathematical expressions and their context, respectively, and utilizes GCN to learn the complex relationships between nodes and mine the potential similarity between nodes. Then, the multi-head attention mechanism is introduced to dynamically assign importance weights to neighbor nodes to enhance the expression of embedding vectors, thereby generating more accurate and personalized recommendation lists. Experimental results show that the method performs well on both Ntcir and extended Chinese datasets, achieving maximum F1_Score vales of 0.817 and 0.837 at Top-50 and Top-30, respectively. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Best-Practices-based Training for Improving Cybersecurity in Power Grids 19th

Best-Practices-Based Training for Improving Cybersecurity i...

引用

19th international workshop on Data Privacy Management, DPM 2024, 8th international workshop on Cryptocurrencies and Blockchain Technology, CBT 2024 and 10th workshop on the Security of Industrial Control systems and of Cyber-Physical systems, CyberICPS 2024 which were held in conjunction with the 29th European symposium on Research in computer Security, ESORICS 2024

作者： Kavallieratos, Georgios Amro, Ahmed Gkioulos, Vasileios Stamatescu, Grigore Rantos, Kostantinos Lagkas, Thomas Demertzis, Konstantinos Paterakis, Fotis Lekidis, Alexios Dalamagkas, Christos Kotsiuba, Igor Katsikas, Sokratis Norwegian University of Science and Technology Gjøvik Norway TÜV Austria Romania 139B Calea Plevnei Bucharest060011 Romania Department of Automation and Industrial Informatics University Politehnica of Bucharest 313 Splaiul Independentei Bucharest060042 Romania Department of Informatics Democritus University of Thrace Kavala65404 Greece School of Science Department of Computer Science Kavala Campus International Hellenic University Kavala65404 Greece Athens Greece Innovation Hub of Public Power Corporation S.A. Attica Greece Durham University Durham United Kingdom

ISBN: (纸本)9783031823619

The increased financial value of the power grids and the multitude of potential attackers, including such with advanced capabilities, makes the enhancement of cybersecurity in power grids very important. In order to strengthen the cybersecurity posture of the power grids, it is necessary to foster the development of cybersecurity skills and knowledge of the personnel working in them. To this end, this work proposes a systematic process that leverages cybersecurity best practices to define training content for personnel employed in power grids. To illustrate the workings of the proposed approach, best practices against phishing, spoofing, denial of service, and unauthorized activities are presented. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Phishing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：