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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,159 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
26 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,233 篇 英文
13 篇 其他
8 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1254 条记录，以下是551-560 订阅

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

详细简洁

排序：

Predicate abstraction in a program logic calculus

Predicate abstraction in a program logic calculus

引用

7th international conference on Integrated Formal Methods

作者： Weiss, Benjamin Karlsruhe Inst Technol Inst Theoret Comp Sci Karlsruhe Germany

ISBN: (纸本)3642002544

Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. this paper explores a way to integrate predicate abstraction into a calculus for deductive program verification based on symbolic execution, where it allows us to infer loop invariants automatically that would otherwise have to be given interactively. the approach has been implemented as a part of the KeY verification system. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Formal methods Software verification theorem proving Invariant generation Abstract interpretation Predicate abstraction

来源：评论

学校读者我要写书评

暂无评论

A fuzzy programming approach for the strategic design of distribution networks

A fuzzy programming approach for the strategic design of dis...

引用

2011 7th IEEE international conference on Automation Science and Engineering, CASE 2011

作者： Costantino, Nicola Dotoli, Mariagrazia Falagario, Marco Fanti, Maria Pia Mangini, Agostino M. Sciancalepore, Fabio Ukovich, Walter Department of Mechanics and Management Engineering Politecnico di Bari Bari Italy Department of Electrotechnics and Electronics Politecnico di Bari Bari Italy Department of Industrial Engineering and Information Technology University of Trieste Trieste Italy

ISBN: (纸本)9781457717307

the paper addresses the optimal design of the last branch of the supply chain, i.e., the Distribution Network (DN). We extend a deterministic optimization model previously proposed by the authors, using fuzzy numbers and fuzzy logic to take into account uncertainty in the DN model and in the DN design. Hence, a procedure employing digraph modeling and fuzzy mixed integer linear programming is presented to select the optimal DN configuration. To show the method effectiveness, the optimization model is applied to a case study. © 2011 IEEE.

关键词： Electric power distribution

来源：评论

学校读者我要写书评

暂无评论

ECOTRUCK: An Agent System for Paper Recycling 1

引用

12th INNS EANN-SIG international conference (EANN 2011)/7th IFIP 12 5 international conference (AIAI 2011)

作者： Bezirgiannis, Nikolaos Sakellariou, Ilias Univ Utrecht Dept Inf & Comp Sci POB 80-089 NL-3508 TB Utrecht Netherlands Univ Macedonia Dept Appl Informat Thessaloniki 54124 Greece

ISBN: (数字)9783642239601

ISBN: (纸本)9783642239601;9783642239595

Recycling has been gaining ground, thanks to the recent progress made in the related technology. However, a limiting factor to its wide adoption, is the lack of modern tools for managing the collection of recyclable resources. In this paper, we present EcoTruck, a management system for the collection of recyclable paper products. EcoTruck is modelled as a multi-agent system and its implementation employs Erlang, a distribution-oriented declarative language. the system aims to automate communication and cooperation of parties involved in the collection process, as well as optimise vehicle routing. the latter have the effect of minimising vehicle travel distances and subsequently lowering transportation costs. By speeding up the overall recycling process, the system could increase the service throughput, eventually introducing recycling methods to a larger audience.

关键词： Agent Systems Contract-Net Functional logic programming Erlang

来源：评论

学校读者我要写书评

暂无评论

A Simple Abstraction for Complex Concurrent Indexes

A Simple Abstraction for Complex Concurrent Indexes

引用

2th ACM international conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)

作者： Pinto, Pedro da Rocha Dinsdale-Young, thomas Dodds, Mike Gardner, Philippa Wheelhouse, Mark Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England

ISBN: (纸本)9781450309400

Indexes are ubiquitous. Examples include associative arrays, dictionaries, maps and hashes used in applications such as databases, file systems and dynamic languages. Abstractly, a sequential index can be viewed as a partial function from keys to values. Values can be queried by their keys, and the index can be mutated by adding or removing mappings. Whilst appealingly simple, this abstract specification is insufficient for reasoning about indexes accessed concurrently. We present an abstract specification for concurrent indexes. We verify several representative concurrent client applications using our specification, demonstrating that clients can reason abstractly without having to consider specific underlying implementations. Our specification would, however, mean nothing if it were not satisfied by standard implementations of concurrent indexes. We verify that our specification is satisfied by algorithms based on linked lists, hash tables and B-Link trees. the complexity of these algorithms, in particular the B-Link tree algorithm, can be completabely hidden from the client's view by our abstract specification.

关键词： Concurrency Indexes B-Trees Separation logic

来源：评论

学校读者我要写书评

暂无评论

Cut Elimination for Shallow Modal logics

Cut Elimination for Shallow Modal Logics

引用

20th international conference on automated reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

作者： Lellmann, Bjoern Pattinson, Dirk Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9783642221187;9783642221194

Motivated by the fact that nearly all conditional logics are axiomatised by so-called shallow axioms (axioms with modal nesting depth <= 1) we investigate sequent calculi and cut elimination for modal logics of this type. We first provide a generic translation of shallow axioms to (one-sided, unlabelled) sequent rules. the resulting system is complete if we admit pseudo-analytic cut, i.e. cuts on modalised propositional combinations of subformulas, leading to a generic (but sub-optimal) decision procedure. In a next step, we show that, for finite sets of axioms, only a small number of cuts is needed between any two applications of modal rules. More precisely, completeness still holds if we restrict to cuts that form a tree of logarithmic height between any two modal rules. In other words, we obtain a small (PSPACE-computable) representation of an extended rule set for which cut elimination holds. In particular, this entails PSPACE decidability of the underlying logic if contraction is also admissible. this leads to (tight) PSPACE bounds for various conditional logics.

关键词： Biomineralization

来源：评论

学校读者我要写书评

暂无评论

Property specifications for workflow modelling

Property specifications for workflow modelling

引用

7th international conference on Integrated Formal Methods

作者： Wong, Peter Y. H. Gibbons, Jeremy Univ Oxford Comp Lab Oxford OX1 2JD England

ISBN: (纸本)3642002544

Previously we provided two formal behavioural semantics for the Business Process Modelling Notation (BPMN) in the process algebra CSP. By exploiting CSP's refinement orderings, developers may formally compare their BPMN models. However, BPMN is not a specification language, and it is difficult and sometimes impossible to use it to construct behavioural properties against which other BPMN models may be verified. this paper considers a pattern-based approach to expressing behavioural properties. We describe a property specification language PL for capturing a generalisation of Dwyer et al.'s Property Specification Patterns, and present a translation from PL into a bounded, positive fragment of linear temporal logic, which can then be automatically translated into CSP for simple refinement checking. We present a detailed example studying the behavioural properties of an airline ticket reservation business process. Using the same example we also describe some recent results on expressing behavioural compatibility within our semantic models. these results lead to a compositional approach for ensuring deadlock freedom of interacting business processes. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Compatibility CSP Workflow specification Linear temporal logic Property specification patterns Workflow verification

来源：评论

学校读者我要写书评

暂无评论

Histogram Based Color Object Classification by Multi-class Support Vector Machine

Histogram Based Color Object Classification by Multi-class S...

引用

7th international conference on Intelligent Computing (ICIC)

作者： Mumcu, Tarik Veli Aliskan, Ibrahim Gulez, Kayhan Tuna, Gurkan Yildiz Tech Univ TR-34349 Istanbul Turkey Trakiya Univ Vocat Coll Tech Sci Dept Comp Programming Edirne Turkey

ISBN: (纸本)9783642247279

this work presents a histogram based color object classification by SVM for laboratory automation. In the laboratory environment, existing problem is the classification of color objects which is understood as blob like pictures by the system via a camera. this automated system is located at hospitals, blood banks where we introduce the system different blood samples for different research purposes. the blood samples for different research purposes are realized with different colors of tube caps. these caps constitute the main problem here since their images are often blob like pictures. the segmented, multi color cap pictures are investigated in this paper by SVM for color object classification. To validate the performance of the system with SVM method, its output also compared to the other classification methods. In the future work different color spaces will be incorporated with SVM for better color classification.

关键词： Support vector machine (SVM) Color object classification Blob-like feature extraction

来源：评论

学校读者我要写书评

暂无评论

A Probabilistic Latent Factor approach to service ranking

A Probabilistic Latent Factor approach to service ranking

引用

IEEE international conference on Intelligent Computer Communication and Processing (ICCP)

作者： Gilbert Cassar Payam Barnaghi Klaus Moessner Centre for Communication Systems Research University of Surrey Guildford UK

In this paper we investigate the use of probabilistic machine-learning techniques to extract latent factors from semantically enriched service descriptions. the latent factors provide a model to represent service descriptions of any type in vector form. With this conversion, heterogeneous service descriptions can be represented on the same homogeneous plane thus achieving interoperability between different service description technologies. automated service discovery and ranking is achieved by extracting latent factors from queries and representing the queries in vector form. Vector algebra can then be used to match services to the query. this approach is scalable to large service repositories and provides an efficient mechanism for publishing new services after the system is deployed.

关键词： Probabilistic logic Semantics Computational modeling Feature extraction Web services Mathematical model Organizations

来源：评论

学校读者我要写书评

暂无评论

Unmanned vehicle-aided automated meter reading

Unmanned vehicle-aided automated meter reading

引用

international conference on Broadband and Biomedical Communications (IB2Com)

作者： Gurkan Tuna V. Cagri Gungor Kayhan Gulez Department of Computer Programming Trakya University Edirne Turkey Faculty of Engineering Department of Computer Engineering Bahçeşehir University Istanbul Turkey Faculty of Engineering Bahçegehir University Istanbul Turkey Electrical-Electronics Eng. Faculty Yildiz Technical University Istanbul Turkey

this paper presents a novel approach of using unmanned vehicles for automated Meter Reading (AMR) applications in rural areas where there are a few consumers scattered around a wide area. the proposed system does not require a fixed network infrastructure to transfer data to a central database, since data collection is carried out by unmanned vehicles. Compared to traditional meter reading systems, the use of unmanned vehicles for AMR brings several advantages, such as low cost operation, flexibility, and online system management. However, the realization of these potential gains directly depends on reliable communication capabilities of the deployed system and successful navigation of unmanned vehicles. Overall, in this paper, the design principles and challenges of using unmanned vehicles for AMR applications in rural areas have been presented. Also, the communication architecture of the proposed system has been explained and comparative simulation studies have been performed in terms of energy efficiency and navigation accuracy.

关键词： Vehicles Navigation Wireless sensor networks Simultaneous localization and mapping Accuracy Wireless communication

来源：评论

学校读者我要写书评

暂无评论

Building blocks for secure multiparty federated wireless sensor networks

Building blocks for secure multiparty federated wireless sen...

引用

international Wireless Communications and Mobile Computing conference, IWCMC

作者： Christophe Huygens Nelson Matthys Jef Maerien Wouter Joosen Danny Hughes Computer Science Department K.U. Leuven Heverlee Belgium Computer Science and Software Engineering Department Xi'an Jiaotong-Liverpool University Suzhou China

Wireless Sensor Networks are increasingly being deployed in enterprise scenarios involving multiple actors. the capabilities of sensors must be shared across many applications and sensors must cooperate across federations spanning administrative domains. this paper describes our efforts towards constructing federated wireless sensor systems. It leverages and details key building blocks designed to achieve federation and sharing: a component model with distributed event-based communication, a policy-driven control infrastructure for resources and communications, a deployment architecture and a mechanism to establish and propagate trust into the wireless sensor network. the building blocks focus on the specific and necessary in-network extensions, such as extensions to sensor run-time, middleware and programming abstractions, rather than the backend challenges. the combination of the building blocks creates a security middleware that supports multiparty federated sensor networks. An estimate of the total cost of federation in terms of footprint is provided and first experiences of application of the middleware are reported upon.

关键词： Wireless sensor networks Middleware Security Runtime logic gates Engines Peer to peer computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 52 53 54 55 56 57 58 59 60 61 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：