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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

187 篇 会议
7 册 图书
4 篇 期刊文献

馆藏范围

198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

157 篇 工学
- 147 篇 计算机科学与技术...
- 95 篇 软件工程
- 12 篇 电气工程
- 8 篇 控制科学与工程
- 6 篇 信息与通信工程
- 6 篇 化学工程与技术
- 3 篇 机械工程
- 2 篇 电子科学与技术（可...
- 2 篇 生物医学工程（可授...
- 1 篇 力学（可授工学、理...
- 1 篇 光学工程
- 1 篇 材料科学与工程（可...
- 1 篇 土木工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
22 篇 理学
- 17 篇 数学
- 3 篇 物理学
- 3 篇 生物学
- 3 篇 系统科学
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
- 2 篇 工商管理
2 篇 文学
- 2 篇 外国语言文学
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...
1 篇 艺术学
- 1 篇 艺术学理论
- 1 篇 音乐与舞蹈学

主题

41 篇 logic programmin...
22 篇 functional progr...
13 篇 semantics
7 篇 temporal logic
6 篇 computer science
5 篇 automatic contro...
4 篇 computer circuit...
4 篇 model checking
4 篇 software enginee...
4 篇 mathematical log...
4 篇 hardware
4 篇 programming lang...
4 篇 specification la...
4 篇 dynamic programm...
4 篇 computer program...
3 篇 fuzzy logic
3 篇 formal logic
3 篇 logic gates
3 篇 computational mo...
3 篇 real-time system...

机构

2 篇 cinvestav gdl de...
2 篇 departamento de ...
2 篇 univ complutense...
2 篇 carnegie mellon ...
2 篇 univ limerick le...
2 篇 nara inst sci & ...
2 篇 univ tokyo
2 篇 cau kiel inst in...
2 篇 tu dortmund univ...
2 篇 univ london impe...
1 篇 univ augsburg de...
1 篇 telecom bretagne...
1 篇 univ innsbruck i...
1 篇 department of co...
1 篇 univ pisa dipart...
1 篇 tu dortmund univ...
1 篇 univ pisa dept c...
1 篇 department of ma...
1 篇 katholieke univ ...
1 篇 univ southern ca...

作者

4 篇 steffen bernhard
3 篇 kobayashi naoki
2 篇 jain v
2 篇 nishitani h
2 篇 stuckey peter j.
2 篇 vidal g
2 篇 albert e
2 篇 grossman ie
2 篇 imafuku k
2 篇 lano k
2 篇 vidal german
2 篇 chavoya a
2 篇 neubauer johanne...
2 篇 sanchez a
2 篇 harjunkoski i
2 篇 ramakrishnan i.v...
2 篇 naujokat stefan
2 篇 hanus m
2 篇 margaria tiziana
2 篇 antoniou grigori...

语言

194 篇 英文
4 篇 其他

检索条件"任意字段=7th International Symposium on Functional and Logic Programming"

共 198 条记录，以下是81-90 订阅

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

详细简洁

排序：

Transaction in object oriented programming

Transaction in object oriented programming

引用

international symposium on Intelligent Systems and Informatics (SISY)

作者： Aleksandar Almazan Biljana Radulovic Zlatko Covic Department of Informatics Technical Faculty Mihajlo Pupin Zrenjanin Serbia Department of Informatics Engineering Subotica Technology Subotica Serbia

the purpose of this work is to show necessary steps in development modern work and efficient web site for electronic commerce based on object oriented programming and use of transactions.

关键词： Object oriented programming Transaction databases Internet Informatics Electronic commerce Object oriented databases logic programming

来源：评论

学校读者我要写书评

暂无评论

Contribution of fuzzy classification for the diagnosis of complex systems

Contribution of fuzzy classification for the diagnosis of co...

引用

7th IFAC international symposium on Fault Detection, Supervision and Safety of Technical Systems, SAFEPROCESS'09

作者： Isaza, Claudia V. Orantes, Antonio Kempowsky-Hamon, Tatiana Le Lann, Marie-Véronique Universidad de Antioquia Dpto. de Ingeniería Electrónica Grupo GEPAR Calle 67 No 53-108 bl. 19 Medellín Colombia Universidad Tecnologica de la Mixteca Huajuapan de León Oax. México C.P. 69000 Mexico LAAS-CNRS Université de Toulouse 7 avenue du Colonel Roche F-31077 Toulouse France Université de Toulouse INSA avenue de Rangueil F-31 077 Toulouse France

ISBN: (纸本)9783902661463

Process diagnosis can be defined as the identification of the system's functional states. When a mathematical model is difficult or not possible to obtain (which is generally the case for complex chemical processes), knowledge on the process behaviour can be extracted from historical measurements or complex simulators. this knowledge is then organized as a partition of the data set into classes representing the functional states of the process (normal or faulty operations). Among the data mining techniques, those including fuzzy logic present the advantages to express the data membership degree to several classes. this article presents a methodology that automatically finds an optimal space partition in terms of clusters compactness and separation using only the membership matrix obtained from a fuzzy classification. Test and validation results of this methodology applied to a continuous intensified chemical micro-reactor will be presented. © 2009 IFAC.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics

Proposing a novel IEC61499 runtime framework implementing th...

引用

IEEE international Conference on Industrial Informatics (INDIN)

作者： Piran Tata Valeriy Vyatkin University of Auckland New Zealand

this paper describes an implementation of a new IEC 61499 execution environment based on the generic cyclic execution model, outlined within the draft IEC 61499 Compliance Profile for Execution models. the proposed mo... 详细信息

ISBN: (纸本)9781424437597

关键词： Runtime IEC standards Industrial control Manufacturing automation logic programming Programmable control Automatic control Electrical equipment industry Manufacturing industries functional programming

来源：评论

学校读者我要写书评

暂无评论

7th international symposium on functional and logic programming, FLOPS 2004

7th International Symposium on Functional and Logic Programm...

引用

7th international symposium on functional and logic programming, FLOPS 2004

ISBN: (纸本)354021402X

the proceedings contain 21 papers. the special focus in this conference is on logic, functional-logic programming, Applications, Program Analysis, Rewriting and Semantics. the topics include: A brief survey of quantum programming languages;analysis of synchronous and asynchronous cellular automata using abstraction by temporal logic;online justification for tabled logic programs;a declarative debugging tool for functional logic languages;an effective self-applicable partial evaluator for prolog;multivariant non failure analysis via standard abstract interpretation;implementing natural rewriting and narrowing efficiently;complete axiomatization of an algebraic construction of graphs;semantics of linear continuation-passing in call-by-name;basic pattern matching calculi and derivation of deterministic inverse programs based on LR parsing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Termination of narrowing in left-linear constructor systems

Termination of narrowing in left-linear constructor systems

引用

9th international symposium on functional and logic programming

作者： Vidal, German Univ Politecn Valencia Valencia Spain

ISBN: (纸本)9783540789680

Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and replacing matching with unification. Narrowing has been widely used in different contexts, ranging from theorem proving to language design. Surprisingly, the termination of narrowing has been mostly overlooked. In this paper, we present a new approach for analyzing the termination of narrowing in left-linear constructor systems-a widely accepted class of systems-that allows us to reuse existing methods in the literature on termination of rewriting.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Substructural type systems for program analysis

Substructural type systems for program analysis

引用

9th international symposium on functional and logic programming

作者： Kobayashi, Naoki Tohoku Univ Grad Sch Informat Sci Sendai Miyagi 980 Japan

ISBN: (纸本)9783540789680

Since linear logic was proposed by Girard, a number of type systems inspired by linear logic (or substructural logics in general) have been proposed. Examples include linear type systems, where the weakening and contraction rules are restricted, and ordered type systems, where the exchange rule is also restricted. those type systems turned out to be very useful for reasoning about temporal properties of programs, like a memory cell is deallocated only once, or a memory cell is never read or written after it is deallocated. In this talk, I will focus on substructural type systems for program analysis, and review their principles and applications [1,2,3,4,5]. 1 will also discuss some emerging techniques and future directions of substructural-type-based program analysis.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Quantitative logic programming revisited

Quantitative logic programming revisited

引用

9th international symposium on functional and logic programming

作者： Rodriguez-Artalejo, Mario Romero-Diaz, Carlos A. Univ Complutense Madrid Dept Sistemas Informat & Computat E-28040 Madrid Spain

ISBN: (纸本)9783540789680

Uncertainty in logic programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. this paper is intended as a first step towards the investigation of uncertainty in Constraint functional logic programming. We revise an early proposal, namely van Emden's Quantitative logic programming [22], and we improve it in two ways. Firstly, we generalize van Emden's QLP to a generic scheme QLP(D) parameterized by any given Qualification Domain D, which must be a lattice satisfying certain natural axioms. We present several interesting instances for D, one of which corresponds to van Emden's QLP. Secondly, we generalize van Emden's results by providing stronger ones, concerning both semantics and goal solving. We present Qualified SLD Resolution over D, a sound and strongly complete goal solving procedure for QLP(D), which is applicable to open goals and can be efficiently implemented using CLP technology over any constraint domain C-D able to deal with qualification constraints over D. We have developed a prototype implementation for van Emden's QLP as an instance of QLP(D), on top of the CFLP system TOY.

关键词： quantitative logic programming qualification domains qualification constraints

来源：评论

学校读者我要写书评

暂无评论

Model-based knowledge representation and reasoning via answer set programming

Model-based knowledge representation and reasoning via answe...

引用

9th international symposium on functional and logic programming

作者： Schaub, Torsten Univ Potsdam Inst Informat D-14482 Potsdam Germany

ISBN: (纸本)9783540789680

the field of knowledge representation and reasoning has been going through a methodological shift during recent years. While the past was dominated by query-oriented reasoning, model-based techniques become more and more popular nowadays. this development was primarily driven by the availability of highly efficient Boolean constraint solvers, like satisfiability and answer set solvers. the general idea is to translate an application problem into a logical specification. this specification is in turn passed to a solver, which outputs models representing solutions to the initial application problem. the talk will provide an introduction to answer set programming (ASP), its proof-theoretic foundations, methodology, implementation techniques along with a glimpse of an exemplary application. Besides knowledge representation and reasoning, ASP has its roots in deductive databases, nonmonotonic reasoning, and logic programming. Applications are specified in ASP in terms of sets of logical rules. Modern ASP solvers rely on high-performance Boolean constraint solving techniques, which allow them to tackle application domains consisting of millions of variables. Meanwhile, this approach proved to be an effective tool in a range of applications, like planning, model checking, and bio-informatics.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Declarative diagnosis of missing answers in constraint functional-logic programming

Declarative diagnosis of missing answers in constraint funct...

引用

9th international symposium on functional and logic programming, FLOPS 2008

作者： Caballero, Rafael Rodríguez Artalejo, Mario Del Vado Vírseda, Rafael Dpto. de Sistemas Informáticos y Computación Universidad Complutense de Madrid

ISBN: (纸本)3540789685

We present a declarative method for diagnosing missing computed answers in , a generic scheme for lazy Constraint functional-logic programming which can be instantiated by any constraint domain given as parameter. As far as we know, declarative diagnosis of missing answers in such an expressive framework has not been tackled before. Our approach combines and extends previous work done separately for constraint logic programming and lazy functional programming languages. Diagnosis can be started whenever a user finds that the set of computed answers for a given goal with finite search space misses some expected solution w.r.t. an intended interpretation of the program, that provides a declarative description of its expected behavior. Diagnosis proceeds by exploring a proof tree, that provides a declarative view of the answer-collection process performed by the computation, and it ends up with the detection of some function definition in the program that is incomplete w.r.t. the intended interpretation. We can prove the logical correctness of the diagnosis method under the assumption that the recollection of computed answers performed by the goal solving system can be represented as a proof tree. We argue the plausibility of this assumption, and we describe the prototype of a tool which implements the diagnosis method. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Intelligent Computer Mathematics - 9th international Conference, AISC 2008 - 15th symposium, Calculemus 2008 - 7th international Conference, MKM 2008, Proceedings

Intelligent Computer Mathematics - 9th International Confere...

引用

9th Int. Conf. Artificial Intelligence and Symbolic Computation, AISC 2008 - 15th symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008 - 7th Int. Conf. Mathematical Knowledge Management, MKM 2008

ISBN: (纸本)3540851097

the proceedings contain 43 papers. the topics discussed include: on a hybrid symbolic-connectionist approach for modeling the kinematic robot map - and benchmarks for computer algebra;applying link grammar formalism in the development of English-Indonesian machine translation system;case studies in model manipulation for scientific computing;mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal Isabelle;ASIC meets natural typography;the monoids of order eight and nine;extending graphical representations for compact closed categories with applications to symbolic quantum computation;a full first-order constraint solver for decomposable theories;search techniques for rational polynomial orders;strategies for solving sat in grids by randomized search;towards an implementation of a computer algebra system in a functional language;and automated model building: from finite to infinite models.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：