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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

983 篇 会议
37 篇 期刊文献
25 册 图书

馆藏范围

1,043 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

704 篇 工学
- 585 篇 计算机科学与技术...
- 368 篇 软件工程
- 146 篇 电气工程
- 56 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
188 篇 理学
- 155 篇 数学
- 18 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 probabilistic lo...
29 篇 linear programmi...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
18 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,013 篇 英文
25 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1045 条记录，以下是341-350 订阅

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

详细简洁

排序：

MLIDS: Handling Raw High-Dimensional CAN Bus Data Using Long Short-Term Memory Networks for Intrusion Detection in In-Vehicle Networks

MLIDS: Handling Raw High-Dimensional CAN Bus Data Using Long...

引用

Australasian Telecommunication Networks and Applications conference, ATNAC

作者： Araya Kibrom Desta Shuji Ohira Ismail Arai Kazutoshi Fujikawa Graduate School of Science and Technology Nara Institute of Science and Technology Nara Japan Information iniTiative Center Nara Institute of Science and Technology Nara Japan

ISBN: (数字)9781728188270

ISBN: (纸本)9781728188287

CAN uses no authentication and encryption mechanisms for secure communication. To solve the security issues of the CAN bus, a deep learning-based intrusion detection systems have been proposed. But due to the high dimensional property of the CAN bus data, it was not possible to create an effective Intrusion Detection System (IDS) in the CAN bus that can take the property of the CAN data into consideration. In this paper, we are proposing a Long Short-Term Memory Networks (LSTM) based IDS that can handle the high dimensional property of the CAN bus data . Unlike the conventional methods which required a single network architecture for each unique arbitration ID, our method gives a single overall anomaly signal over a certain detection window without the need for reverese-engineering the CAN bus data. Using this anomaly signal we have managed to achieve 100% detection precision for insertion, fuzzy and targeted attacks in our data and in a public data that is prepared for this specific purpose.

关键词： Standards Protocols Mathematical model logic gates Intrusion detection Automobiles Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Stratified Constructive Disjunction and Negation in Constraint programming 30

Stratified Constructive Disjunction and Negation in Constrai...

引用

30th IEEE international conference on Tools with Artificial Intelligence (ICTAI)

作者： Gotlieb, Arnaud Marijan, Dusica Spieker, Helge Simula Res Lab POB 134 Lysaker Norway

ISBN: (纸本)9781538674499

Constraint programming (CP) is a powerful declarative programming paradigm combining inference and search in order to find solutions to various type of constraint systems. Dealing with highly disjunctive constraint systems is notoriously difficult in CP. Apart from trying to solve each disjunct independently from each other, there is little hope and effort to succeed in constructing intermediate results combining the knowledge originating from several disjuncts. In this paper, we propose If then Else (ITE), a lightweight approach for implementing stratified constructive disjunction and negation on top of an existing CP solver, namely SICStus Prolog clp (FD). Although constructive disjunction is known for more than three decades, it does not have straightforward implementations in most CP solvers. ITE is a freely available library proposing stratified and constructive reasoning for various operators, including disjunction and negation, implication and conditional. Our preliminary experimental results show that ITE is competitive with existing approaches that handle disjunctive constraint systems.

关键词： Constraint programming Constructive Disjunction Stratified Reasoning Implementation

来源：评论

学校读者我要写书评

暂无评论

Quantum computing: synergies and opportunities 20

Quantum computing: synergies and opportunities

引用

Proceedings of the 30th Annual international conference on Computer Science and Software Engineering

作者： Mehdi Bozzo-Rey Robert Loredo Hausi A. Müller Ulrike Stege Cambridge Quantum Computing Ltd. Toronto Ontario Canada IBM Quantum University of Victoria Victoria British Columbia Canada

Quantum computing has evolved from a field of scientific research to a quantum technology industry. Much progress is still needed to solve real-world problems with quantum technology and achieve quantum advantage. Industries, governments, and universities are experimenting with advanced quantum computing technologies to become quantum ready. One way forward is to combine quantum and classical approaches to form hybrid models, algorithms, and architectures to overcome the limitations of NISQ systems for near-term quantum computations. CASCON 2020 features a 2-day quantum computing workshop. this workshop discusses synergies and challenges in workforce training and opportunities in quantum computing applications featuring speakers from IBM, start-up companies, and academic research programs. the key goal of this workshop is to discuss synergies and opportunities in quantum computing along three dimensions:• Existing and emerging quantum ecosystems across Canada• Hybrid quantum-classical problem-solving and applications• Vibrant quantum start-up companies

关键词： engagement education IBM Quantum training quantum start-ups quantum computing qiskit cryptography programming machine learning computing with nature chemistry hybrid computing applications finance algorithms

来源：评论

学校读者我要写书评

暂无评论

LPMLNModels: A Parallel Solver for LP^MLN 30

LPMLNModels: A Parallel Solver for LP<SUP>MLN</SUP>

引用

30th IEEE international conference on Tools with Artificial Intelligence (ICTAI)

作者： Wu, Wei Xu, Hongxiang Zhang, Shutao Duan, Jiaqi Wang, Bin Zhang, Zhizheng He, Chenglong Zong, Shiqiang Southeast Univ Sch Comp Sci & Engn Nanjing Jiangsu Peoples R China China Elect Technol Grp Corp Res Inst 28 Sci & Technol Informat Syst Engn Lab Nanjing Jiangsu Peoples R China

ISBN: (纸本)9781538674499

LPMLN extends the language of Answer Set programming (ASP) by assigning a weight degree to each rule so that its stable models do not have to satisfy all LPMLN rules, which is rooted in the manner of Markov logic Networks (MLN) to handle the uncertainties and inconsistencies in knowledge representation and reasoning. Due to its expressibility, LPMLN has been employed in several real world applications. However, an LPMLN program is much harder to solve than its unweighted counterpart (an ASP program), and only some preliminary solvers have been implemented so far, which is preventing further studies in both theoretical and practical sides. there are three main contributions in this paper. Firstly, we present an LPMLN solver: LPMLNModels, which is able to run concurrently. Secondly, we present parallel methods in LPMLNModels. For splitting set method, we present an algorithm to generate a proper splitting set, which is an essential part of the method. For augmented subset method, we present a heuristic method to improve its performance. Finally, we present hybrid methods in LPMLNModels to better utilize the parallel methods. the experimental results show that our algorithms and improvements in this paper works and hybrid methods have better performance in general.

关键词： Lp(MLN) programming inference engine parallel solver

来源：评论

学校读者我要写书评

暂无评论

Measuring QoS for Broadcasting Task in Vehicular Ad Hoc Networks based on Fuzzy logic Projection 30

Measuring QoS for Broadcasting Task in Vehicular Ad Hoc Netw...

引用

30th international conference on Microelectronics (ICM)

作者： Mchergui, Abir Moulahi, Tarek Nasri, Salem Sfax Univ Ces Lab Sfax Tunisia FST Sidi Bouzid Sidi Bouzid Tunisia Qassim Univ CoC Buraydah Saudi Arabia Monastir Univ ENIM Monastir Tunisia

ISBN: (纸本)9781538681671

Up today, there are very few methods providing quality of service (QoS) definition, yet more, no standard allowing its measurement. Since it is almost a subjective concept, many researchers tried to look for QoS projection on quantifiable spaces to make it measurable. Many applications hi vehicular ad hoc networks (VANET) require different QoS features, however, few attempts studied QoS parameters in one model. In this paper, we develop a QoS measuring system through fuzzy -logic projection. the proposed hierarchical fuzzy inference system allows to evaluate the network QoS as a crisp value.

关键词： VANET QoS broadcasting wireless communication inference system

来源：评论

学校读者我要写书评

暂无评论

Design and Investigation of Configurable Source Coupled logic 30

Design and Investigation of Configurable Source Coupled Logi...

引用

30th international conference on Microelectronics (ICM)

作者： Hassan, Hossam Kim, HyungWon Ibrahim, Sameh Chungbuk Natl Univ Dept Elect Engn Cheongju South Korea Ain Shams Univ Dept Elect & Elect Commun Engn Cairo Egypt

ISBN: (纸本)9781538681671

this paper introduces and investigates a configurable source coupled logic (cSCL) by configuring the bulk connection of the PMOS load transistor. In the low-power mode configuration, the circuit operates hi weak inversion (Le. subthreshold) regime, hence, its bulk connection of the PMOS load transistor is connected to its drain. However, in the highspeed mode configuration, the circuit operates in strong inversion (i.e. above threshold) regime, hence, its bulk connection of the PMOS load transistor is connected to its source. We have designed a 3-input XOR gate using the standard CMOS, STSCL, SCL, and cSC1 using a 65 run CMOS technology. Simulations demonstrated that, by configuring the eSCL in the low-power mode, it can operate up to 4X faster than standard CMOS and by configuring the cSCL in the high-speed, it can provide a power reduction of 62.46% compared to the standard CMOS.

关键词： source coupled logic (SCL) STSCL low-power subthreshold standard CMOS

来源：评论

学校读者我要写书评

暂无评论

Splitting an LP^MLN Program 32

Splitting an LP<SUP>MLN</SUP> Program

引用

32nd AAAI conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence

作者： Wang, Bin Zhang, Zhizheng Xu, Hongxiang Shen, Jun Southeast Univ Sch Comp Sci & Engn Nanjing 211189 Jiangsu Peoples R China

ISBN: (纸本)9781577358008

the technique called splitting sets has been proven useful in simplifying the investigation of Answer Set programming (ASP). In this paper, we investigate the splitting set theorem for LPMLN that is a new extension of ASP created by combining the ideas of ASP and Markov logic Networks (MLN). Firstly, we extend the notion of splitting sets to LPMLN programs and present the splitting set theorem for LPMLN. then, the use of the theorem for simplifying several LPMLN inference tasks is illustrated. After that, we give two parallel approaches for solving LPMLN programs via using the theorem. the preliminary experimental results show that these approaches are alternative ways to promote an LPMLN solver.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Compartive study of MPPT methods for PV systems Case of Moroccan house 30

Compartive study of MPPT methods for PV systems Case of Moro...

引用

30th international conference on Microelectronics (ICM)

作者： Chakir, Asmae Tabaa, Mohamed Moutaouakkil, Fouad Medromi, Hicham Alami, Karim FRDISI Casablanca Morocco EMSI Casablanca Pluridisciplinary Lab Res & Innovat LPRI Casablanca Morocco

ISBN: (纸本)9781538681671

the use of renewable energies has become important for their beneficial effects on the environment. In this category we find photovoltaic (PV) energy, taking a considerable share of use due to the large availability of the solar potential, but its main obstacle is the extraction of maximum power. In fact, a photovoltaic panel supplying a load, isn't necessarily working at the point corresponds to the peak of the characteristic (V, P) of the system. To fix this problem is required to use power electronics, via a DC / DC converter controlled by a maximum power point tracking (MPPT) algorithm. In the literature, several algorithms are proposed that differ by the number of inputs used, the response time and also by their accuracy. In this work, we tested a photovoltaic system feeding a traditional Moroccan house, by four methods of MPPT, with four degree of complexity, namely: open circuit voltage fraction, Perturb & observe, the incremental conductance, and the MPPT algorithm using fuzzy logic, with the use of a boost chopper that keeps the DC bus voltage constant. the results are analyzed, and they show that perturb and observe is the good algorithm for a low cost application and the fuzzy logic is suitable for more accuracy.

关键词： MPPT Moroccan house open circuit voltage fraction Perturb A observed the incremental conductance fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A Generalized, Rapid Authoring Tool for Intelligent Tutoring Systems 18

A Generalized, Rapid Authoring Tool for Intelligent Tutoring...

引用

30th Australian conference on Computer-Human Interaction (OzCHI)

作者： Herbert, Bradley Billinghurst, Mark Weerasinghe, Amali Ens, Barret Wigley, Grant Univ South Australia Sch ITMS Adelaide SA Australia Univ Adelaide Sch Comp Sci Adelaide SA Australia Monash Univ Fac Informat Technol Melbourne Vic Australia

ISBN: (纸本)9781450361880

As computer-based training systems become increasingly integrated into real-world training, tools which rapidly author courses for such systems are emerging. However, inconsistent user interface design and limited support for a variety of domains makes them time consuming and difficult to use. We present a Generalized, Rapid Authoring Tool (GRAT), which simplifies creation of Intelligent Tutoring Systems (ITSs) using a unified web-based wizard-style graphical user interface and programming-by-demonstration approaches to reduce technical knowledge needed to author ITS logic. We implemented a prototype, which authors courses for two kinds of tasks: A network cabling task and a console device configuration task to demonstrate the tool's potential. We describe the limitations of our prototype and present opportunities for evaluating the tool's usability and perceived effectiveness.

关键词： programming-By-Demonstration Rapid Authoring Tools unified user interface Intelligent Tutoring Systems

来源：评论

学校读者我要写书评

暂无评论

Forgetting and Unfolding for Existential Rules 32

Forgetting and Unfolding for Existential Rules

引用

32nd AAAI conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence

作者： Wang, Zhe Wang, Kewen Zhang, Xiaowang Griffith Univ Sch Informat & Commun Technol Nathan Qld Australia Tianjin Univ Sch Comp Sci & Technol Tianjin Peoples R China

ISBN: (纸本)9781577358008

Existential rules, a family of expressive ontology languages, inherit desired expressive and reasoning properties from both description logics and logic programming. On the other hand, forgetting is a well studied operation for ontology reuse, obfuscation and analysis. Yet it is challenging to establish a theory of forgetting for existential rules. In this paper, we lay the foundation for a theory of forgetting for existential rules by developing a novel notion of unfolding. In particular, we introduce a definition of forgetting for existential rules in terms of query answering and provide a characterisation of forgetting by the unfolding. A result of forgetting may not be expressible in existential rules, and we then capture the expressibility of forgetting by a variant of boundedness. While the expressibility is undecidable in general, we identify a decidable fragment. Finally, we provide an algorithm for forgetting in this fragment.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：