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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

156 篇 会议
72 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

143 篇 工学
- 121 篇 计算机科学与技术...
- 88 篇 软件工程
- 26 篇 信息与通信工程
- 19 篇 控制科学与工程
- 11 篇 生物工程
- 8 篇 机械工程
- 8 篇 动力工程及工程热...
- 7 篇 电子科学与技术（可...
- 6 篇 建筑学
- 6 篇 航空宇航科学与技...
- 5 篇 电气工程
- 4 篇 网络空间安全
- 3 篇 力学（可授工学、理...
- 3 篇 光学工程
- 3 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 环境科学与工程（可...
- 3 篇 生物医学工程（可授...
71 篇 理学
- 48 篇 数学
- 14 篇 系统科学
- 14 篇 统计学（可授理学、...
- 12 篇 生物学
- 11 篇 物理学
- 3 篇 化学
43 篇 管理学
- 29 篇 管理科学与工程(可...
- 18 篇 图书情报与档案管...
- 11 篇 工商管理
6 篇 经济学
- 6 篇 应用经济学
6 篇 医学
- 6 篇 临床医学
- 4 篇 基础医学(可授医学...
2 篇 法学

主题

10 篇 software enginee...
9 篇 web services
7 篇 laboratories
7 篇 authentication
7 篇 computational mo...
7 篇 semantics
6 篇 xml
6 篇 educational inst...
6 篇 algorithm design...
6 篇 analytical model...
5 篇 protocols
4 篇 reinforcement le...
4 篇 public key crypt...
4 篇 network topology
4 篇 wireless sensor ...
4 篇 calculus
3 篇 helium
3 篇 surveys
3 篇 service oriented...
3 篇 application soft...

机构

69 篇 shanghai key lab...
35 篇 software enginee...
18 篇 shanghai key lab...
15 篇 shanghai key lab...
15 篇 shanghai key lab...
8 篇 shanghai key lab...
6 篇 school of inform...
6 篇 school of comput...
5 篇 university of ch...
4 篇 shanghai key lab...
4 篇 shanghai key lab...
4 篇 state key labora...
3 篇 institute of com...
3 篇 microsoft
3 篇 college of infor...
3 篇 science and tech...
3 篇 state key lab of...
3 篇 shanghai key lab...
3 篇 shanghai key lab...
3 篇 school of comput...

作者

16 篇 huibiao zhu
13 篇 wang ting
12 篇 zhu huibiao
11 篇 zhao hui
10 篇 qin li
10 篇 zhou aoying
9 篇 zhang lei
9 篇 shi yuanming
8 篇 wang xiaoling
7 篇 peng chao
7 篇 hui zhao
6 篇 yongxin zhao
6 篇 zhao yongxin
6 篇 jifeng he
6 篇 jing liu
6 篇 du yugen
5 篇 cai haibin
5 篇 geguang pu
5 篇 shi jianqi
5 篇 li qin

语言

203 篇 英文
22 篇 其他
3 篇 中文

检索条件"机构=Shanghai Key Lab of Trustworthy Computing Software Engineering Institute"

共 228 条记录，以下是151-160 订阅

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

详细简洁

排序：

An SVM-based approach to discover microRNA precursors in plant genomes

An SVM-based approach to discover microRNA precursors in pla...

引用

15th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2011

作者： Wang, Yi Jin, Cheqing Zhou, Minqi Zhou, Aoying Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University China

ISBN: (纸本)9783642283192

MicroRNAs (miRNAs) are noncoding RNAs of ∼22 nucleotides that play versatile regulatory roles in multicelluler organisms. Since the cloning methods for miRNAs identification are biased towards abundant miRNAs, the computational approaches provide useful complements to identify miRNAs which are highly constrained by tissue- and time-specifically expression manners. In this paper, we propose a novel Support Vector Machine (SVM) based detector, named MiR-PD, to identify pre-miRNAs in plants. The classifier is constructed based on twelve features of pre-miRNAs, inclusive of five global features and seven sub-structure features. Trained on 790 plant pre-miRNAs and 7,900 pseudo pre-miRNAs, MiR-PD achieves 96.43% five-fold cross-validation accuracy. Tested on the newly identified 441 plant pre-miRNAs and 62,883 pseudo pre-miRNAs, MiR-PD reports an accuracy of 99.71% with 77.55% sensitivity and 99.87% specificity, suggesting a feasible genome-wide application of this miRNAs detector so as to identify novel miRNAs (especially for those species-specific miRNAs) in plants without relying on phylogenetical conservation. © 2012 Springer-Verlag.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

A Generic Construction of Proxy Signatures from Certificateless Signatures

A Generic Construction of Proxy Signatures from Certificatel...

引用

International Conference on Advanced Information Networking and Applications (AINA)

作者： Lei Zhang Qianhong Wu Bo Qin Josep Domingo-Ferrer Peng Zeng Jianwei Liu Ruiying Du Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China UNESCO Chair in Data Privacy Department of Computer Engineering and Mathematics Universitat Rovira i Virgili Tarragona Spain Key Laboratory of Aerospace Information Security and Trusted Computing Ministry of Education School of Computer Wuhan University China Department of Maths School of Science Xi'an University of Technology China School of Electronic and Information Engineering Beijing University of Aeronautics and Astronautics China

The primitive of proxy signatures allows the original signer to delegate proxy signers to sign on messages on behalf of the original signer. It has found numerous applications in distributed computing scenarios where delegation of signing rights is common. Certificate less public key cryptography eliminates the complicated certificates in traditional public key cryptosystems without suffering from the key escrow problem in identity-based public key cryptography. In this paper, we reveal the relationship between the two important primitives of proxy signatures and certificate less signatures and present a generic conversion from the latter to the former. Following the generic transformation, we propose an efficient proxy signature scheme with a recent certificate less signature scheme.

关键词： Artificial intelligence Bismuth Games Public key cryptography Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Formal verification and simulation: Co-verification for subway control systems

Formal verification and simulation: Co-verification for subw...

引用

IEEE 6th International Symposium on Theoretical Aspects of software engineering, TASE 2012

作者： Fang, Huixing Guo, Jian Zhu, Huibiao Shi, Jianqi Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China State Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9780769547510

For hybrid systems, hybrid automata based tools are capable of verification while Matlab Simulink/Stateflow is proficient in simulation. In this paper, a methodology is developed in which the formal verification tool PHAVer and simulation tool Matlab are integrated to analyze and verify hybrid systems. For application of this methodology, a Platform Screen Doors System (abbreviated as PSDS), a subsystem of the subway, is modeled with formal verification techniques based on hybrid automata and Matlab Simulink/Stateflow charts, respectively. The models of PSDS are simulated by Matlab and verified by PHAVer. It is verified that the sandwich situation can be avoided under time interval conditions. We conclude that this integration methodology is competent in verifying Platform Screen Doors System. © 2012 IEEE.

关键词： Simulink

来源：评论

学校读者我要写书评

暂无评论

Estimate unlabeled-data-distribution for semi-supervised PU learning

引用

14th Asia Pacific Web Technology Conference, APWeb 2012

作者： Hu, Haoji Sha, Chaofeng Wang, Xiaoling Zhou, Aoying Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University China Shanghai Key Laboratory of Intelligent Information Processing Fudan University China

ISBN: (纸本)9783642292521

Traditional supervised classifiers use only labeled data (features/label pairs) as the training set, while the unlabeled data is used as the testing set. In practice, it is often the case that the labeled data is hard to obtain and the unlabeled data contains the instances that belong to the predefined class beyond the labeled data categories. This problem has been widely studied in recent years and the semi-supervised learning is an efficient solution to learn from positive and unlabeled examples(or PU learning). Among all the semi-supervised PU learning methods, it's hard to choose just one approach to fit all unlabeled data distribution. This paper proposes an automatic KL-divergence based semi-supervised learning method by using unlabeled data distribution knowledge. Meanwhile, a new framework is designed to integrate different semi-supervised PU learning algorithms in order to take advantage of the former methods. The experimental results show that (1)data distribution information is very helpful for the semi-supervised PU learning method;(2)the proposed framework can achieve higher precision when compared with the-state-of-the-art method. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

ESF - An extensive service foundation from internet of things perspective

ESF - An extensive service foundation from internet of thing...

引用

作者： Shi, Jianqi Ye, Xin Chen, Liangyu Zhang, Pei Jiang, Ningkang Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China China Electronics Technology Group Corporation No.32 Research Institute Shanghai China

ISBN: (纸本)9780769546698

The increasing interest in the Internet of Things (IoT) has brought lots of opportunities and challenges to researchers. Cyber-space and physical world are more and more amalgamated by smart devices with networking capability. Making appropriate adaptations to satisfy new processing requirements is necessary for the extensive service in such an environment. In this paper, we propose a three-layer architecture for IoT: the sensor layer, processing layer and mining layer. We adopt a new design approach for the information-processing layer which focuses on five aspects: exchanging data format, data entity design, the method invocation style, the event decoupling and massive data processing. Our approach has been applied to an environmental protection system which is being used in more than 200 monitoring stations in shanghai. There are 7 kinds of environmental information to be monitored and more than 70 million data items to be processed by this system every day. © 2012 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

STeC: A location-triggered specification language for real-time systems

STeC: A location-triggered specification language for real-t...

引用

作者： Chen, Yixiang MoE Engineering Research Center for Software/Hardware Co-design Technology and Application Shanghai Key Lab. for Trustworthy Computing East China Normal University Shanghai 200062 China

ISBN: (纸本)9780769546698

Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Shortly, STeC). The consistence requires that a process do its tasks at the required location or time. Thus, this language provides a location-triggered specification for real-time systems. The interaction between real-time agents deals with agent2agent communications. STeC looks like an extension of precess algebra CSP. But, the execution-time of actions and status of agents are stressed. Two kinds of interrupts time and interaction break are considered. Following the Dijkstra's guard style, nondeterministic choice phase guarded by communications is introduced. After setting up the syntax, its operational semantics is introduced. As an example, the railroad crossing problem is specified in terms of this language STeC. © 2012 IEEE.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

UPPAAL-SMC: Statistical model checking for priced timed automata 10

UPPAAL-SMC: Statistical model checking for priced timed auto...

引用

10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012

作者： Bulychev, Peter David, Alexandre Larsen, Kim Guldstrand Mikučionis, Marius Poulsen, Danny Bøgsted Legay, Axel Wang, Zheng Department of Computer Science Aalborg University Denmark INRIA Rennes France Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University China

This paper offers a survey of UPPAAL-SMC, a major extension of the real-Time verification tool UPPAAL. UPPAAL-SMC allows for the efficient analysis of performance properties of networks of priced timed automata under a natural stochastic semantics. In particular, UPPAAL-SMC relies on a series of extensions of the statistical model checking approach generalized to handle real-Time systems and estimate undecidable problems. UPPAAL-SMC comes together with a friendly user interface that allows a user to specify complex problems in an efficient manner as well as to get feedback in the form of probability distributions and compare probabilities to analyze performance aspects of systems. The focus of the survey is on the evolution of the tool - including modeling and specification formalisms as well as techniques applied -Together with applications of the tool to case studies.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

keywords filtering over probabilistic XML data

引用

14th Asia Pacific Web Technology Conference, APWeb 2012

作者： Zhang, Chenjing Chang, Le Sha, Chaofeng Wang, Xiaoling Zhou, Aoying College of Information Technology Shanghai Ocean University China School of Computer Science Fudan University China Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University China

ISBN: (纸本)9783642292521

Probabilistic XML data is widely used in many web applications. Recent work has been mostly focused on structured query over probabilistic XML data. A few of work has been done about keyword query. However only the independent and the mutually-exclusive relationship among sibling nodes are discussed. This paper addresses the problem of keyword filtering over probabilistic XML data, and we propose PrXML{exp, ind, mux} model to represent a more general relationship among XML sibling nodes, for keywords filtering over probabilistic XML data. kdptab is defined as keyword distribution probability table of one subtree. The Dot product, Cartesian product, and addition operation of kdptab are also defined. In PrXML{exp, ind, mux} model, XML document is scanned bottom-up and achieve keyword filtering based on SLCA semantics efficiently in our method. Finally, the features and efficiency of our method are evaluated with extensive experimental results. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

A novel self-adaptive fault-tolerant mechanism and its application for a dynamic pervasive computing environment

A novel self-adaptive fault-tolerant mechanism and its appli...

引用

作者： Cai, Haibin Peng, Chao Jiang, Linhua Zhang, Yue Shanghai Key Laboratory of Trustworthy Computing Beijing Jiaotong University Beijing China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing China Software Engineering Institute East China Normal University Shanghai China

ISBN: (纸本)9780769546698

In pervasive computing system, the increasing dynamic and complexity of software and hardware resources and frequentative interaction among function components make fault-tolerant design very challenging. In this paper, we propose a novel self-adaptive fault-tolerant mechanism for a dynamic pervasive computing environment such as mobile ad hoc network. In our approach, the self-adaptive fault-tolerant mechanism is dynamically built according to various types of detected faults based on continuous monitoring and analysis of the component states. We put forward the architecture of fault-tolerant system and the policy-based fault-tolerant scheme, which adopts three-dimensional array of core features to capture spatial and temporal variability and the Event-Condition-Action rules. The mentioned mechanism has been designed and implemented as self-adaptive fault-tolerant middleware, shortly called SAFTM, on a preliminary prototype for a dynamic pervasive computing environment such as mobile ad hoc network. We have performed the experiments to evaluate the efficiency of the fault-tolerant mechanism. The results of the experiments show that the performance of the self-adaptive fault tolerant mechanism is realistic. © 2012 IEEE.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

Context and policy based fault-tolerant scheme in mobile ubiquitous computing environment

Context and policy based fault-tolerant scheme in mobile ubi...

引用

2012 7th IEEE Conference on Industrial Electronics and Applications, ICIEA 2012

作者： Cai, Haibin Jiang, Linhua Zhang, Yue Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing 100044 China Software Engineering Institute East China Normal University Shanghai 200062 China

ISBN: (纸本)9781457721175

In ubiquitous computing system, the increasing mobile and dynamic of software and hardware resources and frequentative interaction among function components make fault-tolerant design very challenging. In this paper, we propose a context and policy based self-adaptive fault-tolerant mechanism for a mobile ubiquitous computing environment such as a mobile ad hoc network. In our approach, the fault-tolerant mechanism is dynamically built according to various types of detected faults based on continuous monitoring and analysis of the component states. We put forward the architecture of fault-tolerant system and the context-based and policy-based fault-tolerant scheme, which adopts ontology-based context modeling method and the Event-Condition-Action execution rules. The mechanism has been designed and implemented as self-adaptive fault-tolerant middleware, shortly called SAFTM, on a preliminary prototype for a dynamic ubiquitous computing environment such as mobile ad hoc network. We have performed the experiments to evaluate the efficiency of the fault-tolerant mechanism. The results of the experiments show that the performance of the self-adaptive fault tolerant mechanism is realistic. © 2012 IEEE.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共23页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：