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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

164 篇 会议
12 篇 期刊文献
11 册 图书

馆藏范围

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

日期分布

学科分类号

122 篇 工学
- 109 篇 计算机科学与技术...
- 78 篇 软件工程
- 10 篇 电气工程
- 6 篇 电子科学与技术（可...
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 2 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 土木工程
- 1 篇 轻工技术与工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
- 1 篇 生物工程
- 1 篇 安全科学与工程
37 篇 理学
- 28 篇 数学
- 8 篇 物理学
- 3 篇 化学
- 2 篇 生物学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
7 篇 管理学
- 4 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
- 1 篇 工商管理
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 农学
- 1 篇 作物学

主题

36 篇 logic programmin...
13 篇 functional progr...
9 篇 logic
9 篇 programming lang...
8 篇 mathematical log...
8 篇 logics and meani...
7 篇 software enginee...
7 篇 artificial intel...
6 篇 computer science
5 篇 programming tech...
5 篇 probabilistic lo...
5 篇 clocks
4 篇 fuzzy logic
4 篇 parallel process...
4 篇 formal logic
4 篇 programming
4 篇 semantics
4 篇 logic devices
4 篇 hardware
4 篇 haskell

机构

2 篇 ruleml inc on
2 篇 nasa ames resear...
2 篇 institut für inf...
2 篇 iohk edinburgh m...
2 篇 fraunhofer fokus...
2 篇 iohk ottawa on
2 篇 univ edinburgh e...
2 篇 department of co...
2 篇 fub inst comp sc...
2 篇 iohk mannheim
2 篇 dpto. de sistema...
2 篇 iohk england
2 篇 tech univ dresde...
2 篇 corp semant web ...
2 篇 iohk utrecht
2 篇 iohk glasgow lan...
2 篇 new mexico state...
2 篇 cau kiel inst in...
2 篇 chalmers univ te...
1 篇 univ tokyo grad ...

作者

5 篇 hanus michael
3 篇 pontelli enrico
3 篇 antoy sergio
2 篇 chakravarty manu...
2 篇 mow douglas a.
2 篇 braßel bernd
2 篇 saad emad
2 篇 current k.wayne
2 篇 mackenzie kennet...
2 篇 paschke adrian
2 篇 vinogradova poli...
2 篇 mueller jann
2 篇 herbert kuchen
2 篇 nilsson henrik
2 篇 jones michael pe...
2 篇 guild n.c.f.
2 篇 baldwin j.f.
2 篇 wadler philip
2 篇 meseguer jose
2 篇 melkonian oresti...

语言

179 篇 英文
5 篇 其他
3 篇 中文

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

共 187 条记录，以下是101-110 订阅

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

详细简洁

排序：

Non-monotonic negation in Hybrid Probabilistic logic programs

Non-monotonic negation in Hybrid Probabilistic Logic program...

引用

9th international symposium on Artificial Intelligence and Mathematics, ISAIM 2006

作者： Saad, Emad Pontelli, Enrico Computer Science Department Abu Dhabi University United Arab Emirates Computer Science Department New Mexico State University United States

In [23], a new Hybrid Probabilistic logic Programs framework has been proposed, and a new semantics has been developed to enable encoding and reasoning about real-world applications. In this paper, the language of Hybrid Probabilistic logic Programs framework of [23] is extended to allow non-monotonic negation, and two alternative semantics are defined: stable probabilistic model semantics and probabilistic well-founded semantics. Stable probabilistic model semantics and probabilistic well-founded semantics generalize stable model semantics and well-founded semantics of traditional normal logic programs, and they reduce to the semantics of original Hybrid Probabilistic logic programs framework of [23] for programs without negation. It is the first time that two different semantics for Hybrid Probabilistic Programs with nonmonotonic negation as well as their relationships are described. this development provides a foundational ground for developing computational methods for computing the proposed semantics. Furthermore, it makes it clearer how to characterize non-monotonic negation in probabilistic logic programming frameworks for commonsense reasoning.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A core generator for multi-ALU processors utilized in genetic parallel programming

A core generator for multi-ALU processors utilized in geneti...

引用

9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems

作者： Gajda, Zbysek Brno Univ Technol Fac Informat Technol Brno 61266 Czech Republic

ISBN: (纸本)1424401844

Genetic Parallel programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). this paper describes a tool intended for rapid development of GPP applications. A new software tool is proposed which is able to generate a simulator (in C language) of the MAP and a VHDL implementation of the MAP whose structure and parameters are specified in an input xml file. the proposed tool is intended to serve as first version of the core generator for MAPs utilized in GPP. Typical MAPs are synthetized and their performance is compared against the simulation running on a common PC for a typical task-a symbolic regression.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

9th international symposium on Artificial Intelligence and Mathematics, ISAIM 2006

9th International Symposium on Artificial Intelligence and M...

引用

9th international symposium on Artificial Intelligence and Mathematics, ISAIM 2006

the proceedings contain 44 papers. the topics discussed include: the numerical stability of kernel methods;a hybrid approach to NER by integrating manual rules into MEMM;non-monotonic negation in hybrid probabilistic logic programs;symmetric primal-dual approximate linear programming for factored MDPs;a semi-algebraic description of discrete naive bayes models with two hidden classes;causal inference by choosing graphs with most plausible Markov kernels;quartet-based learning of hierarchical latent class models: discovery of shallow latent variables;towards a unified theory of state abstraction for MDPs;detecting low complexity clusters by skewness and kurtosis in data stream clustering;the cooperative behavior of a human work group: a distributed learning approach;backbone guided dynamic local search for propositional satisfiability;and security in multiagent systems by policy randomization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fabrication and operation of Magnetic Quantum-Dot Cellular Automata all magnetic logic

Fabrication and operation of Magnetic Quantum-Dot Cellular A...

引用

9th international symposium on Magnetic Materials, Processes and Devices - 210th ECS Meeting

作者： Orlov, A. Imre, A. Ji, L. Csaba, G. Bernstein, G.H. Porod, W. University of Notre Dame Center for Nano Science and Technology Notre Dame IN 46556 United States Argonne National Laboratory Materials Science Division Center for Nanoscale Materials Argonne IL 60439 United States Technical University of Munich Institute for Nanoelectronics Munich D-80333 Germany

ISBN: (纸本)9781566775601

We report the fabrication of, and demonstrate logic functionality in, networks of magnetically-coupled, nanometer-scale magnets performing binary computation in a Magnetic Quantum-dot Cellular Automata (MQCA) system. MQCA is an all-magnetic logic that offers low power dissipation and high integration density of functional elements. Basic elements of MQCA architecture such as binary wire, three input majority logic gate, and a combination of the two logic elements are demonstrated at room temperature. copyright the Electrochemical Society.

关键词： Fabrication

来源：评论

学校读者我要写书评

暂无评论

Multiagent distributed simulation with GALATEA 05

Multiagent distributed simulation with GALATEA

引用

9th IEEE international symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005)

作者： Dávila, J Gómez, E Laffaille, K Tucci, K Uzcátegui, M Univ Los Andes Fac Ingn CeSiMo Merida 5101 Venezuela

ISBN: (纸本)0769524621

In this article we have presented an example that allows showing the design and implementation details of the module gFipaOS that permit incorporate to the simulator of multiagents systems on GALATEA some platforms of distributed agents. In this module GALATEA's agents management is based on the multiagent communication standard called FIRA (Foundation for Intelligent Physical Agents). the model represents a Patio-like world which changes because agents change it and also due to natural events (food appears). the model is implemented on a platform that distributed agents across several computing hosts.

关键词： Computational modeling Multiagent systems Communication standards Intelligent agent Distributed computing Discrete event simulation logic programming Engines Proposals Concrete

来源：评论

学校读者我要写书评

暂无评论

Fine-granularity access control in 3-tier laboratory information systems 9

Fine-granularity access control in 3-tier laboratory informa...

引用

9th international Database Engineering and Application symposium, IDEAS 2005

作者： Li, Xueli Naeem, Nomair A. Kemme, Bettina Macromolecular Structure Group Biotechn. Research Institute National Research Council of Canada Canada School of Computer Science McGill University MontrealQC Canada

ISBN: (纸本)0769524044

Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful access control is needed to allow different access rights to different records of the same table. Traditional access control models that define a permission as the right of a user/role to perform a specific operation on a specific object cannot handle the enormous amount of objects and user/roles. In this paper, we propose an enhancement to role-based access control by introducing conditions that can be added to the traditional concept of permissions in order to keep the number of permissions small. Furthermore, we present an implementation of our access control model at the application programming level. Although access control is performed for every single database access, our solution completely separates access control from the application logic by using aspect-oriented programming. With this, access control can be integrated into a legacy 3-tier information system without changing the application programs. © 2005 IEEE.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Loss minimization in nonuniform networks by fuzzy voltage control

Loss minimization in nonuniform networks by fuzzy voltage co...

引用

international Forum on Strategic Technology, IFOST

作者： O.S. Kovalenko Y.I. Zhmak NSTU Novosibirsk Russia

this paper describes a new method of loss minimization in nonuniform networks by fuzzy voltage control.

关键词： Intelligent networks Fuzzy control Voltage control Fuzzy logic Power control Electric resistance logic programming Fuzzy set theory Energy consumption Electrodynamics

来源：评论

学校读者我要写书评

暂无评论

Fine-granularity access control in 3-tier laboratory information systems

Fine-granularity access control in 3-tier laboratory informa...

引用

international symposium on Database Engineering and Applications (IDEAS)

作者： Xueli Li N.A. Naeem B. Kemme Macromolecular Structure Group Biotechn. Research Institute National Research Council Canada Canada School of Computer Science McGill University Montreal Canada

关键词： Access control Laboratories Information systems Permission Management information systems Power system modeling logic programming Database systems Councils Computer science

来源：评论

学校读者我要写书评

暂无评论

Persistent middle tier components without logging

Persistent middle tier components without logging

引用

international symposium on Database Engineering and Applications (IDEAS)

作者： D. Lomet Microsoft Research Recinzond WA USA

Enterprise applications need to be highly available and scalable. In the past, this has required "stateless" applications, which essentially require the application to manage its state explicitly by storing it in transactional resource managers. Despite "stateful" applications being more natural and hence easier to write and get correct, having the system manage this state automatically has been considered too difficult and too costly. the Phoenix/App system showed how to manage state in stateful applications transparently, by logging interactions between components, guaranteeing "exactly once" execution of the application. By introducing some minor restrictions on Phoenix/App components, no logging need be done for middle tier components, thus making it easy to provide both availability and scalability. Because there is no logging, the performance of failure free application executions is excellent.

关键词： Application software Scalability Computer crashes Robustness logic programming Availability Writing Costs Databases Data engineering

来源：评论

学校读者我要写书评

暂无评论

ARM7 compatible 32-bit RISC processor design and verification

ARM7 compatible 32-bit RISC processor design and verificatio...

引用

international Forum on Strategic Technology, IFOST

作者： Geun-young Jeong Ju-sung Park Hyun-woo Jo Byung-woo Yoon Myung-jin Lee Samsung SDI Company Limited South Korea Department of Electronics Engineering Pusan National University South Korea Department of Electronics Engineering Kyungsung University South Korea

the design and verification of a 32-bit general-purpose microprocessor, which is compatible with ARM7 RISC core, is described. In the architectural point of view, the processor has 3-stage pipeline, 6 register banks, 32-bit ALU, and 4-cycle MAC. the core described here was designed by latch base for low power and low complexity. Its functional operation was verified by comparison the results of logic simulation with those of the commercial simulator. Each instruction and its random combinations were tested. the designed core was emulated to check its proper operation for various applications, such as ADPCM, SOLA (voice speed variation), MP3 decoding. Finally it was implemented in 0.5/spl mu/m CMOS process and it carried out successfully those algorithms.

关键词： Reduced instruction set computing Process design Microprocessors Pipelines Registers CMOS logic circuits Testing Digital audio players Decoding CMOS process

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：