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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

160 篇 会议
8 册 图书
6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

132 篇 工学
- 125 篇 计算机科学与技术...
- 75 篇 软件工程
- 16 篇 电气工程
- 8 篇 信息与通信工程
- 7 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 3 篇 机械工程
- 2 篇 仪器科学与技术
- 2 篇 安全科学与工程
- 1 篇 动力工程及工程热...
- 1 篇 农业工程
32 篇 理学
- 28 篇 数学
- 5 篇 系统科学
- 2 篇 物理学
- 2 篇 统计学（可授理学、...
11 篇 管理学
- 6 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 临床医学

主题

33 篇 logic programmin...
17 篇 functional progr...
13 篇 semantics
6 篇 computer archite...
5 篇 computer science
5 篇 computer circuit...
5 篇 application soft...
5 篇 software enginee...
5 篇 dynamic programm...
4 篇 programming prof...
4 篇 object oriented ...
4 篇 programming
4 篇 logic gates
4 篇 computer system ...
4 篇 programming lang...
4 篇 logics and meani...
4 篇 logic design
3 篇 software systems
3 篇 libraries
3 篇 formal logic

机构

2 篇 cnrs f-75205 par...
2 篇 gran sasso sci i...
2 篇 no arizona univ ...
2 篇 univ paris dider...
2 篇 univ southampton...
2 篇 max-planck-insti...
2 篇 tohoku univ send...
2 篇 uva subotica ser...
2 篇 cau kiel inst in...
1 篇 xidian univ sch ...
1 篇 univ pisa dipart...
1 篇 institute for vi...
1 篇 univ almeria dep...
1 篇 tu dortmund univ...
1 篇 institut für inf...
1 篇 department of el...
1 篇 informatik ii rw...
1 篇 institute of inf...
1 篇 departamento de ...
1 篇 department of co...

作者

6 篇 hanus michael
3 篇 antoy sergio
3 篇 huch frank
3 篇 brassel bernd
2 篇 dameri enrico
2 篇 kiselyov oleg
2 篇 parlato gennaro
2 篇 habermehl peter
2 篇 simari guillermo...
2 篇 inverso omar
2 篇 eriksson agneta
2 篇 moreno gines
2 篇 tick e
2 篇 fischer sebastia...
2 篇 martelli maurizi...
2 篇 degano pierpaolo
2 篇 johansson anna-l...
2 篇 antoniou grigori...
2 篇 levi giorgio
2 篇 enea constantin

语言

173 篇 英文
1 篇 中文

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

共 174 条记录，以下是21-30 订阅

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

详细简洁

排序：

On the interface recovery of SNOI devices during programming-erasing cycles

On the interface recovery of SNOI devices during programming...

引用

international symposium on Next-Generation Electronics (ISNE)

作者： Yi-Ling Wei H. X. Chen S. W. Chou E.S. Jeng Department of Electronic Engineering Chung Yuan Christian University Chung Li Tao Yuan Taiwan

ISBN: (纸本)9781509024407

In this paper, we study the interface traps during program/erase (P/E) cycles. By using charge pumping measurement, the charge pumping currents (ICP) of the serial P/E cycled states are compared to the initial one. the ICP decreases after the programmed operation under a constant temperature within 5 P/E cycles. the observation on the recovery of the interface states has been attributed to the hot electron injection stress.

关键词： Interface states Charge pumps Iterative closest point algorithm Stress Electron traps Hot carriers logic gates

来源：评论

学校读者我要写书评

暂无评论

3D memory design based on through silicon vias enabled timing optimization

3D memory design based on through silicon vias enabled timin...

引用

international symposium on Next-Generation Electronics (ISNE)

作者： Xiaowei Chen Seyed Alireza Pourbakhsh Ligang Hou Na Gong Jinhui Wang Department of Electrical and Computer Engineering North Dakota State University Fargo ND USA VLSI and System Lab Beijing University of Technology Beijing China

ISBN: (纸本)9781509024407

In three-dimensional (3D) integrated circuit (IC), a large number of dummy through silicon vias (TSV) are required for thermal and thinning concerns. However, limited attention is paid to the fact that these dummy TSVs can be multi-functional and used for timing purposes. In this paper, we propose to use those "timing wasteful" dummy TSVs to replace bit line delay cells. Also, a TSV allocation algorithm is presented to optimize the TSV array layout. Finally, three memory designs are implemented to verify the feasibility and reliability of the proposed technology. It is found that all delay cells in these 3 memories can be replaced by TSV arrays.

关键词： through-silicon vias Delays three-dimensional displays logic gates Wires Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Ambient Flow: A Visual Approach for Remixing the Internet of things 5

Ambient Flow: A Visual Approach for Remixing the Internet of...

引用

5th international Conference on the Internet of things (IOT)

作者： Carlson, Darren Moegerle, Matthias Pagel, Max Verma, Shivam Rosenblum, David S. Natl Univ Singapore Felicitous Comp Inst Singapore 117548 Singapore Univ Stuttgart Inst Visualizat & Interact Syst Stuttgart Germany

ISBN: (纸本)9781467380584

the number of networked "smart devices" available in everyday environments is rapidly increasing;however, most adopt mutually incompatible networks, protocols, and application programming interfaces. In previous work, we introduced a variety of adaptive middleware techniques that enables a user's commodity mobile device (e.g., a smartphone) to serve as an adaptive gateway between mutually incompatible devices -providing service adaptation and protocol translation services through plug-ins that can be installed on-the-fly. In this paper, we present a complementary set of novel smart space design tools, which enable non-programmers to visually "remix" their ambient environments in new, playful and potentially unforeseen ways using an intuitive flow-graph model. Visual designs can be sent over the network to the user's mobile device, which instantiates them during runtime. this paper presents a detailed overview of the approach, introduces our fully functional prototype, and presents a user study that provides encouraging first results.

关键词： Context Internet of things Libraries logic gates Protocols Robot sensing systems Internet of things Manipulator sensing systems logic gates protocols Libraries remixing visual approach PLUG-IN ambient environment Application programming interfaces Smartphone thing

来源：评论

学校读者我要写书评

暂无评论

A Translator of Actor Prolog to Java 9

A Translator of Actor Prolog to Java

引用

9th international Web Rule Challenge at the 9th international Web Rule symposium and 5th Doctoral Consortium, Challenge+DC@RuleML 2015

作者： Morozov, Alexei A. Polupanov, Alexander F. Sushkova, Olga S. Kotel’nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya 11 Moscow Russia Moscow State University of Psychology & Education Sretenka 29 Moscow Russia

Actor Prolog is a concurrent object-oriented logic language developed in [1]. We demonstrate a state-of-the-art translator of Actor Prolog to Java developed in the framework of the Intelligent Visual Surveillance logic programming project [2]. the translator implements a set of high-level and low-level code optimization methods and generates a kind of the idiomatic (i.e., well-readable) source code in Java, that ensures a high speed, robustness, and openness of the executable code. Some applications of the Actor Prolog to Java translator are demonstrated, in particular, the real-time intelligent video surveillance, Actor Prolog with Java3D linking, and logic programming of Java applets. © 2015 CEUR-WS. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

From Boolean Equalities to Constraints 25th

From Boolean Equalities to Constraints

引用

25th international symposium on logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Antoy, Sergio Hanus, Michael Portland State Univ Dept Comp Sci Portland OR 97207 USA CAU Kiel Inst Informat D-24098 Kiel Germany

ISBN: (纸本)9783319274362;9783319274355

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction in source programs, the language design can be simplified and the execution of programs can be optimized. As a consequence, we show that one kind of equational expressions is sufficient and unification is nothing else than an optimization of Boolean equality.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

IS-EUD 2015 Studio: Exploring End User programming of Interactive Spaces 5

IS-EUD 2015 Studio: Exploring End User Programming of Intera...

引用

5th international symposium of End-User Development (IS-EUD)

作者： Kubitza, thomas Univ Stuttgart D-70174 Stuttgart Germany

ISBN: (纸本)9783319184258;9783319184241

We live in a world with a rapidly growing number of devices in our environments and on our bodies. Even though these devices often have network connectivity they rarely work together to achieve a higher level goal. this is mainly due to their different platforms, communication technologies and the missing "glue" that ties everything together and defines the behaviour of such a distributed set of heterogeneous devices. In this studio we introduce a novel toolkit that simplifies the integration of arbitrary devices and the creation of smart and interactive spaces to writing some lines of JavaScript code in a single web-based user interface - changes come to effect immediately without the need for individual reprogramming of devices. Participants will have the opportunity to prototype fully functional interactive setups consisting of arbitrary stationary and wearable devices. this practical experince should lead to a focused discussion on the applicability of various flavours of end user programming for the creation of smart and interactive environments.

关键词： Smart environments Interactive spaces End user programming Mashups

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic control on FPGA using labview 5

引用

5th international symposium on Multibody Systems and Mechatronics, MUSME 2014

作者： García-Montalva, Juan Carlos de la Cruz-Alejo, Jesús Díaz-Salgado, Jorge Tecnológico de Estudios Superiores de Ecatepec Ecatepec de Morelos Mexico Universidad Tecnologica de Tecamac Tecamac Mexico

ISBN: (纸本)9783319098579

We implement a fuzzy logic control algorithm on a Nexys 3 FPGA board that uses coding look-up tables on VHDL which is generated by an application developed in LabVIEW. the algorithm used in this work is based on alpha-levels. this technique reduces execution time and simplifies VHDL programming. In addition, it is possible to use any shape of membership sets, although only triangular trapezoidal and gaussian are tested. Also, LabVIEW application helps in verifying each block of the system through boolean, numeric and graph indicators. Further, using look-up tables avoids the necessity of VHDL coded while loops. the system uses a max-min Mamdani inference mechanism. In Nexys 3 FPGA board COSAA defuzzification method [2] is implemented. Crisp output values are compared with those obtained with MATLAB Fuzzy logic Tool Box. Results have very little variation. © Springer international Publishing Switzerland 2015.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

A novel congestion management method in high-voltage distribution network based on logic constrains of functional units

A novel congestion management method in high-voltage distrib...

引用

international Conference on Electric Utility Deregulation and Restructuring and Power Technologies (DRPT)

作者： Yong Jin Junyong Liu School of Electrical Engineering and Information Sichuan University Chengdu China

Load transfer is an important method for congestion management in high-voltage distribution network. functional units were proposed to express the topological structure of high-voltage distribution network (HVDN) in this paper. In addition, three types of logic constraints of functional units including sequence, mutual exclusion and orientation were established to facilitate minimal transfer, load curtailment and balancing with variables of transfer units instead of traditional switch status. the proposed model was verified using the practical HVDN of an urban power system in China. Simulation result shows that the proposed models can be efficiently solved by commercial software.

关键词： Power industry Linear programming

来源：评论

学校读者我要写书评

暂无评论

Ambient flow: A visual approach for remixing the Internet of things

Ambient flow: A visual approach for remixing the Internet of...

引用

Internet of things (IoT)

作者： Darren Carlson Matthias Mögerle Max Pagel Shivam Verma David S. Rosenblum Felicitous Computing Institute National University of Singapore Institute for Visualization and Interactive Systems University of Stuttgart

the number of networked “smart devices” available in everyday environments is rapidly increasing; however, most adopt mutually incompatible networks, protocols, and application programming interfaces. In previous work, we introduced a variety of adaptive middleware techniques that enables a user's commodity mobile device (e.g., a smartphone) to serve as an adaptive gateway between mutually incompatible devices - providing service adaptation and protocol translation services through plug-ins that can be installed on-the-fly. In this paper, we present a complementary set of novel smart space design tools, which enable non-programmers to visually “remix” their ambient environments in new, playful and potentially unforeseen ways using an intuitive flow-graph model. Visual designs can be sent over the network to the user's mobile device, which instantiates them during runtime. this paper presents a detailed overview of the approach, introduces our fully functional prototype, and presents a user study that provides encouraging first results.

关键词： Libraries Protocols Robot sensing systems logic gates Context Internet of things

来源：评论

学校读者我要写书评

暂无评论

Abduction in Argumentation Frameworks and Its Use in Debate Games

Abduction in Argumentation Frameworks and Its Use in Debate ...

引用

5th JSAI international symposium on Artificial Intelligence (JSAI-isAI)

作者： Sakama, Chiaki Wakayama Univ Dept Comp & Commun Sci Sakaedani Wakayama 6408510 Japan

ISBN: (纸本)9783319100616;9783319100609

this paper studies an abduction problem in formal argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justified, the agent seeks conditions to explain the argument in its argumentation framework. We formulate such abductive reasoning in argumentation semantics and provide its computation in logic programming. Next we apply abduction in argumentation frameworks to reasoning by players in debate games. In debate games, two players have their own argumentation frameworks and each player builds claims to refute the opponent. A player may provide false or inaccurate arguments as a tactic to win the game. We show that abduction is used not only for seeking counter-claims but also for building dishonest claims in debate games.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共18页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：