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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

88 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
16 篇 semantics
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 formal logic
11 篇 software enginee...
10 篇 logic gates
10 篇 logic
9 篇 genetic programm...
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"

共 545 条记录，以下是171-180 订阅

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

详细简洁

排序：

Time interval semantics and implementation of a real-time programming language

Time interval semantics and implementation of a real-time pr...

引用

4th Euromicro Workshop on Real-Time Systems, ECRTS 1992

作者： He, Jifeng Bowen, Jonathan Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD United Kingdom

ISBN: (纸本)0818628154

the authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. the semantics of the language is provided in the form of a time interval semantics and also a number of algebraic refinement laws. the laws allow convenient reasoning and transformation of programs. In particular, a compiler for a sequential subset of the language is defined as a set of theorems relating high-level program constructs to a low-level machine specified as an interpreter in the high-level language. In addition, a prototype compiler may be produced very directly from Ihe lheorems in Ihe form of a logic program. © 1992 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an Integrated Platform for Multi-language Methods Based on Javaweb 4

Design and Implementation of an Integrated Platform for Mult...

引用

4th Annual international conference on Data Science and Business Analytics, ICDSBA 2020

作者： Xie, Linzhe Yunnan University School of Software Kunming China

ISBN: (纸本)9781728181646

In view of the diversified characteristics of programming languages used by many current data processing algorithms, we have built an integrated platform based on Javaweb whose methods are developed by multiple programming languages. In this article, we discussed the application of some programming languages in data processing algorithms, and how to build a mixed programming environment of Java and other languages. By adopting Java and other multi-language mixed programming methods, we have carried out the design of the business logic layer of the integrated platform for the realization of multiple programming languages, which overcomes the lack of support of the Java programming language in data processing algorithm programming. It meets the needs of users who only need to use the integrated platform to quickly run different methods written in multiple languages. Application examples and results show that the method of using Java and other languages to build integrated Web projects is efficient and feasible. © 2020 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Discrete-Time LQR Optimal Tracking Control Problems Using Approximate Dynamic programming Algorithm with Disturbance

Discrete-Time LQR Optimal Tracking Control Problems Using Ap...

引用

4th international conference on Intelligent Control and Information Processing (ICICIP)

作者： Xie, Qingqing Luo, Bin Tan, Fuxiao Anhui Univ Sch Comp Sci & Technol Hefei 230039 Anhui Peoples R China

ISBN: (纸本)9781467362498;9781467362481

Inspired by Approximate Dynamic programming (ADP) and the algebraic Riccatic Equation (ARE), this paper investigate a new optimal tracking control strategy for a class of discrete-time linear quadratic regulation (LQR) problems with disturbance. First, the optimal tracking problem is converted into designing infinite-horizon optimal regulator for the tracking error dynamics via system transformation. then we compute the optimal tracking control policy, which can be considered as a way to solve the ARE of the well-known discrete-time optimal control problem forward in time. the iterative ADP algorithm via Heuristic Dynamic programming (HDP) technique is introduced to solve the value function of the controlled system. To verify its robustness, disturbance is added to the controlled system. the simulation results show the effectiveness and robustness of the proposed algorithm in this paper.

关键词： Riccati equations approximation theory control system synthesis discrete time systems dynamic programming linear quadratic control

来源：评论

学校读者我要写书评

暂无评论

LP Structures theory Application to Building Intelligent Refactoring Systems 4th

LP Structures Theory Application to Building Intelligent Ref...

引用

4th international Scientific conference on Intelligent Information Technologies for Industry (IITI)

作者： Makhortov, Sergey Nogikh, Aleksandr Voronezh State Univ Univ Skaya Pl 1 Voronezh 394018 Russia

ISBN: (纸本)9783030500979

An approach of automatized object-oriented code refactoring is described that applies lattice-based algebraic structures for type hierarchy representation and optimization. A distinctive feature of these algebraic structures is their ability to model aggregation not as a relation between two independent sets of types and attributes, but as a relation between two specific types. the property makes it possible to perform a more careful optimization of type hierarchy. the described approach focuses on redundant attributes removal and on the relocation of identical attributes into their common superclasses ("Pull Up Field" technique). In this paper it is demonstrated how the adopted algebraic structures can be extended to model a wide range of type hierarchies. Also, they are shown to be able to perform transformations allowing for external constraints. Such constraints may represent some additional knowledge of the type hierarchy or of the refactoring process itself. the described approach employs only the fundamental ideas of object-oriented programming. Supplemented with language-specific features it may be used as a basis for building intellectual systems that facilitate object-oriented code refactoring.

关键词： Object-oriented programming Type hierarchy Refactoring LP structure Decision support system Software development tool

来源：评论

学校读者我要写书评

暂无评论

Computing extensions of default logic - Preliminary report 4th

引用

4th international conference on logic programming and Automated Reasoning, LPAR 1993

作者： Antoniou, Grigoris Langetepe, Elmar Sperschneider, Volker University of Osnabrück Dept. of Mathematics and Computer Science Albrechtstrasse 28 OsnabrückD-4500 Germany

ISBN: (纸本)9783540569442

We present an operational process model for default logic that allows calculation of the extensions of a theory, and give a prototypical Prolog implementation. then we present an improved approach for realizing the process model in logic programming making direct use of Prolog’s deductive power. In particular, we give a translation of finite default theories T into logic programs P(T) such that P(T) computes exactly the extensions of T. © Springer-Verlag Berlin Heidelberg 1993.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

TVT: A software verification package for the interactive learning of formal programming techniques: An educational experience

TVT: A software verification package for the interactive lea...

引用

4th international conference on Computer Supported Education, CSEDU 2012

作者： Del Vado Vírseda, Rafael Morente, Fernando Pérez González, Eduardo Berbis Departamento de Sistemas Informáticos y Programación Universidad Complutense de Madrid Madrid Spain

ISBN: (纸本)9789898565068

While Computational logic plays an important role in several areas of Computer Science (CS), most educational software developed for teaching logic is not suitable to be used directly in other portions of the CS education domain where the application of logical notions is usually required. In this paper we describe the logic teaching tool TVT based on semantic tableaux that has been developed to help the students to use logic as a formal proof technique in other advanced topics of CS, such as the verification of algorithms, the algorithmic debugging of imperative programs, the formal design of invariants, and the design and derivation of algorithms from logical specifications, which are at the basis of the formal learning of programming techniques and good development of software. We present the design, implementation, and results of the evaluation of this tool by means of several educational experiences during the academic courses 2009/2010 and 2010/2011. From the results of these experiences we conclude that the use of the TVT tool in the current CS teaching can help our students to understand more advanced CS concepts and to clarify the formal process involved in the design and analysis of correct and efficient imperative programs.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

logic functions of the genomic cis-regulatory code

Logic functions of the genomic cis-regulatory code

引用

4th international conference on Unconventional Computation

作者： Davidson, E Istrail, S CALTECH Div Biol Pasadena CA 91125 USA Brown Univ Ctr Computat Mol Biol Providence RI 02912 USA Brown Univ Dept Comp Sci Providence RI 02912 USA

ISBN: (纸本)3540291008

Cis-regulatory modules that control developmental gene expression process the regulatory inputs provided by the transcription factors for which they contain specific target sites. A prominent class of cis-regulatory processing functions can be modeled as logic operations. Many of these are combinatorial because they are mediated by multiple sites, although others are unitary. In this work, we illustrate the repertoire of cis-regulatory logic operations, as an approach toward a functional interpretation of the genomic regulatory code. © Springer-Verlag Berlin Heidelberg 2005.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Hand Sign Classification Techniques Based on Forearm Electromyogram Signals 4

Hand Sign Classification Techniques Based on Forearm Electro...

引用

4th international conference on Informatics, Electronics & Vision (lCIEV)

作者： Tsujimura, Takeshi Urata, Kosuke Izumi, Kiyotaka Saga Univ Dept Mech Engn Saga 8408502 Japan

ISBN: (纸本)9781467369022

this paper describes classification techniques to distinguish hand signs based only on electromyogram signals of a forearm. Relationship between finger gesture and forearm electromyogram is investigated by two signal processing approaches;an empirical thresholding method and meta heuristic method. the former method judges muscle activity according to the criteria experimentally determined in advance, and evaluates activity pattern of muscles. the latter learns the electromyogram characteristics and automatically creates classification algorithm applying genetic programming. Discrimination experiments of typical hand signs are carried out to evaluate the effectiveness of the proposed methods.

关键词： electromyogram(EMG) muscle criterion genetic programming estimation finger gesture sign motion forearm

来源：评论

学校读者我要写书评

暂无评论

Implementation of temporal logic programming language Tokio 4th

引用

4th international conference on logic programming, 1985

作者： Kono, S. Aoyagi, T. Fujita, M. Tanaka, H. Department of Electronic Engineering University of Tokyo Japan Fujitsu laboratories Japan

ISBN: (纸本)9783540164791

the temporal logic programming language, "Tokio" can be executed by a resolution of Interval Temporal logic. the resolution consists of three parts, which are: the unification of the temporal variable, reduction including temporal operator, and interval control. the implementation of Tokio includes automatic interval length determination and stream-like temporal variable representation. At the end of this report, an abbreviated version of a Tokio interpreter written in Prolog will be shown. © 1986, Springer-Verlag.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Learning to extract genic interactions using gleaner

Learning to extract genic interactions using gleaner

引用

4th Workshop on Learning Language in logic, LLL 2005, Part of the 22nd international conference on Machine Learning, ICML 2005

作者： Goadrich, Mark Oliphant, Louis Shavlik, Jude Department of Biostatistics and Medical Informatics and Department of Computer Sciences University of Wisconsin-Madison Madison WI 53706 United States

We explore here the application of Gleaner, an Inductive logic programming approach to learning in highly-skewed domains, to the Learning Language in logic 2005 biomedical information-extraction challenge task. We create and describe a large number of background knowledge predicates suited for this task. We find that Gleaner outperforms standard Aleph theories with respect to recall and that additional linguistic background knowledge improves recall.

关键词： Inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：