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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 册 图书
42 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,271 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 253 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 17 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 仪器科学与技术
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
295 篇 理学
- 227 篇 数学
- 39 篇 统计学（可授理学、...
- 38 篇 物理学
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
118 篇 管理学
- 83 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
24 篇 医学
- 23 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

171 篇 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
35 篇 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,076 篇 英文
59 篇 其他
20 篇 中文
1 篇 西班牙文
1 篇 法文

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

共 2147 条记录，以下是1461-1470 订阅

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

详细简洁

排序：

A multi-agent simulation model based on fuzzy logic to predict conflict situations for autonomous robot navigation

A multi-agent simulation model based on fuzzy logic to predi...

引用

22nd international conference on Tools with Artificial Intelligence

作者： Ayari, Emna Hadouaj, Samah Ghedira, Khaled High Inst Management Lab Ingn Informat Intelligente L13 Tunis Tunisia

ISBN: (纸本)9780769542638

One of the current challenges in the development of robot control systems is making them capable of intelligent and suitable responses to changing environments. But, the control of the robot's behavior in uncertain and dynamic environments is very challenging when the problem is how to guarantee the robot's safety by minimizing the interaction with other actors. The most popular methods are based on reactive local navigation schemes that tightly couple the robot actions to the sensor information. These approaches are well based on distance between the robot and the obstacles. This information does not allow the robot to make an intelligent decision while it navigates in unknown environments. Whereas, the robot needs to anticipate environment evolution in order to minimize interaction and avoid conflict with other agents. In this paper, we present a multi-agent simulation model of an autonomous robot in dynamic and uncertain environments. We focus on cases of interactions between agents sharing the same space. The robot should minimize the conflict with other agents when it navigates headed for its goal. Our model is based on fuzzy logic technique in order to deal with the uncertainty of perception.

关键词： Autonomous Robotics Anticipation conflict resolution dynamicity

来源：评论

学校读者我要写书评

暂无评论

Design and Evaluation of High-Speed Energy-Aware Carry Skip Adders

Design and Evaluation of High-Speed Energy-Aware Carry Skip ...

引用

22nd international conference on Microelectronics (ICM 2010)

作者： De Rose, Raffaele Lanuzza, Marco Frustaci, Fabio Univ Calabria Dept Elect Comp Sci & Syst I-87036 Arcavacata Di Rende CS Italy

ISBN: (纸本)9781612841519

In this paper, the impact of different dynamic logic design styles is evaluated considering as benchmark a fast carry-skip adder. Four different adder designs were implemented in standard domino, footless domino, data driven dynamic, and dynamic hybrid (standard domino + data driven dynamic) logic design styles, by exploiting the STMicroelectronics 45nm 1V CMOS technology. When applied to a 32-bit carry-skip adder, the data driven dynamic approach assures an energy-delay product 29%, 33% and 39% lower than the standard domino, footless domino, and dynamic hybrid implementations, respectively.

关键词： CMOS integrated circuits CMOS technology adders carry logic data driven dynamic logic design dynamic hybrid logic design energy-delay product footless domino logic design high-speed energy-aware carry skip adder logic design standard domino logic design

来源：评论

学校读者我要写书评

暂无评论

Continuous Search in Constraint programming

Continuous Search in Constraint Programming

引用

22nd international conference on Tools with Artificial Intelligence

作者： Arbelaez, Alejandro Hamadi, Youssef Sebag, Michele Microsoft INRIA Joint Lab Orsay France LIX Ecole Polytech Microsoft Res F-91128 Palaiseau France UMR 8623 INRIA Saclay Project team TAO CNRS Orsay France

ISBN: (纸本)9780769542638

This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their problems. Continuous Search comes in two modes: the functioning mode solves the user's problem instances using the current heuristics model;the exploration mode reuses these instances to train and improve the heuristics model through Machine Learning during the computer idle time. Contrasting with previous approaches, Continuous Search thus does not require that the representative instances needed to train a good heuristics model be available beforehand. It achieves lifelong learning, gradually becoming an expert on the user's problem instance distribution. Experimental validation suggests that Continuous Search can design efficient mixed strategies after considering a moderate number of problem instances.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

A Single Electron Artificial Neural Network (ANN) Majority logic Gate (MLG)

A Single Electron Artificial Neural Network (ANN) Majority L...

引用

22nd international conference on Microelectronics (ICM 2010)

作者： Rehan, Sameh Ebrahim Mansoura Univ Commun & Elect Engn Dept Mansoura 35516 Egypt

ISBN: (纸本)9781612841519

The Single Electron Nano-Devices (SEnds) are attractive candidates for post-CMOS VLSI era mainly due to its very low power consumption. In this paper, the Linear Threshold Gate (LTG) SEnd is reviewed. An Artificial Neural Network (ANN) Majority logic Gate (MLG) with 3 inputs (MLG3) is proposed. The MLGs with three and four inputs are implemented using LTG and SET inverter SEnds. The detailed parameters for all used devices as well as the corresponding SIMON 2.0 simulation results of these MLGs are included.

关键词： Single Electron (SE) Single Electron Transistor (SET) Single Electron Box (SEB) Single Electron NanoDevices (SEnds) Linear Threshold Gate (LTG) Artificial Neural Network (ANN) Majority logic Gate (MLG) SIMON 2.0

来源：评论

学校读者我要写书评

暂无评论

Design Considerations for Analog Blocks in Mixed-Signal CMOS ICs

Design Considerations for Analog Blocks in Mixed-Signal CMOS...

引用

22nd international conference on Microelectronics (ICM 2010)

作者： Liberali, Valentino Trucco, Gabriella Univ Milan Dept Phys I-20133 Milan Italy Univ Milan Dept Informat Technol I-26013 Crema Italy

ISBN: (纸本)9781612841519

This paper illustrates some design strategies for the design of mixed analog-digital integrated circuits in CMOS technology. In mixed-signal systems, crosstalk from switching logic gates can disturb the operation of analog circuitry. Therefore, it is necessary to take into account digital switching noise from early stages of design, by means of a suitable model. The analog designer should select the most suitable architectures with respect to crosstalk robustness. Finally, physical design must be optimized for the fabrication technology, to ensure a proper isolation between digital and analog sections.

关键词： CMOS integrated circuits CMOS technology analog blocks analog circuitry analog designer crosstalk crosstalk digital switching noise fabrication technology integrated circuit design logic gate switching logic gates mixed analog-digital integrated circuits

来源：评论

学校读者我要写书评

暂无评论

A Factor-Based Model for Context-Sensitive Skill Rating Systems

A Factor-Based Model for Context-Sensitive Skill Rating Syst...

引用

22nd international conference on Tools with Artificial Intelligence

作者： Zhang, Lei Wu, Jun Wang, Zhong-Cun Wang, Chong-Jun Nanjing Univ Nanjing 210093 Peoples R China Natl Key Lab Novel Software Technol Nanjing Peoples R China

ISBN: (纸本)9780769542638

Estimating agent's skill ratings from team competition results has many applications in the real world. Existing models assume skills are the same for all contexts. However, skills are context-sensitive in a variety of cases. In this paper, we present a Factor-Based Context-Sensitive Skill Rating System(FBCS-SRS). Instead of estimating agent skills under every context, which is hard due to data sparisity, we propose a factor model where individual skills are modelled by the inner product of an agent factor vector and a context factor vector. Collapsed Gibbs sampling is used for approximate inference. We formulate the problem of sampling linear constraint factors as a variant of MAX-SAT, and solve it by linear programming algorithms. We validate our model on two real-world datasets. Experiments show that FBCS-SRS achieves significantly higher prediction accuracy than other skill rating systems. The improvement is even more obvious when there are a lot of contexts.

关键词： FBCS-SRS agent factor vector collapsed Gibbs sampling context factor vector context sensitive skill rating systems factor based context sensitive skill rating system factor based model linear programming linear programming algorithms software agents

来源：评论

学校读者我要写书评

暂无评论

An Improved Differential Pull-down Network logic Configuration for DPA Resistant Circuits

An Improved Differential Pull-down Network Logic Configurati...

引用

22nd international conference on Microelectronics (ICM 2010)

作者： Castro, J. Parra, P. Acosta, A. J. Univ Seville Inst Microelect Sevilla CNM Seville 41092 Spain

ISBN: (纸本)9781612841519

Side channel attacks (SCAs) exploit the fact that security IC physical implementation of a cryptographic algorithm can leak information of the secret key. One of the most important SCA is Differential Power Analysis (DPA), that uses the power consumption dependence with the data processed to reveal critical information. To protect security devices against this issue, differential logic styles with constant power dissipation have been widely used. However, the right use of such circuits for secure applications needs not only a fully symmetric structure, but also removing any memory effect that could leak information. We propose an improved memory-less fully symmetric Xor/Xnor pull-down logic configuration, to be used with any differential technique, for immediate application in cryptographic secure applications.

关键词： Side-Channel Attacks Differential Power Analysis Security IC Design Encryption

来源：评论

学校读者我要写书评

暂无评论

SCALABLE HIGH-CURRENT DENSITY RTDS WITH LOW SERIES RESISTANCE

SCALABLE HIGH-CURRENT DENSITY RTDS WITH LOW SERIES RESISTANC...

引用

22nd international conference on Indium Phosphide and Related Materials

作者： Tchegho, A. Muenstermann, B. Gutsche, C. Poloczek, A. Blekker, K. Prost, W. Tegude, F. J. Univ Duisburg Essen Dept Solid State Elect Duisburg Germany

ISBN: (纸本)9781424459209

InP-based double-barrier resonant tunnelling diodes have been optimized for high speed digital circuits. We present the scalability of high current density (J(P) approximate to 150 kA/cm(2)) resonant tunnelling diodes in the sub-micrometer electrode area range. A small signal equivalent circuit has been developed and its parameters are precisely deduced from DC and RF measurements. Based on this model the scalability has been investigated with emphasis on a low but also scalable series resistance in order to keep the peak voltage constant. A comparison of dry and wet etching methods in the device fabrication will be presented. A multiple mesa concept has been adopted to provide reliable scalability at low emitter area (A(E) < 1 mu m(2)).

关键词： Resonant tunnelling diodes high speed logic circuits scalability modeling

来源：评论

学校读者我要写书评

暂无评论

Parallel programming and speed up evaluation of a NoC 2-Ary 4-Fly

Parallel Programming and speed up evaluation of a NoC 2-Ary ...

引用

22nd international conference on Microelectronics (ICM 2010)

作者： M'zah, Abir Hammami, Omar ENSTA ParisTech F-75739 Paris France

ISBN: (纸本)9781612841519

In this paper we make the design, the simulation and the implementation of a NoC (Network on Chip) 2-ary 4-fly in order to evaluate the speed up of an application with different NoC sizes. For the conception of the NoC, we use the tool NoCcompiler from Arteris Company. To test the performance of this NoC we integrate it as an IP (Intellectual Property) into an EDK project where masters are 16 Microblazes processors and slaves are 16 blocks memories. As an application, we choose the parallel programming to compute a filter Harris of an image 256x256. This work is implemented on Eve platform emulation called Zebu UF4. Results have proved the efficiency of this parallel architecture with a reduction equal to 90% of the execution time. The non linearity of the speed up's curve is coherent with the theorical modelisation and simulation presented in[1].

关键词： NoC 2-ary 4-fly NoCcompiler parallel programming Zebu UF4 filter Harris speed up

来源：评论

学校读者我要写书评

暂无评论

An Algorithm For The Least Square-Fitting of Ellipses

An Algorithm For The Least Square-Fitting of Ellipses

引用

22nd international conference on Tools with Artificial Intelligence

作者： Greggio, Nicola Bernardino, Alexandre Laschi, Cecilia Dario, Paolo Santos-Victor, Jose Scuola Super Sant Anna ARTS Lab Polo S Anna Valdera Viale R Piaggio 34 I-56025 Pontedera Italy Scuola Super Sant Anna CRIM Lab I-56025 Pontedera Italy Inst Super Tecn Inst Sistemas & Robot P-1049001 Lisbon Portugal

ISBN: (纸本)9780769542638

In this paper we propose a new algorithm for the least square fitting of ellipses from scattered data. Originally based on the one proposed by Fitzgibbon et Al in 1999, our procedure is able to overcome the numerical instability of that algorithm. We test our approach versus the latter and another approach with different ellipses. Then, we present and discuss our results.

关键词： Computer Vision Constraint programming Least Squares Methods Conditioning and Ill-conditioning Real-Time Systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 143 144 145 146 147 148 149 150 151 152 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：