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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,043 篇 会议
51 册 图书
45 篇 期刊文献

馆藏范围

2,139 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,272 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 252 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
295 篇 理学
- 226 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,100 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2139 条记录，以下是431-440 订阅

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

详细简洁

排序：

A New Design for Self-Encryption

A New Design for Self-Encryption

引用

IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Roland Kromes João Rodrigues Duarte Nascimento Gonçalo Cadete François Verdier Kaitai Liang Delft University of Technology Netherlands INOV - Instituto de Engenharia de Sistemas e Computadores Inovação Portugal Université Côte d’Azur LEAT France

ISBN: (数字)9798350381993

ISBN: (纸本)9798350382006

Nowadays, Internet of Things applications face serious data and privacy protection vulnerabilities. To address some of the data protection and privacy issues, in this work we propose a new design for the self-encryption method based on a cryptographic-puzzle algorithm, that includes the generation of multiple secret keys, derived from the plaintext. As the ciphertext is constructed from several chunks of encrypted data, the absence of one of the decryption keys or one of the encrypted chunks renders recovery of the original plaintext nearly impossible. As security improvement upon to other related work proposing self-encryption, the plaintext is mixed with random values in order to use a technique known as Privacy Amplification. Privacy Amplification is achieved by applying cryptographic functions from which SHA-2 family is based on. Implementations of our design are also provided, and they are enabled for standalone and back-end execution systems. Furthermore, performance and security results and comparisons with previous related work are also provided. The security analysis confirms the use of the SHA-2 cryptographic hash family for Privacy Amplification.

关键词： Privacy Data protection logic gates Encryption Security Cryptography Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Membership Inference Attacks against GNN-based Hardware Trojan Detection

Membership Inference Attacks against GNN-based Hardware Troj...

引用

IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Kento Hasegawa Kazuki Yamashita Seira Hidano Kazuhide Fukushima Kazuo Hashimoto Nozomu Togawa KDDI Research Inc. Waseda University

ISBN: (数字)9798350381993

ISBN: (纸本)9798350382006

Graph neural networks (GNNs) have been actively employed in hardware security and have demonstrated remarkable performance. In particular, GNN models for hardware Trojan (HT) detection significantly outperform existing machine learning-based detection methods. However, GNNs have a potential vulnerability to membership inference attack (MIA), which aims to determine whether a given sample is used in the training dataset. In this paper, we investigate the threat of MIAs for GNN-based HT detection models. First, the MIA scheme for GNN-based HT detection models is established based on the basic MIA settings. The experimental results demonstrate that MIA for GNN-based HT detection can leak information about the HTs included in the training dataset with a 0.945 attack AUC score in the worst-case scenario. Based on this observation, we propose a defense method against MIA utilizing a domain generalization technique. The proposed defense method successfully mitigated the vulnerability of MIA and degraded the attack AUC score to 0.536 for the netlist level while maintaining the original HT detection performance.

关键词： Training Knowledge engineering Privacy Hardware security Computational modeling logic gates Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Game not over: End-user programming and game system modding as models for extending community engagement 22

Game not over: End-user programming and game system modding ...

引用

22nd international conference on Electronic Publishing - Connecting the Knowledge Commons: From Projects to Sustainable Infrastructure, ELPUB 2018

作者： Wells, Matthew Ryerson University Toronto Canada

ISBN: (纸本)9791036538025

In certain digital gaming subcultures, specific games are extended and enhanced by players who create "mods", or modifications, that add new artwork, new scenarios, and even new rules. "Modders" meet in online communities that foster engagement through the discussion and self-publication of mods, and these can keep interest in a given game going years after it is released. Most importantly, modding allows players to challenge and subvert dominant discourses, and to foster cultures of inclusivity. These DIY efforts could be adapted by academic publishers, particularly those focused on design research, to encourage sustained engagement with scholarly materials. This article discusses the history of modding, provides examples, and sketches one online modding community in detail. It then makes the argument that modding is a form of end-user engagement of the sort advocated by scholars such as Gerald Fischer, and compares modding to other online academic publishing efforts, such as webtexts. © 22nd international conference on Electronic Publishing - Connecting the Knowledge Commons: From Projects to Sustainable Infrastructure, ELPUB 2018. All rights reserved.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

"I didn't copy his code": Code Plagiarism Detection with Visual Proof 22nd

"I didn't copy his code": Code Plagiarism Detection with Vis...

引用

22nd international conference on Artificial Intelligence in Education (AIED) - Mind the Gap - AIED for Equity and Inclusion

作者： John, Samuel Boateng, George FUOYE Oye Ekiti Nigeria Swiss Fed Inst Technol Zurich Switzerland

ISBN: (纸本)9783030782702;9783030782696

Code plagiarism in online courses gives a false idea of the performance of students. In 2020, we run a smartphone-based online coding course, SuaCode Africa 2.0 in which 27% of plagiarism cases was found in the final assignment submissions. Hence, a need arose to develop software that detects plagiarism among source code. The software described in this paper detects plagiarized source code containing English and French texts. Also, the code examples provided by the instructors is taken into consideration. In other words, code blocks present in the examples can be reused by any student. We trained machine learning models on three cosine similarity based metric extracted from the TF-IDF feature vector of the code files. The system provides proof of plagiarism on a GUI tool that visualizes the similar sections of the flagged files. This software will contribute to having a sincere evaluation of the impact of SuaCode on the students, thereby preventing the production of incompetent programmers.

关键词： Code plagiarism Machine learning Online course TD-IDF NLP Coding Introductory programming Processing Africa

来源：评论

学校读者我要写书评

暂无评论

FTfJP 2020 - Proceedings of the 22nd ACM SIGPLAN international Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020

FTfJP 2020 - Proceedings of the 22nd ACM SIGPLAN Internation...

引用

22nd ACM SIGPLAN international Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020

ISBN: (纸本)9781450381864

The proceedings contain 6 papers. The topics discussed include: an inductive abstract semantics for coFJ;towards verified construction of correct and optimized GPU software;salsa: static analysis of serialization features;a separation logic to verify termination of busy-waiting for abrupt program exit;and ConSysT: tunable, safe consistency meets object-oriented programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Checking Robustness of Web Services based on Solving Automata Equations 22

Checking Robustness of Web Services based on Solving Automat...

引用

22nd IEEE international conference of Young Professionals in Electron Devices and Materials, EDM 2021

作者： Kolomeets, Anton Shirokova, Ekaterina Gromov, Maxim Yevtushenko, Nina MainConcept-NLD Llc Tomsk Russia Tomsk State University Tomsk Russia Ivannikov Institute for System Programming of Ras Higher School of Economics Moscow Russia

ISBN: (纸本)9781665414982

In this paper, we consider checking the robustness of web services using the model of finite state automata and analyzing the solvability of an automaton equation over the concatenation operator. The paper contains the procedure for constructing the largest solution for a solvable automata equation, since a solution to the equation describes a malicious input. Experimental results have shown that this approach can be effective when checking the robustness of web services. © 2021 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Augmented Twin Empowered Intelligence for Lightweight Device in Internet of Things

Augmented Twin Empowered Intelligence for Lightweight Device...

引用

international conference on Communication Technology (ICCT)

作者： Zhangxinyu Chen Yunkai Wei Supeng Leng Yangtze Delta Region Institute (Quzhou) and School of Communication and Information Engineering University of Electronic Science and Technology of China P. R. China

Lightweight devices are widely used in the Internet of Things (IoT), Due to the limited computation and communication resources, lightweight devices can only conduct simple actions and will thereby hinder the intelligent cooperation of the devices in IoT. Such situation will last long since currently it is hard to replace all lightweight devices with intelligent ones. To address this issue and improve the integrated intelligence of IoT, we propose an augmented digital twin empowered intelligence for lightweight devices in IoT. The augmented digital twin, or shorten as augmented twin (AT), is a virtual entity built for a given lightweight device, which can be constructed on some resource-rich devices such as a gateway or an edge server. Based on the resources in its carrier, AT can not only clone all functions of the lightweight device, but also extend some intelligent analysis and cooperation abilities for this device. We first propose the architecture of AT for lightweight device in IoT. Then, to achieve the most effective AT carrier selection of the lightweight device, we formulate an optimization problem and present a self-initialized genetic algorithm to solve this problem. Simulations are conducted to evaluate the cost in constructing the ATs of the lightweight devices, as well as the performance promotion when AT is used in an IoT network. Compared to the benchmark schemes, AT can decrease the scheduling latency and energy consumption by 60.38% and 32.16% respectively than normal digital twin with reasonable constructing cost.

关键词： Performance evaluation Costs Cloning logic gates Scheduling Digital twins Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Whitebox Induction of Default Rules Using High-Utility Itemset Mining 22nd

Whitebox Induction of Default Rules Using High-Utility Items...

引用

22nd international Symposium on Practical Aspects of Declarative Languages (PADL)

作者： Shakerin, Farhad Gupta, Gopal Univ Texas Dallas Richardson TX 75080 USA

ISBN: (纸本)9783030391973;9783030391966

We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem. In the HUIM problem, feature values and their importance are treated as transactions and utilities respectively. We make use of TreeExplainer, a fast and scalable implementation of the Explainable AI tool SHAP, to extract locally important features and their weights from ensemble tree models. Our experiments with UCI standard benchmarks suggest a significant improvement in terms of classification evaluation metrics and training time compared to ALEPH, a state-of-the-art Inductive logic programming (ILP) system.

关键词： Inductive logic programming Machine learning Explainable AI Negation as failure Answer set programming Data mining

来源：评论

学校读者我要写书评

暂无评论

Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications 20

Hailstorm : A Statically-Typed, Purely Functional Language f...

引用

22nd international Symposium on Principles and Practice of Declarative programming (PPDP)

作者： Sarkar, Abhiroop Sheeran, Mary Chalmers Univ Gothenburg Sweden

ISBN: (纸本)9781450388214

With the growing ubiquity of Internet of Things (IoT), more complex logic is being programmed on resource-constrained IoT devices, almost exclusively using the C programming language. While C provides low-level control over memory, it lacks a number of high-level programming abstractions such as higher-order functions, polymorphism, strong static typing, memory safety, and automatic memory management. We present Hailstorm, a statically-typed, purely functional programming language that attempts to address the above problem. It is a high-level programming language with a strict typing discipline. It supports features like higher-order functions, tail-recursion, and automatic memory management, to program IoT devices in a declarative manner. Applications running on these devices tend to be heavily dominated by I/O. Hailstorm tracks side effects like I/O in its type system using resource types. This choice allowed us to explore the design of a purely functional standalone language, in an area where it is more common to embed a functional core in an imperative shell. The language borrows the combinators of arrowized FRP, but has discrete-time semantics. The design of the full set of combinators is work in progress, driven by examples. So far, we have evaluated Hailstorm by writing standard examples from the literature (earthquake detection, a railway crossing system and various other clocked systems), and also running examples on the GRiSP embedded systems board, through generation of Erlang.

关键词： functional programming IoT compilers embedded systems

来源：评论

学校读者我要写书评

暂无评论

Bearing Fault Diagnosis Based on SDWPSO-FMD

Bearing Fault Diagnosis Based on SDWPSO-FMD

引用

IEEE international conference on Industrial Informatics (IndIN)

作者： Na Zhang Ling Zhao Xiaowen Zhang Hangjun Wu Gang Wu School of Information Science and Engineering Chongqing Jiaotong University Chongqing China The International Department of Chongqing Yucai Secondary School Chongqing China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

Mechanical fault vibration signals often exhibit nonlinear and non-stationary characteristics, making fault feature extraction challenging. Feature mode decomposition (FMD) has emerged as a promising method for extracting fault features of such signals. However, the effectiveness of FMD heavily relies on the appropriate parameter settings of decomposition mode number (n), fdter length (L) and filter band number (K). To address this issue, a fault feature extraction method based on improved particle swarm optimization (Sigmoid-DWPSO) is proposed in this paper, and the input parameters of FMD are self-optimized. To enhance the search capability and convergence of the PSO algorithm, the improved PSO combines the nonlinear decreasing inertia weight adjustment strategy with the adaptive learning factor adjustment method based on Sigmoid function. Above all, The Sigmoid-DWPSO (SDWPSO) algorithm employs the minimum envelope entropy as the adaptive objective function to determine the optimal parameter combination (n, K, L) for the FMD algorithm. Subsequently, the vibration signal is decomposed by FMD using the optimal parameters to obtain multiple modal components. Finally, according to the kurtosis value, the optimal component is selected for envelope demodulation analysis. The component with the highest kurtosis value is selected for envelope demodulation analysis. This paper compares SDWPSO with several existing PSO algorithms using standard test functions, and the results demonstrate that the SDWPSO method outperforms other algorithms in terms of optimization performance. Furthermore, the optimized versions of FMD and VMD using SDWPSO are compared using rolling bearing dataset of Case Western Reserve University and Xi'an Jiaotong University. The results indicate that the SDWPSO-FMD method achieves superior decomposition performance and can effectively improve the accuracy of fault diagnosis.

关键词： Vibrations Fault diagnosis Rolling bearings Feature extraction Linear programming Kurtosis Particle swarm optimization Standards Optimization Demodulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 40 41 42 43 44 45 46 47 48 49 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：