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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Typed Meta-interpretive Learning of logic Programs 16th

Typed Meta-interpretive Learning of Logic Programs

引用

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

作者： Morel, Rolf Cropper, Andrew Ong, C. -H. Luke Univ Oxford Oxford England

ISBN: (纸本)9783030195700;9783030195694

Meta-interpretive learning (MIL) is a form of inductive logic programming that learns logic programs from background knowledge and examples. We claim that adding types to MIL can improve learning performance. We show that type checking can reduce the MIL hypothesis space by a cubic factor. We introduce two typed MIL systems: MetagolT and HEXMILT, implemented in Prolog and Answer Set programming (ASP), respectively. Both systems support polymorphic types and can infer the types of invented predicates. Our experimental results show that types can substantially reduce learning times.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Belief Change Properties of Forgetting Operations over Ranking Functions 16th

Belief Change Properties of Forgetting Operations over Ranki...

引用

16th Pacific Rim international conference on Artificial Intelligence (PRICAI)

作者： Kern-Isberner, Gabriele Bock, Tanja Sauerwald, Kai Beierle, Christoph Tech Univ Dortmund D-44227 Dortmund Germany Fernuniv D-58084 Hagen Germany

ISBN: (纸本)9783030299088;9783030299071

Intentional forgetting means to deliberately give up information and is a crucial part of change or consolidation processes, or to make knowledge more compact. Two well-known forgetting operations are contraction in the AGM theory of belief change, and various types of variable elimination in logic programming. While previous work dealt with postulates being inspired from logic programming, in this paper we focus on evaluating forgetting in epistemic states according to postulates coming from AGM belief change theory. We consider different forms of contraction, marginalization, and conditionalization as major representatives of forgetting operators to be evaluated. We use Spohn's ranking functions as a common semantic base to show that all operations can be realized in one logical framework, thereby exploring the richness of forgetting operations in a comparable way.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Robust Optimization Model for Probabilistic Protection under Uncertain Virtual Machine Capacity in Cloud

Robust Optimization Model for Probabilistic Protection under...

引用

international Workshop on Design of Reliable Communication Networks (DRCN)

作者： Mitsuki Ito Fujun He Eiji Oki Kyoto University Kyoto Japan

ISBN: (数字)9781728163000

ISBN: (纸本)9781728163017

this paper presents robust optimization models for minimizing the required backup capacity with probabilistic protection against multiple simultaneous failures of physical machines in a cloud provider. If random failures occur, the required capacities for virtual machines are allocated to the dedicated backup physical machines, which are determined in advance. We consider two uncertainties, failure event and virtual machine capacity. By adopting the robust optimization technique, we formulate three mixed integer linear programming problems. there are differences of robustness between the three models. then we provide theorems concerned with the differences and prove them. the theorems are supported by numerical results. Our three presented models are applicable to the case that virtual machine capacities are uncertain, and by using these models, we can obtain the optimal solution of the allocation of virtual machines under the uncertainty.

关键词： Robustness Optimization Cloud computing Probabilistic logic Capacity planning Uncertainty Numerical models

来源：评论

学校读者我要写书评

暂无评论

Tool for supporting Education process in Information technology 16

Tool for supporting Education process in Information technol...

引用

16th international conference on Emerging eLearning Technologies and Applications (ICETA)

作者： Sedlacek, Peter Vaclavkova, Monika Univ Zilina Dept Informat Zilina Slovakia

ISBN: (纸本)9781538679142

Learning informatics is complex process because of many different paradigms, languages with their own logic, syntax etc. therefore it is not easy for students without any previous knowledge in such field to learn programming. In our faculty, all students starts with learning of object oriented paradigm in Java programming language. To make it easier for them in the beginning we decide to implement tool, that will help them to learn programming paradigms without knowledge of specific programming language. this tool allows users to design algorithm using activity diagrams from which final code is generated. this tool is developed by students within Project course in our faculty. In this paper we describe project management system we start using to organize work on FRIMAN project and also current development state of every module FRIMAN composes from. We also present some of the plans for future.

关键词： Terms learning tool structural programming flow diagram Unified Modelling Language informatics education

来源：评论

学校读者我要写书评

暂无评论

Dynamic Fuzzy Membership Intervals with Two-Stage Objective Function for Ball and Beam System based on GA Tuning

Dynamic Fuzzy Membership Intervals with Two-Stage Objective ...

引用

international conference on Control, Automation, Robotics and Vision (ICARCV)

作者： Joseph K. P. Tsoi Nitish D. Patel Akshya K. Swain Xu Huang Computer and Software Engineering University of Auckland Auckland New Zealand

ISBN: (数字)9781728177090

ISBN: (纸本)9781728177106

this paper proposed a two-stage objective function with genetic algorithm (GA) to refine an additional fuzziness layer on dynamic membership intervals of Type-I fuzzy logic control(FLC). the refined dynamic membership intervals Type-I FLC is applied on a traditional ball and beam system, serving as a prototype for a friction fruit conveyor system. the ball and beam system governed under Type-I FLC is excited with step input, the corresponding system performance factors are captured - rise time, settling time and overshoot. A probabilistic random search on optimum controller parameters is carried with GA method, multiple cost functions - ISE, IAE, ITSE and ITAE, with are evaluated to form a performance cost matrix, which is the first stage of the objective function. the optimum parameter search stops with two conditions; one is that the maximum number of chromosome generation is reached, and the other one is that performance cost stops improving consecutively for ten generations. the second stage of the objective function is proceeded to decide the found optimum controller parameter solution. the result is decided by taking account of the previously captured performance factors. these factors are normalized and combined with a heuristic weight set to determine a minimum decision cost. the minimum cost chromosome, with ITAE, is the optimum from global found solution space and sets fixed intervals on the dynamic membership range of Type-I FLC. With two-stage objective function, improved rise time and settling time performance are indicated on the GA tuned Type-I FLC dynamic membership intervals on the ball and beam system than the conventional Type-I FLC, and is satisfactory.

关键词： Linear programming Genetic algorithms Friction Fuzzy logic Tuning Process control Meters

来源：评论

学校读者我要写书评

暂无评论

Constructive logic Covers Argumentation and logic programming 16

Constructive Logic Covers Argumentation and Logic Programmin...

引用

16th international conference on Principles of Knowledge Representation and Reasoning

作者： Fandinno, J. del Cerro, L. Farinas Univ Toulouse CNRS IRIT Toulouse France

ISBN: (纸本)9781577358039

In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson's constructive logic N4. We do so by formalising, in this logic, two principles that we call non-contradictory inference and strengthened closed world assumption: the first states that no belief can be held based on contradictory evidence while the later forces both unknown and contradictory evidence to be regarded as false. Using these principles, both logic programming and abstract argumentation frameworks are translated into constructive logic in a modular way and using the object language. logic programming implication and abstract argumentation supports become, in the translation, a new implication connective following the non-contradictory inference principle. Attacks are then represented by combining this new implication with strong negation.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Reliability-Driven Deployment in Energy-Harvesting Sensor Networks

Reliability-Driven Deployment in Energy-Harvesting Sensor Ne...

引用

international conference on Network and Service Management

作者： Xiaofan Yu Xueyang Song Ludmila Cherkasova Tajana Šimuniˇ Rosing University of California San Diego La Jolla USA Arm Research San Jose USA

ISBN: (数字)9783903176317

ISBN: (纸本)9781665415477

Recent years have witnessed a significant expansion in Internet-of-things (IoT) applications, especially in environmental monitoring, which aims at providing full coverage over potential targets. With energy harvesting ability, sensor devices can be replenished by external energy sources, and thus their lifetime is prolonged. While existing literature focuses on minimizing deployment costs, the reliability management is overlooked. Previous research has addressed that a higher temperature exponentially accelerates hardware failure rates. the versatile outdoor environments impose a non-negligible thermal stress on the hardware and consequently reduce the reliability of devices. In this paper, we are the first to propose a reliability-driven sensor deployment approach to achieve minimum nodes, while satisfying (i) full target coverage, (ii) complete connectivity, (iii) energy-neutral operation, and (iv) reliability constraints. Given external temperature distribution, we propose an algorithm to convert reliability constraints to a single-value power threshold for each location. A Mixed Integer Linear programming (MILP) model is formulated and solved with CPLEX. Due to the complex nature of MILP, we propose a heuristic, named Reliability-driven TwoStage Heuristic (R-TSH), to approximate the optimal solution for large-scale problems. Extensive simulations are performed on a real-world dataset from the National Solar Radiation Database. Our results indicate that R-TSH meets all reliability constraints with only 20% more sensors than the optimal solution, while executing more than 1500x faster. Compared to state-of-the-art heuristics, R-TSH avoids 20 - 80% of reliability violations with a comparable number of nodes and execution time.

关键词： Reliability Batteries Temperature sensors Aging logic gates Temperature dependence Optimization

来源：评论

学校读者我要写书评

暂无评论

Computing logic Programs with Ordered Disjunction Using asprin 16

Computing Logic Programs with Ordered Disjunction Using <i>a...

引用

16th international conference on Principles of Knowledge Representation and Reasoning

作者： Lee, Joohyung Yang, Zhun Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA

ISBN: (纸本)9781577358039

logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the high-level construct of ordered disjunction whereas asprin is a recently proposed, general, flexible, and extensible framework that provides low-level constructs for representing preference in answer set programming. We present an encoding of LPOD in the language of asprin and the implementation of LPOD called LPOD2ASPRIN based on the encoding. Unlike the known method that applies only to a fragment of LPOD, our translation is general, direct, and simpler. It also leads to more efficient computation of LPOD using asprin.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

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

Inductive Logic Programming: 24th International Conference, ...

引用

24th international conference on inductive logic programming, ILP 2014

作者： Davis, Jesse Ramon, Jan Department of Computer Science KU Leuven Leuven Belgium

来源：评论

学校读者我要写书评

暂无评论

Personal Coaching of Students in Real-Life programming theses 16

Personal Coaching of Students in Real-Life Programming These...

引用

16th IEEE international conference on Emerging eLearning Technologies and Applications, ICETA 2018

作者： Lenger, T. Pietrikova, E. Ádam, N. Department of Technologies in Electronics Technical University of Košice Slovakia Department of Computers and Informatics Technical University of Košice Slovakia

ISBN: (纸本)9781538679142

In the area of computing and engineering, supervision of final theses is a complex and challenging endeavor. Within this study, we present results of students taking part in real-life programming projects as part of their final master theses. We show that being a coach of real-life project solvers, rather than being a supervisor, is an approach that can provide graduates with a meaningful learning conditions, improving both their domain skills as well as their academic performance. We performed coaching as a real-life long-term educational experience within projects focused on helping visually-impaired people. We analyzed students' perceptions, aiming at improving the overall supervision process. We also identified factors influencing current supervision efficiency with the aim of improving the process by suggesting further attitudes and ideas. © 2018 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：