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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

488 篇 会议
59 篇 期刊文献
21 册 图书

馆藏范围

567 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

391 篇 工学
- 344 篇 计算机科学与技术...
- 209 篇 软件工程
- 50 篇 电气工程
- 28 篇 信息与通信工程
- 22 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 7 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 化学工程与技术
- 2 篇 核科学与技术
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
102 篇 理学
- 87 篇 数学
- 10 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
32 篇 管理学
- 20 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 7 篇 工商管理
7 篇 教育学
- 7 篇 教育学
6 篇 法学
- 6 篇 社会学
6 篇 文学
- 5 篇 外国语言文学
- 1 篇 新闻传播学
3 篇 医学
- 2 篇 临床医学
1 篇 经济学
- 1 篇 应用经济学

主题

144 篇 logic programmin...
18 篇 artificial intel...
16 篇 logic gates
16 篇 linear programmi...
16 篇 computer program...
15 篇 probabilistic lo...
14 篇 programming
14 篇 mathematical log...
14 篇 programming lang...
12 篇 semantics
11 篇 formal logic
11 篇 computer program...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 software enginee...
9 篇 computer circuit...
9 篇 logic
9 篇 programming tech...
8 篇 answer set progr...
8 篇 inductive logic ...

机构

4 篇 univ minho ctr a...
4 篇 univ texas dept ...
3 篇 universita di pi...
3 篇 the weizmann ins...
3 篇 new mexico state...
3 篇 univ malaga dept...
3 篇 univ calabria de...
2 篇 aalto univ dept ...
2 篇 ontario power ge...
2 篇 univ pisa dipart...
2 篇 department of th...
2 篇 texas tech univ ...
2 篇 univ freiburg in...
2 篇 school of comput...
2 篇 katholieke univ ...
2 篇 inst natl teleco...
2 篇 vienna univ tech...
2 篇 university of po...
2 篇 arizona state un...
2 篇 inria rennes

作者

5 篇 vicente henrique
4 篇 eiter t
4 篇 neves jose
4 篇 saint-dizier pat...
4 篇 faber w
3 篇 stéphan i
3 篇 deville yves
3 篇 pereira lm
3 篇 leone n
3 篇 wang bin
3 篇 levi giorgio
3 篇 neves joao
3 篇 zhang zhizheng
3 篇 son tc
2 篇 polleres a
2 篇 gueddes abdelweh...
2 篇 gongjie liu
2 篇 pontelli e
2 篇 dung phan minh
2 篇 lee kin hong

语言

520 篇 英文
43 篇 其他
4 篇 中文
1 篇 法文

检索条件"任意字段=8th Conference on Logic Programming, 1989"

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

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

详细简洁

排序：

DIFFERENTIABLE LEARNING OF NUMERICAL RULES IN KNOWLEDGE GRAPHS 8

DIFFERENTIABLE LEARNING OF NUMERICAL RULES IN KNOWLEDGE GRAP...

引用

8th International conference on Learning Representations, ICLR 2020

作者： Wang, Po-Wei Stepanova, Daria Domokos, Csaba Kolter, Zico Machine Learning Department Carnegie Mellon University United States Bosch Center for AI Department of Computer Science Carnegie Mellon University United States

Rules over a knowledge graph (KG) capture interpretable patterns in data and can be used for KG cleaning and completion. Inspired by the TensorLog differentiable logic framework, which compiles rule inference into a sequence of differentiable operations, recently a method called Neural LP has been proposed for learning the parameters as well as the structure of rules. However, it is limited with respect to the treatment of numerical features like age, weight or scientific measurements. We address this limitation by extending Neural LP to learn rules with numerical values, e.g., "People younger than 18 typically live with their parents". We demonstrate how dynamic programming and cumulative sum operations can be exploited to ensure efficiency of such extension. Our novel approach allows us to extract more expressive rules with aggregates, which are of higher quality and yield more accurate predictions compared to rules learned by the state-of-the-art methods, as shown by our experiments on synthetic and real-world datasets. © 2020 8th International conference on Learning Representations, ICLR 2020. All rights reserved.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Design of Digital Data Selectors on FPGA in a Laboratory Environment

Design of Digital Data Selectors on FPGA in a Laboratory Env...

引用

International Scientific-Practical conference Problems of Infocommunications Science and Technology

作者： Dmytro Havrilov Andrii Volovyk Leonid Koval Mikola Vasylkivskyi Andriy Semenov Natalia Havrilova Faculty of Infocommunications Radiolectronics and Nanosystems Vinnytsia National Technical University Vinnytsia Ukraine

ISBN: (纸本)9781665406833

In this paper introduced the basics of designing digital devices on the field-programmable gate array (FPGA). the article describes the process of creating a digital combinational device using the laboratory board Altera UP2. the design of the device on multiplexers and demultiplexers of various types was carried out. the article considers the use of mega-functions, as well as the basics of their creation for the implementation of a digital data processing and transmission system. It also shows the process of configuring megafunctions using the auto-create manager. In the computeraided design system Quartus II, the research and programming of the created device was carried out. this technique for creating digital data selectors based on various types of devices can be used for education in the laboratory and creating optimized devices of this type.

关键词： Multiplexing Laboratories Education logic gates logic functions Data processing Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

Post-Binary Robotics: Using Memristors With Ternary States for Robotics Control 8

Post-Binary Robotics: Using Memristors With Ternary States f...

引用

8th IEEE Electronics System-Integration Technology conference (ESTC)

作者： Bos, Steven Nilsen, Julian Breivold Gundersen, Henning Univ South Eastern Norway Dept Sci & Ind Syst Kongsberg Norway

ISBN: (纸本)9781728162935

this paper presents a method to read and write ternary (three-valued) signals on memristors to control a robotic actuator in real-time. the paper is a continuation of earlier work by [1] and implements a ternary memory controller for memristors in hardware. this post-binary approach with nonvolatile memory is used to program a memristor as a "trit". the paper contributes to the state-of-the-art in memristor controlled robotics by reporting an entropy gain of log2(3)= 58% information at (20 versus 14)= 43% more component cost compared to binary. this advantage (eg. less wire complexity) increases when multi-trit architectures are considered. this article demonstrates both an LTspice simulation of the circuit and implementation with source code. the memristor programmer circuit writes a state to the memristor using a pattern of 100us pulses at 3 different amplitudes. the memristor read circuit sends 500 nA pulses and converts these using two reference resistors to three logic levels using an op amp window comparator. An Arduino Mega microcontroller ADC pin converts the analog output to a digital trit. Strenuous effort was made for predictable and replicable applied memristor research in pursuit of a post-binary robotics era. the multiple-valued circuit has safety features to prevent harm to the memristance state, standardized forming of new memristors and programming flexibility by sending patterns of different pulse amounts, pulse width and pulse amplitudes.

关键词： multiple-valued logic ternary computing ternary storage memristor ciruit LTspice simulation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Service Provisioning through High Level, Complexity Hiding Interfaces 8

Service Provisioning through High Level, Complexity Hiding I...

引用

8th IEEE International conference on Big Data (Big Data)

作者： Ruan, Guangchen Zhang, Hui Tuna, Esen Wernert, Eric Indiana Univ Pervas Technol Inst Bloomington IN 47405 USA Univ Louisville JB Speed Sch Engn Louisville KY 40292 USA

ISBN: (纸本)9781728162515

Over the past decade, cyberinfrastructure community like XSEDE has substantially fostered and enriched knowledge discovery of scholars, researchers, and engineers from a variety of domains through enabling access to advanced computing systems, where continuing support for classic packages and parallel computing frameworks (e.g., MPI and OpenMP) has been well established. However, with the rise of "Big Data" era, an ever increasing demand from user community is the desire to run sophisticated, state-of-the-art distributed frameworks that handle various data related tasks. Examples include Hadoop and Spark for data processing and analytics, Cassandra and Redis for scalable on-disk and in-memory data stores, Apache Airflow for distributed workflow engine, just to name a few. though by design such frameworks provision high-level, user friendly programming APIs for business logic composition, their deployment process oftentimes is both complex and complicated, requiring expertise well beyond what the majority of cyberinfrastructure users may have. To bridge the gap, in this paper we propose the concept of provisioning such frameworks through "cyberinfrastructure managed", system wide services, especially through leveraging "high level, complexity hiding interfaces" principle when designing interfaces that are exposed to users for framework setup and shutdown. In particular, we use Sparkas-a-Service at Indiana University as a concrete case study to illustrate how we applied the design principles. Furthermore, to demonstrate the generality of the design, we showcase Cassandraas-a-Service, a work-in-progress prototype.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Design and Application of Pocket Experiment System Based on STM32F4 8

Design and Application of Pocket Experiment System Based on ...

引用

8th International conference on Information Technology: IoT and Smart City, ICIT 2020

作者： Zhou, Yanyun Shi, Fei Chen, Juan School of Information Science and Engineering Xinjiang University and Key Laboratory of Signal Detection and Processing China

ISBN: (纸本)9781450388559

Aiming at the disadvantages of embedded system in practical teaching, a pocket experiment system based on STM32F4 is developed. the system includes input unit, output unit, logic control unit, power supply unit, peripheral unit and data transmission unit. It has the characteristics of rich resources, low cost, and easy to carry, which meets the needs of students' mobility experiments and extra-curricular innovation practice training. Practical application shows that the system not onlystimulates students' enthusiasm for learning, but also trains their creative ability and practical application ability. © 2020 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Preliminary Report of Integrating Science and Computing Teaching Using logic programming 33

A Preliminary Report of Integrating Science and Computing Te...

引用

33rd AAAI conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence

作者： Zhang, Yuanlin Wang, Jianlan Bolduc, Fox Murray, William G. Staffen, Wendy Texas Tech Univ Lubbock TX 79409 USA Laura Bush Middle Sch Lubbock TX USA

ISBN: (纸本)9781577358091

this paper presents a framework to integrate Science and Computing teaching using logic programming We developed two modules: one for chemistry and the other for chemistry and physics. they are implemented in an elective course for 8th graders. through clinical interviews, video taped class observations, exit interviews and our own experiences with the class, logic programming based approach is accessible to the students.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

ML Polymorphism of Linear Lambda Calculus with First-class Continuations 19

ML Polymorphism of Linear Lambda Calculus with First-class C...

引用

8th International conference on Software and Computer Applications (ICSCA)

作者： Nishizaki, Shin-ya Tokyo Inst Technol 2-12-1 Ookayama Meguro Tokyo 1528552 Japan

ISBN: (纸本)9781450365734

the Curry-Howard isomorphism shows that an intuitionistic deductive system is similar to a formal computational system;propositions correspond to types, proofs to lambda-terms, and a proof normalization procedure to an evaluation strategy. Furthermore, the duality between computation values and continuations is discovered under the Curry-Howard isomorphism. In the traditional lambda calculus, duplication and erasing of values are allowed but those of continuations prohibited. On the other hand, in the lambda calculus with first-class continuations, both values and continuations are permitted to be duplicated and erased. In our previous paper, we proposed a linear lambda calculus with first-class continuations, in which we cannot duplicate and erase values but can do continuations. In this paper, we propose an ML polymorphic type system for the linear lambda calculus with first-class continuations and design a type inference algorithm of the type system.

关键词： programming language theory functional programming language lambda calculus linear logic continuations Curry-Howard isomorphism ML type system

来源：评论

学校读者我要写书评

暂无评论

Matching µ-logic: Foundation of K framework 8

Matching µ-logic: Foundation of K framework

引用

8th conference on Algebra and Coalgebra in Computer Science, CALCO 2019

作者： Chen, Xiaohong Roşu, Grigore University of Illinois at Urbana-Champaign United States

ISBN: (纸本)9783959771207

K framework is an effort in realizing the ideal language framework where programming languages must have formal semantics and all languages tools are automatically generated from the formal semantics in a correct-by-construction manner at no additional costs. In this extended abstract, we present matching µ-logic as the foundation of K and discuss some of its applications in defining constructors, transition systems, modal µ-logic and temporal logic variants, and reachability logic. © Xiaohong Chen and Grigore Roşu.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A coalgebraic perspective on probabilistic logic programming 8

A coalgebraic perspective on probabilistic logic programming

引用

8th conference on Algebra and Coalgebra in Computer Science, CALCO 2019

作者： Gu, Tao Zanasi, Fabio University College London London United Kingdom

ISBN: (纸本)9783959771207

Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. this paper proposes a coalgebraic perspective on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras. First, the cofree F-coalgebra yields a semantics in terms of derivation trees. Second, by embedding F into another type G, as cofree G-coalgebra we obtain a "possible worlds" interpretation of programs, from which one may recover the usual distribution semantics of probabilistic logic programming. © Tao Gu and Fabio Zanasi.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：