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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

704 篇 工学
- 585 篇 计算机科学与技术...
- 368 篇 软件工程
- 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
63 篇 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,013 篇 英文
25 篇 其他
8 篇 中文
1 篇 法文

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

共 1045 条记录，以下是471-480 订阅

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

详细简洁

排序：

Regular and sufficient bounds of finite domain constraints for skeptical C-inference 30th

Regular and sufficient bounds of finite domain constraints f...

引用

30th international conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017

作者： Beierle, Christoph Kutsch, Steven Department of Computer Science University of Hagen Hagen58084 Germany

ISBN: (纸本)9783319600413

Skeptical c-inference based on a set of conditionals of the form If A then usually B is defined by taking the set of c-representations into account. C-representations are ranking functions induced by impact vectors encoding the conditional impact on each possible world. By setting a bound for the maximal impact value, c-inference can be approximated. We investigate the concepts of regular and sufficient upper bounds for conditional impacts and how they can be employed for implementing c-inference as a finite domain constraint solving problem. © Springer international Publishing AG 2017.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Interval-Based Possibilistic logic in a Coherent Setting 30th

Interval-Based Possibilistic Logic in a Coherent Setting

引用

30th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)

作者： Coletti, Giulianella Petturiti, Davide Vantaggi, Barbara Univ Perugia Dip Matemat & Informat Perugia Italy Univ Perugia Dip Econ Perugia Italy Univ Roma La Sapienza Dip SBAI Rome Italy

ISBN: (纸本)9783319600451;9783319600444

In probability theory the notion of coherence has been introduced by de Finetti in terms of bets and it reveals to be equivalent to the notion of consistence of a partial assessment with a finitely additive probability. An important feature of coherent assessments is their coherent extendibility: in general we obtain a class of coherent extensions, determining a lower and an upper envelope. A similar notion of coherence has been recently introduced for (T-conditional) possibility measures, where T is a t-norm. the extendibility of coherent possibility assessments reveals to be particularly suitable for studying interval-based possibilistic logic. Our aim is to compare the results implied by the coherent setting with those obtained in different approaches, in particular, that relying on classical T-based conditioning.

关键词： Coherence Conditional possibility envelopes Interval-based possibilistic logic

来源：评论

学校读者我要写书评

暂无评论

An argumentative agent-based model of scientific inquiry 30th

An argumentative agent-based model of scientific inquiry

引用

30th international conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017

作者： Borg, Anne Marie Frey, Daniel Šešelja, Dunja Straßer, Christian Institute for Philosophy II Ruhr-University Bochum Bochum Germany Center for Logic and Philosophy of Science Ghent University Ghent Belgium Heidelberg University Heidelberg Germany

ISBN: (纸本)9783319600413

In this paper we present an agent-based model (ABM) of scientific inquiry aimed at investigating how different social networks impact the efficiency of scientists in acquiring knowledge. As such, the ABM is a computational tool for tackling issues in the domain of scientific methodology and science policy. In contrast to existing ABMs of science, our model aims to represent the argumentative dynamics that underlies scientific practice. To this end we employ abstract argumentation theory as the core design feature of the model. © Springer international Publishing AG 2017.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

A new model to implement a SWOT Fuzzy ANP 30th

A new model to implement a SWOT Fuzzy ANP

引用

30th international conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017

作者： Souli, Mounira Badreddine, Ahmed Romdhane, Taieb Ben LISI Institut National des Sciences Appliquées et de Technologie Université de Carthage Centre Urbain Nord BP 676 Tunis1080 Tunisia LARODEC Institut Supérieur de Gestion de Tunis 41 Avenue de la liberté Le Bardo2000 Tunisia

ISBN: (纸本)9783319600413

SWOT (i.e. Strengths, Weaknesses, Opportunities, threats) analysis is considered as an important tool to conduct a strategic planning process by providing an internal and an external context analysis. However, these analyzes are based on the brainstorming of decision makers which may lead to subjectivity problems. therefore, this paper aims to propose a new SWOT analysis model based on the fuzzy analytic network process (ANP) that deals with the subjectivity shortcoming. © Springer international Publishing AG 2017.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Performance Management of Innovation Program at an Industrial Enterprise: An Optimisation Model 30

Performance Management of Innovation Program at an Industria...

引用

30th international Business-Information-Management-Association conference

作者： Nikolova, L. V. Malinin, A. M. Rodionov, D. G. Velikova, M. D. Peter Great St Petersburg Polytech Univ Politekhn Skaya St 29 St Petersburg 195251 Russia St Petersburg State Econ Univ Dept Reg Econ & Nat Management Fed State Budget Educ Inst Higher Educ Sadovaya 29 St Petersburg 191023 Russia Varna Free Univ Chernorizets Hrabar KK Gull 9007 Varna Bulgaria

ISBN: (纸本)9780986041990

At resent, the process of innovative development is best described by the comprehensive systems approach, the one that allows to solve difficult tasks faced by innovative economy. Innovative activity is very risky, so when making decisions on its implementation we have to first carry out a detailed analysis of its efficiency. In this study we propose, work out and describe an optimisation model for performance management of an innovation program at an industrial enterprise, using the dynamic programming methods. this model allows to take into account cash flow changes and permits participation in individual investment projects or shifting their start/completion dates. When building the model, we formalised correlations between individual parameters and constructed an optimisation model for program implementation that comprises three innovation projects. the proposed model can be used for express analysis of an innovation program's performance at an industrial enterprise.

关键词： innovation program optimisation model of management dynamic programming optimality principle NPV's optimality criterion

来源：评论

学校读者我要写书评

暂无评论

Combining Answer Set programming with Description logics for Analogical Reasoning Under an Agent's Preferences 30th

Combining Answer Set Programming with Description Logics for...

引用

30th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)

作者： Racharak, Teeradaj Tojo, Satoshi Nguyen Duy Hung Boonkwan, Prachya Thammasat Univ Sirindhorn Int Inst Technol Sch Informat Comp & Commun Technol Pathum Thani Thailand Japan Adv Inst Sci & Technol Sch Informat Sci Nomi Ishikawa Japan Natl Elect & Comp Technol Ctr Pathum Thani Thailand

ISBN: (纸本)9783319600451;9783319600444

Analogical reasoning makes use of a kind of resemblance of one thing to another for assigning properties from one context to another. this kind of reasoning is used quite often by human beings, especially in unseen situations. the key idea of analogy is to identify a good similarity;however, similarity may be varied on subjective factors (i.e. an agent's preferences). this paper studies an implementation of this phenomena using an answer set programming with Description logics. the main idea underlying the proposed approach lies in the so-called Argument from Analogy developed by Walton [1]. Finally, the paper relates the approach to others and discusses future directions.

关键词： Analogical argumentation Argumentation schemes Argument from analogy Answer set programming Description logics

来源：评论

学校读者我要写书评

暂无评论

Tutorial T10: Memristors: Technology, Circuit Models and Applications

Tutorial T10: Memristors: Technology, Circuit Models and App...

引用

international conference on VLSI Design

作者： Kamalika Datta Indranil Sengupta National Institute of Technology Calicut Calicut Kerala IN

ISBN: (纸本)9781509057412

Summary form only given, as follows. the complete presentation was not made available for publication as part of the conference proceedings. this tutorial would introduce the audience to memristor, which has been referred to as the missing fourth fundamental circuit element after resistor, capacitor and inductor. Memristors have the unique property of change in resistance under voltage control, which is retained even after the voltage is withdrawn. Because of their very small feature size, memristors can be used in ultra-compact memory system design. In addition, they can also be used to implement logic functions, often referred to an inmemory computing. Several interesting applications of memristors have been explored, like implementing threshold logic gates, neural networks, and physically unclonable functions (PUF). the tutorial will discuss memristors fabrication, circuit models, methods for implementing logic functions, and applications like threshold logic and neuromorphic computing.

关键词： Memristors Computer science Tutorials Integrated circuit modeling Voltage control System analysis and design logic functions

来源：评论

学校读者我要写书评

暂无评论

Evaluation of MicroPython as Application Layer programming Language on CubeSats

Evaluation of MicroPython as Application Layer Programming L...

引用

ARCS 2017;30th international conference on Architecture of Computing Systems

作者： Sebastian Plamauer Martin Langer Institute of Astronautics Technical University of Munich

Since the dawn of the space age, software has always been a critical aspect for any space mission launched. Over the decades, more complexity, autonomy and functionality was added to both unmanned and manned missions, yielding in an exponential growth of the lines of codes used in space projects over the years. Although a lot of effort was put into ensuring reliable software on those missions, some of them failed. Still, as the space industry is a risk-averse business, testing of novel approaches in space programs cannot be done on large scale. To overcome this limitation, this paper investigates the potential use of MicroPython, an implementation of Python for constrained systems, for use on CubeSats by analyzing the language and tools in practical examples from the MOVE-II CubeSat project.

关键词： Satellites SmallSat CubeSat Software Computer languages Python MicroPython Computer programming Languages Pythonidae satellites computer software Python astronautic industry space programs Religious Missions application layer computer programs UNMANNED

来源：评论

学校读者我要写书评

暂无评论

Genetic programming for multi-objective test data generation in search based software testing 30th

Genetic programming for multi-objective test data generation...

引用

30th Australasian Joint conference on Artificial Intelligence, AI 2017

作者： Huo, Jiatong Xue, Bing Shang, Lin Zhang, Mengjie Victoria University of Wellington PO Box 600 Wellington6140 New Zealand State Key Laboratory of Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9783319630038

Software testing is an indispensable part in software development to ensure the quality of products. Multi-objective test data generation is a sub-area of search-based software testing, which focuses on automatically generating test data to form high quality test suites. Due to the limited data representation and the lack of specific multi-objective optimization methods, existing approaches have drawbacks in dealing with real-world programs. this paper presents a new approach to multi-objective test data generation problems using genetic programming (GP), while two genetic algorithm (GA) based approaches are also implemented for comparison purposes. Furthermore, three multi-objective optimization frameworks are used and compared to examine the performance of the GP-based methods. Experiments have been conducted on two types of test data generation problems: integer and double. Each consists of 160 benchmark programs with different degrees of nesting. the results suggest that the new GP approaches perform much better than the two GA-based approaches, and a random search baseline algorithm. © Springer international Publishing AG 2017.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of Neuro-Fuzzy controllers for PEM fuel cells

Design and implementation of Neuro-Fuzzy controllers for PEM...

引用

IEEE Canadian conference on Electrical and Computer Engineering

作者： Ali Zilouchian Anucha Saengrung Dept. of Computer Florida Atlantic University Boca Raton FL USA Faculty of Engineering Khon Kaen University Khon Kaen Thailand

Design and implementation of a PEM fuel cell controller presented. the intelligent controller design is based on a neuro-fuzzy algorithm. the implemented system has successfully controlled the air mass flow rates of the fuel cell stack using labview programming. the real-time data shows the effectiveness of the proposed smart controller algorithm.

关键词： fuel cell intelligent control fuzzy logic neural network prediction fuel cell performance ANFIS

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 44 45 46 47 48 49 50 51 52 53 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：