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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
20 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

257 篇 工学
- 238 篇 计算机科学与技术...
- 134 篇 软件工程
- 24 篇 控制科学与工程
- 15 篇 电气工程
- 11 篇 信息与通信工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 石油与天然气工程
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
53 篇 理学
- 49 篇 数学
- 4 篇 生物学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
22 篇 管理学
- 14 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
- 1 篇 心理学(可授教育学...
4 篇 农学
- 4 篇 作物学
2 篇 文学
- 1 篇 中国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

75 篇 logic programmin...
19 篇 fuzzy logic
18 篇 programming
18 篇 logic gates
16 篇 artificial intel...
15 篇 mathematical log...
14 篇 inductive logic ...
12 篇 logics and meani...
11 篇 software enginee...
11 篇 logic
11 篇 programming tech...
9 篇 computer science
8 篇 integer programm...
8 篇 semantics
7 篇 computer circuit...
7 篇 linear programmi...
7 篇 answer set progr...
7 篇 dynamic programm...
6 篇 languages
6 篇 computer archite...

机构

3 篇 univ potsdam pot...
3 篇 univ calabria di...
2 篇 brandeis univ wa...
2 篇 simon fraser uni...
2 篇 katholieke univ ...
2 篇 univ copenhagen ...
2 篇 katholieke univ ...
2 篇 ku leuven depart...
2 篇 department infor...
2 篇 vienna technol u...
2 篇 univ castilla la...
2 篇 carnegie mellon ...
2 篇 univ aarhus daim...
2 篇 at&t bell lab mu...
2 篇 natl univ irelan...
2 篇 natl inst inform...
2 篇 univ castilla la...
2 篇 univ nova lisboa...
2 篇 australian natl ...
2 篇 department of el...

作者

5 篇 gebser martin
5 篇 schaub torsten
4 篇 inoue katsumi
3 篇 nickles matthias
3 篇 fink michael
3 篇 schuller peter
2 篇 mileo alessandra
2 篇 mairson harry g.
2 篇 goncalves ricard...
2 篇 kung-kiu lau
2 篇 soria jose
2 篇 de raedt luc
2 篇 boustia narhimen...
2 篇 j.r. romero
2 篇 a. vallecillo
2 篇 woltran stefan
2 篇 lifschitz vladim...
2 篇 ferilli stefano
2 篇 sighireanu mihae...
2 篇 p. flener

语言

380 篇 英文
3 篇 其他
1 篇 西班牙文
1 篇 中文

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

共 385 条记录，以下是221-230 订阅

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

详细简洁

排序：

Fuzzy linear programming for capacity planning in optical networks

Fuzzy linear programming for capacity planning in optical ne...

引用

international conference on Transparent Optical Networks

作者： Yousef S. Kavian Ridha Rejeb Otto Strobel Faculty of Engineering Shahid Chamran University Ahvaz Iran Institute for Advanced Engineering and Research Germany Esslingen University of Applied Sciences Germany

ISBN: (纸本)9781424477999

Capacity planning is a challenging issue for designing next generation optical core networks. this paper presents a fuzzy linear programming (FLP) approach for capacity planning in optical networks under long-term demand uncertainty where the information of traffic loads is imprecise by nature. the simplicity of fuzzy logic is integrated with linear programming for capacity planning in optical backbones. the uncertainties in demand matrix are represented by membership functions using a-cut concept to provide a mathematical framework for dealing with non statistical uncertainties. the proposed approach offers the ability of consideration all conditions for decision making in optical networks. Simulation results show the efficiency of fuzzy linear programming method for capacity planning in optical networks. the proposed approach could be extended for considering other uncertainty sources in capacity planning problem of optical networks such as objective function and constraints.

关键词： Linear programming Capacity planning Optical fiber networks Uncertainty Optical design Next generation networking Telecommunication traffic Fuzzy logic Integrated optics Spine

来源：评论

学校读者我要写书评

暂无评论

Research of neuro-fuzzy-based hybrid efficiency optimization control of inductive motor

Research of neuro-fuzzy-based hybrid efficiency optimization...

引用

12th international conference on Electrical Machines and Systems, ICEMS 2009

作者： Dongmei, Xie Shenyang Institute of Engineering Daoyi Development District Zhengyi 3 Road 18 Shenyang China

ISBN: (纸本)9784886860675

the efficiency of inductive motor can obtain the maximum value in the rating working condition, but will decrease obviously in the light load status. A method in the efficiency optimizing of inductive motor is introduced in this paper. In the vector controlled inductive motor system, a hybrid energy saving control method is put forward. In this method, neural network, fuzzy logic and Rosenbrock searching algorithm are combined in one system. Compared with the performance of using these algorithms separately, some problems such as torque variation, local optimization and system divergence can be solved partly in this method. the simulation results show that the system achieves high efficiency operation by using the proposed method, when the load is changed. the energy saving target is obtained.

关键词： Energy conservation

来源：评论

学校读者我要写书评

暂无评论

On the Completeness of Dynamic logic 1

引用

12th international conference on Foundations of Software Science and Computational Structures held at Joint European conference on theory and Practice

作者： Leivant, Daniel Indiana Univ Dept Comp Sci Bloomington IN 47405 USA

ISBN: (数字)9783642005961

ISBN: (纸本)9783642005954

the impossibility of semantically complete deductive calculi for logics for imperative programs has led to the study of two alternative approaches to completeness: "local" semantic completeness on the one hand (Cook's relative completeness, Harel's Arithmetical completeness), and completeness with respect to other forms of reasoning about programs. on the other. However, local semantic completeness is problematic on several counts, whereas proof theoretic completeness results often involve ad hoc ingredients. Such as formal theories for the natural numbers. the notion of inductive completeness, introduced in [18]. provides a generic proof theoretic framework which dispenses with extraneous ingredients. and yields local semantic completeness as a corollary. Here we prove that (first-order) Dynamic logic tor regular programs (DL) is inductively complete: a DL-formula phi is provable in (the first-order variant of) Pratt-Segerberg deductive calculus DL iff phi, is provable in first-order logic from the inductive theory for program semantics. the method can be adapted to yield the schematic relative completeness of DL: if S is in expressive Structure, then every formula true in S is provable from the axiom-schemas that are valid in S. Harel's Completeness theorem falls out then as a special case.

关键词： Dynamic logic inductive completeness relative completeness arithmetical completeness

来源：评论

学校读者我要写书评

暂无评论

RBAC-based secure interoperation using constraint logic programming

RBAC-based secure interoperation using constraint logic prog...

引用

7th IEEE/IFIP international conference on Embedded and Ubiquitous Computing, EUC 2009

作者： Hu, Jinwei Li, Ruixuan Lu, Zhengding College of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

ISBN: (纸本)9780769538235

Secure interoperation is an increasingly important issue for large-scale enterprise applications. In this paper, we investigate, through constraint logic programming (CLP), secure interoperation in collaborating environments which employ Role-Based Access Control (RBAC) policies. In particular, we propose two types of interoperation, permission-based and the role-based secure interoperation, both formulated in CLP. Since a wide range of conflicts that may arise during interoperation, we also present corresponding rules for conflict resolution. By allowing permission-based and role-based interoperation, our framework enables flexible secure interoperation configuration. the proposed permission-based and the role-based secure interoperation are a pair of complementary approaches. With specification of secure interoperation in CLP, formal analysis and reasoning can be performed on RBAC-based secure interoperation. © 2009 IEEE.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Fault Detection and Identification in a Fuel Cell System

Fault Detection and Identification in a Fuel Cell System

引用

12th international conference of the Catalan-Association-for-Artificial-Intelligence (CCIA)

作者： Escobet, Antoni Nebot, Angela Tech Univ Catalonia UPC Dept LSI Barcelona Spain Tech Univ Catalonia UPC Dept ESAII Barcelona Spain

ISBN: (纸本)9781607504658;9781607500612

In this work a fault diagnosis system for non-linear plants based on fuzzy logic, called VisualBlock-FIR, is presented and applied to an energy generation system based on fuel cells. VisualBlock-FIR runs under the Simulink framework and enables early fault detection and identification. During fault detection, the fault diagnosis system should recognize that the system is not working properly. During fault identification, it should conclude which type of failure has occurred. the diagnosis results for some of the most frequent faults in fuel cell systems are presented.

关键词： fault diagnosis system fuel cell system fuzzy logic fuzzy inductive reasoning

来源：评论

学校读者我要写书评

暂无评论

Drugs and Drug-Like Compounds: Discriminating Approved Pharmaceuticals from Screening-Library Compounds

Drugs and Drug-Like Compounds: Discriminating Approved Pharm...

引用

4th international conference Pattern Recognition in Bioinformatics

作者： Schierz, Amanda C. King, Ross D. Bournemouth Univ Software Syst Res Grp Poole HouseTalbot Campus Poole BH12 5BB Dorset England Aberystwyth Univ Computat Biol Res Grp Aberystwyth SY23 3DB Dyfed Wales

ISBN: (纸本)9783642040306

Compounds in drug screening-libraries should resemble pharmaceuticals. To operationally test this, we analysed the compounds in terms of known drug-like filters and developed a novel machine learning method to discriminate approved pharmaceuticals from "drug-like" compounds. this method uses both structural features and molecular properties for discrimination. the method has an estimated accuracy of 91% in discriminating between the Maybridge Hit-Finder library and approved pharmaceuticals, and 99% between the NATDiverse collection (from Analyticon Discovery) and approved pharmaceuticals. these results show that Lipinski's Rule of 5 for oral absorption is not Sufficient to describe "drug-likeness" and be the main basis of screening-library design.

关键词： inductive logic programming drug-likeness machine learning Rule of 5 compound screening library

来源：评论

学校读者我要写书评

暂无评论

Building a Knowledge Base System for an Integration of logic programming and Classical logic

Building a Knowledge Base System for an Integration of Logic...

引用

24th international conference on logic programming (ICLP)

作者： Denecker, Marc Vennekens, Joost Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium

ISBN: (纸本)9783540899815

this paper presents a Knowledge Base prospect for FO(ID), in extension of classical logic with inductive definitions. this logic is a natural integration of classical logic and logic programming based on the view of a logic program as a definition. We discuss the relationship between inductive definitions and common sense reasoning and the strong similarities mid striking differences with ASP and Abductive LP. We report on inference systems that combine state-of-the-art techniques of SAT and ASP. Experiments show that FO(ID) model expansion systems are competitive with the best ASP-solvers.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Learning relational options for inductive transfer in relational reinforcement learning

引用

Joint conference of the 17th international conference on inductive logic programming/24th international conference on Machine Learning

作者： Croonenborghs, Tom Driessens, Kurt Bruynooghe, Maurice Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium

ISBN: (纸本)9783540784685

In reinforcement learning problems, an agent has the task of learning a good or optimal strategy from interaction with his environment. At the start of the learning task, the agent usually has very little information. therefore, when faced with complex problems that have a large state space, learning a good strategy might be infeasible or too slow to work in practice. One way to overcome this problem, is the use of guidance to supply the agent with traces of "reasonable policies". However, in a lot of cases it will be hard for the user to supply such a policy. In this paper, we will investigate the use of transfer learning in Relational Reinforcement Learning. the goal of transfer learning is to accelerate learning on a target task after training on a different, but related, source task. More specifically, we introduce an extension of the options framework to the relational setting and show how one can learn skills that can be transferred across similar, but different domains. We present experiments showing the possible benefits of using relational options for transfer learning.

关键词： relational reinforcement learning transfer learning options

来源：评论

学校读者我要写书评

暂无评论

Characterisation of harmony with inductive logic programming

Characterisation of harmony with inductive logic programming

引用

9th international conference on Music Information Retrieval, ISMIR 2008

作者： Anglade, Amélie Dixon, Simon Queen Mary University of London Centre for Digital Music United Kingdom

ISBN: (纸本)9780615248493

We present an approach for the automatic characterisation of the harmony of song sets making use of relational induction of logical rules. We analyse manually annotated chord data available in RDF and interlinked with web identifiers for chords which themselves give access to the root, bass, component intervals of the chords. We pre-process these data to obtain high-level information such as chord category, degree and intervals between chords before passing them to an inductive logic programming software which extracts the harmony rules underlying them. this framework is tested over the Beatles songs and the Real Book songs. It generates a total over several experiments of 12,450 harmony rules characterising and differentiating the Real Book (jazz) songs and the Beatles' (pop) music. Encouragingly, a preliminary analysis of the most common rules reveals a list of well-known pop and jazz patterns that could be completed by a more in depth analysis of the other rules.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

A system to maintain knowledge bases of intelligent agents in DLV's weak constraints

A system to maintain knowledge bases of intelligent agents i...

引用

12th IASTED international conference on Artificial Intelligence and Soft Computing, ASC 2008

作者： Acosta Guadarrama, J.C. Institute of Computer Science TU-Clausthal Germany

ISBN: (纸本)9780889867550

Updating agents' knowledge bases is an important topic in Artificial Intelligence and a key problem of knowledge representation and reasoning. One of the latest ideas to update logic programs is to use abduction by means of Minimal Generalised Answer Sets (MGAS). MGAS provide a more general and flexible semantics than standard ASP , and we propose it to overcome disadvantages of previous approaches as well as to simplify both the semantics definition and its implementation. Moreover, the author provides a link to a modest online prototype of the semantics here introduced. this prototype models updates in a well-known Disjunctive Datalog, DLV, which is an implementation (solver) for Answer Set programming. Accordingly, the two-fold contribution of this paper is showing a simpler theoretical framework characterised in DLV's weak constraints, as well as an outline of the basic structure of its implementation, description of the employed technology.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共39页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：