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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A task scheduling algorithm for parallel logic programming systems 4

A task scheduling algorithm for parallel logic programming s...

引用

4th international conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

作者： Tao, Jie Ju, Jiubin LRR-TUM Institut für Informatik Technische Universität München München80290 Germany Department of Computer Science Jilin University Changchun130023 China Jilin University of China China Munich University of Technology Germany

ISBN: (纸本)0769505902

A task scheduling algorithm for parallel logic programming systems and its implementation in an AND-parallel Prolog system are described. this algorithm schedules all of the parallel subtasks which are created during the execution of a program, under centralized control, and allows the processors to choose to give their priorities to some tasks so that the solution to a question can be acquired as quickly as possible and so that the parallel system obtains a higher speedup. In this algorithm, co-scheduling is introduced and the load balancing of processors is considered. © 2000 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Modular logic programming and generalized quantifiers 4th

Modular logic programming and generalized quantifiers

引用

4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)

作者： Eiter, T Gottlob, G Veith, H Univ Giessen AG Informat D-35392 Giessen Germany Vienna Univ Technol Dept Informat Syst A-1040 Vienna Austria

ISBN: (纸本)3540632557

the research on systems of logic programming with modules has followed two mainstreams, programming-in-the-large, where compositional operators are provided for combining separate and independent modules, and programming-in-the-small, which aims at enhancing logic programming with new logical connectives. In this paper, we present a general model theoretic approach to modular logic programming which combines programming in-the-large and in-the-small in a satisfactory way. Rather than inventing completely new constructs, however, we resort to a well-known concept in formal logic: generalized quantifiers. We show how generalized quantifiers can be incorporated into logic programs, both for Horn logic programs as well as in the presence of negation. Our basic observation is then that a logic program can be seen as a generalized quantifier, and we obtain a semantics for modular logic programs this way. Generalized quantifiers in logic programs gives rise to interesting classes of logic programs. We present a taxonomy of natural such classes, and investigate their properties. In particular, their expressive power over finite structures is analyzed.

关键词： generalized quantifiers modular logic programming stratification stable models expressive power

来源：评论

学校读者我要写书评

暂无评论

K: A Wide Spectrum Language for Modeling, programming and Analysis 4

K: A Wide Spectrum Language for Modeling, Programming and An...

引用

4th international conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Havelund, Klaus Kumar, Rahul Delp, Chris Clement, Bradley CALTECH Jet Prop Lab 4800 Oak Grove Dr Pasadena CA 91125 USA

ISBN: (纸本)9789897582325

the formal methods community has over the years proposed various formally founded specification languages based on predicate logic and set theory, typically with textual notations. At the same time the model-based engineering community has proposed often less formally founded languages such as UML and SysML, typically with graphical notations. Although the graphical notations have become highly popular in industry, we argue that textual notations can be attractive in many situations. We report on an effort to provide a textual notation for SysML, realized in a language named K. K supports classes, multiple inheritance, predicate logic and set theory. K contains programming constructs, and can thus be considered as a wide-spectrum modeling and programming language. We further explain the translation of a subset of this language to the input language of the SMT-LIB standard, and the application of Z3 for analysis of the generated SMT-LIB formulas. the entire effort is part of a larger effort to develop a general purpose SysML development framework for designing systems, in support of NASA's proposed 2022 mission to Jupiter's moon Europa.

关键词： Modeling programming Constraints Refinement Verification SMT Analysis SysML Translation

来源：评论

学校读者我要写书评

暂无评论

ASP-based problem solving with cutting-edge tools 4

ASP-based problem solving with cutting-edge tools

引用

4th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2011, collocated with the 27th international conference on logic programming, ICLP 2011

作者： Balduccini, Marcello Lierler, Yulia Kodak Research Laboratories United States University of Kentucky United States

In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as CLASP and DLV are sometimes affected by scalability issues. In those situations, one can resort to more sophisticated ASP tools exploiting, for instance, incremental and constraint ASP. However, today there is no specific methodology for the selection or use of such tools. In this paper we describe how we used such cutting-edge ASP tools on challenging problems from the third Answer Set programming Competition, and outline the methodology we followed. We view this paper as a first step in the development of a general methodology for the use of advanced ASP tools. © 2011 Computing Research Repository (CoRR). All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

More than Structured programming in Primary School Syllabus 2nd

More Than Structured Programming in Primary School Syllabus

引用

22nd international conference on Interactive Collaborative Learning (ICL) / 48th IGIP international conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education

作者： Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Athanasios Stamoulis, Georgios, I Vavougios, Denis Dept Comp Sci & Telecommun 2-4 Papasiopoulou St Lamia 35100 Greece Dept Comp Sci & Bioinformat 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Elect & Comp Engn Dept 37 Glavani St Volos 38221 Greece Univ Thessaly Dept Special Educ Volos 38221 Greece

ISBN: (纸本)9783030402716;9783030402709

Computer programming was introduced to primary schools by many countries with the aim of advancing logic and algorithmic thinking of students. the bulk of a typical syllabus (e.g., in the case of Greece) for computer programming courses at 5th and 6th grade primary school, consists of teaching structured programming concepts. While the comprehension of basic program flow concepts such as branch instructions and loops is of paramount importance, overextending the teaching of the basics may lead to students losing their interest due to lack of challenge. On the other hand, in a mixed classroom environment there exist both students with substantial skills in modern computer technology and others with smaller such experience, e.g., due to societal and economic factors. To avoid discouraging both the talented pupils by re-visiting the same topics and the less experienced ones by not providing an alternative way of learning, we investigate instructing advanced computer programming concepts in a playful way using pair programming. Results reveal that teaching advanced programming concepts using pair programming can improve the overall programming skills of mixed classroom students.

关键词： Structured programming Advanced programming Syllabus Pair programming Diverse classrooms Scratch

来源：评论

学校读者我要写书评

暂无评论

Relational algebras, logic, and functional programming 84

Relational algebras, logic, and functional programming

引用

1984 ACM SIGMOD international conference on Management of Data, SIGMOD 1984

作者： Hall, Patrick A.V. Cirrus Computers Ltd. 29/30 High Street FarehamPO16 7AD United Kingdom

ISBN: (纸本)0897911288

Relational algebras as developed by Codd and his followers are extended by noting an equivalence with functional languages. this leads to higher order relations, recursive definitions of relations, and the use of higher order relations as recursive data structures. this equivalence on the one hand enables the technology of databases to be used within the context of applicative languages, and on the other hand removes the adhoc mechanisms used for higher order operations in relational databases. this leads from 4th to 5th generation data management, exploiting the mathematical foundations of functional languages and logic programming, and the technology of relational database. © 1984 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Energy landscape for hopfield network programmed with program clauses

Energy landscape for hopfield network programmed with progra...

引用

4th IASTED international conference on Advances in Computer Science and Technology, ACST 2008

作者： Sathasivam, Saratha School of Mathematical Sciences University of Science Malaysia Penang Malaysia

ISBN: (纸本)9780889867307

We show that the energy landscape of a Little-Hopfield neural network programmed with program clauses is rather flat. We argue that this should be so given the characteristics of program clauses and show through computer simulations that this is indeed so. We discuss satisfiability of program clauses with respect to logic programming in relation to this result.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Dynamic programming solution of solute transport and dispersion equations in groundwater

Dynamic programming solution of solute transport and dispers...

引用

Proceedings of the 1997 4th international conference on Water Pollution

作者： Mirabzadeh, M. Mohammadi, K. Tehran Univ Karadj Iran

A numerical model for the solute transport and dispersion in saturated porous media has been developed. the partial differential equations for water flow and solute transport are discretized using the finite difference technique and the resulting system of algebraic equations is solved using a dynamic programming method. the advantage of this method is that the problem is converted from solving an algebraic system of order NC(NL-1)×NC(NL-1) into that of solving a difference equation of order NC×NC over NL-1 steps and involving NL-1 matrix inversions of order NC×NC. the accuracy and precision of the solutions are shown by calculation of mass balance and comparing the results with MOC model developed by USGS.

关键词： Groundwater pollution

来源：评论

学校读者我要写书评

暂无评论

Contextual ECATNets semantics in terms of conditional rewriting logic

Contextual ECATNets semantics in terms of conditional rewrit...

引用

4th IEEE/ACS international conference on Computer Systems and Applications (AICCSA-06)

作者： Zeghib, N. Barkaoui, K. Bettaz, M. Univ Constantine Dept Informat Constantine Algeria Lab CEDRIC CNAM Paris France Philadelphia Univ Dept Comp Sci Philadelphia PA USA

ISBN: (纸本)1424402115

Contextual ECATNets (denoted by C-ECATNets) extend classical ECATNets (Extended Concurrent algebraic Term Nets) [2] [5] [4] [11] with the ability to handle contexts in a C-ECATNet, transition do not only consume and produce tokens, but have also context constraints, specifying something that is necessary for transition to fire, but is not affected by the firing. the ability for a transition to check for context conditions is obtained by enriching classical ECATNets with new contextual concepts such as positive contextual conditions (commonly known as read arcs) and negative contextual conditions (also called inhibitors arcs). these extensions allow a greater flexibility in systems specification and facilitate the creation of compact and easily understandable models. the aim of the paper is to define the semantics of C-ECATNets in the conditional rewriting logic framework [22] [22]. In particular we show how to associate a conditional rewrite theory for each C-ECATNet.

关键词： ECATNets contextual nets rewriting logic

来源：评论

学校读者我要写书评

暂无评论

Constraint logic programming contribution for fleet management system in freight transport

Constraint logic programming contribution for fleet manageme...

引用

Proceedings of the 1995 4th international conference on Applications of Advanced Technologies in Transportation Engineering

作者： Gaudin, Etienne Scemama, Gerard INRETS Arcueil France

Fleet operators have begun to explore the use of decision support systems for their decision making processes. Decision support systems could reduce the difficulties of decision making through the assessment of more solutions, an automatic evaluation of solutions, a reactivity improvement and reduce the company dependency on operators competencies. A comparative analysis between the needs and the actual system is performed. Constraint logic programming contribution for fleet management systems is also assessed.

关键词： Freight transportation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：