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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Power Management in Cluster-Based Energy-Harvesting Sensor Networks through Dynamic Modulation Scaling 17

Power Management in Cluster-Based Energy-Harvesting Sensor N...

引用

2015 IEEE 17th international conference on High Performance Computing and Communications (HPCC)

作者： Bandari, Maryam Simon, Robert Aydin, Hakan George Mason Univ Dept Comp Sci Fairfax VA 22030 USA

ISBN: (纸本)9781479989379

this paper considers real-time cluster-based wireless sensor networks where the nodes harvest energy from the environment. We target performance sensitive applications that have to collectively send their information to cluster head by a predefined deadline, such as in distributed real-time monitoring and detection. the nodes are equipped with Dynamic Modulation Scaling (DMS) capable wireless radios. the problem is to determine the time slots and modulation levels that will be used by each node while communicating with the cluster-head in order to achieve energy-neutral (perpetual) operation and maximize energy reserves. We propose a solution that adjusts underlying TDMA slots to enable high-energy nodes to transmit faster and thus produce larger slack for low-energy nodes, while meeting the performance constraint. We present an optimal mixed integer programming based solution. We also develop fast heuristics that are shown to provide approximate solutions through comprehensive experiments with actual solar energy harvesting profiles.

关键词： energy harvesting integer programming modulation pattern clustering telecommunication power management wireless sensor networks DMS TDMA cluster-based energy-harvesting wireless sensor network dynamic modulation scaling energy-neutral operation optimal mixed integer programming power management solar energy harvesting profile wireless radio Batteries Energy harvesting logic gates Modulation Real-time systems Wireless communication Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Verification of Data Aware Business Process Models: A Methodological Survey of Research Results and Challenges 12

引用

12th international Symposium on Distributed Computing and Artificial Intelligence (DCAI 2015)

作者： Dell'Aversana, Raffaele Univ G dAnnunzio Sch Adv Studies G DAnnunzio Chieti Ch Italy

ISBN: (纸本)9783319196381;9783319196374

Business Process Management is a discipline that gives a systematic approach to the development of more efficient and effective organizations, enabling quick adaptation to the changes of the business environment. For this reason modeling languages such as BPMN [1] have a wide adoption in modern organizations. Such modeling languages are used for the design and reengineering of Business Processes and have the advantage of having a representation that is not only easy to understand by all the stakeholders but also machine processable. However any executable model of a business process could contain potential problems (just like any computer software), so there are several research branches focused on formal verification of the models. the verification is not limited to check the correctness of the model but also to verify properties of the model, such as conformance to business rules. this short paper presents a survey of recent approaches to verification of data-aware business process models and identifies a range of open research challenges.

关键词： business process re-engineering business process modeling formal verification static verification logic programming

来源：评论

学校读者我要写书评

暂无评论

Optimized and parallel query processing in similarity-based databases 12th

Optimized and parallel query processing in similarity-based ...

引用

12th international conference on Modeling Decisions for Artificial Intelligence, MDAI 2015

作者： Krajča, Petr Department of Computer Science Palacky University Olomouc 17. Listopadu 12 Olomouc77146 Czech Republic

ISBN: (纸本)9783319232393

We present a novel method of query execution in similarity based databases which adopts techniques commonly used in traditional programming language compilers. Our method is based on decomposition of relational algebra operators into a small set of simple operations which are subject of further optimizations. It shows up that with a small set of optimizations rules our system itself is able to infer efficient algorithms for data processing. Furthermore, operations we propose are compatible with the map/reduce approach to data processing, and thus, allows for implicitly parallel or distributed data processing. © Springer international Publishing Switzerland 2015.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A Planning-Based Service Composition Approach for Data-Centric Workflows 12

A Planning-Based Service Composition Approach for Data-Centr...

引用

12th international conference on Service-Oriented Computing (ICSOC)

作者： Lopez-Enriquez, Carlos-Manuel Cuevas-Vicenttin, Victor Vargas-Solar, Genoveva Collet, Christine Zechinelli-Martini, Jose-Luis CNRS Paris France Grenoble Inst Technol F-38402 St Martin Dheres France Univ Popular Autonoma Estado Puebla Puebla 72410 Puebla Mexico Univ Amer Puebla San Andres Cholula Puebl 72820 Mexico

ISBN: (纸本)9783319228853;9783319228853

this paper presents a planning-based approach for the enumeration of alternative data-centric workflows specified in ASASEL (Abstract State mAchineS Execution Language), which define the coordination of data and computation services for satisfying data requirements. the optimization of data-centric workflows is associated to the exploration of the parallelization of the workflow activities. We address the exploration of parallelism formalizing the enumeration problem in the DLV-K language. Together, our ASASEL language and enactment engine along with our enumeration approach provide the foundation for a highly flexible mechanism for managing data-centric workflows.

关键词： Workflows Services Answer set planning logic programming

来源：评论

学校读者我要写书评

暂无评论

Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning 12th

Spatial Symmetry Driven Pruning Strategies for Efficient Dec...

引用

12th international conference on Spatial Information theory (COSIT)

作者： Schultz, Carl Bhatt, Mehul Univ Munster Inst Geoinformat D-48149 Munster Germany Univ Bremen Dept Comp Sci D-28359 Bremen Germany DesignSpace Grp Bremen Germany

ISBN: (纸本)9783319233741;9783319233734

Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning within standard knowledge representation and reasoning (KR) based methods (e. g., logic programming and derivatives). One approach for encoding the semantics of spatial relations within a declarative programming framework is by systems of polynomial constraints. However, solving such constraints is computationally intractable in general (i. e. the theory of real-closed fields). We present a new algorithm, implemented within the declarative spatial reasoning system CLP(QS), that drastically improves the performance of deciding the consistency of spatial constraint graphs over conventional polynomial encodings. We develop pruning strategies founded on spatial symmetries that form equivalence classes (based on affine transformations) at the qualitative spatial level. Moreover, pruning strategies are themselves formalised as knowledge about the properties of space and spatial symmetries. We evaluate our algorithm using a range of benchmarks in the class of contact problems, and proofs in mereology and geometry. the empirical results show that CLP(QS) with knowledge-based spatial pruning outperforms conventional polynomial encodings by orders of magnitude, and can thus be applied to problems that are otherwise unsolvable in practice.

关键词： Declarative spatial reasoning Geometric reasoning logic programming Knowledge representation and reasoning

来源：评论

学校读者我要写书评

暂无评论

Robots avoid potential failures through experience-based probabilistic planning

Robots avoid potential failures through experience-based pro...

引用

international conference on Informatics in Control, Automation and Robotics (ICINCO)

作者： Melis Kapotoglu Cagatay Koc Sanem Sariel Artificial Intelligence and Robotics Laboratory Istanbul Technical University Istanbul Turkey

Robots should avoid potential failure situations to safely execute their actions and to improve their performances. For this purpose, they need to build and use their experience online. We propose online learning-guided planning methods to address this problem. Our method includes an experiential learning process using inductive logic programming (ILP) and a probabilistic planning framework that uses the experience gained by learning for improving task execution performance. We analyze our solution on a case study with an autonomous mobile robot in a multi-object manipulation domain where the objective is maximizing the number of collected objects while avoiding potential failures using experience. Our results indicate that the robot using our adaptive planning strategy ensures safety in task execution and reduces the number of potential failures.

关键词： Planning Robot sensing systems Probabilistic logic Context Monitoring

来源：评论

学校读者我要写书评

暂无评论

IMPROVED ELECTION OF CLUSTER HEADS IN LEACH

IMPROVED ELECTION OF CLUSTER HEADS IN LEACH

引用

IEEE/ACS international conference on Computer Systems and Applications

作者： Chaima Bejaoui Alexandre Guitton Abdennaceur Kachouri Sfax University National School of Engineers of Sfax Road Soukra km 4 - 3038 Tunisia

ISBN: (纸本)9781509004799

Wireless Sensor Networks (WSNs) are a promising technology to monitor distant or inaccessible areas. As nodes have a limited energy supply, many routing protocols are based on a clustering mechanism: some nodes are elected as cluster heads and have to deal with most of the communication burden of the network, while the other nodes perform only simple operations. In this paper, we propose a new election mechanism with important features: it ensures that all nodes are in range of a cluster head while keeping the number of cluster heads low, it takes into account the residual energy of nodes, and it requires a small communication overhead. We compare the performance of our election mechanism with an optimal election, as well as with the election mechanism of LEACH, which is the main clustering algorithm for WSNs.

关键词： ILP LEACH WSN clustering leaching Wireless sensor networks inductive logic programming WSN gene Ganglia cluster head Head Cluster Analysis residual energy of node Routing protocols Residual energy

来源：评论

学校读者我要写书评

暂无评论

Stochastic multiple objective electric Generation Expansion Planning

Stochastic multiple objective electric Generation Expansion ...

引用

international conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON

作者： David W. Coit Saltuk Selcuklu Nida Chatwattanasiri Naruemon Wattanapongsakorn Department of Industrial and Systems Engineering Rutgers The State University of New Jersey Piscataway USA Computer Engineering Department KMUTT Bangkok Thailand

the Generation Expansion Planning (GEP) problem applies to the expansion of the electricity generation network with new power plant investments. It is a multi-objective optimization problem where the level of uncertainty is very high because of its spatial dimensions and time scale. therefore, it becomes necessary to introduce in the decision making process a systematic treatment of uncertainty to select the set of non-dominated solutions for the Pareto optimal set. In this paper, we will investigate probabilistic Pareto optimality where the probability that one expectedly non-dominated solution dominates another expectedly non-dominated solution in the Pareto optimal set is calculated.

关键词： Uncertainty Linear programming Mathematical model Probabilistic logic Stochastic processes Production Planning

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy logic Model for Predicting the Development Schedule of Software Projects

A Fuzzy Logic Model for Predicting the Development Schedule ...

引用

international conference on Information Technology: New Generations (ITNG)

作者： Cuauhtémoc López-Martín Arturo Chavoya Maria Elena Meda-Campaña Information Systems Department Universidad de Guadalajara Guadalajara Jalisco Mexico

the development schedule of software projects is mainly measured in months and it is a necessary and important phase, since the under prediction or over prediction of it at the planning stage can negatively impact budgets. Unfortunately, only 39 percent of software projects finish on time relative to their original plan. According to its development type, a software project can be classified as new, enhanced, or a re-development. In this study, a Fuzzy logic Model (FLM) for predicting the schedule of new development software projects is proposed. the hypothesis to be tested is that the accuracy of schedule prediction for an FLM is statistically better than the accuracy obtained from a simple linear regression (SLR) model when adjusted function points, obtained from new development software projects, are used as the independent variable. the FLM and SLR models were trained and tested using a sample of new software projects obtained from the international Software Benchmarking Standards Group (ISBSG) Release 11. the accuracy of the FLM was compared against that of the SLR model. the criteria for evaluating the accuracy of these two models were the Absolute Residuals and a Wilcox on statistical test. Results showed that prediction accuracy of an FLM was statistically better than that of an SLR model at the 95% confidence level. We can conclude that an FLM could be applied for predicting the schedule of new development software projects developed on mainframes and coded in third generation programming languages.

关键词： Schedules Software Accuracy Predictive models Fuzzy logic Data models Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Power Management in Cluster-Based Energy-Harvesting Sensor Networks through Dynamic Modulation Scaling

Power Management in Cluster-Based Energy-Harvesting Sensor N...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Maryam Bandari Robert Simon Hakan Aydin Department of Computer Science George Mason University Fairfax VA

this paper considers real-time cluster-based wireless sensor networks where the nodes harvest energy from the environment. We target performance sensitive applications that have to collectively send their information to cluster head by a predefined deadline, such as in distributed real-time monitoring and detection. the nodes are equipped with Dynamic Modulation Scaling (DMS) capable wireless radios. the problem is to determine the time slots and modulation levels that will be used by each node while communicating with the cluster-head in order to achieve energy-neutral (perpetual) operation and maximize energy reserves. We propose a solution that adjusts underlying TDMA slots that enables high energy nodes to compensate by transmitting faster producing larger slack for dark nodes, while meeting the performance constraint. We present an optimal mixed integer linear programming based solution. We also develop fast heuristics that are shown to provide approximate solutions through comprehensive experiments with actual solar energy harvesting profiles.

关键词： Modulation Wireless sensor networks Energy harvesting logic gates Wireless communication Batteries Real-time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共39页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：