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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

858 篇 会议
658 篇 期刊文献
23 册 图书

馆藏范围

1,539 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,015 篇 工学
- 798 篇 计算机科学与技术...
- 665 篇 软件工程
- 172 篇 信息与通信工程
- 113 篇 控制科学与工程
- 92 篇 生物工程
- 83 篇 电气工程
- 71 篇 电子科学与技术（可...
- 66 篇 机械工程
- 64 篇 生物医学工程（可授...
- 60 篇 光学工程
- 42 篇 化学工程与技术
- 41 篇 网络空间安全
- 36 篇 仪器科学与技术
- 34 篇 安全科学与工程
- 31 篇 交通运输工程
- 25 篇 土木工程
451 篇 理学
- 263 篇 数学
- 109 篇 生物学
- 101 篇 物理学
- 72 篇 统计学（可授理学、...
- 45 篇 系统科学
- 44 篇 化学
276 篇 管理学
- 189 篇 管理科学与工程(可...
- 107 篇 图书情报与档案管...
- 58 篇 工商管理
57 篇 医学
- 53 篇 临床医学
- 42 篇 基础医学(可授医学...
- 27 篇 药学(可授医学、理...
35 篇 法学
- 32 篇 社会学
24 篇 经济学
- 24 篇 应用经济学
13 篇 教育学
12 篇 农学
12 篇 军事学
7 篇 文学
7 篇 艺术学
2 篇 哲学

主题

40 篇 computer science
35 篇 computational mo...
33 篇 machine learning
31 篇 semantics
31 篇 feature extracti...
31 篇 training
29 篇 software enginee...
29 篇 accuracy
26 篇 data mining
26 篇 software
24 篇 deep learning
23 篇 predictive model...
20 篇 testing
19 篇 authentication
18 篇 convolution
18 篇 artificial intel...
17 篇 optimization
17 篇 cloud computing
16 篇 analytical model...
14 篇 conferences

机构

177 篇 state key labora...
120 篇 university of ch...
97 篇 institute of sof...
55 篇 college of compu...
47 篇 academy of compu...
40 篇 jd explore acade...
39 篇 technology cente...
36 篇 school of comput...
29 篇 academy of compu...
28 篇 institute of inf...
25 篇 institute of com...
23 篇 shenzhen institu...
21 篇 department of co...
19 篇 school of comput...
19 篇 school of electr...
19 篇 state key labora...
17 篇 school of comput...
16 篇 college of infor...
16 篇 school of comput...
15 篇 graduate univers...

作者

38 篇 tao dacheng
34 篇 du bo
19 篇 fan heng
19 篇 zhang libo
18 篇 wu enhua
17 篇 jun yan
17 篇 marijke coetzee
15 篇 wei jun
15 篇 yan jun
15 篇 wang hongan
15 篇 zhang jian
15 篇 jian zhang
14 篇 luo yong
14 篇 liu juhua
13 篇 shen li
13 篇 jiwei yan
13 篇 tian feng
13 篇 bin sheng
12 篇 zheng changwen
11 篇 xiong hui

语言

1,267 篇 英文
230 篇 其他
46 篇 中文

检索条件"机构=Academy of Computer Science and Software Engineering name"

共 1539 条记录，以下是1131-1140 订阅

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

详细简洁

排序：

The buffered π-calculus: A model for concurrent languages

引用

7th International Conference on Language and Automata Theory and Applications, LATA 2013

作者： Deng, Xiaojie Zhang, Yu Deng, Yuxin Zhong, Farong BASICS Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China State Key Laboratory for Computer Science Institute of Software Chinese Academy of Sciences Beijing China Department of Computer Science Zhejiang Normal University Zhejiang China

ISBN: (纸本)9783642370632

Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered π-calculus - a variant of the π-calculus where channel names are classified into buffered and unbuffered: communication along buffered channels is asynchronous, and remains synchronous along unbuffered channels. We show that the buffered π-calculus can be fully simulated in the polyadic π-calculus with respect to strong bisimulation. In contrast to the π-calculus which is hard to use in practice, the new language enables easy and clear modeling of practical concurrent languages. We encode two real-world concurrent languages in the buffered π-calculus: the (core) Go language and the Core Erlang. Both encodings are fully abstract with respect to weak bisimulations. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Cloud computing in electric vehicles charging control and dispatch optimization

Cloud computing in electric vehicles charging control and di...

引用

IEEE International Conference on Progress in Informatics and Computing (PIC)

作者： Dan Wu Bo Liu Zhijian Chen Wenyan Xie Xiang Huang Shuwei Pei Bin Sheng Donghan Feng Information Center China Southern Power Grid Co. Ltd. Dept. of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Network & Information Branch Guangdong Electric Power Design Institute Guangzhou China Chinese Academy of Sciences Institute of Software Beijing China Dept. of Electrical Engineering Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9781479920327

Charging of large-scale electric vehicles will have a significant impact on the grid so that their charging schedule needs to be optimized. The traditional centralized scheduling method requires high performance in information exchange and computing. Based on the analysis of the features of electric vehicle charging load and the research of cloud computing, we propose a cloud computing based schedule platform for optimal charging of electric vehicles. In addition, the function and implementation of the three basic modules of the platform (the data collection module, the cloud computing center and the control center) are exposed. The platform performs well in optimal scheduling for electric vehicles. In addition, the platform can also make full use of the computing resource and reduce the communication congestion.

关键词： Electric vehicles Cloud computing Optimal scheduling Power grids

来源：评论

学校读者我要写书评

暂无评论

Creating a program and research a cryptosystem on the basis of Cardan grille

Creating a program and research a cryptosystem on the basis ...

引用

2013 2nd International Conference on Informatics and Applications, ICIA 2013

作者： Utepbergenov, Irbulat Kuandykova, Janna Mussin, Tamerlan Sagyndykova, Sholpan Department of Computer Science and Information Systems Kazakh Academy of Transport and Communications Almaty Kazakhstan Department of Computer and Software Engineering Turan University Almaty Kazakhstan Division of Research and Cooperation Caspian University of Technologies and Engineering Aktay Kazakhstan

ISBN: (纸本)9781467352550

Considered cryptosystems such as Cardano square lattices are characterized by the high-speed encryption in use today Enhanced Programming computers. This is because the number of different variants rapidly increases with the size of a square. In this paper we have shown that, for the size of 20 x 20, the number of such grids exceeds the number of 1.6 × 260 Therefore, these systems have sufficient cryptographic resistance. Application of these systems in conjunction with substitution cipher can still more resist cryptographic attacks. © 2013 IEEE.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

A large RGB-D gait dataset and the baseline algorithm

引用

2012 International Conference on Service-Oriented Computing, ICSOC 2012

作者： Yu, Shiqi Wang, Qing Huang, Yongzhen College of Computer Science and Software Engineering Shenzhen University Shenzhen 518060 China National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9783319029603

With the development of depth sensors, images with high quality depth can be obtained easily. Using depth information, some challenging problems in gait recognition can be reconsidered and better solutions can be developed. To prompt gait recognition with depth information, a large RGB-D gait dataset is introduced. It contains 99 subjects, with 8 sequences for each subjects in two different views. A baseline algorithm, namely Gait Energy Surface (GES), is proposed for researchers to evaluate their own algorithms. Even it is a baseline algorithm, encouraging experimental results have been achieved. © Springer International Publishing 2013.

关键词： Gait analysis

来源：评论

学校读者我要写书评

暂无评论

WAVE-CIA: A novel CIA approach based on call graph mining 13

WAVE-CIA: A novel CIA approach based on call graph mining

引用

28th Annual ACM Symposium on Applied Computing, SAC 2013

作者： Li, Bixin Zhang, Qiandong Sun, Xiaobing Leung, Hareton School of Computer Science and Engineering Southeast University Nanjing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Department of Computing Hong Kong Polytechnic University Hong Kong Hong Kong

ISBN: (纸本)9781450316569

software change impact analysis (CIA) is a key technique to identify the potential effects caused by software changes. In this paper, a new graph mining based CIA technique is proposed, which takes the interference among multiple proposed changes into account to improve the precision of the impact results. Empirical evaluations on two real-world software projects demonstrate the effectiveness of our CIA technique. Copyright 2013 ACM.

关键词： Wave propagation

来源：评论

学校读者我要写书评

暂无评论

Context-aware RESTful services on mobile devices

Context-aware RESTful services on mobile devices

引用

International Conference for Internet Technology and Secured Transactions (ICITST)

作者： Charl van der Westhuizen Marijke Coetzee Academy of Computer Science and Software Engineering University of Johannesburg Auckland Park

Web accessible services on mobile devices such as smart phones and tablets are a reality in today's age. Services hosted on mobile devices consume valuable device resources such as battery power, network connectivity, and Global Positioning Systems (GPS) availability. For this research, clients consume web accessible services, provisioned from mobile devices acting as service providers. A challenge for constrained mobile devices is how the efficiency and discovery of web accessible services on mobile devices can be improved. To address this, a framework is presented that considers context information focusing on lightweight services and their discovery.

关键词： Mobile handsets Context Mobile communication Androids Humanoid robots Servers Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Towards Reputation-as-a-Service

Towards Reputation-as-a-Service

引用

Information Security for South Africa (ISSA)

作者： Channel Hillebrand Marijke Coetzee Academy of Computer Science and Software Engineering University of Johannesburg South Africa

Reputation is used to regulate relationships of trust in online communities. When deploying a reputation system, it needs to accommodate the requirements and constrains of the specific community in order to assist the community to reach their goals. This paper identifies that there is a need for a framework to define a configurable reputation system with the ability to accommodate the requirements of a variety of online communities. Such a reputation system can be defined as a service on the Cloud, to be composed with the application environment of the online community. This paper introduces the concept of RaaS (Reputation-as-a-Service) and discusses a potential framework for creating a RaaS. In order to achieve such a framework, research is conducted into features of SaaS (software-as-a-Service) components, user requirements for trust and reputation, and features of current reputation frameworks that can be configured in order to support a reputation service on the Cloud.

关键词： Communities software as a service computer architecture Organizations Reliability

来源：评论

学校读者我要写书评

暂无评论

On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization

On the adoption of MC/DC and control-flow adequacy for a tig...

引用

作者： Jiang, Bo Zhai, Ke Chan, W.K. Tse, T.H. Zhang, Zhenyu School of Computer Science and Engineering Beihang University Beijing China Department of Computer Science University of Hong Kong Pokfulam Hong Kong Hong Kong Department of Computer Science City University of Hong Kong Tat Chee Avenue Hong Kong Hong Kong State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

Context: Testing and debugging consume a significant portion of software development effort. Both processes are usually conducted independently despite their close relationship with each other. Test adequacy is vital for developers to assure that sufficient testing effort has been made, while finding all the faults in a program as soon as possible is equally important. A tight integration between testing and debugging activities is essential. Objective: The paper aims at finding whether three factors, namely, the adequacy criterion to gauge a test suite, the size of a prioritized test suite, and the percentage of such a test suite used in fault localization, have significant impacts on integrating test case prioritization techniques with statistical fault localization techniques. Method: We conduct a controlled experiment to investigate the effectiveness of applying adequate test suites to locate faults in a benchmark suite of seven Siemens programs and four real-life UNIX utility programs using three adequacy criteria, 16 test case prioritization techniques, and four statistical fault localization techniques. We measure the proportion of code needed to be examined in order to locate a fault as the effectiveness of statistical fault localization techniques. We also investigate the integration of test case prioritization and statistical fault localization with postmortem analysis. Result: The main result shows that on average, it is more effective for a statistical fault localization technique to utilize the execution results of a MC/DC-adequate test suite than those of a branch-adequate test suite, and is in turn more effective to utilize the execution results of a branch-adequate test suite than those of a statement-adequate test suite. On the other hand, we find that none of the fault localization techniques studied can be sufficiently effective in suggesting fault-relevant statements that can fit easily into one debug window of a typical IDE. Conclusion: We find

关键词： Integration

来源：评论

学校读者我要写书评

暂无评论

MFCC extraction in AAC domain for audio content analysis

MFCC extraction in AAC domain for audio content analysis

引用

作者： Ai, Haojun Miki, Haseyama Wang, Kang Computer School of Wuhan University Wuhan China National Engineering Research Centre of Multimedia Software Wuhan China Graduate School of Information Science and Technology Hokkaido University Japan Wuhan Academy of Educational Science Wuhan China

ISBN: (纸本)9781845648282

We focus the attention on the extraction of Mel-frequency cepstral coefficients (MFCC) features from MDCT spectrum in AAC domain for audio content analysis. In particular, a MFCC extraction method is proposed, which is adaptive to the window switch in AAC encoding process, and independent of the audio sampling frequency. We discuss the fusion method of MFCC features from different window type in order to keep the balance of the frequency and temporal resolution. The audio scene segmentation and audio classification experimental results show that such approach based on compression domain can approach the performance of the system based on PCM audio, and the CPU overload decreased dramatically. It is meaningful to the real-time analysis of audio content. © 2014 WIT Press.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Towards a generic Identity and Access Assurance model by component analysis - A conceptual review

Towards a generic Identity and Access Assurance model by com...

引用

Enterprise Systems Conference (ES)

作者： Ferdinand Damon Marijke Coetzee Academy of Computer Science and Software Engineering University of Johannesburg Johannesburg South Africa

Identity management provides a view on who has access to systems. Continuous organisational integration creates new Identity Management requirements such as Federation of Identities, Secure Token Services and Social Media Identity Providers. Access Management addresses the question of what resources an identity can access. A common implementation approach to address this is to utilise Role Modeling that links an identity with required access, enabling Role Based Access Control for access to system functions. Access Assurance provides fine grained access control ensuring that the identity has the right access based on attributes or rules defined by dynamic security policies. The need for Identity and Access Assurance (IAA) is not only for operational efficiency but often driven by legislative and user-experience requirements. IAA requirements are clearly visible as they are often highlighted in audit findings. Disconnect is often found between identity and access that results in integration complexity and duplication between systems because IAA programs are rarely implemented from a top-down approach, driven by the CIO into the organisation. Most often IAA is implemented from an operational management perspective within business unit silos. Furthermore, Security Frameworks such as SABSA (Sherwood Applied Business Security Architecture) provide comprehensive insights into the IAA domain but are focused either too narrowly or broadly. This paper investigates the creation of a Identity and Access Assurance Component Model by evaluating the prominent security frameworks in order to assist C-Level executives to make informed decisions on IAA investment and implementation priorities.

关键词： Business Architecture Authentication Authorization Monitoring

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共154页 << < 110 111 112 113 114 115 116 117 118 119 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：