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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

612 篇 会议
226 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

640 篇 工学
- 540 篇 计算机科学与技术...
- 448 篇 软件工程
- 123 篇 信息与通信工程
- 93 篇 控制科学与工程
- 44 篇 电子科学与技术（可...
- 43 篇 电气工程
- 41 篇 生物工程
- 36 篇 机械工程
- 28 篇 动力工程及工程热...
- 26 篇 光学工程
- 23 篇 化学工程与技术
- 22 篇 建筑学
- 21 篇 材料科学与工程（可...
- 19 篇 安全科学与工程
- 18 篇 仪器科学与技术
- 18 篇 土木工程
- 18 篇 交通运输工程
- 16 篇 生物医学工程（可授...
- 10 篇 航空宇航科学与技...
357 篇 理学
- 259 篇 数学
- 59 篇 物理学
- 56 篇 统计学（可授理学、...
- 52 篇 系统科学
- 43 篇 生物学
- 27 篇 化学
215 篇 管理学
- 120 篇 管理科学与工程(可...
- 111 篇 图书情报与档案管...
- 57 篇 工商管理
25 篇 法学
- 19 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
8 篇 医学
6 篇 教育学
6 篇 农学
4 篇 艺术学
1 篇 文学
1 篇 军事学

主题

22 篇 semantics
13 篇 data mining
13 篇 computational mo...
13 篇 web services
10 篇 computer science
10 篇 optimization
10 篇 forecasting
9 篇 clustering algor...
8 篇 conferences
8 篇 computer archite...
8 篇 neural networks
8 篇 analytical model...
7 篇 ordinary differe...
7 篇 software quality
7 篇 feature extracti...
7 篇 software
7 篇 accuracy
7 篇 cloud computing
7 篇 measurement
7 篇 privacy

机构

91 篇 state key lab. f...
56 篇 state key lab. o...
28 篇 state key lab. o...
28 篇 university of ch...
26 篇 state key lab. o...
22 篇 state key lab. o...
22 篇 computer school ...
14 篇 tianjin key lab....
14 篇 state key lab. f...
13 篇 department of co...
12 篇 beijing key lab....
12 篇 school of comput...
12 篇 state key lab. o...
11 篇 key laboratory o...
10 篇 department of co...
10 篇 state key labora...
10 篇 school of comput...
10 篇 hunan provincial...
10 篇 school of comput...
10 篇 nanjing universi...

作者

22 篇 zhan naijun
19 篇 xue bai
15 篇 liu jin
12 篇 guosheng kang
11 篇 du junping
11 篇 chen ling
10 篇 liu wei
10 篇 wang hongan
9 篇 zhan bohua
9 篇 liu jianxun
8 篇 kang guosheng
8 篇 he keqing
8 篇 bai xue
8 篇 wu enhua
8 篇 sanglu lu
8 篇 he yanxiang
8 篇 dai guozhong
8 篇 jianxun liu
7 篇 zhang degan
7 篇 zhang xiaolong

语言

791 篇 英文
32 篇 中文
19 篇 其他

检索条件"机构=Key Lab. of System Software and State Key Lab. of Computer Science"

共 841 条记录，以下是261-270 订阅

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

详细简洁

排序：

Computing reachable sets of linear vector fields revisited

Computing reachable sets of linear vector fields revisited

引用

European Control Conference (ECC)

作者： Ting Gan Mingshuai Chen Yangjia Li Bican Xia Naijun Zhan LMAM & School of Mathematical Sciences Peking University State Key Lab. of Computer Science Chinese Academy of Sciences

The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable sets for most of hybrid systems are not computable except for some special families. In our previous work, we identified a family of vector fields, whose state parts are linear with real eigenvalues, while input parts are exponential functions, and proved its reachability problem is decidable. In this paper, we investigate another family of vector fields, whose state parts are linear, but with pure imagine eigenvalues, while input parts are trigonometric functions, and prove its reachability problem is decidable also. To the best of our knowledge, the two families are the largest families of linear vector fields with a decidable reachability problem. In addition, we present an approach on how to abstract general linear dynamical systems to the first family. Comparing with existing abstractions for linear dynamical systems, experimental results indicate that our abstraction is more precise.

关键词： Eigenvalues and eigenfunctions Algebra Automata Manganese Europe computer science software

来源：评论

学校读者我要写书评

暂无评论

Recommendations Based on LDA Topic Model in Android Applications

Recommendations Based on LDA Topic Model in Android Applicat...

引用

IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)

作者： Tianhao Pan Weifeng Zhang Ziyuan Wang Lei Xu School of Computer Science and Technology Nanjing University of Posts and Telecommunications Nanjing China State Key Lab. for Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9781509037148

With the popularity of smart phones, mobile applications have become an essential element in people's lives. Wherever you are, the Android market can allow people to download these applications. When you open Android mobile phone market in a mobile application program interface, we can see not only the application content presentation but also other information. The user can also see the scoring for this application, comments and so on. The text describes the application content information and user reviews, no more than 200 words, the contents of which are closely related to mobile applications. How to use these text data to obtain valuable information for the users has been an important research field of data mining, it is also the focus of this study. The topics of different mobile applications are the summary of their contents. This generalization to some extent reflects the different mobile application content core idea. Therefore mobile applications relating to mining user interest analysis has important significance, the results relating to mining can provide data support for topic-based personalized recommendation applications. This article extracts the contents and users' descriptions from a real Android Market dataset, and builds a new topic model called combineLDA to analyze different topics of each mobile application. By combineLDA model we can analyze the topic probability distribution of each mobile application, and then we can calculate the similarity and recommend to users with high similarity applications.

关键词： Conferences software quality software reliability Security

来源：评论

学校读者我要写书评

暂无评论

Computation Based on Signal Random Fluctuation in Asynchronous Cellular Automata

Computation Based on Signal Random Fluctuation in Asynchrono...

引用

International Symposium on Computing and Networking (CANDAR)

作者： Wen-Li Xu Jia Lee College of Computer Science Chongqing University Chongqing China Chongqing Key Lab. Software Theory & Technology Chongqing University Chongqing China

ISBN: (纸本)9781509026562

A Brownian cellular automaton (BCA) is an asynchronous cellular automaton (ACA) in which the local configurations representing signals may fluctuate randomly in the cell space. The random fluctuation of signals enables effective stochastic search to conduct computation, which can actually result in the decreased complexity of BCAs. This paper proposes a novel BCA based on a conventional ACA, which employs a smaller number of rules as compared to the previous model. This BCA is capable of universal computing which might demonstrate the crucial role of signal random fluctuation for reducing the complexity of universal ACAs.

关键词： universal computation cellular automaton Brownian cellular automaton Brownian circuits

来源：评论

学校读者我要写书评

暂无评论

Real-time Individual 3D Facial Animation by Combining Parameterized Model and Muscular Model

Real-time Individual 3D Facial Animation by Combining Parame...

引用

第35届中国控制会议

作者： Jun Yu Lingyan Li Jie Zou Department of Automation University of Science and Technology of China State Key Lab. for Novel Software Technology Nanjing University Department of Computer Science and Technology Wuhan Technology and Business University

ISBN: (纸本)9781509009107

A real-time individual 3D facial animation system is ***,facial regions and features are localized on a frontal facial image based on the combination of AdaBoost,CamShift and Active Appearance ***,an individual3 D facial mesh model,including appearance and internal articulators,is *** individual appearance mesh model is obtained by adapting an universal 3D facial mesh model to the facial features,and the individual internal articulatory mesh is obtained by integrating with the individual appearance mesh model at the same ***,to compromise between performance and realism,the parameterized model and muscular model are combined to produce facial animation based on a facial action area splitting *** results demonstrate the effectiveness and efficiency of the proposed system.

关键词： Facial model adaptation facial animation parameterized model muscular model

来源：评论

学校读者我要写书评

暂无评论

Efficient Snapshot KNN Join Processing for Large Data Using MapReduce

Efficient Snapshot KNN Join Processing for Large Data Using ...

引用

International Conference on Parallel and Distributed systems (ICPADS)

作者： Yupeng Hu Chong Yang Cun Ji Yang Xu Xueqing Li State Key Lab. for Novel Software Technology Nanjing University P.R. China School of Computer Science and Technology Shandong University P.R. China

ISBN: (纸本)9781509053827

The kNN join problem, denoted by R × KNN S, is to find the k nearest neighbors from a given dataset S for each point in the query set R. It is an operation required by many big data applications. As large volume of data are continuously generated in more and more real-life cases, we address the problem of monitoring kNN join results on data streams. Specifically, we are concerned with answering kNN join periodically at each snapshot which is called snapshot kNN join. Existing kNN join solutions mainly solve the problem on static datasets, or on a single centralized machine, which are difficult to scale to large data on data streams. In this paper, we propose to incrementally calculate the kNN join results of time t i from the results of snapshot t i-1 . Typically, for the data continuously generated on the data stream, we can get S i = S i-1 + ΔS i for the valid datasets of adjacent snapshots, where ΔS i denotes the updated points between time t i-1 and t i . Our basic idea is to first find the queries in R whose kNN results can be affected by the updated points in ΔS i , and then update the kNN results of these small part of queries respectively. In this way, we can avoid calculating the kNN join results on the whole dataset S i in time t i . We propose an implementation of searching for affected query points in MapReduce to scale to large volume of data. In brief, the mappers partition the datasets into groups, and the reducers search for affected queries separately on each group of points. Furthermore, we present the enhanced strategies of data partitioning and grouping to reduce the shuffling cost and computational cost. Extensive experiments on real-world datasets demonstrate that proposed methods are efficient, robust, and scalab.e.

关键词： Measurement Distributed databases Computational efficiency Robustness Servers Indexes Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Where to Fix Temporal Violations: A Novel Handling Point Selection Strategy for Business Cloud Workflows

Where to Fix Temporal Violations: A Novel Handling Point Sel...

引用

IEEE International Conference on Services Computing (SCC)

作者： Haoyu Luo Xiao Liu Jin Liu Futian Wang State Key Lab. of Software Engineering Wuhan University Wuhan China School of Information Technology Deakin University Melbourne Australia School of Computer Science and Technology Anhui University Hefei China

On-time completion is an important QoS (Quality of Service) dimension for business cloud workflow systems. Due to the dynamic and uncertain system performance, failures of on-time completion, namely temporal violations, often take place during workflow runtime and thus temporal verification and temporal violation handling are required. Currently, workflow throughput is employed by temporal verification for a large number of parallel workflow instances as the detector for temporal violations in a collective way. However, based on workflow throughput, it is impossible to locate the exact workflow activities and cloud services where temporal violations occurred. This is a critical problem as to increase workflow throughput of the whole system is very expensive if we do not know where to fix local temporal violations. To address such a problem, based on the results of a throughput based temporal checkpoint selection strategy, this paper proposes a novel temporal violation handling point selection strategy which further utilizes the average response time of a cloud service as the key detector to determine whether temporal violation handling needs to be implemented or not. Comprehensive experimental results demonstrate that while achieving the same on-time completion rate, our strategy is much more cost effective as it can precisely localize temporal violations and hence require a much smaller number of times for temporal violation handling compared with other strategies.

关键词： Throughput Business Quality of service Cloud computing Time factors Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

Stochastic gradient geodesic MCMC methods 30

Stochastic gradient geodesic MCMC methods

引用

30th Annual Conference on Neural Information Processing systems, NIPS 2016

作者： Liu, Chang Zhu, Jun Song, Yang Dept. of Comp. Sci. and Tech. TNList Lab. Center for Bio-Inspired Computing Research Beijing China State Key Lab for Intell. Tech. and Systems Tsinghua University Beijing China Dept. of Physics Tsinghua University Beijing China Department of Computer Science Stanford University CA United States

We propose two stochastic gradient MCMC methods for sampling from Bayesian posterior distributions defined on Riemann manifolds with a known geodesic flow, e.g. hyperspheres. Our methods are the first scalab.e sampling methods on these manifolds, with the aid of stochastic gradients. Novel dynamics are conceived and 2nd-order integrators are developed. By adopting embedding techniques and the geodesic integrator, the methods do not require a global coordinate system of the manifold and do not involve inner iterations. Synthetic experiments show the validity of the method, and its application to the challenging inference for spherical topic models indicate practical usability and efficiency. © 2016 NIPS Foundation - All Rights Reserved.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Modeling and evaluating IaaS cloud using performance evaluation process algebra

Modeling and evaluating IaaS cloud using performance evaluat...

引用

Asia-Pacific Conference on Communications

作者： Jie Ding Leijie Sha Xiao Chen State Key Lab. for Novel Software Technology Nanjing University Nanjing China School of Information Engineering Yangzhou University Yangzhou China School of Computer Science and Telecommunication Engineering Jiangsu University Zheniian China

ISBN: (纸本)9781509006779

Infrastructure as a Service (IaaS) is a service mode of cloud, which provides Virtual Machines (VMs) to customers. With the increasingly fierce competition in market, cloud providers pay more attention to Quality of service (Qos). As the practical measurement costs a large amount of resource, deriving performance metrics from analytical model is a good choice. Recently, Stochastic Petri Net (SPN) has been used to construct analytical models, but they lack the ability to exhibit hierarchies of IaaS cloud. Compare to SPN, Performance Evaluation Process Algebra (PEPA) has the feature of compositionality, which imports the hierarchial strategy into the semantics. So, PEPA models of IaaS cloud are closed to actual architecture and can be more easily accepted by engineers. This paper provides a PEPA model of IaaS cloud and gives some numerical results.

关键词： Mathematical model Cloud computing Analytical models Switches Numerical models Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Performance optimization of Jacobi stencil algorithms based on POWER8 architecture

Performance optimization of Jacobi stencil algorithms based ...

引用

International Conference on Application Specific systems (ASAP), Architectures and Processors

作者： Jingheng Xu Haohuan Fu Lin Gan Yu Song Hongbo Peng Wen Shi Guangwen Yang Department of Computer Science & Technology Tsinghua University National Supercomputer Center at Wuxi Ministry of Education Key Lab. for Earth System Modeling Tsinghua University IBM China Systems and Technology Laboratory

In this paper we choose the widely used Jacobi stencil algorithm as our target program to evaluate the effectiveness of tuning techniques based on the latest POWER8 processor, thus to provide optimization guidelines t... 详细信息

ISBN: (纸本)9781509015047

关键词： Optimization Jacobian matrices Hardware Instruction sets Tuning computer architecture software performance

来源：评论

学校读者我要写书评

暂无评论

A simple probabilistic extension of modal Mu-calculus 24

A simple probabilistic extension of modal Mu-calculus

引用

24th International Joint Conference on Artificial Intelligence, IJCAI 2015

作者： Liu, Wanwei Song, Lei Wang, Ji Zhang, Lijun School of Computer Science National University of Defense Technology Changsha China University of Technology Sydney Australia State Key Lab. of HPC National University of Defense Technology Changsha China State Key Lab. of Computer Science Institute of Software CAS Beijing China

ISBN: (纸本)9781577357384

Probabilistic systems are an important theme in AI domain. As the specification language, PCTL is the most frequently used logic for reasoning about probabilistic properties. In this paper, we present a natural and succinct probabilistic extension of μ-calculus, another prominent logic in the concurrency theory. We study the relationship with PCTL. Surprisingly, the expressiveness is highly orthogonal with PCTL. The proposed logic captures some useful properties which cannot be expressed in PCTL. We investigate the model checking and satisfiability problem, and show that the model checking problem is in UP ∩co-UP, and the satisfiability checking can be decided via reducing into solving parity games. This is in contrast to PCTL as well, whose satisfiability checking is still an open problem.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共85页 << < 23 24 25 26 27 28 29 30 31 32 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：