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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是1611-1620 订阅

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

详细简洁

排序：

An Indexed System for Multiplicative Additive Polarized Linear logic

An Indexed System for Multiplicative Additive Polarized Line...

引用

22nd international Workshop on Computer Science logic/17th Annual conference of the European-Association-for-Computer-Science-logic

作者： Hamano, Masahiro Takemura, Ryo Natl Inst Informat Tokyo 1018430 Japan SFC Res Inst Fujisawa Kanagawa 252 8520 Japan Keio Univ Dept Philosophy Tokyo 108 Japan

ISBN: (纸本)9783540875307

We present an indexed logical system MALLP(I) for Laurent's multiplicative additive polarized linear logic (MALLP) [14]. The system is a polarized variant of Bucciarelli-Ehrhard's indexed system for multiplicative additive linear logic [4]. Our system is derived from a web-based instance of Hamano-Scott's denotational semantics [12] for MALLP. The instance is given by an adjoint pair of right and left multipointed relations. In the polarized indexed system, subsets of indexes for I work as syntactical counterparts of families of points in webs. The rules of MALLP(I) describe (in a proof-theoretical manner) the denotational construction of the corresponding rules of MALLP. We show that MALLP(I) faithfully describes a denotational model of MALLP by establishing a correspondence between the provability of indexed formulas and relations that can be extended to (non-indexed) proof-denotations.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

logic programming - 22nd international conference, ICLP 2006, Proceedings

Logic Programming - 22nd International Conference, ICLP 2006...

引用

22nd international conference on logic programming, ICLP 2006

ISBN: (纸本)9783540366355

The proceedings contain 38 papers. The topics discussed include: declarative semantics of production rules for integrity maintenance;a local algorithm for incremental evaluation of tabled logic programs;overlapping rules and logic variables in functional logic programs;reduced certificates for abstraction-carrying code;proving properties of constraint logic programming by eliminating existential variables;cooperating answer set programming;improving the ISO prolog standard by analyzing test results;modeling biological networks by action languages via answer set programming;using answer set programming for the automatic compilation of assessment tests;compositional semantics for the procedural interpretation of logic;conductive logic programming;deductive spreadsheets using tabled logic programming;relaxation of optimized predicates;and semantic property grammars for knowledge extraction from biomedical text.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Taming Existence in RDF Querying

引用

2nd international conference on Web Reasoning and Rule Systems

作者： Bry, Francois Furche, Tim Ley, Clemens Linse, Benedikt Marnette, Bruno Univ Munich Inst Informat Oettingenstr 67 D-80538 Munich Germany Univ Oxford Comp Lab Building Parks Road Oxford OX1 3QD England

ISBN: (纸本)9783540887362

We introduce the recursive, rule-based RDF query language RDFLog. RDFLog extends previous RDF query languages by arbitrary quantifier alternation: blank nodes may occur in the scope of all, some, or none of the universal variables of a rule. In addition RDFLog is aware of important RDF features Such as the distinction between blank nodes, literals and URIs or the RDFS vocabulary. The semantics of RDFLog is closed (every answer is all RDF graph), but lifts RDF's restrictions on literal and blank node occurrences for intermediary data. We show how to define a sound and complete operational semantics that call be implemented using existing logic programming techniques. Using RDFLog we classify previous approaches to RDF qnerying along their support for blank node construction and show equivalence between languages with full quantifier alternation and languages with only for all there exists rules.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Estimation of Possible Reaction States in Metabolic Pathways Using Inductive logic programming

Estimation of Possible Reaction States in Metabolic Pathways...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Yoshitaka Yamamoto Katsumi Inoue Andrei Doncescu Department of Informatics Graduate University of Advanced Studies (SOKENDAI) Chiyoda Tokyo Japan National Institute of Information Chiyoda Tokyo Japan LAAS CNRS Toulouse France

This paper provides a method for estimating states of enzyme reactions in metabolic pathways. We first introduce a new model based on the logical viewpoint of enzyme function. The proposed model logically represents causal relations between concentration changes of metabolites and enzyme activities. When we observe the concentration changes of metabolites, we can assume which enzyme reactions are accelerated under the model. This computation can be realized using inductive logic programming (ILP), which can find a hypothesis that accounts for given observations with a background theory. In this paper, we use CF-induction, which is an ILP technique and has a unique feature that can integrate inductive and abductive inferences. CF-induction can compute not only possible reaction states that can explain the observations, but also general rules that are missing in the current background theory. Then, we perform experiments with simple metabolic pathways, and confirm that CF-induction can both estimate states of reactions and discover new causal rules.

关键词： State estimation logic programming Biochemistry Biological system modeling Acceleration Informatics Systems biology Nonlinear dynamical systems Nonlinear equations Organisms

来源：评论

学校读者我要写书评

暂无评论

Service-aware multi-constrained routing protocol with QoS guarantee based on fuzzy logic

Service-aware multi-constrained routing protocol with QoS gu...

引用

22nd international conference on Advanced Information Networking and Applications Workshops/Symposia, AINA 2008

作者： Jing, Zuo Xuefen, Chi Guan, Lin Hongxia, Li School of Communication Engineering Jilin University China Department of Computer Science Loughborough University United Kingdom

ISBN: (纸本)0769530966

Single-constrained QoS (Quality of Service) routing protocols have inherent shortcomings when they are applied to ad hoc networks. Only considering a single constraint parameter can't always cope with the problems aroused by the uncertainty of ad hoc networks well. This paper proposes a multi-constrained QoS routing protocol based on fuzzy logic. The protocol is service-aware. It considers the QoS requirements asked by different kinds of services and takes different network state parameters as the constraint conditions. New route informing mechanism is proposed to support route update;speed of packets sending is adjusted in terms of the output of fuzzy system;and routing algorithm for real time traffic is optimized to assure that data are always transmitted through the route with the lowest delay. The simulation results show that the improved protocol has better features on delay, delay variation, packet loss rate and throughput compared to single-constrained QoS routing protocol. © 2008 IEEE.

关键词： Routing protocols

来源：评论

学校读者我要写书评

暂无评论

Performance portable optimizations for loops containing communication operations

Performance portable optimizations for loops containing comm...

引用

22nd ACM international conference on Supercomputing, ICS'08

作者： Iancu, Costin Chen, Wei Yelick, Katherine Lawrence Berkeley National Laboratory University of California Berkeley United States

ISBN: (纸本)9781605581583

Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the promise of performance and programmer productivity. Studies of well-tuned programs have suggested that PGAS languages are effective at utilizing modern networks because their one-sided communication is a good match to the underlying network hardware. An open question is whether the manual optimizations required to achieve good performance can be performed automatically by the compiler in a performance portable manner. In this paper we present a compiler and runtime optimization framework for loops containing communication operations. Our framework performs compile time message vectorization and strip-mining and defers until runtime the selection of the actual communication operations. At runtime, the communication requirements of the program are analyzed, and communication is instantiated and scheduled based on highly tuned network and application performance models. The runtime analysis takes into account network flow control and quality-of-service restrictions, and it is able to select from a large class of available communication primitives the communication schedule best suited for the dynamic combination of input size and system parameters. The results indicate that our framework produces code that scales and performs better than that of manually optimized implementations. Our approach not only improves performance, but increases programmer productivity as well. Copyright 2008 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Synchronization is Coming Back, But is it the Same?

Synchronization is Coming Back, But is it the Same?

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Michel Raynal IRISA Rennes France

This invited talk surveys notions related to synchronization in presence of asynchrony and failures. To the author knowledge, there is currently no textbook in which these notions are pieced together, unified, and presented in a homogeneous way. This talk (that pretends to be neither exhaustive, nor objective) is only a first endeavor in that direction. The notions that are presented and discussed are listed in the keyword list.

关键词： Computer crashes Monitoring Registers Degradation programming profession Resource management Concurrent computing Content management Object detection Detectors

来源：评论

学校读者我要写书评

暂无评论

Hybrid logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments

Hybrid Logics and Model Checking: A Recipe for Query Process...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Christian Hoareau Ichiro Satoh Graduate University of Advanced Studies (SOKENDAI) Hayama Kanagawa Japan National Institute of Information Chiyoda Tokyo Japan

We introduce a novel approach to handle location- dependent query processing in location-aware environments. We define a hybrid logic-based query language by building a semantic model that benefits from the well- founded model checking techniques. Our language is defined by four modal operators; it can express common location-dependent queries, and has the ability to deal with relative locations. A prototype implementation of the query engine is also presented and will be discussed.

关键词： logic Query processing Database languages Pervasive computing Radiofrequency identification Global Positioning System Ubiquitous computing Wearable computers Informatics Prototypes

来源：评论

学校读者我要写书评

暂无评论

Bilateral Bargaining Game and Fuzzy logic in the System Handling SLA-Based Workflow

Bilateral Bargaining Game and Fuzzy Logic in the System Hand...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Dang Minh Quan Jorn Altmann School of Information Technology International University Germany Bruchsal Germany TEMEP Seoul National University Seoul South Korea

In the business Grid, the owner of a workflow is assumed to ask an SLA Workflow broker to execute the workflow for him. The price for executing a workflow on the Grid is negotiated between the user and the broker. Determining a price that satisfies both, the user and the SLA workflow broker, is a difficult task. This paper proposes a method using bilateral bargaining game model based on fuzzy logic to determine the price that the user and the broker could accept after the first negotiation round. We also analyze many parameters affecting the price determination process. The validation results show that the approach is suitable with business rules.

关键词： Fuzzy logic Monitoring Information technology Grid computing Time factors Large-scale systems Pricing

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Approach for Personalized Product Clustering with Flexible Discriminating Power

A Fuzzy Approach for Personalized Product Clustering with Fl...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Bunthit Watanapa Saowaluk Watanapa School of Information Technology King Mongkut''s University of Technology Bangkok Thailand Department of Computer Science Thammasat University Klong Luang Pathum Thani Thailand

This paper proposes an improved linguistic quantifier that operates with penalty function so that a set of products can be clustered into hierarchical levels. The method is based on fuzzy approach with an aim at personalizing the display of products in an order of personal preference on a set of product attributes. The discriminating power of the system can be flexibly tuned via the set up of quantifier's parameters and the penalty function. Numerical example is given for illustrating the computation, providing comparative results to the existing method and giving some technical insights.

关键词： Internet Fuzzy logic Fuzzy sets Information technology Displays Computer science Piecewise linear techniques Energy management Power system management Nonlinear control systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 158 159 160 161 162 163 164 165 166 167 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：