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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

1,041 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1043 条记录，以下是961-970 订阅

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

详细简洁

排序：

Hafnium transistor design for neural interfacing

Hafnium transistor design for neural interfacing

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： David W. Parent Eric J. Basham SJSU USA University of California Santa Cruz USA

A design methodology is presented that uses the EKV model and the g m /I D biasing technique to design hafnium oxide field effect transistors that are suitable for neural recording circuitry. the DC gain of a common source amplifier is correlated to the structural properties of a Field Effect Transistor (FET) and a Metal Insulator Semiconductor (MIS) capacitor. this approach allows a transistor designer to use a design flow that starts with simple and intuitive 1-D equations for gain that can be verified in 1-D MIS capacitor TCAD simulations, before final TCAD process verification of transistor properties. the DC gain of a common source amplifier is optimized by using fast 1-D simulations and using slower, complex 2-D simulations only for verification. the 1-D equations are used to show that the increased dielectric constant of hafnium oxide allows a higher DC gain for a given oxide thickness. An additional benefit is that the MIS capacitor can be employed to test additional performance parameters important to an open gate transistor such as dielectric stability and ionic penetration.

关键词： Transistors Mathematical model Substrates Doping logic gates Semiconductor process modeling Hafnium oxide

来源：评论

学校读者我要写书评

暂无评论

A flexible structure of standard cell and its optimization method for near-threshold voltage operation

A flexible structure of standard cell and its optimization m...

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Shinichi Nishizawa Tohru Ishihara Hidetoshi Onodera Graduate School of Informatics Kyoto University Japan CREST Japan Science and Technology Agency Sakyo Kyoto Japan

With ever growing demands of mobile devices, low power consumption has become essential for VLSI circuits. Since standard cell libraries are typically used in many parts of VLSI circuits, their performance has a strong impact on realizing high speed and low power VLSI circuits. One of the most promising approaches for reducing the power consumption of the circuit is lowering the supply voltage. However this causes an increase of imbalance between rise and fall delays especially for cells having transistor stacks. For mitigating this imbalance, this paper proposes a structure of standard cells where the P/N ratio of each cell can be independently customized for near-threshold operation in VLSI circuits. the structure cancels the imbalance between rise and fall delays at the expense of cell area. the experiments with ISCAS'85 benchmark circuits demonstrate that the standard cell library consisting of the proposed cells reduces the power consumption of the benchmark circuits by 16% on average without increasing the circuit area, compared to that of the same circuit synthesized with a library which is not optimized for the near-threshold operation.

关键词： Standards Libraries Delay logic gates Optimization Transistors MOS devices

来源：评论

学校读者我要写书评

暂无评论

Enhancing 3T DRAMs for SRAM replacement under 10nm tri-gate SOI FinFETs

Enhancing 3T DRAMs for SRAM replacement under 10nm tri-gate ...

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Zoran Jaksic Ramon Canal Department of Computer Architecture Universitat Poliltècnica de Catalunya Barcelona Spain

In this paper, we present the dynamic 3T memory cell for future 10nm tri-gate FinFETs as a potential replacement for classical 6T SRAM cell for implementation in high speed cache memories. We investigate read access time, retention time, and static power consumption of the cell when it is exposed to the effects of process and environmental variations. Process variations are extracted from the ITRS predictions and they are modeled at device level. For simulation, we use 10nm SOI tri-gate FinFET BSIM-CMG model card developed by the University of Glasgow, Device Modeling Group. When compared to the classical 6T SRAM, 3T cell has 40% smaller area, leakage is reduced up to 14 times while access time is approximately the same. In order to achieve higher retention times, we propose several cell extensions which, at the same time, enable post-fabrication/run-time adaptability.

关键词： Computer architecture Microprocessors Random access memory logic gates FinFETs Delay

来源：评论

学校读者我要写书评

暂无评论

On the Influence of the Laser Illumination on the logic Cells Current Consumption : First measurement results

On the Influence of the Laser Illumination on the Logic Cell...

引用

IEEE international conference on Electronics, Circuits and Systems (ICECS)

作者： Dmytro Petryk Zoya Dyka Milos Krstic Jan Bělohoubek Petr Fišer František Steiner Tomáš Blecha Peter Langendörfer Ievgen Kabin IHP - Leibniz-Institut für innovative Mikroelektronik Frankfurt (Oder) Germany BTU Cottbus-Senftenberg Cottbus Germany University Potsdam Potsdam Germany Czech Technical University in Prague Prague Czech Republic University of West Bohemia Pilsen Czech Republic

Physical side-channel attacks represent a great challenge for today’s chip design. Although attacks on CMOS dynamic power represent a class of state-of-the-art attacks, many other effects potentially affect the security of CMOS chips analogously by affecting mostly static behaviour of the chip, including aging, ionizing radiation, or non-ionizing illumination of the CMOS. Vulnerabilities exploiting data dependency in CMOS static power were already demonstrated in practice and the analogous vulnerability exploiting light-modulated static power was demonstrated by simulation. this work confirms the CMOS vulnerability related to the light-modulated data-dependent static power experimentally and discusses future work.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Java Crypto implementation of DNAProvider featuring complexity in theory and practice

A Java Crypto implementation of DNAProvider featuring comple...

引用

international conference on Information Technology Interfaces

作者： Hodorogea Tatiana Vaida Mircea-Florin Borda Monica Streletchi Cosmin Faculty of Electronics Telecommunications and Information Technologies Technical University of Cluj Napoca Cluj-Napoca Romania

ISBN: (纸本)9789537138127

Java cryptographic extension (JCE) offers support for developing cryptographic package providers, allowing us to extend the JCE by implementing faster or more secure cryptographic algorithms. By the same means we shall provide our independent implementation of a DNA encryption (DNAE) system, based on the central dogma of molecular biology (CDMB). In this work we present a technical process for protecting data assets such as personal medical information using a DNA cryptography technique in which a personpsilas own blood mineral levels serve as a seed for selecting, transmitting, and recovering his sensitive personal data. As we know that the management of security keys remains a challenge, we also propose a mechanism to generate encrypt-decrypt keys by taking into consideration specifics of the cryptography method and the individualpsilas blood analysis. Our work is based on the complexity of developing, as a subset of JCE, an unconditionally secure DNAE System as part of our security provider, named DNAProvider. We intend to use DNA Provider with the DNAE System in medical applications to ensure security of medical.

关键词： DNA Cryptography Security Blood Complexity theory Probabilistic logic Public key

来源：评论

学校读者我要写书评

暂无评论

Functional bull's eye based on three dimensional velocity information to quantify left ventricle motion in gated-SPECT

Functional bull's eye based on three dimensional velocity in...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Marina de Sa Rebelo Jose Claudio Meneghetti Marco Antonio Gutierrez Heart Institute University of Sao Paulo Medical School Brazil

ISBN: (纸本)9781424418145

the description and quantification of the regional function of the cardiac left ventricle (LV) involve making quantitative measurements of the heart movement. In this work we present a functional bull's eye or polar map that depicts three dimensional coded velocity information from gated-SPECT images. the polar map is built based on the standards defined by the AHA and comprises 17 segments. the use of the proposed map was tested in images from 5 normal subjects and 4 patients with intraventricular dyssynchrony submitted to cardiac resynchronization therapy. Preliminary results have shown good indications of potential application of the technique to the diagnosis and the follow up of such patients. the functional polar map is independent of the heart size, so it makes possible the creation of normal pattern standards. Such standards would allow the application of the method in a broad range of applications involving the analysis of the heart movement.

关键词： three-dimensional displays Heart Image color analysis Single photon emission computed tomography Myocardium logic gates Standards

来源：评论

学校读者我要写书评

暂无评论

SLIM: A secured lightweight interactive middleware for wireless body area network

SLIM: A secured lightweight interactive middleware for wirel...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Agustinus Borgy Waluyo Isaac Pek Xiang Chen Wee-Soon Yeoh Institute for Infocomm Research Agency for Science Technology and Research (ASTAR) Singapore

Advances in wireless sensor technology have introduced a new dimension in healthcare computing. With miniaturized sensor devices, continuous medical monitoring of patients to detect transient life threatening conditions from daily activities has been made possible. this phenomenon will certainly improve the quality of life for a majority of people. However, the growing variety of sensor devices in the market, has made application developments very challenging. In light of this view, we are proposing SLIM, a lightweight middleware that shields the underlying differences in sensor technology from the application layer. SLIM is designed to simplify/accelerate application development while not simply providing common middleware functions (i.e. data acquisition and plug-and-play capability) but also others like security and interactive features. To support both indoor and outdoor activities, SLIM is built to reside on mobile devices. At the end of the paper, we will show the prototype of the proposed middleware including its functionalities when used with a mobile application.

关键词： Middleware logic gates Wireless communication Wireless sensor networks Cryptography Communication system security Body area networks

来源：评论

学校读者我要写书评

暂无评论

Quality Assurance of Open Source Components: Integrator Point of View

Quality Assurance of Open Source Components: Integrator Poin...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Pekka Maki-Asiala Mari Matinlassi VTT Technical Research Center of Finland Oulu Finland

the breakthrough of open source software (OSS) is not only evident when looking at the gradually rising interest in OSS research but also when observing the field of software business. Clearly OSS provides one of many opportunities for companies to speed up their software development and lower its costs. However, there are risks involved in using open source (OS) components such as multitude of licenses and lack of liabilities and information when it comes to the quality of the components. Considering quality it is perilous to include components with questionable quality to software development project. this is particularly true in product family engineering (PFE) and component based software engineering (CBSE), since the effects of low quality are experienced on a larger scale than a single project. therefore it is imperative to study how commercial companies today perceive and assure the quality of these components in their new context and environment and what are the conceptions of companies about QA in OS communities. the research was conducted by interviewing representatives of nine Finnish IT companies utilizing OS components

关键词： Quality assurance Opportunistic software systems development Software quality Life testing Materials testing Software testing programming Computer bugs Open source software Customer satisfaction

来源：评论

学校读者我要写书评

暂无评论

the effect of program and model structure on mc/dc test adequacy coverage

The effect of program and model structure on mc/dc test adeq...

引用

international conference on Software Engineering (ICSE)

作者： Ajitha Rajan Michael Whalen Mats Heimdahl Department of Comp. Science and Engineering University of Minnesota USA Advanced Technology Center Rockwell Collins Inc. USA

In avionics and other critical systems domains, adequacy of test suites is currently measured using the MC/DC metric on source code (or on a model in model-based development). We believe that the rigor of the MC/DC metric is highly sensitive to the structure of the implementation and can therefore be misleading as a test adequacy criterion. We investigate this hypothesis by empirically studying the effect of program structure on MC/DC coverage. To perform this investigation, we use six realistic systems from the civil avionics domain and two toy examples. For each of these systems, we use two versions of their implementation-with and without expression folding (i.e., inlining). To assess the sensitivity of MC/DC to program structure, we first generate test suites that satisfy MC/DC over a non-inlined implementation. We then run the generated test suites over the inlined implementation and measure MC/DC achieved. For our realistic examples, the test suites yield an average reduction of 29.5% in MC/DC achieved over the inlined implementations at 5% statistical significance level.

关键词： Software testing Aerospace electronics DC generators NASA Permission System testing Current measurement Computer industry Certification logic testing

来源：评论

学校读者我要写书评

暂无评论

Real-Time User Experience Evaluation for Cloud-Based Mobile Video

Real-Time User Experience Evaluation for Cloud-Based Mobile ...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Nouha Samet Asma Ben Letaïfa Mohamed Hamdi Sami Tabbane MEDIATRON University of Carthage Higher School of Communications of Tunis Sup'Com Ariana Tunisia

Video streaming services are the main source of generated traffic over the internet and hundreds of million minutes are watched every day. this proves that the video streaming service is booming, and ensuring customers' satisfaction in this regard will be a major competitive advantage among Internet service providers. the common measures that are being used are mainly about quantifying the Quality of Service (QoS) rather than targeting the end-user's point of view. In other words, QoS metrics such as bandwidth, latency and packet loss are not reflective of the actual experience lived by the end-user and the success of video streaming services is highly correlated with the end user degree of satisfaction which is measured in term of Quality of Experience QoE. In this paper, we are relying on overall quality estimation for cloud-based video stream watching for mobile users. To this end, we will consider traditional QoS metrics combined with other parameters related the video and the user terminal for estimating MOS values as it can be perceived by the mobile user.

关键词： Streaming media Quality of service Quality assessment Video recording Mobile communication Estimation Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 93 94 95 96 97 98 99 100 101 102 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：