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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,495 篇 会议
733 篇 期刊文献
47 册 图书

馆藏范围

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

日期分布

学科分类号

1,361 篇 工学
- 1,065 篇 计算机科学与技术...
- 891 篇 软件工程
- 244 篇 信息与通信工程
- 224 篇 控制科学与工程
- 136 篇 生物工程
- 98 篇 电气工程
- 93 篇 机械工程
- 93 篇 生物医学工程（可授...
- 73 篇 电子科学与技术（可...
- 62 篇 安全科学与工程
- 57 篇 光学工程
- 48 篇 仪器科学与技术
- 48 篇 动力工程及工程热...
- 46 篇 土木工程
- 45 篇 建筑学
- 44 篇 网络空间安全
604 篇 理学
- 313 篇 数学
- 158 篇 生物学
- 118 篇 系统科学
- 116 篇 物理学
- 96 篇 统计学（可授理学、...
395 篇 管理学
- 278 篇 管理科学与工程(可...
- 145 篇 图书情报与档案管...
- 142 篇 工商管理
109 篇 医学
- 100 篇 临床医学
- 84 篇 基础医学(可授医学...
- 45 篇 公共卫生与预防医...
62 篇 法学
- 46 篇 社会学
46 篇 经济学
- 46 篇 应用经济学
45 篇 教育学
- 43 篇 教育学
20 篇 农学
8 篇 文学
4 篇 军事学
3 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

143 篇 software enginee...
138 篇 computer science
63 篇 deep learning
61 篇 machine learning
58 篇 laboratories
54 篇 computational mo...
52 篇 software systems
51 篇 application soft...
51 篇 accuracy
50 篇 artificial intel...
46 篇 cloud computing
44 篇 training
43 篇 software
42 篇 computer archite...
38 篇 grid computing
37 篇 quality of servi...
36 篇 resource managem...
35 篇 security
34 篇 support vector m...
34 篇 systems engineer...

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 state key labora...
16 篇 software enginee...
12 篇 department of so...
12 篇 school of inform...
11 篇 institute for so...
10 篇 computing and so...
10 篇 department of so...
10 篇 sri lanka instit...
10 篇 max planck insti...
10 篇 department of in...
9 篇 cloud computing ...
9 篇 school of intell...
8 篇 department of co...

作者

48 篇 rajkumar buyya
35 篇 junping du
32 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
23 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 gautam biswas
14 篇 biswas gautam
14 篇 zamli kamal z.
13 篇 materwala huned
12 篇 leung victor c.m...
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley
11 篇 choo kim-kwang r...
11 篇 veera boonjing
11 篇 juergen rilling
10 篇 cheng betty h. c...

语言

2,173 篇 英文
95 篇 其他
7 篇 中文
2 篇 日文
1 篇 斯洛文尼亚文

检索条件"机构=Language and Computer Science Systems and Software Engineering Department"

共 2275 条记录，以下是1171-1180 订阅

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

详细简洁

排序：

Anonymous yoking-group proofs 15

Anonymous yoking-group proofs

引用

10th ACM Symposium on Information, computer and Communications Security, ASIACCS 2015

作者： Li, Nan Mu, Yi Susilo, Willy Varadharajan, Vijay Centre for Computer and Information Security School of Computer Science and Software Engineering University of Wollongong Wollongong Australia Information and Networked Systems Security Research Department of Computing Faculty of Science Macquarie University Sydney Australia

ISBN: (纸本)9781450332453

Yoking-proofs show an interesting application in Radio Frequency Identification (RFID) that a verifier can check whether two tags are simultaneously scanned by a reader. We consider a scenario that multi-group of tags can be proved to be scanned simultaneously. Grouping-proof, which is an extension of yoking-proofs, allows multiple tags to be proved together, while existing protocols cannot support multiple groups. In this paper, we introduce a novel concept called "yoking-group proofs". Additionally, we propose an anonymous yoking-proof protocol and an anonymous yoking-group proof protocol and prove their security in Universal Composability framework. Copyright © 2015 ACM.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

POSTER: A hybrid approach for mobile security threat analysis 8

POSTER: A hybrid approach for mobile security threat analysi...

引用

8th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2015

作者： You, Wanqing Qian, Kai Guo, Minzhe Bhattacharya, Prabir Qian, Ying Tao, Lixin Department of Computer Science and Software Engineering Southern Polytechnic State University MariettaGA United States Department of Electrical Engineering and Computing Systems University of Cincinnati United States Department of Computer Science East China Normal University Shanghai China Dept. of Computer Science Pace University New York United States

ISBN: (纸本)9781450336239

Research on effective and efficient mobile threat analysis becomes an emerging and important topic in cybersecurity research area. Static analysis and dynamic analysis constitute two of the most popular types of techniques for security analysis and evaluation;nevertheless, each of them has its strengths and weaknesses. To leverage the benefits of both approaches, we propose a hybrid approach that integrates the static and dynamic analysis for detecting security threats in mobile applications. The key of this approach is the unification of data states and software execution on critical test paths. The approach consists of two phases. In the first phase, a pilot static analysis is conducted to identify potential critical attack paths based on Android APIs and existing attack patterns. In the second phase, a dynamic analysis follows the identified critical paths to execute the program in a limited and focused manner. Attacks shall be detected by checking the conformance of the detected paths with existing attack patterns. The method will report the types of detected attack scenarios based on types of sensitive data that may be compromised, such as web browser cookie.

关键词： Android application analysis Data path tracing Dynamic analysis Static analysis Symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Omnidirectional chargability with directional antennas

Omnidirectional chargability with directional antennas

引用

International Conference on Network Protocols

作者： Haipeng Dai Xiaoyu Wang Alex X. Liu Fengmin Zhang Yang Zhao Guihai Chen State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu CHINA Department of Computer Science and Engineering Michigan State University East Lansing MI USA Shanghai key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai CHINA

ISBN: (纸本)9781509032822

Wireless Power Transfer (WPT) has received more and more attentions because of its convenience and reliability. In this paper, we first propose the notion of omnidirectional charging by which an area is omnidirectionally charged if a device with directional antennas at any position in the area with any orientation can be charged by directional chargers with power being no smaller than a given threshold. We present our empirical charging model based on field experimental results using off-the-shelf WPT products. Next, we consider the problem of detecting whether the target area achieves omnidirectional charging given a deterministic deployment of chargers. We develop piecewise constant approximation and area discretization techniques to partition the target area into subareas and approximate powers from chargers as constants. Then we propose the Minimum Coverage Set extraction technique which reduces the continuous search space to a discrete one and thereby allows a fast detection algorithm. Moreover, we consider the problem of determining the probability that the target area achieves omnidirectional charging given a random deployment of chargers. We first replace the target area by grid points on triangular lattices to reduce the search space from infinite to finite, then approximate chargers' power with reasonable relaxation, and derive an upper bound of the omnidirectional charging probability. Finally, we conduct both simulation and field experiments, and the results show that our algorithm outperforms comparison algorithms by at least 120%, and the consistency degree of our theoretical results and field experimental results is larger than 93.6%.

关键词： Wireless sensor networks Wireless communication Directional antennas Adaptation models Joining processes Conferences Protocols

来源：评论

学校读者我要写书评

暂无评论

Towards a general framework for optimal role mining: A constraint satisfaction approach 15

Towards a general framework for optimal role mining: A const...

引用

20th ACM Symposium on Access Control Models and Technologies, SACMAT 2015

作者： Jafarian, Jafar Haadi Takabi, Hassan Touati, Hakim Hesamifard, Ehsan Shehab, Mohamed Department of Software and Information Systems University of North Carolina at Charlotte CharlotteNC United States Department of Computer Science and Engineering University of North Texas DentonTX United States

ISBN: (纸本)9781450335560

Role Based Access Control (RBAC) is the most widely used advanced access control model deployed in a variety of organizations. To deploy an RBAC system, one needs to first identify a complete set of roles, including permission role assignments and role user assignments. This process, known as role engineering, has been identified as one of the costliest tasks in migrating to RBAC. Since many organizations already have some form of user permission assignments defined, it makes sense to identify roles from this existing information. This process, known as role mining, has gained significant interest in recent years and numerous role mining techniques have been developed that take into account the characteristics of the core RBAC model, as well as its various extended features and each is based on a specific optimization metric. In this paper, we propose a generic approach which transforms the role mining problem into a constraint satisfaction problem. The transformation allows us to discover the optimal RBAC state based on customized optimization metrics. We also extend the RBAC model to include more context-aware and application specific constraints. These extensions broaden the applicability of the model beyond the classic role mining to include features such as permission usage, hierarchical role mining, hybrid role engineering approaches, and temporal RBAC models. We also perform experiments to show applicability and effectiveness of the proposed approach. © Copyright 2015 ACM.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Towards using coherence analysis to scaffold students in open-ended learning environments 17

Towards using coherence analysis to scaffold students in ope...

引用

Workshops at the 17th International Conference on Artificial Intelligence in Education, AIED-WS 2015

作者： Segedy, James R. Biswas, Gautam Institute of Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University 1025 16th Avenue South NashvilleTN37212 United States

Scaffolding students in open-ended learning environments (OELEs) is a difficult challenge. The open-ended nature of OELEs allows students to simultaneously pursue, modify, and abandon any of a large number of both short-term and long-term approaches to completing their tasks. To overcome these challenges, we have recently developed coherence analysis, which focuses on students' ability to interpret and apply the information available in the OELE. This approach has yielded valuable dividends: by characterizing students according to the coherence of their behavior, teachers and researchers have access to easily-calculated, intuitive, and actionable measures of the quality of students' problem-solving processes. The next step in this line of research is to develop a framework for using coherence analysis to adaptively scaffold students in OELEs. In this paper, we present our initial ideas for this work and propose guidelines for the construction of a scaffolding framework.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A formulation of rod based nonlinear model predictive control of nuclear reaction with temperature effects and Xenon poisoning 23

A formulation of rod based nonlinear model predictive contro...

引用

23rd International Conference on Nuclear engineering: Nuclear Power - Reliable Global Energy, ICONE 2015

作者： Teatro, Timothy A.V. McNelles, Phillip Eklund, J. Mikael Department of Electrical Computer and Software Engineering University of Ontario Institute of Technology OshawaON Canada Faculty of Energy Systems and Nuclear Science University of Ontario Institute of Technology OshawaON Canada

ISBN: (纸本)9784888982566

This paper presents a formulation of a nonlinear model predictive controller for steering of a nuclear reaction in a pressurized water reactor via control rod displacement. The predictive model, based on point kinetic equations, includes an averaged delayed neutron group, thermal dependence on reactivity, heat exchange between temperature and moderator and Xenon poisoning. From the model, a finite horizon optimal control problem is cast in the form of a control Hamiltonian minimization. A basic gradient descent scheme is derived to solve the optimal control problem. The predictive model and gradient descent are used to form the basis from which the model predictive controller is formulated. Copyright © 2015 by JSME.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

Demonstration: Using GIFT to support students' understanding of the UrbanSim counter insurgency simulation 17

Demonstration: Using GIFT to support students' understanding...

引用

Workshops at the 17th International Conference on Artificial Intelligence in Education, AIED-WS 2015

作者： Segedy, JameS. R. Kinnebrew, John S. Biswas, Gautam Institute of Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University 1025 16th Avenue South NashvilleTN37212 United States

This paper presents our recent work with the Generalized Intelligent Framework for Tutoring (GIFT) for authoring tutors and training systems in concert with already developed external applications that provide a wide variety of educational experiences. In this paper, we describe our efforts to extend the GIFT system to develop metacognitive tutoring support for UrbanSim, a turnbased simulation environment for learning about counterinsurgency operations. We discuss specific extensions to GIFT as well as the links we have developed between GIFT and UrbanSim to track player activities. Additionally, we discuss a conversational approach that we are designing to interpret players' strategies and provide feedback when they adopt suboptimal approaches for their counterinsurgency operations.

关键词： Adaptive support GIFT Scaffolding UrbanSim

来源：评论

学校读者我要写书评

暂无评论

Denoising Auto-Encoders toward Robust Unsupervised Feature Representation

Denoising Auto-Encoders toward Robust Unsupervised Feature R...

引用

International Joint Conference on Neural Networks

作者： Wei Xiong Bo Du Lefei Zhang Liangpei Zhang Dacheng Tao State Key Laboratory of Software Engineering School of Computer Science Wuhan University China Department of Computing The Hong Kong Polytechnic University Kowloon Hong Kong State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing Wuhan University China Centre for Quantum Computation & Intelligent Systems University of Technology Sydney NSW 2007 Australia

ISBN: (纸本)9781509006212

Deep networks like the convolutional neural network and its variants usually learn hierarchical features from labeled images, which is very expensive to obtain. How can we find an unsupervised way to effectively extract deep and abstract features from images without annotations? Even from large qualities of images with noise? In this paper, we propose a robust deep neural network, named as stacked convolutional denoising auto-encoders (SCDAE), which can map raw images to hierarchical representations in an unsupervised manner. Our network is elaborately designed to fit for the visual recognition tasks. It is established by stacking the denoising auto-encoders. Unlike the prior works, in the training phase, the auto-encoders are trained patch-wisely so that the latent features can be applied to powerful regularizers for better representation;in the inference phase, the denoising auto-encoders are stacked convolutionally, hence the generated feature maps in the higher layers can preserve the coherent structures within the features in the lower layers. To achieve better performance, we apply whitening to each layer to sphere the input features. Our network is evaluated on the challenging image datasets MNIST, CIFAR-10 and STL-10 and demonstrates superior performance to the state-of-the-art unsupervised networks.

关键词： Noise reduction Convolutional codes Training Feature extraction Kernel Optimized production technology Robustness

来源：评论

学校读者我要写书评

暂无评论

Toward rapid prototyping of miniature Capsule Robots

Toward rapid prototyping of miniature Capsule Robots

引用

2015 IEEE International Conference on Robotics and Automation, ICRA 2015

作者： Taddese, Addisu Beccani, Marco Susilo, Ekawahyu Völgyesi, Péter Lédeczi, Ákos Valdastri, Pietro Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University NashvilleTN37212 United States STORM Lab Department of Mechanical Engineering Vanderbilt University NashvilleTN37235 United States

ISBN: (纸本)9781479969234

Minimally invasive robotic surgery techniques are becoming popular thanks to their enhanced patient benefits, including shorter recovery time, better cosmetic results and reduced discomforts. Less invasive procedures would be achieved with the use of Medical Capsule Robots (MCRs). These devices are characterized by low power requirements and small dimensions as well as uncompromising safety. MCRs operate wirelessly in abdominal Minimally Invasive Surgery (MIS) and Natural Orifice Transluminal Endoscopic Surgery (NOTES) or in the Gastrointestinal (GI) tract. The design process of MCRs, however, is expensive and time consuming. A platform for rapid prototyping MCRs is needed so that MCR researchers can reduce development costs and spend more time in studying innovative MCR applications. In this work, we introduce an open source modular platform geared toward rapid prototyping MCRs. To speed up the prototyping process, the MCR is programmed using TinyOS instead of bare-bone C. We present the hardware architecture of the platform, and the motivation for using TinyOS. To show the viability of TinyOS, we present results from an experiment involving sensing, actuation and wireless communication. This work lays the foundation for our future goal of building an integrated design environment for the design, analysis and simulation of MCRs. © 2015 IEEE.

关键词： Rapid prototyping

来源：评论

学校读者我要写书评

暂无评论

Real-Time Eye Detection and Tracking

Real-Time Eye Detection and Tracking

引用

2015 SSR International Conference on Social sciences and Information(SSR-SSI 2015)

作者： Brandon Resheske Baozhong Tian Wausau Financial Systems Department of Computer Science and Software Engineering University of Wisconsin – Platteville

The purpose of this paper was to expand upon an existing eye detection algorithm and to innovate an acceptable and practical solution aimed for hands-free computer *** overall goal was to create a cost-efficient real-time application which aids the physically disabled by allowing navigation through the Microsoft Windows operating system using only their *** primary focus was to develop and algorithm with both a high degree of efficiency and accuracy without the use of any specialized equipment or *** concluded approximately 97% accuracy in low lit environments and 99% accuracy in well-lit environments when calibrated *** accuracy and efficiency decrease when executing in a poorly lit environment,or in a poorly calibrated system.

关键词： Eye detection Hue filter Real-time tracking Hand-free use Screen-mapping

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共228页 << < 114 115 116 117 118 119 120 121 122 123 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：