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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Trade-offs between risk-neutral and risk-averse decision making for the design of distributed energy systems under uncertainty 30

Trade-offs between risk-neutral and risk-averse decision mak...

引用

30th international conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems, ECOS 2017

作者： Mavromatidis, Georgios Orehounig, Kristina Carmeliet, Jan Chair of Building Physics ETH Zurich Switzerland Laboratory for Urban Energy Systems Empa Duebendorf Switzerland Laboratory for Multiscale Studies in Building Physics Empa Duebendorf Switzerland

the design process of distributed energy systems (DES) is affected by uncertainty, which if overlooked can render design decisions suboptimal. In this work, the design task of a cost-optimal DES for a Swiss urban neighbourhood is investigated, considering uncertainty in building energy demands, solar radiation and energy carrier prices. For this, a two-stage stochastic programming model is presented that splits decisions in two stages: the first stage includes DES design decisions regarding the technologies that will compose the system, which need to be made before the uncertain parameters become known. In the second stage, decisions related to the optimal DES operation are made for a range of possible scenarios regarding the uncertain parameters. By minimising the sum of the first-stage and the average second-stage cost, risk-neutral design decisions are made as less focus is placed on extreme scenarios that can potentially incur very high costs. therefore, to introduce risk-aversion in DES design an additional formulation is presented that minimises the Conditional-Value-at-Risk (CVaR), which represents the average cost of the extreme scenarios in the ath-quantile of the scenario-cost distribution. the resulting risk-neutral and risk-averse DES designs for the Swiss neighbourhood are then contrasted and their economic performance is analysed. © 2017 IMEKO

关键词： Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

Knowledge Management Based on Expert Systems 30

Knowledge Management Based on Expert Systems

引用

30th international Business-Information-Management-Association conference

作者： Braicu, Cezar Bucea-Manea-Tonis, Radu Bucea-Manea-Tonis, Rocsana Hyperion Univ Bucharest Romania Spiru Haret Univ Bucharest Romania

ISBN: (纸本)9780986041990

Knowledge management rests on information systems such as Decision Support Systems (DSS) and Expert Systems (ES). this paper focuses on ES, described as formal systems based on Well Formed Formulas (WFF), axioms and inference rules. the basic axioms gathers explicit codified knowledge like regulations, codes, processes, copyrights and patents into a knowledge database, the first component of the ES. the valid well formed inference rules are evaluated by forward chaining (if...then patterns) by the inference engine, the second ES component. those two united components forms a deductive apparatus fueled by the organization intellectual capital.

关键词： knowledge management expert systems predicate logic rules of inference well formed formula

来源：评论

学校读者我要写书评

暂无评论

An integer linear programming model for binary knapsack problem with dependent item values 30th

An integer linear programming model for binary knapsack prob...

引用

30th Australasian Joint conference on Artificial Intelligence, AI 2017

作者： Mougouei, Davoud Powers, David M. W. Moeini, Asghar School of Computer Science Engineering and Mathematics Flinders University Adelaide Australia

ISBN: (纸本)9783319630038

Binary Knapsack Problem (BKP) is to select a subset of items with the highest value while keeping the size within the capacity of the knapsack. this paper presents an Integer Linear programming (ILP) model for a variation of BKP where the value of an item may depend on presence or absence of other items in the knapsack. Strengths of such Value-Related Dependencies are assumed to be imprecise and hard to specify. To capture this imprecision, we have proposed modeling value-related dependencies using fuzzy graphs and their algebraic structure. We have demonstrated through simulations that our proposed ILP model is scalable to large number of items. © Springer international Publishing AG 2017.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Graphical Representations of Multiple Agent Preferences 30th

Graphical Representations of Multiple Agent Preferences

引用

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

作者： Ben Amor, Nahla Dubois, Didier Gouider, Hela Prade, Henri Univ Tunis LARODEC Tunis Tunisia Univ Toulouse IRIT Toulouse France Univ Technol QCIS Sydney NSW Australia

ISBN: (纸本)9783319600451;9783319600444

A multiple-agent logic, which associates subsets of agents to logical formulas, has been recently proposed. the paper presents a graphical counterpart of this logic, based on a multiple agent version of possibilistic conditioning, and applies it to preference modeling. First, preferences of agents are supposed to be all or nothing. We discuss how one can move from the network to the logic representation and viceversa. the new representation enables us to focus on networks associated to subsets of agents, and to identify inconsistent agents, or conflicting subsets of agents. the question of optimization and dominance queries is discussed. Finally, the paper outlines an extension where gradual preferences are handled.

关键词： Possibilistic network Multiple agent logic Preferences

来源：评论

学校读者我要写书评

暂无评论

State of Mutation Testing at Google

State of Mutation Testing at Google

引用

IEEE/ACM international conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP)

作者： Goran Petrovic Marko Ivankovic Google Inc.

Mutation testing assesses test suite efficacy by inserting small faults into programs and measuring the ability of the test suite to detect them. It is widely considered the strongest test criterion in terms of finding the most faults and it subsumes a number of other coverage criteria. Traditional mutation analysis is computationally prohibitive which hinders its adoption as an industry standard. In order to alleviate the computational issues, we present a diff-based probabilistic approach to mutation analysis that drastically reduces the number of mutants by omitting lines of code without statement coverage and lines that are determined to be uninteresting - we dub these arid lines . Furthermore, by reducing the number of mutants and carefully selecting only the most interesting ones we make it easier for humans to understand and evaluate the result of mutation analysis. We propose a heuristic for judging whether a node is arid or not, conditioned on the programming language. We focus on a code-review based approach and consider the effects of surfacing mutation results on developer attention. the described system is used by 6,000 engineers in Google on all code changes they author or review, affecting in total more than 13,000 code authors as part of the mandatory code review process. the system processes about 30% of all diffs across Google that have statement coverage calculated. About 15% of coverage statement calculations fail across Google.

关键词： Google Testing Tools Compounds Computer languages Probabilistic logic Syntactics

来源：评论

学校读者我要写书评

暂无评论

Extracting rules for successful conditions for artificial insemination in dairy cattle using inductive logic programming 2017

Extracting rules for successful conditions for artificial in...

引用

9th international conference on Machine Learning and Computing, ICMLC 2017

作者： Matsumoto, Atsushi Kubota, Chikara Ohwada, Hayato Department of Industrial Administration Faculty of Science and Technology Tokyo University of Science 2641 Yamazaki Noda Chiba278-8510 Japan Joint Faculty of Veterinary Medicine Laboratory of Theriogenology Kagoshima University 1-24-24 Korimoto Kagoshima Kagoshima890-0065 Japan

ISBN: (纸本)9781450348171

this paper describes a method of pattern extraction to identify successful conditions for artificial insemination in dairy cattle using inductive logic programming. the fertility of lactating dairy cows is economically important but the mean reproductive performance of Holstein cows has declined during the past three decades. the Milk production increases after birth and gradually decreases after several weeks, but it increases again upon the next birth. Increasing the probability of successful artificial insemination is thus economically important. However the success rate of artificial insemination is 20 to 30 %. the amount of progesterone is closely related to the estrus cycle, and can be measured from raw milk. In this study, we extracted variation pattern from time-series data related to dairy cattle including the amount of progesterone using ILP. the success pattern or failure patterns for artificial insemination extracted by the ILP system can be used for decision making on artificial insemination. © 2017 ACM.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

On the Use of WalkSAT Based Algorithms for MLN Inference in Some Realistic Applications 30th

On the Use of WalkSAT Based Algorithms for MLN Inference in ...

引用

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

作者： Rince, Romain Kervarc, Romain Leray, Philippe Off Natl Etud & Rech Aerosp Palaiseau France Univ Nantes LS2N UMR CNRS 6004 Nantes France

ISBN: (纸本)9783319600451;9783319600444

WalkSAT is a local search algorithm conceived for solving SAT problems, which is also used for sampling possible worlds from a logical formula. this algorithm is used by Markov logic Networks to perform slice sampling and give probabilities from a knowledge base defined with soft and hard constraints. In this paper, we will show that local search strategies, such as WalkSAT, may perform as poorly as a pure random walk on a category of problems that are quite common in industrial fields. We will also give some insights into the reasons that make random search algorithms intractable for these problems.

关键词： Complex event processing Local search SAT solver Markov logic Network WalkSAT Chronicles First-order logic Temporal logic

来源：评论

学校读者我要写书评

暂无评论

A Dynamic logic Framework for Abstract Argumentation: Adding and Removing Arguments 30th

A Dynamic Logic Framework for Abstract Argumentation: Adding...

引用

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

作者： Doutre, Sylvie Maffre, Faustine McBurney, Peter Univ Toulouse 1 Capitole IRIT Toulouse France Kings Coll London London England

ISBN: (纸本)9783319600451;9783319600444

A dynamic framework, based on the Dynamic logic of Propositional Assignments (DL-PA), has recently been proposed for Dung's abstract argument system. this framework allows the addition and the removal of attacks, and the modification of the acceptance status of arguments. We here extend this framework in order to capture the addition and the removal of arguments. We then apply the framework on an access control case, where an agent engages in an argued dialogue to access some information controlled by another agent.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Balacing Between Comprehensibilty and Accuracy for Credit Risk Assessment Using GP 30

Balacing Between Comprehensibilty and Accuracy for Credit Ri...

引用

30th international Business-Information-Management-Association conference

作者： Gasmi, Ines Smiti, Salima Soui, Makram Ghedira, Khaled Univ Manouba Manouba Tunisia Univ Gabes Gabes Tunisia Univ Tunis Tunis Tunisia

ISBN: (纸本)9780986041990

Credit risk is considered as one of the important issues for financial institutions. It provokes great losses for banks. To this objective, numerous methods for credit risk evaluation have been proposed. Many evaluation methods are black box models that cannot adequately reveal information hidden in the data. However, several works have focused on building transparent rules-based models. For credit risk assessment, generated rules must be not only highly accurate, but also highly interpretable. In this paper, we aim to build both, an accurate and transparent credit risk evaluation model which proposes a set of classification rules. In fact, we consider the credit risk evaluation as an optimization problem which uses a genetic programming (GP) algorithm, where the goal is to maximize the accuracy of generated rules. We evaluate our proposed approach on the base of German and Australian credit datasets. We compared our finding with some existing works;the result shows that the proposed GP outperforms the other models.

关键词： Credit risk assessment rule generation genetic programming feature selection

来源：评论

学校读者我要写书评

暂无评论

An Overall Analysis on the Implementation of European Funds in Romania 30

An Overall Analysis on the Implementation of European Funds ...

引用

30th international Business-Information-Management-Association conference

作者： Cosmulese, Cristina-Gabriela Ciubotariu, Marius Stefan Cel Mare Univ Suceava Suceava Romania

ISBN: (纸本)9780986041990

Article addresses the issue of the EU funds approved after Romania joined the European Union, highlighting with a technical analysis from the first programming period 2007-2013, but also for the period 2014-2020, their direct applicability to their degree of absorption (Structural and Cohesion Funds) in Romania. the Structural Funds are implemented through five Sectoral Operational Programs (SOP, respectively FUR 4.5 bilion -for transport, EUR 3.4 bilion - for human resources development, FUR 2.5 bilion - to increase economic competitiveness, EUR 208 million - for Development of administrative capacity, EUR 4.5 billion - for the environment), a regional development program (ROP, respectively EUR 3.7 billion) and a technical assistance program (EUR 170 million). After analyzing the degree of absorption of the funds, one can observe a paradox of the public litigation, on the one hand, the sum of the current receipts and the measures taken in the past, and on the other hand,it confirms how slow the European funds are accessed.

关键词： absorption the 2014-2020 programming period smart sustainable development Structural and Cohesion Funds European grants Romania

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：