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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是241-250 订阅

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

详细简洁

排序：

Automated Synthesis of Quantum Circuits using Neural Network

Automated Synthesis of Quantum Circuits using Neural Network

引用

IEEE international conference on Software Quality, Reliability and Security (QRS)

作者： Kentaro Murakami Jianjun Zhao Kyushu University Fukuoka Japan

While the ability to build quantum computers is improving dramatically, developing quantum algorithms is very limited and relies on human insight and ingenuity. Although several quantum programming languages have been developed, it is challenging for software developers unfamiliar with quantum computing to learn and use these languages. It is, therefore, necessary to develop tools to support developing new quantum algorithms and programs automatically. This paper proposes AutoQC, an approach to automatically synthesizing quantum circuits using the neural network from input and output pairs. We consider a quantum circuit a sequence of quantum gates and synthesize a quantum circuit probabilistically by prioritizing through a neural network at each step. The experimental results highlight the ability of AutoQC to synthesize some essential quantum circuits at a lower cost.

关键词： Quantum algorithm Costs Neural networks Software quality logic gates Probabilistic logic Software reliability

来源：评论

学校读者我要写书评

暂无评论

A Synchronous Effects logic for Temporal Verification of Pure Esterel 1

引用

22nd international conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) jointly with the 48th ACM SIGPLAN Symposium on Principles of programming Languages (POPL)

作者： Song, Yahui Chin, Wei-Ngan Natl Univ Singapore Sch Comp Singapore Singapore

ISBN: (数字)9783030670672

ISBN: (纸本)9783030670665;9783030670672

Esterel is an imperative synchronous language that has found success in many safety-critical applications. Its precise semantics makes it natural for programming and reasoning. Existing techniques tackle either one of its main challenges: correctness checking or temporal verification. To resolve the issues simultaneously, we propose a new solution via a Hoare-style forward verifier and a term rewriting system (TRS) on Synced Effects. The first contribution is, by deploying a novel effects logic, the verifier computes the deterministic program behaviour via construction rules at the source level, defining program evaluation syntactically. As a second contribution, by avoiding the complex translation from LTL formulas to Esterel programs, our purely algebraic TRS efficiently checks temporal properties described by expressive Synced Effects. To demonstrate our method's feasibility, we prototype this logic;prove its correctness;provide experimental results, and a number of case studies.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy logic System-Based Multidimensional Integrated Routing and Wavelength Assignment Method in Optical Network-on-Chip (ONoC) 22

A Fuzzy Logic System-Based Multidimensional Integrated Routi...

引用

22nd IEEE international conference on Communication Technology, ICCT 2022

作者： Zhao, Jiahe Li, Hui Liu, Feiyang School of Telecommunications Engineering Xidian University State Key Laboratory of Integrated Services Networks Xi'an China Xi'an Aeronautics Computing Technique Research Institute Avic Xi'an China

ISBN: (纸本)9781665470674

In Optical Network-on-Chip (ONoC), both routing and wavelength assignment have an impact on the Optical Signal-to-Noise (OSNR), which further influence the power efficiency and scalability. In this work, we propose a multidimensional Integrated RWA method based on the fuzzy logic system (named as I-RWA) which considers routing and wavelength assignment. OSNR, traffic distribution, waiting delay and wavelength utilization are taken into consideration at the same time. The effect of wavelength assignment on OSNR is also discussed. The evaluation results show that the proposed method I-RWA can obtain the best performance in OSNR and is feasible to be adapted for other more performance factors. © 2022 IEEE.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

A Recurrent Neural Network Based Approach for Coordinating Radio and Computing Resources Allocation in Cloud-RAN 22

A Recurrent Neural Network Based Approach for Coordinating R...

引用

IEEE 22nd international conference on High Performance Switching and Routing (IEEE HPSR)

作者： Sharara, Mahdi Hoteit, Sahar Veque, Veronique Univ Paris Saclay CNRS CentraleSupelec Lab Signaux & Syst F-91190 Gif Sur Yvette France

ISBN: (纸本)9781665440059

Cloud Radio Access Network (Cloud-RAN) is a novel architecture that aims at centralizing the baseband processing of base stations. This architecture opens paths for joint, flexible, and optimal management of radio and computing resources. To increase the benefit from this architecture, efficient resource management algorithms need to be devised. In this paper, we consider a coordinated allocation of radio and computing resources to mobile users. Optimal resource allocation that respects the Hybrid-Automatic-Repeat-Request deadline may require formulating high-complexity and resource-heavy algorithms. We consider two Integer Linear programming problems (ILP) that implement a coordinated allocation of radio and computing resources with the objectives of maximizing throughput and maximizing users' satisfaction, respectively. Since solving these highly-complex problems requires a high execution time, we investigate low-complexity alternatives based on machine learning models;more precisely on Recurrent Neural Networks (RNN). These RNN models aim to depict the performance of the ILP problems with a much lower execution time. Our simulation results demonstrate the great ability of RNN models to perform very closely to the ILP problems while being able to reduce the execution time by up to 99.65%.

关键词： Cloud-RAN 5G Integer-Linear-programming Recurrent Neural Networks Resource Allocation

来源：评论

学校读者我要写书评

暂无评论

Memristor-based High Speed and Area Efficient Comparators in IMPLY logic

Memristor-based High Speed and Area Efficient Comparators in...

引用

international conference on VLSI Design

作者： Nandit Kaushik B. Srinivasu School Of Computing & Electrical Engineering Indian Institute of Technology Mandi Mandi India

Because of its In-Memory-Computation (IMC) capacity and low area footprint, memristive technology is a rapidly growing alternative to traditional computer architectures. Using IMPLY logic, this research proposes an efficient multi-bit comparator architecture in memristor technology. This article proposes three one-bit comparator designs, two of which conduct serial computations and the other performs parallel computations. An area efficient comparator design takes only four memristors to make the comparison in thirteen computational steps by reusing the input memristors. When the number of memristors that are reused decreases, the design speed increases. This is seen in the second serial comparator design, which computes the result in only eight steps using six memristors. A comparator design with seven memristors that performs the parallel computations takes only six steps to compute the output. The proposed method can be extended to multi-bit designs. A two-bit high speed comparator is also proposed, which takes twenty-two steps to perform the magnitude comparison. The proposed comparator designs were simulated in the Cadence Virtuoso using the VTEAM model.

关键词： Embedded systems Computational modeling Memristors Computer architecture Very large scale integration Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Explanations for Negative Query Answers under Existential Rules 22

Explanations for Negative Query Answers under Existential Ru...

引用

22nd international conference of the Italian Association for Artificial Intelligence, AIxIA DP 2022

作者： Ceylan, Ismail Ilkan Lukasiewicz, Thomas Malizia, Enrico Molinaro, Cristian Vaicenavicius, Andrius Department of Computer Science University of Oxford United Kingdom Institute of Logic and Computation TU Wien Austria DISI University of Bologna Italy DIMES University of Calabria Italy

Ontology-mediated query answering is an extensively studied paradigm, where the conceptual knowledge provided by an ontology is leveraged towards more enhanced querying of data sources. A major advantage of ontological reasoning is its interpretability, which allows one to derive explanations for query answers. Indeed, explanations have a long history in knowledge representation, and have also been investigated for ontology languages based on description logics and existential rules. Existing works on existential rules, however, merely focus on understanding why a query is entailed, i.e., explaining positive query answers. In this paper, we continue this line of research and address another important problem, namely, explaining why a query is not entailed under existential rules, i.e., explaining negative query answers. We consider various problems related to explaining non-entailments from the abduction literature, and also introduce new problems. For all considered problems, we give a detailed complexity analysis for a wide range of existential rule languages and complexity measures. © 2021 Copyright for this paper by its authors.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

COSINE CONTOURS: A MULTIPURPOSE REPRESENTATION FOR MELODIES 22

COSINE CONTOURS: A MULTIPURPOSE REPRESENTATION FOR MELODIES

引用

22nd international conference on Music Information Retrieval, ISMIR 2021

作者： Cornelissen, Bas Zuidema, Willem Burgoyne, John Ashley Institute for Logic Language and Computation University of Amsterdam Netherlands

ISBN: (纸本)9781732729902

Melodic contour is central to our ability to perceive and produce music. We propose to represent melodic contours as a combination of cosine functions, using the discrete cosine transform. The motivation for this approach is twofold: (1) it approximates a maximally informative contour representation (capturing most of the variation in as few dimensions as possible), but (2) it is nevertheless independent of the specifics of the data sets for which it is used. We consider the relation with principal component analysis, which only meets the first of these requirements. Theoretically, the principal components of a repertoire of random walks are known to be cosines. We find, empirically, that the principal components of melodies also closely approximate cosines in multiple musical traditions. We demonstrate the usefulness of the proposed representation by analyzing contours at three levels (complete songs, melodic phrases and melodic motifs) across multiple traditions in three small case studies. © 2021 Proceedings of the 22nd international conference on Music Information Retrieval, ISMIR 2021. All Rights Reserved.

关键词： Discrete cosine transforms

来源：评论

学校读者我要写书评

暂无评论

Joint Offloading Strategy and Resource Allocation for MIMO-Based MEC Networks 22

Joint Offloading Strategy and Resource Allocation for MIMO-B...

引用

22nd IEEE international conference on Communication Technology, ICCT 2022

作者： Zhu, Mengyu Gao, Shaoshuai Tu, Guofang Chen, Deyuan School of Electronic Electrical and Communication Engineering University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781665470674

Integrating Multiple Input Multiple Output (MIMO) into Multi-access Edge Computing (MEC) as a new computing paradigm can provide users with higher quality of services. In this paper, a cloud-edge-end three-layer collaborative MIMO-MEC system is considered, in which multiple MEC servers can cooperate with each other. We describe the problem as a joint optimization of offloading strategy, computational resource allocation and downlink power allocation to minimize the total delay of all users. A nested algorithm is proposed to address the mixed-integer non-linear programming problem. Therein, a penalty function-based Newton method and the Lagrange multiplier method are used in the inner layer, while a heuristic algorithm is adopted in the outer layer. The results show that the proposed scheme can effectively reduce the total delay of processing tasks compared with the baseline schemes. © 2022 IEEE.

关键词： Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

Intelligent Lighting Control: A Neuro-Fuzzy Approach for Optimal Energy Efficiency in Smart Homes

Intelligent Lighting Control: A Neuro-Fuzzy Approach for Opt...

引用

IEEE SSD international Multi-conference on Systems, Signals and Devices

作者： Saadaoui Fatma Elhsou Miaicha Higher Institute of Computer Science of Medenine Gabes University National Engineering school of GabesMACS LR16ES22 Tunisia

ISBN: (数字)9798331542726

ISBN: (纸本)9798331542733

This paper presents an Adaptive Neuro-Fuzzy Inference System (ANFIS) specifically designed for an in-telligent control system for domestic lighting in a smart home environment. The aim is to create an efficient model that integrates both fuzzy logic and a neural network to improve the adaptability of the control system. To obtain this type of control, two key inputs are used: the indoor lighting level and the presence of a person. These factors are essential to determine the behaviour of the lighting system in different situations. The ANFIS model is trained using two different learning methods: backpropagation and a hybrid technique. To improve accuracy, eight different membership functions (MFs) are used in three sets of epochs: 20, 50, and 100. The training results give us the best choice of ANFIS model parameters that guarantee the desired performance and minimize errors. The results of the study show that the application of the present approach to lighting systems demonstrates the effectiveness of autonomous control.

关键词： Fuzzy logic Backpropagation Adaptation models Visualization Neural networks Lighting Smart homes Light emitting diodes Control systems Lighting control

来源：评论

学校读者我要写书评

暂无评论

Comparing estimates of difficulty of programming constructs 22

Comparing estimates of difficulty of programming constructs

引用

22nd Koli Calling international conference on Computing Education Research, Koli Calling 2022

作者： Bastian, Morten Mühling, Andreas Kiel University Kiel Germany Leibniz Institute for Science and Mathematics Education Kiel Germany

ISBN: (纸本)9781450396165

Designing assessments in classroom contexts or having them generated automatically requires-Among other things-knowledge about the difficulty of what is assessed. Estimates of difficulty can be derived empirically, usually by piloting items, or theoretically from models. Empirical results, in turn, can inform theory and refine models. In this article, we compare four methods of estimating the item difficulty for a typical topic of introductory programming courses: control flow. For a given set of items that have been tested empirically, we also collected expert ratings and additionally applied measures of code complexity both from software engineering and from computer science education research The results show that there is some overlap between empirical results and theoretical predictions. However, for the simple item format that we have been using, the models all fall short in offering enough explanatory power regarding the observed variance in difficulty. Empirical difficulty in turn can serve as the basis for rules that can be used for item generation in the future. © 2022 ACM.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 21 22 23 24 25 26 27 28 29 30 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：