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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,054 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,151 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,275 篇 工学
- 1,025 篇 计算机科学与技术...
- 584 篇 软件工程
- 255 篇 电气工程
- 158 篇 控制科学与工程
- 70 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 19 篇 安全科学与工程
- 16 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
120 篇 管理学
- 85 篇 管理科学与工程(可...
- 37 篇 工商管理
- 33 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
36 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2151 条记录，以下是1561-1570 订阅

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

详细简洁

排序：

4K-cells Resistive and Charge-Base-Capacitive Measurement Test Structure Array (R-CBCM-TSA) for CMOS logic Process Development, Monitor and Model

4K-cells Resistive and Charge-Base-Capacitive Measurement Te...

引用

22nd Annual international conference on Microelectronic Test Structures

作者： Doong, Kelvin Y. Y. Chang, Keh-Jeng Lin, S. -C. Tseng, H. C. Dagonis, Akis Pan, Samuel Taiwan Semiconductor Manufacturing Company Science-Based Industrial Park No. 8 li-Hsin Sixth Rd. Hsin-Chu R.O.C. Taiwan Department of Computer Science National Tsing Hua University Hsin-Chu Taiwan

ISBN: (纸本)9781424442591

To maximize the design efficiency of the test chip area and maintain the high accuracy measurement requirement of resistors and capacitors, a 4K-cells resistive and charge-base capacitive test structure array is designed for CMOS logic process development, monitor and model. The test chip utilizes 4-terminal (one of 4 is strongly grounded) Kelvin force/sense measurement for resistive-type and charge-base capacitance measurement (CBCM) for capacitive-type test structures. With the aid of memory-addressing design scheme, any one of the device-under-test in an array can be randomly or sequentially selected for testing with all of them sharing a common probe pad group. To accelerate the testing speed, the address control signals of 8 test structure array are connected in parallel for synchronized parallel testing. A 32x16x8 test structure array has been implemented by utilizing a state-of-the-art logic process to demonstrate design feasibility. The results confirm the excellence of this architecture in measurement with 0.1fF for capacitive and 0.1ohm for resistive systematic errors, and 7 times testing speed improvement.

关键词： Capacitance measurement

来源：评论

学校读者我要写书评

暂无评论

A trajectory-based point tracker using chaos evolutionary programming

A trajectory-based point tracker using chaos evolutionary pr...

引用

22nd international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009

作者： Guo, Shu-Mei Hsu, Chih-Yuan Wu, Po-Nung Tsai, Jason Sheng-Hong Department of Computer Science and Information Engineering National Cheng Kung University Tainan 701 Taiwan Department of Electrical Engineering National Cheng Kung University Tainan 701 Taiwan

ISBN: (纸本)3642025676

A trajectory-based point tracker using chaos evolutionary programming (CEP) algorithm is proposed in this paper. While motion constraints such as rigidity and small motion which are imposed by previous approaches are liberated, the proposed CEP is proved to be effective for establishing point correspondence between two consecutive frames sampled at a fixed interval. The whole point trajectory within the sample interval is then reconstructed by polynomial interpolation. Our experimental results demonstrate that the proposed point tracker can accurately locate target under different kinds of situations like object deformation, occlusion, and sudden motion as well. © 2009 Springer Berlin Heidelberg.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

Digital Poetry: A Narrow Relation between Poetics and the Codes of the Computational logic

Digital Poetry: A Narrow Relation between Poetics and the Co...

引用

2nd Joint international conference on Interactive Digital Storytelling (ICIDS 2009)

作者： Laurentiz, Silvia Univ Sao Paulo Sch Commun & Arts Dept Fine Arts BR-05508 Sao Paulo Brazil

ISBN: (纸本)9783642106422

The project "Percorrendo Escrituras" (Walking Through Writings Project) has been developed at ECA-USP Fine Arts Department. Summarizing, it intends to study different structures of digital information that share the same universe and are generators of a new aesthetics condition. The aim is to search which are the expressive possibilities of the computer among the algorithm functions and other of its specific properties. It is a practical, theoretical and interdisciplinary project where the study of programming evolutionary language, logic and mathematics take us to poetic experimentations. The focus of this research is the digital poetry, and it comes from poetics of permutation combinations and culminates with dynamic and complex systems, autonomous, multi-user and interactive, through agents generation derivations, filtration and emergent standards. This lecture will present artworks that use some mechanisms introduced by cybernetics and the notion of system in digital poetry that demonstrate the narrow relationship between poetics and the codes of computational logic.

关键词： Art poetry poetic logic codes algorithm

来源：评论

学校读者我要写书评

暂无评论

Volume Computation for Boolean Combination of Linear Arithmetic Constraints

Volume Computation for Boolean Combination of Linear Arithme...

引用

22nd international conference on Automated Deduction (CADE-22)

作者： Ma, Feifei Liu, Sheng Zhang, Jian Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100864 Peoples R China

ISBN: (纸本)9783642029585

There are many works on the satisfiability problem for various logics and constraint languages, such as SAT and Satisfiability Modulo Theories (SMT). On the other hand, the counting version of decision problems is also quite important in automated reasoning. In this paper, we study a counting version of SMT, i.e., how to compute the volume of the solution space, given a set of Boolean combinations of linear constraints. The problem generalizes the model counting problem and the volume computation problem for convex polytopes. It has potential applications to program analysis and verification, as well as approximate reasoning, yet it has received little attention. We first give a straightforward method, and then propose an improved algorithm. We also describe two ways of incorporating theory-level lemma learning technique into the algorithm. They have been implemented, and some experimental results are given. Through an example program, we show that our tool can be used to compute how often a given program path is executed.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Toward an Approach to programming Education to Produce Qualified Software Developers

Toward an Approach to Programming Education to Produce Quali...

引用

conference on Software Engineering Education & Training (CSEE&T)

作者： Jaime F. Castillo Carlos Montes de Oca Efraín Salomón Flores Perla Velasco Elizondo Centre of Mathematical Research CIMAT. Guanajuato Mexico

There is a common complaint that undergraduate programs in computing in many developing countries have not been preparing students sufficiently to become truly effective in the software industry. Although some programs in computing are justified in paying little attention to programming, it is important to teach it properly to those wishing to develop software professionally. In order to produce qualified software developers, the focus should be not only on determining which programming-related subjects have to be taught, but also on training academicians to teach these subjects efficiently. In this paper we introduce an approach which tackles the former aspects.

关键词： programming profession Educational programs Object oriented modeling logic programming Education Computational modeling Functional programming Object oriented programming Computer industry Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Making applications more intelligent: A case study of optimizing route selection for emergency vehicles

Making applications more intelligent: A case study of optimi...

引用

Annual IEEE Symposium on Computer-Based Medical Systems

作者： Sandi Pohorec Mateja Verlic Milan Zorman Laboratory of system design Faculty of electrical engineering and computer science University of Maribor Slovenia

We present the results of a data mining research on the use of GPS positions and speed of travel of vehicles in urban areas to determine optimal travel routes for emergency vehicles. A new approach using predictive programming is presented. The approach focuses on using data mining of existing data as the key factor in the application logic where various decisions are to be made. The main appeal of such an approach is that the application logic evolves over time according to the application data. As the data changes the decisions soon follow. This gives the impression of intelligent behavior of the application.

关键词： Intelligent vehicles Global Positioning System Data mining Mobile handsets Poles and towers logic programming Satellite navigation systems Roads Velocity measurement Earth

来源：评论

学校读者我要写书评

暂无评论

Formal analysis of optical waveguides in HOL

Formal analysis of optical waveguides in HOL

引用

22nd international conference on Theorem Proving in Higher Order logics, TPHOLs 2009

作者： Hasan, Osman Khan Afshar, Sanaz Tahar, Sofiène Dept. of Electrical and Computer Engineering Concordia University 1455 de Maisonneuve W. Montreal QC H3G 1M8 Canada

ISBN: (纸本)364203358X

Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their usage to meet high capacity link demands in communication systems and to overcome the performance limitations of metal interconnect in silicon chips. Though, the inability to efficiently analyze optical systems using traditional analysis approaches, due to the continuous nature of optics, somewhat limits their application, specially in safety-critical applications. In order to overcome this limitation, we propose to formally analyze optical systems using a higher-order-logic theorem prover (HOL). As a first step in this endeavor, we formally analyze eigenvalues for planar optical waveguides, which are some of the most fundamental components in optical devices. For the formalization, we have utilized the mathematical concepts of differentiation of piecewise functions and one-sided limits of functions. In order to illustrate the practical effectiveness of our results, we present the formal analysis of a planar asymmetric waveguide. © 2009 Springer.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic Based Guidance to Graph Grammar Framework for Automated Analog Circuit Design

Fuzzy Logic Based Guidance to Graph Grammar Framework for Au...

引用

international conference on VLSI Design

作者： Angan Das Ranga Vemuri Department of Electrical and Computer Engineering University of Cincinnati Cincinnati OH USA

This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topologies through a derivation tree. To boost this tree based synthesis mechanism, smaller building blocks in the form of subtrees have been used for the purpose. These blocks have been automatically generated and their appropriateness for the design is updated runtime through the fuzzy system. Fuzzy logic helps to provide a smooth gradation for the relative merit of each block with respect to the design synthesized. The tool has been used to design an operational amplifier and a voltage controlled oscillator.

关键词： Fuzzy logic Analog circuits Tree graphs Circuit topology Circuit synthesis Runtime Fuzzy systems Control system synthesis Operational amplifiers Voltage-controlled oscillators

来源：评论

学校读者我要写书评

暂无评论

Academic Software Development Tools and Techniques Report on the 1st Workshop WASDeTT at ECOOP 2008

引用

22nd European conference on Object-Oriented programming (ECOOP 2008)

作者： Wuyts, Roel Kienle, Holger M. Mens, Kim van den Brand, Mark Kuhn, Adrian Katholieke Univ Leuven IMEC Louvain Belgium Univ Victoria Dept Comp Sci Victoria BC 8001 Canada Catholic Univ Louvain Dept Ingn Informat Louvain Belgium Eindhoven Univ Technol Math & Comp Sci NL-5600 MB Eindhoven Netherlands Univ Bern Software Composit Grp CH-3012 Bern Switzerland

ISBN: (纸本)9783642020469

The objective of the 1st international Workshop on Advanced Software Development Tools and Techniques (WASDeTT-1) wits to provide interested researchers with a forum to share their tool building experiences and to explore how tools can be built more effectively and efficiently. The theme for this workshop did focus on tools that target object-oriented languages and that are implemented with object-oriented languages. This workshop report provides a brief overview of the presented tools and of the discussions that took place. The presented tools, 15 in total, covered it broad range Of functionalities, among them: refactoring, modeling, behavioral specification, static and dynamic program checking, user interface composition, and program understanding. The discussion during the workshop centered around the following topics: language independent tools, tool building in an industrial context, tool building methodology, tool implementation language, and building tools with external code.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Error Model to Study the Behavior of Transient Errors in Sequential Circuits

An Error Model to Study the Behavior of Transient Errors in ...

引用

international conference on VLSI Design

作者： Karthikeyan Lingasubramanian Sanjukta Bhanja Nano Computing Research Group (NCRG) University of South Florida Tampa FL USA

In sequential logic circuits the transient errors that occur in a particular time frame will propagate to consecutive time frames thereby making the device more vulnerable. In this work we propose a probabilistic error model for sequential logic that can measure the expected output error probability, given a probabilistic input space, that account for both spatial dependencies and temporal correlations across the logic, using a time evolving causal network. We demonstrate our error model using MCNC and ISCAS benchmark circuits and validate it with HSpice simulations. Our observations show that, significantly low individual gate error probabilities produce at least 5 fold higher output error probabilities. The average error percentage of our results with reference to HSpice simulation results is only 4.43%. Our observations show that the order of temporal dependency of error varies for different sequential circuits.

关键词： Sequential circuits Probabilistic logic Error probability Time division multiplexing logic devices Circuit simulation Nanoscale devices CMOS technology Space technology logic circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共216页 << < 153 154 155 156 157 158 159 160 161 162 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：