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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

332 篇 会议
23 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

286 篇 工学
- 273 篇 计算机科学与技术...
- 187 篇 软件工程
- 19 篇 控制科学与工程
- 16 篇 电气工程
- 15 篇 信息与通信工程
- 7 篇 生物医学工程（可授...
- 4 篇 电子科学与技术（可...
- 3 篇 动力工程及工程热...
- 3 篇 建筑学
- 3 篇 化学工程与技术
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 农业工程
- 2 篇 生物工程
- 2 篇 安全科学与工程
90 篇 理学
- 74 篇 数学
- 8 篇 系统科学
- 5 篇 物理学
- 4 篇 生物学
- 4 篇 统计学（可授理学、...
- 2 篇 化学
36 篇 管理学
- 27 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
7 篇 医学
- 7 篇 临床医学
- 6 篇 基础医学(可授医学...
- 5 篇 药学(可授医学、理...
3 篇 教育学
- 3 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
1 篇 法学
1 篇 文学

主题

87 篇 logic programmin...
29 篇 knowledge repres...
18 篇 semantics
13 篇 programming
12 篇 computer circuit...
10 篇 computer program...
9 篇 object oriented ...
9 篇 artificial intel...
9 篇 ontology
8 篇 logic gates
8 篇 mathematical log...
8 篇 functional progr...
6 篇 programming tech...
6 篇 logics and meani...
6 篇 temporal logic
6 篇 logic design
5 篇 answer set progr...
4 篇 computer archite...
4 篇 logic
4 篇 inductive logic ...

机构

2 篇 genusion inc. am...
2 篇 computer science...
2 篇 univ adelaide sc...
2 篇 faculty of infor...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ minho ctr a...
2 篇 dlvsyst srl arca...
2 篇 listic universit...
2 篇 school of comput...
2 篇 vienna univ tech...
2 篇 school of softwa...
2 篇 open university ...
2 篇 centro algoritmi...
2 篇 facultad de mate...
2 篇 univ calabria de...
2 篇 etsii universida...
2 篇 university of wi...
2 篇 sri internationa...
2 篇 univ london impe...

作者

5 篇 vicente henrique
3 篇 dastani mehdi
3 篇 pereira luís mon...
3 篇 brain martin
3 篇 neves josé
3 篇 heymans stijn
3 篇 tompits hans
3 篇 de vos marina
2 篇 meseguer josé
2 篇 hommersom arjen
2 篇 durán f.
2 篇 porto antónio
2 篇 n. ajika
2 篇 leone nicola
2 篇 dell’acqua piera...
2 篇 de mel geeth
2 篇 madalina croitor...
2 篇 kelly peter m.
2 篇 dovier agostino
2 篇 hindriks koen v.

语言

354 篇 英文
11 篇 其他
1 篇 中文

检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"

共 365 条记录，以下是341-350 订阅

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

详细简洁

排序：

Kara: A system for visualising and visual editing of interpretations for answer-set programs 19th

Kara: A system for visualising and visual editing of interpr...

引用

19th international Conference on Applications of Declarative programming and knowledge Management, INAP 2011 and 25th workshop on logic programming, WLP 2011

作者： Kloimüllner, Christian Oetsch, Johannes Pührer, Jörg Tompits, Hans Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria Institut für Informationssysteme 184/3 Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria

ISBN: (纸本)9783642415234

In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpretations. Unlike existing tools that position graphic primitives according to static coordinates only, Kara allows for more high-level specifications, supporting graph structures, grids, and relative positioning of graphical elements. Moreover, generalising the functionality of previous tools, Kara provides modifiable visualisations such that interpretations can be manipulated by graphically editing their visualisations. This is realised by resorting to abductive reasoning techniques using ASP itself. Kara is part of SeaLion, an integrated development environment (IDE) for ASP. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Parameterized theories and views in full Maude 2.0

Parameterized theories and views in full Maude 2.0

引用

The 3rd international workshop on Rewriting logic and its Applications

作者： Durán, Francisco Meseguer, José ETSII Universidad de Málaga Spain SRI International Menlo Park CA United States

Parameterized specification and programming is a key modularity and reusability technique crucial for managing the complexity of large specifications and programs. In the search for ever more powerful parameterized module composition operations, languages in the Clear/OBJ tradition, including OBJ3, CafeOBJ, and Maude, have used categorical constructions involving three key notions: (i) modules, which are theories with an initial or, more generally, free extension semantics;(ii) theories, with a loose semantics;and (iii) views, which are theory interpretations used to instantiate parameter theories, and to assert formal properties. It has for long been understood that the full generality and power of a module algebra based on these notions requires parameterized theories and views, not just parameterized modules. However, at present, none of the above-mentioned language implementations supports parameterized modules and views. This paper explains and illustrates with examples the language design of Full Maude 2.0, a new module algebra for Maude currently under development in which modules, theories, and views can all be parameterized. We also summarize the underlying categorical semantics, based on the notion of structured modules with freeness constraints, and explain the reflective design of the Full Maude 2.0 implementation. We are very thankful to Narciso Martí-Oliet for his collaboration in the development of this work, for his careful reading of several versions of the paper, and for his many helpful suggestions for improvement. We are also greatful to Joseph Goguen for his constructive criticism and comments on these ideas. ©2000 Published by Elsevier Science B. V.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

An abstract concept of optimal implementation

An abstract concept of optimal implementation

引用

WRS 2003, 3rd international workshop on Reduction Strategies in Rewriting and programming - Final Proceedings

作者： Khasidashvili, Zurab Glauert, John Logic and Validation Technology Intel IDC Haifa Israel School of Computing Sciences UEA Norwich NR4 7TJ United Kingdom

In previous works, we introduced Stable Deterministic Residual Structures (SDRSs), Abstract Reduction Systems with an axiomatized residual relation which model orthogonal term and graph rewriting systems, and Deterministic Family Structures (DFSs), which add an axiomatized notion of redex-family to capture known sharing concepts in the lambda-calculus and other orthogonal rewrite systems. In this paper, we introduce and study a concept of implementation of DFSs. We show that for any DFS F, its implementation FI is a non-duplicating DFSs with zig-zag as the family relation, where zig-zag is simply the symmetric and transitive closure of the residual relation on redexes with histories. Further, we show that sharing is compositional: the sharing in a DFS F can be decomposed into a weaker sharing F' (such as zig-zag) and a sharing in the implementation F'I of F' stronger than zig-zag. These results require study of the family relation in non-duplicating SDRSs. We show that zig-zag forms a family-relation in every non-duplicating SDRS, and that it is the only separable family relation in such SDRSs. © 2003 Published by Elsevier Science B.V.

关键词： Computer science

来源：评论

学校读者我要写书评

暂无评论

Prediction of neoadjuvant chemotherapy outcome in breast cancer patients 3rd

Prediction of neoadjuvant chemotherapy outcome in breast can...

引用

3rd international Conference on Applied Physics, System Science and Computers, APSAC 2018

作者： Neves, José Dias, Almeida Silva, Cristiana Ferreira, Diana Costa, Luís Ferraz, Filipa Alves, Victor Neves, João Ribeiro, Jorge Vicente, Henrique Centro Algoritmi Universidade Do Minho Braga Portugal CESPU Instituto Universitário de Ciências Da Saúde Gandra Portugal Departamento de Informática Escola de Engenharia Universidade Do Minho Braga Portugal Mediclinic Arabian Ranches PO Box 282602 Dubai United Arab Emirates ARC4DigiT – Applied Research Center for Digital Transformation Escola Superior de Tecnologia E Gestão Instituto Politécnico de Viana Do Castelo Viana Do Castelo Portugal Departamento de Química Escola de Ciências E Tecnologia Centro de Química de Évora Universidade de Évora Évora Portugal

ISBN: (纸本)9783030215064

Breast Cancer is the most common invasive cancer in women worldwide. Indeed, it is imperative to investigate which factors influence the development of this disease in order to improve the efficiency of the treatment and to allow for a balanced follow-up. In fact, this article has in mind an original Case Based Reasoning (CBR) approach to problem solving, complemented with a novel approach to knowledge representation and Reasoning that takes into consideration the data items entropic states. It works towards cancer’s assessment after Neoadjuvant Chemotherapy in terms of its size, shape, and texture. © Springer Nature Switzerland AG 2019.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Efficient scratchpad allocation algorithms for energy constrained embedded systems

Efficient scratchpad allocation algorithms for energy constr...

引用

3rd international workshop on Power-Aware Computer Systems

作者： Verma, M Wehmeyer, L Marwedel, P Univ Dortmund Dept Comp Sci 12 D-44221 Dortmund Germany

ISBN: (纸本)3540240314

In the context of portable embedded systems, reducing energy is one of the prime objectives. Memories are responsible for a significant percentage of a system's aggregate energy consumption. Consequently, novel memories as well as novel memory hierarchies are being designed to reduce the energy consumption, Caches and scratchpads are two contrasting variants of memory architectures. The former relies completely on hardware logic while the latter requires software for its utilization. Most high-end embedded microprocessors today include onchip instruction and data caches along with a scratchpad. Previous software approaches for utilizing scratchpad did not consider caches and hence fail for the prevalent high-end system architectures. In this work, we use the scratchpad for storing instructions. We solve the allocation problem using a greedy heuristic and also solve it optimally using an ILP formulation. We report an average reduction of 20.7% in instruction memory energy consumption compared to a previously published technique. Larger reductions are also reported when the problem is solved optimally. The scratchpad in the presented architecture is similar to a preloaded loop cache. Comparing the energy consumption of our approach against that of preloaded loop caches, we report average energy savings of 28.9% using the heuristic.

关键词： memory architectures memory allocation energy aware compilation Integer Linear programming memory energy modeling

来源：评论

学校读者我要写书评

暂无评论

Parallel distributed real-time systems in manufacturing (an aerospace view)

Parallel distributed real-time systems in manufacturing (an ...

引用

workshop on Parallel and Distributed Real-Time Systems

作者： M.A. Austin Prate and Whitney United Technologies

An overview of the evolution of distributed real-time controllers in aerospace manufacturing environments is given. Programmable logic controllers (PLCs) and projected PLC market revenues are reviewed, as well as manufacturing deployment strategies and customer support. The hidden costs of PLC technology are identified. Examples of today's state-of-the-art parallel distributed real-time manufacturing systems are given. Large hidden support costs associated with such systems are identified. In conclusion, ideas on how new real-time distributed systems can be supported by the current corporate philosophy of speed, quality and cost, are discussed. Techniques of how to move forward to the implementation of new real-time distributed systems are presented.

关键词： Real time systems Manufacturing Programmable control Automatic control Control systems Distributed control Costs Central Processing Unit logic programming Intelligent sensors

来源：评论

学校读者我要写书评

暂无评论

Modeling and logic control design for production system: a matrix based approach

Modeling and logic control design for production system: a m...

引用

IEEE international Conference on Industrial Informatics (INDIN)

作者： A. Polic A. Hace K. Jezernik Faculty of Electrical Engineering and Computer science University of Maribor Maribor Slovenia

This paper introduces a novel, more systematic approach to the modeling and control design of machine logic control. The machine logic control is considered to be an event-driven system. A matrix representation of Petri nets is used, for modeling the structure of discrete event-driven system. Its dynamics is described by state-transition equations. The control of discrete event system is introduced by drawing a clear distinction between the plant and the controller model. The proposed approach is illustrated by simulation and experimental results for the lab-scale linear drive position initialization procedure.

关键词： logic design Control design Production systems Programmable control Automatic control Actuators Control systems Petri nets Discrete event systems logic programming

来源：评论

学校读者我要写书评

暂无评论

Cobalt: A Language for Writing Provably-Sound Compiler Optimizations

Cobalt: A Language for Writing Provably-Sound Compiler Optim...

引用

Proceedings pf the 3rd international workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)

作者： Lerner, Sorin Millstein, Todd Chambers, Craig Department of Computer Science and Engineering University of Washington Seattle WA United States Computer Science Department University of California Los Angeles Los Angeles CA United States

We overview the current status and future directions of the Cobalt project. Cobalt is a domain-specific language for implementing compiler optimizations as guarded rewrite rules. Cobalt optimizations operate over a C-like intermediate representation including unstructured control flow, pointers to local variables and dynamically allocated memory, and recursive procedures. The design of Cobalt engenders a natural inductive strategy for proving the soundness of optimizations. This strategy is fully automated by requiring an automatic theorem prover to discharge a small set of simple proof obligations for each optimization. We have written a variety of forward and backward intraprocedural dataflow optimizations in Cobalt, including constant propagation and folding, branch folding, full and partial redundancy elimination, full and partial dead assignment elimination, and simple forms of points-to analysis. The implementation of our soundness-checking strategy employs the Simplify automatic theorem prover, and we have used this implementation to automatically prove the above optimizations correct. An execution engine for Cobalt optimizations is implemented as part of the Whirlwind compiler infrastructure. © 2005 Elsevier B.V. All rights reserved.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

A 10k-Cycling Reliable 90nm logic NVM "eCFlash" (Embedded CMOS Flash) Technology

A 10k-Cycling Reliable 90nm Logic NVM "eCFlash" (Embedded CM...

引用

IEEE international Memory workshop (IMW)

作者： S. Shukuri S. Shimizu N. Ajika T. Ogura M. Mihara Y. Kawajiri K. Kobayashi M. Nakashima GENUSION Inc. Amagasaki Hyogo Japan

This paper describes a 90nm logic NVM "eCFlash", which can be embedded in standard CMOS process without any mask adder and any process modification. In the eCFlash element, the charge is stored in the side spacer region of CMOS transistor, consequently its charge loss process is not influenced by the leakage current through the gate oxide and surface leakage current on the side spacer, which is the most serious charge loss issues of the conventional single poly type floating gate NVM. It is shown that the intrinsic retention capability of 90nm eCFlash element is more than 10 years at 125C after 10k cycling.

关键词： Nonvolatile memory logic gates CMOS process CMOS integrated circuits Adders Leakage current programming

来源：评论

学校读者我要写书评

暂无评论

Lambda Calculus as a Workflow Model

Lambda Calculus as a Workflow Model

引用

international Conference on Grid and Pervasive Computing workshops, GPC

作者： Peter M. Kelly Paul D. Coddington Andrew L. Wendelborn School of Computer Science University of Adelaide SA Australia

Data-oriented workflows are often used in scientific applications for executing a set of dependent tasks across multiple computers. We discuss how these can be modeled using lambda calculus, and how ideas from functional programming are applicable in the design of workflows. Such an approach avoids the restrictions often found in workflow languages, permitting the implementation of complex application logic and data manipulation. This paper explains why lambda calculus is an appropriate model for workflow representation, and how a suitably efficient implementation can provide a wide range of capabilities to developers. The presented approach also permits high-level workflow features to be implemented at user level, in terms of a small set of low-level primitives provided by the language implementation.

关键词： Calculus Computational modeling Application software logic programming Pervasive computing Australia Functional programming Computer languages Switches Tree graphs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：