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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

293 篇 会议
7 篇 期刊文献
2 册 图书

馆藏范围

302 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

229 篇 工学
- 218 篇 计算机科学与技术...
- 109 篇 软件工程
- 23 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 信息与通信工程
- 4 篇 生物医学工程（可授...
- 3 篇 机械工程
- 3 篇 建筑学
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 安全科学与工程
47 篇 理学
- 44 篇 数学
- 3 篇 系统科学
- 3 篇 统计学（可授理学、...
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
14 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 3 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
1 篇 医学

主题

69 篇 logic programmin...
17 篇 answer set progr...
15 篇 inductive logic ...
10 篇 fuzzy logic
10 篇 programming
9 篇 logic
7 篇 application soft...
7 篇 logic gates
7 篇 inductive logic ...
7 篇 semantics
7 篇 system testing
6 篇 machine learning
5 篇 computer science
5 篇 programming prof...
5 篇 logic testing
5 篇 computer archite...
5 篇 ontologies
5 篇 dynamic programm...
5 篇 temporal logic
4 篇 parallel process...

机构

3 篇 new mexico state...
3 篇 univ calabria ar...
3 篇 tu wien inst log...
3 篇 tech univ dresde...
2 篇 technological ed...
2 篇 univ oxford oxfo...
2 篇 univ nebraska om...
2 篇 univ helsinki de...
2 篇 network operatio...
2 篇 univ freiburg in...
2 篇 inria lille nord...
2 篇 tech univ dortmu...
2 篇 ecole polytech i...
2 篇 univ paris 13 li...
2 篇 univ pisa dept c...
2 篇 tech univ munich...
2 篇 portland state u...
2 篇 univ london impe...
2 篇 katholieke univ ...
1 篇 bolsista do prog...

作者

4 篇 riguzzi fabrizio
4 篇 ricca francesco
3 篇 gaggl sarah alic...
3 篇 kramer stefan
3 篇 page david
3 篇 son tran cao
3 篇 srinivasan ashwi...
3 篇 froehler sebasti...
3 篇 alphonse erick
2 篇 muggleton stephe...
2 篇 giordano laura
2 篇 toivonen h.
2 篇 ong irene m.
2 篇 revoredo k.
2 篇 bellodi elena
2 篇 osmani aomar
2 篇 bryant christoph...
2 篇 ray oliver
2 篇 hutter dieter
2 篇 costa vitor sant...

语言

298 篇 英文
2 篇 中文
1 篇 葡萄牙文
1 篇 其他

检索条件"任意字段=16th International Conference of Inductive Logic Programming"

共 302 条记录，以下是61-70 订阅

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

详细简洁

排序：

4th international Joint conference on Rules and Reasoning, RuleML+RR 2020, DecisionCAMP 2020, and the 16th Reasoning Web Summer School, RW 2020, was part of the Declarative AI 2020

4th International Joint Conference on Rules and Reasoning, R...

引用

4th international Joint conference on Rules and Reasoning, RuleML+RR 2020, DecisionCAMP 2020, and the 16th Reasoning Web Summer School, RW 2020, was part of the Declarative AI 2020

ISBN: (纸本)9783030600662

the proceedings contain 8 papers. the special focus in this conference is on Rules and Reasoning. the topics include: On the Complexity of Learning Description logic Ontologies;explanation via Machine Arguing;stream Reasoning: From theory to Practice;temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course;an Introduction to Answer Set programming and Some of Its Extensions;declarative Data Analysis Using Limit Datalog Programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Introduction to Answer Set programming and Some of Its Extensions 4th

An Introduction to Answer Set Programming and Some of Its Ex...

引用

4th international Joint conference on Rules and Reasoning, RuleML+RR 2020, DecisionCAMP 2020, and the 16th Reasoning Web Summer School, RW 2020, was part of the Declarative AI 2020

作者： Faber, Wolfgang University of Klagenfurt 9020 Klagenfurt am Wörthersee Austria

ISBN: (纸本)9783030600662

Answer Set programming (ASP) is a rule-based language rooted in traditional logic programming, Databases, Knowledge Representation, and Nonmonotonic Reasoning. It offers a flexible language for declarative problem solving, with support of efficient general-purpose solvers and reasoners. the larger part of this article provides an introduction to ASP, with a historical perspective, a definition of the core language, a guideline to knowledge representation, and an overview of existing ASP solvers. One part focuses on one commonly used feature: aggregates and generalized atoms. the inclusion of aggregates in ASP (and logic programming at large) has long been motivated, however there are some issues with semantics to be addressed, in particular when aggregates occur in recursive definitions. Very similar considerations are needed when coupling ASP with other formalisms, which we collectively refer to as "generalized atoms". An overview of these semantic challenges and proposals for addressing them is provided, along with an overview of complexity results and system support. © 2020, Springer Nature Switzerland AG.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Fast Division Algorithm for Finite Real Number

Fast Division Algorithm for Finite Real Number

引用

international conference on Intelligent System and Knowledge Engineering, ISKE

作者： Ting Chen Fenfen Li Jinbao Lin Faculty of Computer and Software Engineering Research Center for logic and Intelligent Computation National-Local Joint Engineering Lab of System Credibility Automatic Verification Huaiyin Institute of Technology Huai’an China

ISBN: (纸本)9781665405546

the data representation and division for finite real number in computers has always been a hot topic in the fields of scientific research and engineering technology. With the research of existing real number division algorithm, design, improvement and adjustment for data structure, algorithm and programming language, and realize the fast division for finite real number. the algorithm can apply to the engineering requirement of finite real number of 506 bits. It replaces the commonly used trial division method with a comparison method, reducing the time complexity of the algorithm. the experimental results demonstrate the correctness and efficiency of the algorithm. the division of the algorithm uses comparison instead of trial division, which reduces the time complexity of the algorithm from O(n 2 ) to O(n). the experimental results show that the algorithm is correct and efficient.

关键词： Computers Knowledge engineering Computer languages Codes programming Brain cells Data structures

来源：评论

学校读者我要写书评

暂无评论

Dynamic Detection of Learning Modalities Using Fuzzy logic in Students' Interaction Activities 16th

Dynamic Detection of Learning Modalities Using Fuzzy Logic i...

引用

16th international conference on Intelligent Tutoring Systems (ITS)

作者： Troussas, Christos Krouska, Akrivi Sgouropoulou, Cleo Univ West Attica Dept Informat & Comp Engn Egaleo Greece

ISBN: (纸本)9783030496630;9783030496623

E-learning software is oriented to a heterogeneous group of learners. thus, such systems need to provide personalization to students' needs and preferences so that their knowledge acquisition could become more effective. One personalization mechanism is the adaptation to the students' learning modalities. However, this process requires a lot of time when happening manually and is error-prone. In view of the above, this paper presents a novel technique for learning modalities detection. Our approach utilizes the Honey-Mumford model, which classifies students in activists, reflectors, theorists and pragmatists. Furthermore, the automatic detection uses the fuzzy logic technique taking as input the students' interaction with the learning environment, namely the kind of learning units visited, their type of media, the comments made by students on learning units and their participation in discussions. Our novel technique was incorporated is a tutoring system for learning computer programming and was evaluated with very promising results.

关键词： Automatic detection Fuzzy logic Intelligent tutoring system Honey and mumford model Learning modalities

来源：评论

学校读者我要写书评

暂无评论

Hardware Implementation of Pseudo-Random Numbers on CPLD

Hardware Implementation of Pseudo-Random Numbers on CPLD

引用

international conference on Electronics, Computer and Computation (ICECCO)

作者： Adil Maidanov Sabyrzhan Atanov Bibigul Tailak L. N. Gumilyov Eurasian National University Nur-Sultan Kazakhstan

ISBN: (纸本)9781665409469

the article proposes a hardware solution for generating pseudo-random numbers. the VHDL development environment was chosen as a platform for implementation of CPLDs, because this programming environment satisfies all technological advancements in integrated circuits, where you can easily create digital designs and transfer them to circuits manually or automatically. the main purpose of the work is to present algorithms with execution on CPLDs that will allow creating a fast, efficient and inexpensive pseudo-random number generator. the resulting configurable generator can be used in a wide range of applications where the use of various pseudo-random sequences is required, for example, in implementation built-in self-testing for digital devices. the flowchart and an example of generation are given

关键词： Integrated circuits Flowcharts VHDL Programmable logic devices Built-in self-test Hardware Generators

来源：评论

学校读者我要写书评

暂无评论

Capacitated vehicle routing problem with pick-up, alternative delivery and time windows (CVRPPADTW): A hybrid approach 16th

Capacitated vehicle routing problem with pick-up, alternativ...

引用

16th international conference on Distributed Computing and Artificial Intelligence, DCAI 2019

作者： Sitek, Pawel Wikarek, Jaroslaw Rutczyńska-Wdowiak, Katarzyna Department of Control and Management Systems Kielce University of Technology Kielce Poland

ISBN: (纸本)9783030239459

the Capacitated Vehicle Routing Problem with Pick-up, Alternative Delivery and Time Windows (CVRPPADTW) is discussed in the paper. the development of this problem was motivated by postal items distribution issues. In some approximation, one can say that the problem under consideration is a combination of many variants of the classical VRP, such as CVRP (Capacitated Vehicle Routing Problem), VRPPD (Vehicle Routing Problem with Pickup and Delivery) and VRPTW (Vehicle Routing Problem with Time Windows). What makes it different is the introduction of alternative delivery points and parcel lockers incorporated into the distribution network. the original hybrid approach integrating CLP (Constraint logic programming) and MP (Mathematical programming) was used for the modeling and solving of the problem. © 2020, Springer Nature Switzerland AG.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Development and modeling of intelligent control system of cruise missile based on fuzzy logic

Development and modeling of intelligent control system of cr...

引用

international conference on Electronics, Computer and Computation (ICECCO)

作者： A.S. Utegen Kh. Moldamurat Mukhanbetkaliyeva Ainur Amangul Talgat Anuar Galymzhan Amandykuly S. S. Brimzhanova L.N. Gumilev Eurasian National University Nur-Sultan Kazakhstan Candidate of Technical Sciences L.N. Gumilev Eurasian National University Nur-Sultan Kazakhstan Kazakh University of Technology and Business Nur-Sultan Kazakhstan Non – Profit Limited Company «A. Baitursynov KRU» Kostanay Kazakhstan

ISBN: (纸本)9781665409469

this article considers an artificial intelligence system focused on the flight of a cruise missile. A fuzzy logic system belongs to the field of modern artificial intelligence. the cruise missile is widely used in the defense and military sphere. A cruise missile flies close to the ground and maneuvers very quickly during its flight. It is very difficult to direct a cruise missile to the object accurately and reach the *** this reason, the control system is given a fuzzy logic method based on artificial intelligence. A cruise missile control system requires many parameters and complex mathematical models if it is controlled by a regular system. It requires a large resource and a lot of time to calculate the control system. A cruise missile is very effective when controlled by fuzzy logic, takes little time, maneuvers very quickly during the flight, and quickly makes decisions of any *** article presents a virtual software simulator for creating a model of a cruise missile. this simulator is written in C++ programming language with the complex Matlab editor R2015b. the types, models, goals of use of cruise missiles preceding the virtual test are selected in the simulator. In the simulator the flight parameters of the selected cruise missile (flight speed v, range l, flight altitude h and angles of attack G0, directions of maneuver and external forces) are entered. In the simulator the trajectory of the missile flight is tested according to the task algorithm. the virtual test involves accurately targeting the cruise missile and reducing and eliminating deviations and errors while accurately reaching the target. the virtual software simulator tests any cruise and jet missile, ground-based objects of *** virtual software simulator is intended for use by space industry specialists, students at institutions of higher education, specialists trained in the army for practical testing of ground-based objects of flight.

关键词： Fuzzy logic Missiles Visualization three-dimensional displays Software Mathematical models Trajectory

来源：评论

学校读者我要写书评

暂无评论

SLD-Resolution Reduction of Second-Order Horn Fragments 16th

SLD-Resolution Reduction of Second-Order Horn Fragments

引用

16th European conference on logics in Artificial Intelligence (JELIA)

作者： Tourret, Sophie Cropper, Andrew Max Planck Inst Informat Saarland Informat Campus Saarbrucken Germany Univ Oxford Oxford England

ISBN: (纸本)9783030195700;9783030195694

We present the derivation reduction problem for SLD-resolution, the undecidable problem of finding a finite subset of a set of clauses from which the whole set can be derived using SLD-resolution. We study the reducibility of various fragments of second-order Horn logic with particular applications in inductive logic programming. We also discuss how these results extend to standard resolution.

关键词： inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

inductive logic programming: 24th international conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

引用

2016年

作者： Jesse Davis Jan Ramon

ISBN: (纸本)9783319237077

this book constitutes the thoroughly refereed post-conference proceedings of the 24th international conference on inductive logic programming, ILP 2014, held in Nancy, France, in September 2014. the 14 revised papers presented were carefully reviewed and selected from 41 submissions. the papers focus on topics such as the inducing of logic programs, learning from data represented with logic, multi-relational machine learning, learning from graphs, and applications of these techniques to important problems in fields like bioinformatics, medicine, and text mining.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Semantic-based Obligation for Context-Based Access Control 16

Semantic-based Obligation for Context-Based Access Control

引用

16th international Joint conference on E-Business and Telecommunications (ICETE)

作者： Al-Wahah, Mouiad Saaudi, Ahmed Farkas, Csilla Univ South Carolina Coll Engn & Comp 301 Main St Columbia SC 29208 USA

ISBN: (纸本)9789897583780

In this paper, we present a dynamic and extensible semantic-based obligation framework. Our framework is meant to be used in conjunction with context-based authorization. Our approach is suitable to incorporate dynamically changing obligation requirements. We express obligation requirements and contextual information as ontologies. We employ Description logic and logic programming technologies for modeling contexts, privileges and obligations. We show how semantic-based techniques can be used to support adaptive and dynamic obligation for Context-Based Access Control (CBAC) policies. We also show that our framework is expressive enough to incorporate obligation's needs in dynamic environments. Furthermore, we have developed a proof of concept implementation to demonstrate our work.

关键词： Description logic Access Control OWL Authorization Obligation Policy Rules

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共31页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：