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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

703 篇 工学
- 584 篇 计算机科学与技术...
- 367 篇 软件工程
- 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
62 篇 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,023 篇 英文
14 篇 其他
8 篇 中文
1 篇 法文

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

共 1044 条记录，以下是291-300 订阅

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

详细简洁

排序：

logicNets: Co-Designed Neural Networks and Circuits for Extreme-throughput Applications 30

LogicNets: Co-Designed Neural Networks and Circuits for Extr...

引用

30th international conference on Field-Programmable logic and Applications (FPL)

作者： Umuroglu, Yaman Akhauri, Yash Fraser, Nicholas J. Blott, Michaela Xilinx Res Labs Dublin Ireland

ISBN: (纸本)9781728199023

Deployment of deep neural networks for applications that require very high throughput or extremely low latency is a severe computational challenge, further exacerbated by inefficiencies in mapping the computation to hardware. We present a novel method for designing neural network topologies that directly map to a highly efficient FPGA implementation. By exploiting the equivalence of artificial neurons with quantized inputs/outputs and truth tables, we can train quantized neural networks that can be directly converted to a netlist of truth tables, and subsequently deployed as a highly pipelinable, massively parallel FPGA circuit. However, the neural network topology requires careful consideration since the hardware cost of truth tables grows exponentially with neuron fan-in. To obtain smaller networks where the whole netlist can be placed-and-routed onto a single FPGA, we derive a fan-in driven hardware cost model to guide topology design, and combine high sparsity with few-bit activation quantization to limit the neuron fan-in. We evaluate our approach on two tasks with very high intrinsic throughput requirements in high-energy physics and network intrusion detection. We show that the combination of sparsity and few-bit activation quantization results in high-speed circuits with small logic depth and low LUT cost, demonstrating competitive accuracy with less than 15 ns of inference latency and throughput in the hundreds of millions of inferences per second.

关键词： deep learning fpga logic synthesis machine learning network security quantization quantized neural network sparsity

来源：评论

学校读者我要写书评

暂无评论

Influence of SRCS architecture on possibility to achieve required safety integrity level of safety function 30

Influence of SRCS architecture on possibility to achieve req...

引用

30th international conference on Cybernetics and Informatics (K and I)

作者： Valigursky, Jozef Univ Zilina Dept Control & Informat Syst Fac Elect Engn & Informat Technol Zilina Slovakia

ISBN: (纸本)9781728143811

Nowadays a lot of control systems are based on safety PLC (safety programmable logic controllers). the most of these PLC's are certified for SIL3 application (Safety integrity level 3). When components of this safety PLC are not used right then resulting SIL is lower. But when more components are used for realization of safety function properly with application diagnostics, then resulting SIL of SF (safety function) can be higher than SIL of used components. this paper deals with possibilities of various SRCS architectures with application diagnostics to reach required SIL.

关键词： safety function programmable logic controller SIL safety architecture

来源：评论

学校读者我要写书评

暂无评论

A Human-Robot Interface for Industrial Robot programming using RGB-D Sensor 30th

A Human-Robot Interface for Industrial Robot Programming usi...

引用

30th international conference on Flexible Automation and Intelligent Manufacturing (FAIM)

作者： Arsenopoulos, K. Benardos, P. Natl Tech Univ Athens Sch Mech Engn Sect Mfg Technol Heroon Polytech 9 GR-15780 Athens Greece

this paper presents the development of a Human-Robot Interface (HRI) that uses an RGB-D sensor to facilitate industrial robot programming. the main aims and functionalities of the HRI are described and subsequently emphasis is placed on two novel user interactions methods through which the operator's movements and gestures are captured and used to position the joints of a 6 DOF articulated robot arm. In particular, during the first user interaction method the operator's torso, shoulder and elbow are used to determine the position of the first three robot joints, while the operator's gestures are used to determine the position of the remaining three joints. During the second user interaction method, a combination of the operator's movements and gestures are used to select any desirable robot joint and then modify its angle by a user-configurable step. Both interaction methods also allow the operator to control robot speed and gripper position. the HRI is complemented by a virtual model of the robotic arm, created in Unity3D, to evaluate online programming capabilities. Results from using the two developed user interaction methods to position the robot in pre-defined poses are presented and discussed to highlight strengths and weaknesses of each method. Finally, the obtained conclusions are presented and suggestions for future work are made. (C) 2021 the Authors. Published by Elsevier Ltd.

关键词： intuitive programming skeletal joint tracking gesture based input virtual model

来源：评论

学校读者我要写书评

暂无评论

Multimedia Application for Object-oriented programming Education Developed by Unity Engine 30

Multimedia Application for Object-oriented Programming Educa...

引用

30th international conference on Cybernetics and Informatics (K and I)

作者： Kucera, Erik Haffner, Oto Leskovsky, Roman Slovak Univ Technol Bratislava Fac Elect Engn & Informat Technol Bratislava Slovakia

ISBN: (纸本)9781728143811

Considering high complexity and abstraction of object-oriented programming concepts, there is a need for innovative solution, which may serve as mean for learning these concepts. the aim of this paper is the description of developed interactive educational application for object-oriented-programming. We decided to use Unity, which is a cross-platform 3D game engine. We made our interactive part of the application as a drag and drop game, in which the user creates solution for given problem using knowledge, which were presented to him in the introduction part of the application. After the user finishes the challenge, he needs to pass the quiz. In each level there are several questions for particular concepts, on which the user has to answer. In this part the user can verify his gained knowledge. We have collected feedback from the questionnaire.

关键词： object oriented programming education edutainment unity multimedia application

来源：评论

学校读者我要写书评

暂无评论

Analytic Tableaux for Non-deterministic Semantics 30th

Analytic Tableaux for Non-deterministic Semantics

引用

30th international conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

作者： Graetz, Lukas Tech Univ Darmstadt Darmstadt Germany Univ Leipzig Leipzig Germany

ISBN: (纸本)9783030860592;9783030860585

Analytic tableau systems for the family of non-deterministic semantics are introduced. these are based on tableaux for many-valued logics using sets-as-signs DNF representations. Karnaugh maps illustrate the construction of tableau rules. In contrast to classical many-valued tableaux, we add a rule called sign intersection. Soundness and completeness are shown. As an example demonstrates, some tableau systems would be incomplete without sign intersection. there is a correspondence to well-studied canonical calculi based on sequent systems: Tableau systems can be translated into canonical calculi, but not vice-versa (structural rules are missing on the tableau side).

关键词： Tableaux Non-deterministic semantics Sets as signs Signed logic DNF representation

来源：评论

学校读者我要写书评

暂无评论

Geometric Reasoning enabled One Shot Learning for Robotic Tasks 30th

Geometric Reasoning enabled One Shot Learning for Robotic Ta...

引用

30th international conference on Flexible Automation and Intelligent Manufacturing (FAIM)

作者： Ikeda, Markus Ganglbauer, Markus Chitturi, Naresh Pichler, Andreas Profactor GmbH Stadgut D1 AT-4407 Steyr Gleinly Austria

Flexible robotics will be a major enabling technology for the application of robot-based automation in other than traditionally suitable automotive or electronics production with high volumes. Increased demand for flexibility due to individualized production typical for most SMEs require an increased level of flexibility - also for robots that should be able to learn as well as provide an increased level of autonomy due to improved skills and extended reasoning capabilities. this publication tries to find out if novel ANN methodology that is able to process 3D surface data is applicable to generalize process knowledge in a one shot learning by demonstration situation in order to be able to execute tasks on similar but geometrically unequal objects in future settings. the methodology generalizes not on symbolic or trajectory level but on surface geometry level and was applied to a simple geometric object on lab scale. the algorithms introduced are applicable to more complex objects with practical relevance. (C) 2021 the Authors. Published by Elsevier Ltd.

关键词： human robot knowledge transfer one shot learning programming by demonstration cognitive robotics

来源：评论

学校读者我要写书评

暂无评论

Evaluation of microstructural complex geometry of robot laser hardened materials through a genetic programming model 30th

Evaluation of microstructural complex geometry of robot lase...

引用

30th international conference on Flexible Automation and Intelligent Manufacturing (FAIM)

作者： Babic, M. Lesiuk, G. Marinkovic, D. Cali, M. Fac Informat Studies Novo Mesto Slovenia Wroclaw Univ Sci & Technol Dept Mech Mat Sci & Biomed Engn Wroclaw Poland Tech Univ Berlin Inst Mech Berlin Germany Univ Catania Dept Elect Elect & Comp Engn Viale A Doris 6 I-95125 Catania Italy

Surface-hardening process of steel materials by robot laser technologies can involve the challenge of modeling the determining process parameters through non-conventional tools in order to evaluate the quality of the heat treatment. In the current study a new method based on fractal geometry, used to determine the microstructural properties of laser hardened steels manufactured by anthropomorphic robots, is presented. the assumptions were that the microstructure of laser hardened steel can be studied as a complex structural geometry and the modeling of the analyzed complex geometries can be made through genetic programming for prediction purposes. the effect of process parameters and their joint combination on the final microstructures geometry of the heat treated steel was investigated. In particular, the influence of temperature, laser beam velocity, and impact angle were studied since they were showed in a preliminary study to be the process parameters that most significantly influenced the quality of the heat treated steel. the developed model reached a precision of the prediction equal to 98.59 %. (C) 2021 the Authors. Published by Elsevier Ltd.

关键词： Microstructure geometry Fractal geometry Laser beam process parameters Forecast model Hardened steels

来源：评论

学校读者我要写书评

暂无评论

o-LPMLN: A Combination of LPMLN and LPOD 8th

o-LPMLN: A Combination of LPMLN and LPOD

引用

8th international Workshop on Combinations of Intelligent Methods and Applications, CIMA 2018 held in conjunction with the 30th IEEE international conference on Tools with Artificial Intelligence, IEEE ICTAI 2018

作者： Wang, Bin Zhang, Shutao Xu, Hongxiang Zhang, Zhizheng Wu, Wei He, Chenglong Zong, Shiqiang School of Computer Science and Engineering Southeast University Nanjing China Science and Technology on Information System Engineering Lab The 28th Research Institute of China Electronics Technology Group Corporation Nanjing China

ISBN: (纸本)9789811519178

Nowadays, our lives are surrounded by various information, where large pieces of information are uncertain even inconsistent. And in user-oriented applications, users’ preferences should also be taken into account. therefore, for knowledge-based systems, it is significant to find a knowledge representation and reasoning tool that is able to handle uncertainty, inconsistencies, and preferences. In this paper, we present a logic formalism o-LPMLN that is created by introducing ordered disjunctions in LPMLN. LPMLN provides a powerful framework to handle uncertainty and inconsistencies by combining the ideas of Answer Set programming (ASP) and Markov logic Networks (MLN);and logic programming with ordered disjunctions (LPOD) is a simple yet effective way to handle preferences in ASP. By combining LPMLN and LPOD, o-LPMLN is able to handle uncertainty, inconsistencies, and preferences in a unified framework. After defining the language o-LPMLN, we present two modular translations from o-LPMLN to LPMLN and LPOD respectively, which leads to some solving algorithms of the language. Due to the close relationship between o-LPMLN and LPOD, the translations also present an approach to implementing LPOD via using LPMLN solvers. throughout the paper, we use a prototype application to show the knowledge representation and reasoning with o-LPMLN, which can be regarded as a start point of further work. © 2020, Springer Nature Singapore Pte Ltd.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Turning 30: New ideas in inductive logic programming 29

Turning 30: New ideas in inductive logic programming

引用

29th international Joint conference on Artificial Intelligence, IJCAI 2020

作者： Cropper, Andrew Dumancic, Sebastijan Muggleton, Stephen H. University of Oxford United Kingdom KU Leuven Belgium Imperial College London United Kingdom

ISBN: (纸本)9780999241165

Common criticisms of state-of-the-art machine learning include poor generalisation, a lack of interpretability, and a need for large amounts of training data. We survey recent work in inductive logic programming (ILP), a form of machine learning that induces logic programs from data, which has shown promise at addressing these limitations. We focus on new methods for learning recursive programs that generalise from few examples, a shift from using hand-crafted background knowledge to learning background knowledge, and the use of different technologies, notably answer set programming and neural networks. As ILP approaches 30, we also discuss directions for future research. © 2020 Inst. Sci. inf., Univ. Defence in Belgrade. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Extended Knowledge Graphs: A Conceptual Study 12

Extended Knowledge Graphs: A Conceptual Study

引用

12th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 12th international conference on Knowledge Engineering and Ontology Development (KEOD)

作者： Adrian, Weronika T. Adrian, Marek Kluza, Krzysztof Stachura-Terlecka, Bernadetta Ligeza, Antoni AGH Univ Sci & Technol Al A Mickiewicza 30 PL-30059 Krakow Poland

ISBN: (纸本)9789897584749

the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their flexible and universal knowledge representation, they lack the mechanisms facilitating knowledge processing. In this paper, we propose an information system called extended knowledge graphs (EKG) that augments the concept of knowledge graphs with procedural attachments. We put forward the requirements and assumption of the EKG structure and present a categorisation of supported reasoning tasks.

关键词： Knowledge Graphs Semantic Networks Knowledge Representation KRR Rules Ontologies Reasoning logic programming Answer Set programming Prolog

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：