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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,053 篇 会议
876 篇 期刊文献
56 册 图书

馆藏范围

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

日期分布

学科分类号

1,735 篇 工学
- 1,338 篇 计算机科学与技术...
- 1,110 篇 软件工程
- 332 篇 信息与通信工程
- 300 篇 控制科学与工程
- 165 篇 生物工程
- 146 篇 电气工程
- 119 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 114 篇 机械工程
- 84 篇 安全科学与工程
- 83 篇 光学工程
- 73 篇 动力工程及工程热...
- 66 篇 土木工程
- 65 篇 仪器科学与技术
- 65 篇 建筑学
- 65 篇 化学工程与技术
- 55 篇 网络空间安全
777 篇 理学
- 414 篇 数学
- 190 篇 生物学
- 147 篇 系统科学
- 145 篇 物理学
- 125 篇 统计学（可授理学、...
- 67 篇 化学
506 篇 管理学
- 358 篇 管理科学与工程(可...
- 200 篇 工商管理
- 191 篇 图书情报与档案管...
128 篇 医学
- 118 篇 临床医学
- 98 篇 基础医学(可授医学...
80 篇 法学
- 62 篇 社会学
60 篇 经济学
- 60 篇 应用经济学
54 篇 教育学
23 篇 农学
12 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
134 篇 computer science
76 篇 computational mo...
75 篇 application soft...
72 篇 accuracy
71 篇 deep learning
70 篇 laboratories
69 篇 machine learning
68 篇 software systems
67 篇 software
61 篇 computer archite...
60 篇 training
59 篇 artificial intel...
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
48 篇 security
47 篇 grid computing
47 篇 cloud computing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
23 篇 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 篇 school of softwa...
11 篇 department of so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of intell...

作者

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

语言

2,702 篇 英文
266 篇 其他
16 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

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

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

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

详细简洁

排序：

Target tracking in heterogeneous sensor networks using audio and video sensor fusion

Target tracking in heterogeneous sensor networks using audio...

引用

International Conference on Multisensor Fusion and Integration for Intelligent systems (MFI)

作者： Manish Kushwaha Songhwai Oh Isaac Amundson Xenofon Koutsoukos Akos Ledeczi Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA School of Engineering University of California Merced Merced CA USA

Heterogeneous sensor networks (HSNs) with multiple sensing modalities are gaining popularity in diverse fields. Tracking is an application that can benefit from multiple sensing modalities. If a moving target emits sound then both audio and video sensors can be utilized. These modalities can complement each other in the presence of high background noise that impairs the audio or visual clutter affecting the video. Audio-video tracking can also provide cues for the other modality for actuation. In this paper, we describe an approach for target tracking in urban environments utilizing an HSN of mote class devices equipped with acoustic sensor boards and embedded PCs equipped with web cameras. Our system employs a Markov Chain Monte Carlo Data Association algorithm for tracking vehicles emitting engine noise. Experimental results from a deployment in an urban environment are used to demonstrate our approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

N-Most Interesting Closed Itemset Mining

N-Most Interesting Closed Itemset Mining

引用

International Conference on Convergence Information Technology

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

In this paper, we propose an efficient algorithm, NCLOSED, for mining the N k-closed itemsets with the highest supports for 1 up to a certain k max value. The algorithm adopts best-first search strategy to generate closed itemsets with highest remaining supports. It does not keep closed itemsets mined in main memory to ensure that they are really closed. This is because this algorithm can directly generate closed itemsets. Moreover, duplicated closed itemsets are detected and discarded from this algorithm.

关键词： Itemsets Data mining computer science Information technology software systems systems engineering and theory Laboratories Mathematics Informatics software algorithms

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：