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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

521 篇 会议
298 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

424 篇 工学
- 321 篇 计算机科学与技术...
- 249 篇 软件工程
- 77 篇 信息与通信工程
- 59 篇 控制科学与工程
- 30 篇 生物工程
- 26 篇 电气工程
- 26 篇 化学工程与技术
- 23 篇 机械工程
- 19 篇 电子科学与技术（可...
- 18 篇 动力工程及工程热...
- 17 篇 生物医学工程（可授...
- 15 篇 力学（可授工学、理...
- 15 篇 材料科学与工程（可...
- 14 篇 光学工程
- 14 篇 仪器科学与技术
- 6 篇 航空宇航科学与技...
370 篇 理学
- 302 篇 数学
- 93 篇 统计学（可授理学、...
- 60 篇 物理学
- 39 篇 生物学
- 28 篇 化学
- 28 篇 系统科学
80 篇 管理学
- 42 篇 管理科学与工程(可...
- 38 篇 图书情报与档案管...
- 28 篇 工商管理
13 篇 医学
- 11 篇 临床医学
- 9 篇 基础医学(可授医学...
12 篇 经济学
- 12 篇 应用经济学
12 篇 教育学
- 12 篇 教育学
7 篇 法学
- 6 篇 社会学
5 篇 农学
1 篇 哲学
1 篇 文学
1 篇 历史学
1 篇 军事学
1 篇 艺术学

主题

118 篇 computer science
40 篇 mathematics
19 篇 algorithm design...
19 篇 polynomials
17 篇 artificial intel...
16 篇 educational inst...
16 篇 computational mo...
14 篇 humans
14 篇 shape
13 篇 data mining
13 篇 equations
12 篇 application soft...
11 篇 routing
11 篇 mathematical mod...
11 篇 layout
10 篇 concurrent compu...
10 篇 control systems
10 篇 topology
10 篇 robustness
9 篇 cameras

机构

21 篇 department of co...
11 篇 math. division n...
11 篇 department of ma...
9 篇 college of mathe...
8 篇 courant inst. of...
7 篇 department of ap...
7 篇 inst. math. stoc...
6 篇 department of co...
6 篇 department of co...
6 篇 machine learning...
6 篇 department of ap...
5 篇 department of ap...
5 篇 school of comput...
5 篇 research centre ...
5 篇 department of ap...
5 篇 dept. of math. a...
4 篇 department of ma...
4 篇 math. research i...
4 篇 department of co...
4 篇 department of ma...

作者

11 篇 naor moni
11 篇 ban jung-chao
9 篇 hu wen-guei
9 篇 sharir micha
8 篇 alsmeyer gerold
8 篇 m. irani
8 篇 lai guan-yu
7 篇 r. basri
6 篇 hemaspaandra edi...
6 篇 krishnaswamy smi...
6 篇 srivastava gauta...
6 篇 fitzsimmons zack
6 篇 wu yu-liang
5 篇 chang chih-hung
5 篇 maldonado josé c...
5 篇 irit dinur
5 篇 macdonell stephe...
5 篇 mendes emília
5 篇 pinchasi rom
5 篇 evangelos a. the...

语言

805 篇 英文
20 篇 其他
3 篇 中文
1 篇 西班牙文

检索条件"机构=Computer Science and Applied Math. Department"

共 828 条记录，以下是281-290 订阅

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

详细简洁

排序：

Free energy based policy gradients

Free energy based policy gradients

引用

IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning, (ADPRL)

作者： Evangelos A. Theodorou Jiri Najemnik Emo Todorov Department of Computer Science and Engineering University of Washington Seattle University of Washington Seattle Departments of Computer Science and Engineering and Applied Math University of Washington Seattle

Despite the plethora of reinforcement learning algorithms in machine learning and control, the majority of the work in this area relies on discrete time formulations of stochastic dynamics. In this work we present a new policy gradient algorithm for reinforcement learning in continuous state action spaces and continuous time for free energy-like cost functions. The derivation is based on successive application of Girsanov's theorem and the use of the Radon Nikodým derivative as formulated for Markov diffusion processes. The resulting policy gradient is reward weighted. The use of Radon Nikodým extends analysis and results to more general models of stochasticity in which jump diffusions processes are considered. We apply the resulting algorithm in two simple examples for learning attractor landscapes in rhythmic and discrete movements.

关键词： Learning (artificial intelligence) Diffusion processes Markov processes Cost function Equations Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Time Varying Nonlinear Policy Gradients

Time Varying Nonlinear Policy Gradients

引用

IEEE Annual Conference on Decision and Control

作者： Evangelos A. Theodorou Krishnamurthy Dvijotham Emo Todorov School of Aerospace Engineering Georgia Institute of Technology Atlanta Department of Computer Science and Engineering University of Washington Seattle Departments of Computer Science and Engineering and Applied Math University of Washington Seattle

ISBN: (纸本)9781467357159

We derive Policy Gradients(PGs) with time varying parameterizations for nonlinear diffusion processes affine in noise. The resulting policies have the form of reward weighted gradient. The analysis is in continuous time and includes the case of linear and nonlinear parameterizations. Examples on stochastic control problems for diffusions processes are provided.

关键词： Trajectory Linear programming Noise Diffusion processes Aerodynamics Educational institutions Equations

来源：评论

学校读者我要写书评

暂无评论

On the Sum of Squared η-μ Random Variates With Application to the Performance of Wireless Communication Systems

On the Sum of Squared η-μ Random Variates With Application...

引用

IEEE Vehicular Technology Conference

作者： Imran Shafique Ansari Ferkan Yilmaz Mohamed-Slim Alouini Computer Electrical and Mathematical Sciences and Engineering (CEMSE) Division at King Abdullah University of Science and Technology (KAUST) Al-Khawarizmi Applied Math. Building (Bldg. #1) Thuwal 23955-6900 Makkah Province Kingdom of Saudi Arabia

ISBN: (纸本)9781467363365

The probability density function (PDF) and cumulative distribution function of the sum of L independent but not necessarily identically distributed squared η-μ variates, applicable to the output statistics of maximal ratio combining (MRC) receiver operating over η-μ fading channels that includes the Hoyt and the Nakagami-m models as special cases, is presented in closed-form in terms of the Fox's H function. Further analysis, particularly on the bit error rate via PDF-based approach, is also represented in closed form in terms of the extended Fox's H function (H). The proposed new analytical results complement previous results and are illustrated by extensive numerical and Monte Carlo simulation results.

关键词： η-μ variates cellular mobile radio systems non-integer parameters diversity maximal ratio combining binary modulation schemes bit error rate Fox's H function Meijer's G function and extended Fox's H function Bit error rate diversity reception Wireless communication systems Mobile radio systems closed forms sums Cumulative distribution function Hydrogen

来源：评论

学校读者我要写书评

暂无评论

pVOCL: Power-Aware Dynamic Placement and Migration in Virtualized GPU Environments

pVOCL: Power-Aware Dynamic Placement and Migration in Virtua...

引用

International Conference on Distributed Computing Systems

作者： Palden Lama Yan Li Ashwin M. Aji Pavan Balaji James Dinan Shucai Xiao Yunquan Zhang Wu-chun Feng Rajeev Thakur Xiaobo Zhou Department of Computer Science University of Colorado Colorado Springs USA Math. and Comp. Sci. Div. Argonne National Laboratory USA Institute of Software Chinese Academy of Sciences China Department of Computer Science Virginia Tech USA Advanced Micro Devices USA

Power-hungry Graphics processing unit (GPU) accelerators are ubiquitous in high performance computing data centers today. GPU virtualization frameworks introduce new opportunities for effective management of GPU resources by decoupling them from application execution. However, power management of GPU-enabled server clusters faces significant challenges. The underlying system infrastructure shows complex power consumption characteristics depending on the placement of GPU workloads across various compute nodes, power-phases and cabinets in a datacenter. GPU resources need to be scheduled dynamically in the face of time-varying resource demand and peak power constraints. We propose and develop a power-aware virtual OpenCL (pVOCL) framework that controls the peak power consumption and improves the energy efficiency of the underlying server system through dynamic consolidation and power-phase topology aware placement of GPU workloads. Experimental results show that pVOCL achieves significant energy savings compared to existing power management techniques for GPU-enabled server clusters, while incurring negligible impact on performance. It drives the system towards energy-efficient configurations by taking an optimal sequence of adaptation actions in a virtualized GPU environment and meanwhile keeps the power consumption below the peak power budget.

关键词： Graphics processing units Power demand Topology Kernel Servers Monitoring Power measurement

来源：评论

学校读者我要写书评

暂无评论

Using Ontology Patterns for Building a Reference Software Testing Ontology

Using Ontology Patterns for Building a Reference Software Te...

引用

International Workshop on Enterprise Distributed Object Computing, EDOCW

作者： E.F. Souza R.A. Falbo N.L. Vijaykumar Applied Computing National Institute for Space Research INPE São José dos Campos SP Brazil Department of Computer Science Federal University of Espírito Santo UFES Vitória ES Brazil Lab. of Comp. and Applied Math. National Institute for Space Research INPE São José dos Campos SP Brazil

Software testing is a critical process for achieving product quality. Its importance is more and more recognized, and there is a growing concern in improving the accomplishment of this process. In this context, Knowledge Management emerges as an important supporting tool. However, managing relevant knowledge to reuse is difficult and it requires some means to represent and to associate semantics to a large volume of test information. In order to address this problem, we have developed a Reference Ontology on Software Testing (ROost). ROost is built reusing ontology patterns from the Software Process Ontology Pattern Language (SP-OPL). In this paper, we discuss how ROost was developed, and present a fragment of Roost that concerns with software testing process, its activities, artifacts, and procedures.

关键词： Ontologies Software testing Unified modeling language Software Standards Context

来源：评论

学校读者我要写书评

暂无评论

(Multiple) Channel acquisition and contention handling mechanisms for dynamic spectrum access in a distributed system of cognitive radio networks

(Multiple) Channel acquisition and contention handling mecha...

引用

International Conference on Computing, Networking and Communications (ICNC)

作者： Kenneth Ezirim Shamik Sengupta Erald Troia Department of Computer Science Graduate Center City University of New York New York NY USA Department of Computer Science Graduate Center City University of New York New York NY Department of Mathematics & ComputerSc. John Jay College City University of New York New York NY USA Department of Math. & Comp. Sc. City University of New York New York NY City University of New York New York NY US

In dynamic spectrum access, cognitive radio networks compete with one another to acquire under-utilized and idle channels for data transmission. Each network strives to acquire as many channels as possible to satisfy its maximum channel requirement. The main goal of a network is to maximize its utility and at the same time minimize the amount of contention it experiences with other secondary networks. In this paper we focus on the study of channel acquisition and contention handling mechanisms that a system of networks can adopt to maximize utility and minimize contention. A system of networks becomes stable if all networks have acquired enough number of channels to satisfy their channel requirements without any contention between them. It is obvious that a network's utility depends on the stability of the system and how fast the stability is attained. The mechanisms proposed in this paper ensure fast convergence of the system by minimizing the contention experienced until a state of equilibrium is finally attained. Simulation experiments were conducted taking into consideration the unpredictable behavior of the primary users who are the licensed owners of the spectrum bands.

关键词： Convergence Cognitive radio Simulation Dynamic spectrum access Sensors Quality of service

来源：评论

学校读者我要写书评

暂无评论

Modular verification of OO programs with interfaces

Modular verification of OO programs with interfaces

引用

14th International Conference on Formal Engineering Methods, ICFEM 2012

作者： Qiu, Zongyan Hong, Ali Liu, Yijing LMAM and Department of Informatics School of Math. Peking University China State Key Laboratory of Computer Science ISCAS China

ISBN: (纸本)9783642342806

Interface types in OO languages support polymorphism, abstraction and information hiding by separating interfaces from their implementations. The separation enhances modularity of programs, however, it causes also challenges to the formal verification. Here we present a study on interface types, and develop a specification and verification theory based on our former veriJ framework. We support multi-specifications for classes inherited from interfaces and the superclass, and keep the verification modularly without re-touching the verified code. The concepts developed in veriJ, namely the abstract specification and specification predicate, play important roles in this extension, and thus are proved widely useful and very natural in the formal proofs of OO programs. © 2012 Springer-Verlag.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Predicting human miRNA target genes using a novel evolutionary methodology

Predicting human miRNA target genes using a novel evolutiona...

引用

7th Hellenic Conference on Artificial Intelligence, SETN 2012

作者： Aigli, Korfiati Dimitris, Kleftogiannis Konstantinos, Theofilatos Spiros, Likothanassis Athanasios, Tsakalidis Seferina, Mavroudi Department of Computer Engineering and Informatics University of Patras Greece Math. and Computer Sciences and Engineering King Abdullah Univ. of Science and Technology Saudi Arabia

ISBN: (纸本)9783642304477

The discovery of miRNAs had great impacts on traditional biology. Typically, miRNAs have the potential to bind to the 3'untraslated region (UTR) of their mRNA target genes for cleavage or translational repression. The experimental identification of their targets has many drawbacks including cost, time and low specificity and these are the reasons why many computational approaches have been developed so far. However, existing computational approaches do not include any advanced feature selection technique and they are facing problems concerning their classification performance and their interpretability. In the present paper, we propose a novel hybrid methodology which combines genetic algorithms and support vector machines in order to locate the optimal feature subset while achieving high classification performance. The proposed methodology was compared with two of the most promising existing methodologies in the problem of predicting human miRNA targets. Our approach outperforms existing methodologies in terms of classification performances while selecting a much smaller feature subset. © 2012 Springer-Verlag.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Why Eve and Mallory love Android: An analysis of Android SSL (in)security 12

Why Eve and Mallory love Android: An analysis of Android SSL...

引用

2012 ACM Conference on computer and Communications Security, CCS 2012

作者： Fahl, Sascha Harbach, Marian Muders, Thomas Smith, Matthew Baumgärtner, Lars Freisleben, Bernd Distributed Computing and Security Group Leibniz University of Hannover Hannover Germany Department of Math. and Computer Science Philipps University of Marburg Marburg Germany

ISBN: (纸本)9781450316507

Many Android apps have a legitimate need to communicate over the Internet and are then responsible for protecting potentially sensitive data during transit. This paper seeks to better understand the potential security threats posed by benign Android apps that use the SSL/TLS protocols to protect data they transmit. Since the lack of visual security indicators for SSL/TLS usage and the inadequate use of SSL/TLS can be exploited to launch Man-in-the-Middle (MITM) attacks, an analysis of 13,500 popular free apps downloaded from Google's Play Market is presented. We introduce MalloDroid, a tool to detect potential vulnerability against MITM attacks. Our analysis revealed that 1,074 (8.0%) of the apps examined contain SSL/TLS code that is potentially vulnerable to MITM attacks. Various forms of SSL/TLS misuse were discovered during a further manual audit of 100 selected apps that allowed us to successfully launch MITM attacks against 41 apps and gather a large variety of sensitive data. Furthermore, an online survey was conducted to evaluate users' perceptions of certificate warnings and HTTPS visual security indicators in Android's browser, showing that half of the 754 participating users were not able to correctly judge whether their browser session was protected by SSL/TLS or not. We conclude by considering the implications of these findings and discuss several countermeasures with which these problems could be alleviated. Copyright © 2012 ACM.

关键词： Sensitive data

来源：评论

学校读者我要写书评

暂无评论

Towards social mobile blended learning

引用

11th International Conference on Intelligent Tutoring Systems, ITS 2012

作者： Abozeid, Amr Abdel Razek, Mohammed Frasson, Claude Azhar University Faculty of Science Math. and Computer Science Depart. Naser City Cairo Egypt Deanship of Distance Learning King Abdulaziz University Saudi Arabia Computer Science Department University of Montréa CP 6128 succ Montréal QC Canada

ISBN: (纸本)9783642309496

Mobile technologies and Web 2.0 have led to explosions of communication, with a resulting increased need for people to process and utilize that new communication. This paper presents a new approach to create an integrated approach for learners by bring traditional education, mobile learning, along with social network into one adaptive blended learning environment. This approach introduces an adaptation mechanism to adapt learning objects to meet learner characteristics and their mobile capabilities. © 2012 Springer-Verlag.

关键词： computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共83页 << < 25 26 27 28 29 30 31 32 33 34 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：