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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,052 篇 会议
871 篇 期刊文献
56 册 图书

馆藏范围

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

日期分布

学科分类号

1,741 篇 工学
- 1,347 篇 计算机科学与技术...
- 1,113 篇 软件工程
- 333 篇 信息与通信工程
- 301 篇 控制科学与工程
- 165 篇 生物工程
- 147 篇 电气工程
- 121 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 116 篇 机械工程
- 83 篇 光学工程
- 83 篇 安全科学与工程
- 73 篇 动力工程及工程热...
- 66 篇 建筑学
- 66 篇 土木工程
- 65 篇 仪器科学与技术
- 65 篇 化学工程与技术
- 56 篇 网络空间安全
779 篇 理学
- 414 篇 数学
- 190 篇 生物学
- 147 篇 系统科学
- 145 篇 物理学
- 124 篇 统计学（可授理学、...
- 67 篇 化学
508 篇 管理学
- 360 篇 管理科学与工程(可...
- 199 篇 工商管理
- 191 篇 图书情报与档案管...
128 篇 医学
- 118 篇 临床医学
- 98 篇 基础医学(可授医学...
81 篇 法学
- 62 篇 社会学
60 篇 经济学
- 60 篇 应用经济学
54 篇 教育学
23 篇 农学
12 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
135 篇 computer science
78 篇 computational mo...
75 篇 application soft...
72 篇 deep learning
71 篇 accuracy
70 篇 laboratories
68 篇 software systems
67 篇 machine learning
67 篇 software
63 篇 artificial intel...
61 篇 computer archite...
58 篇 training
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
47 篇 grid computing
47 篇 security
46 篇 cloud computing

机构

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 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...
11 篇 institute for so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of softwa...
10 篇 department of so...
10 篇 school of intell...

作者

49 篇 rajkumar buyya
35 篇 junping du
33 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
22 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 song houbing
15 篇 zamli kamal z.
15 篇 gautam biswas
14 篇 m. parashar
14 篇 biswas gautam
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley
11 篇 parashar manish

语言

2,843 篇 英文
119 篇 其他
14 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

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

共 2979 条记录，以下是2411-2420 订阅

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

详细简洁

排序：

Jeeva: Enterprise Grid Enabled Web Portal for Protein Secondary Structure Prediction

Jeeva: Enterprise Grid Enabled Web Portal for Protein Second...

引用

International Conference on Advanced Computing and Communications (ADCOM)

作者： Chao Jin Jayavardhana Gubbi Rajkumar Buyya Marimuthu Palaniswami Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Melbourne VIC Australia Department of Electrical and Electronic Engineering University of Melbourne Melbourne VIC Australia

This paper presents a grid portal for protein secondary structure prediction developed by using services of Aneka, a .NET-based enterprise grid technology. The portal is used by research scientists to discover new prediction structures in a parallel manner. An SVM (support vector machine)-based prediction algorithm is used with 64 sample protein sequences as a case study to demonstrate the potential of enterprise grids.

关键词： Portals Protein engineering Grid computing Prediction algorithms Support vector machines Distributed computing Environmental management Chaos computer science History

来源：评论

学校读者我要写书评

暂无评论

An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification

An Automatic Elaborate Requirement Specification By Using Hi...

引用

International Conference on computer Science and software engineering

作者： Jantima Polpinij Aditya Ghose Department of Computer Science Faculty of Informatics Mahasarakham University Kantarawichai Mahasarakham Thailand Decision Systems Lab School of Computer Science and Software Engineering Faculty of Informatics University of Wollongong Wollongong Australia

ISBN: (纸本)9781424439027

Ambiguity is a major problem of software errors because much of the requirements specification is written in a natural language format. Therefore, it is hard to identify consistencies because this format is too ambiguous for specification purposes. This paper aims to propose a method for handling requirement specification documents which have a similar content to each other through a hierarchical text classification. The method consists of two main processes of classification: heavy classification and light classification. The heavy classification is to classify the requirement specification documents having similar content together. Meanwhile, light classification is to elaborate specification requirement documents by using the Euclidean distance. Finally, slimming down the number of requirements specification through hierarchical text classification classifying may yield a specification which is easier to understand. That means the proposed method is more effective for reducing and handling in the requirements specification.

关键词： Text categorization computer science software engineering Euclidean distance Quality assessment Informatics computer errors Natural languages Document handling Australia

来源：评论

学校读者我要写书评

暂无评论

A formal framework of reconfigurable control based on model checking

A formal framework of reconfigurable control based on model ...

引用

2008 American Control Conference (ACC), vol.10

作者： He-xuan Hu Anne-lise Gehin Mireille Bayart Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université des Sciences et Technologies de Lille Villeneuve d'Ascq France

This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether the updated model satisfies the desired specification.

关键词： Automatic control Control systems Specification languages Actuators Fault tolerance Performance loss Redundancy Safety Reconfigurable logic Databases

来源：评论

学校读者我要写书评

暂无评论

Fast Information Sharing in Networks of Autonomous Agents

Fast Information Sharing in Networks of Autonomous Agents

引用

2008 American Control Conference (ACC), vol.10

作者： Feng Xiao Long Wang Yingmin Jia Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Peking University Beijing China Seventh Research Division Beihang University Beijing China

A new nonlinear protocol is proposed for state consensus of multi-agent systems in this paper. It is shown that this protocol can provide faster convergence rate than the typical linear protocol, presented by Olfati-Saber and Murray, and furthermore guarantees the states of agents reach a consensus in finite time, provided that the interaction topology, represented by a directed graph, has a spanning tree.

关键词： Multi-agent systems coordination finite-time consensus interaction topology

来源：评论

学校读者我要写书评

暂无评论

Concrete examples of abstraction as manifested in students' transformative experiences 08

Concrete examples of abstraction as manifested in students' ...

引用

4th International Computing Education Research Workshop, ICER'08

作者： Moström, Jan Erik Boustedt, Jonas Eckerdal, Anna McCartney, Robert Sanders, Kate Thomas, Lynda Zander, Carol Department of Computing Science Umea University 901 87 Umea Sweden Dept. of Mathematics Natural and Computer Science Högskolan i Gävle S80176 Gävle Sweden Department of Information Technology Uppsala University Uppsala Sweden Dept. of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Math and Computer Science Rhode Island College Providence RI United States Department of Computer Science Aberystwyth University Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781605582160

This paper examines transformational learning experiences of computing students as a way to better understand threshold concepts in computing. From empirical evidence we found that students often describe transformative experiences as learning situations in which they were led to use various kinds of abstraction, for example modularity, data abstraction, inheritance, polymorphism, reuse, design patterns, and complexity. Some students describe an abstract concept as coming first, and then needing to be made concrete though application;others describe transformations in which they learn the advantages of these abstract concepts from their experience of not using them. Abstraction is certainly of central importance in computer science. It appears, however, from our students' descriptions of transformative experiences, that abstraction per se is not a threshold, but that particular concepts in which abstraction is paramount exhibit the characteristics of threshold concepts. Copyright 2008 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Advanced QoS methods for Grid workflows based on meta-negotiations and SLA-mappings

Advanced QoS methods for Grid workflows based on meta-negoti...

引用

Workshop on Workflows in Support of Large-Scale Science, WORKS

作者： Ivona Brandic Dejan Music Schahram Dustdar Srikumar Venugopal Rajkumar Buyya Institute of Information Systems University of Technology Vienna Austria Grid Computing and Distributed System (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

In novel market-oriented resource sharing models, resource consumers pay for the resource usage and expect that non-functional requirements for the application execution, termed as quality of service (QoS), are satisfied. QoS is negotiated between two parties following the specific negotiation protocols and is recorded using service level agreements (SLAs). However, most of the existing work assumes that the communication partners know about the SLA negotiation protocols and about the SLA templates before entering the negotiation. However, this is a contradictory assumption, if we consider computational grids and novel, commercially oriented computing clouds where consumers and providers meet each other dynamically. In this paper, we present novel meta-negotiation and SLA-mapping solutions for grid workflows bridging the gap between current QoS models and grid workflows, one of the most successful grid programming paradigms. We illustrate the open research issues with a real world case study. Thereafter, we present document models for the specification of meta-negotiations and SLA-mappings. We discuss the architecture for the management of meta-negotiations and SLA-mappings as well as integration of the architecture into a grid workflow management framework.

关键词： Quality of service Protocols Grid computing Cloud computing Resource management Information systems Laboratories computer science software engineering Application software

来源：评论

学校读者我要写书评

暂无评论

Mining Top-K Closed Itemsets Using Best-First Search

Mining Top-K Closed Itemsets Using Best-First Search

引用

International Conference on computer and Information Technology (CIT)

作者： Panida Songram Veera Boonjing Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Computer Science Faculty of Informatics Mahasarakham University Maha sarakham Thailand

In this paper, we proposed an efficient algorithm, TOPK_CLOSED, for mining top-k closed itemsets. This algorithm mines top-k closed itemsets using best-first search. The closed itemsets with the highest supports are firstly found from this algorithm. Consequently, the method quickly finds top-k closed itemsets, which leads to an efficient pruning unnecessary itemsets and stop mining rapidly. In addition, this algorithm can generate closed itemsets without keeping candidates in main memory.

关键词： Itemsets Generators Data mining Pediatrics Complexity theory Algorithm design and analysis Databases

来源：评论

学校读者我要写书评

暂无评论

Determining an appropriate number of FOUPs in semiconductor wafer fabrication facilities 08

Determining an appropriate number of FOUPs in semiconductor ...

引用

Simulation Winter Conference

作者： Jens Zimmermann Scott J. Mason John W. Fowler Lars Monch Enterprise-wide Software Systems Department of Mathematics and Computer Science University of Hagen Hagen Germany Department of Industrial Engineering University of Arkansas Fayetteville AR USA Department of Industrial Engineering Arizona State University Tempe AZ USA

ISBN: (纸本)9781424427086

In this paper, multiple orders per job type formation and release strategies are described for semiconductor wafer fabrication facilities (wafer fabs). Different orders are grouped into one job because orders of an individual customer very often fill only a portion of a front-opening unified pod (FOUP). A FOUP is assigned to each job and is used to move the job throughout the wafer fab after the job formation. We determine an appropriate number of FOUPs for a given order release rate that will yield acceptable values for on-time delivery performance, cycle time, and throughput via discrete event simulation.

关键词： Fabrication Job shop scheduling Industrial engineering Throughput Discrete event simulation Semiconductor device manufacture Computational modeling software systems Mathematics computer science

来源：评论

学校读者我要写书评

暂无评论

Multimodal interaction - Improving usability and efficiency in a mobile GIS context

Multimodal interaction - Improving usability and efficiency ...

引用

1st International Conference on Advances in computer-Human Interaction, ACHI 2008

作者： Doyle, Julie Bertolotto, Michela Wilson, David School of Information Technology and Engineering University of Ottawa ON K1N6N5 Canada School of Computer Science and Informatics University College Dublin Belfield Dublin 4 Ireland Department of Software and Information Systems University of North Carolina at Charlotte 9201 University City Blvd. NC 28223 United States

ISBN: (纸本)0769530869

The context of mobility raises many issues for GIS applications. Mobile device limitations, including pen input whilst in motion, result in interfaces which are difficult to navigate and interact with. However, comparatively little research has been conducted to address the interface mobility problem for GIS. We are particularly concerned with the limited interaction techniques available to users of mobile GIS which play a primary role in contributing to the complexity of using such an application whilst mobile. Our research focuses on multimodal interfaces as a means to present users with a wider choice of modalities for interacting with GIS applications. The focus of this paper concerns a comprehensive user study which demonstrates the benefits, in terms of usability and efficiency, of a multimodal interface for the CoMPASS mobile GIS which we have developed. © 2008 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

A Robust Descriptor based on Weber's Law

A Robust Descriptor based on Weber's Law

引用

26th IEEE Conference on computer Vision and Pattern Recognition (CVPR 2008), vol.8

作者： Jie Chen Shiguang Shan Guoying Zhao Xilin Chen Wen Gao Matti Pietikainen School of Computer Science and Technology Harbin Institute of Technology Harbin China Machine Vision Group Department of Electrical and Information Engineering University of Oulu Finland Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Chinese Academy and Sciences Beijing China

Inspired by Weber's Law, this paper proposes a simple, yet very powerful and robust local descriptor, Weber Local Descriptor (WLD). It is based on the fact that human perception of a pattern depends on not only the change of a stimulus (such as sound, lighting, et al.) but also the original intensity of the stimulus. Specifically, WLD consists of two components: its differential excitation and orientation. A differential excitation is a function of the ratio between two terms: One is the relative intensity differences of its neighbors against a current pixel;the other is the intensity of the current pixel. An orientation is the gradient orientation of the current pixel. For a given image, we use the differential excitation and the orientation components to construct a concatenated WLD histogram feature. Experimental results on Brodatz textures show that WLD impressively outperforms the other classical descriptors (e.g., Gabor). Especially, experimental results on face detection show a promising performance. Although we train only one classifier based on WLD features, the classifier obtains a comparable performance to state-of-the-art methods on MIT+CMU frontal face test set, AR face dataset and CMU profile test set.

关键词： Robustness Face detection Humans Content addressable storage Testing Psychology Laboratories Machine intelligence Information processing computers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共298页 << < 238 239 240 241 242 243 244 245 246 247 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：