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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,495 篇 会议
733 篇 期刊文献
47 册 图书

馆藏范围

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

日期分布

学科分类号

1,361 篇 工学
- 1,065 篇 计算机科学与技术...
- 891 篇 软件工程
- 244 篇 信息与通信工程
- 224 篇 控制科学与工程
- 136 篇 生物工程
- 98 篇 电气工程
- 93 篇 机械工程
- 93 篇 生物医学工程（可授...
- 73 篇 电子科学与技术（可...
- 62 篇 安全科学与工程
- 57 篇 光学工程
- 48 篇 仪器科学与技术
- 48 篇 动力工程及工程热...
- 46 篇 土木工程
- 45 篇 建筑学
- 44 篇 网络空间安全
604 篇 理学
- 313 篇 数学
- 158 篇 生物学
- 118 篇 系统科学
- 116 篇 物理学
- 96 篇 统计学（可授理学、...
395 篇 管理学
- 278 篇 管理科学与工程(可...
- 145 篇 图书情报与档案管...
- 142 篇 工商管理
109 篇 医学
- 100 篇 临床医学
- 84 篇 基础医学(可授医学...
- 45 篇 公共卫生与预防医...
62 篇 法学
- 46 篇 社会学
46 篇 经济学
- 46 篇 应用经济学
45 篇 教育学
- 43 篇 教育学
20 篇 农学
8 篇 文学
4 篇 军事学
3 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

143 篇 software enginee...
138 篇 computer science
63 篇 deep learning
61 篇 machine learning
58 篇 laboratories
54 篇 computational mo...
52 篇 software systems
51 篇 application soft...
51 篇 accuracy
50 篇 artificial intel...
46 篇 cloud computing
44 篇 training
43 篇 software
42 篇 computer archite...
38 篇 grid computing
37 篇 quality of servi...
36 篇 resource managem...
35 篇 security
34 篇 support vector m...
34 篇 systems engineer...

机构

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 篇 state key labora...
16 篇 software enginee...
12 篇 department of so...
12 篇 school of inform...
11 篇 institute for so...
10 篇 computing and so...
10 篇 department of so...
10 篇 sri lanka instit...
10 篇 max planck insti...
10 篇 department of in...
9 篇 cloud computing ...
9 篇 school of intell...
8 篇 department of co...

作者

48 篇 rajkumar buyya
35 篇 junping du
32 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
23 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 gautam biswas
14 篇 biswas gautam
14 篇 zamli kamal z.
13 篇 materwala huned
12 篇 leung victor c.m...
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley
11 篇 choo kim-kwang r...
11 篇 veera boonjing
11 篇 juergen rilling
10 篇 cheng betty h. c...

语言

2,173 篇 英文
95 篇 其他
7 篇 中文
2 篇 日文
1 篇 斯洛文尼亚文

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

共 2275 条记录，以下是1771-1780 订阅

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

详细简洁

排序：

Selecting informative genes from microarray data by using a hybrid algorithm for cancer classification

Selecting informative genes from microarray data by using a ...

引用

作者： Mohamad, M.S. Omatu, S. Deris, S. Misman, M.F. Department of Computer Science and Intelligent Systems Graduate School of Engineering Osaka Prefecture University Sakai Osaka 599-8531 Japan Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 Skudai Johore Malaysia

ISBN: (纸本)9784990288020

The development of microarray-based high-throughput gene expression has led to the hope that this technology could provide an efficient cancer diagnosis and classification platform. A major problem in these gene expression data is that the number of genes greatly exceeds the number of tissue samples. Moreover, these data have a noisy nature. It has been shown that selecting a small subset of informative genes can lead to improved classification accuracy. Thus, this paper aims to select a small subset of informative genes that are most relevant for the classification task. To achieve this aim, a hybrid algorithm that combines two hybrid methods has been developed. This algorithm is assessed on two well-known microarray data sets, showing competitive results. ©ISAROB 2008.

关键词： Gene expression

来源：评论

学校读者我要写书评

暂无评论

PROTEF: Automatic verification of pattern-based LTL templates

PROTEF: Automatic verification of pattern-based LTL template...

引用

20th International Conference on software engineering and Knowledge engineering, SEKE 2008

作者： Garcia, Luis Roach, Steve Salamah, Salamah IBM Systems and Technology Group United States Computer Science Department University of Texas El Paso United States Department of Computer and Software Engineering Embry-Riddle Aeronautical University United States

ISBN: (纸本)9781627486620

Most formal software verification techniques are based on formal specifications of software behavior. Approaches to facilitate the creation of formal specifications include the Specification Pattern System (SPS) and Composite Propositions (CPs). Recent research into generating Linear Temporal Logic (LTL) formulas from SPS patterns resulted in a set of templates that support CPs, but are complex and difficult to verify. This paper describes PROTEF, a software framework to automatically generate and test formulas representing software specifications using model-checker-based testing. This method can be used to test templates in LTL and other formalisms. The framework was used to test LTL templates developed to support CPs.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Requirements vs. software design: An explanation based on the distinction between concepts and their representations

Requirements vs. software design: An explanation based on th...

引用

3rd International Multi-Conference on Computing in the Global Information Technology, ICCGI 2008

作者： Kaindl, Hermann Svetinovic, Davor Institute of Computer Technology Vienna University of Technology A-1040 Vienna Austria Lero - the Irish Software Engineering Research Centre Department of Computer Science and Information Systems University of Limerick Ireland

ISBN: (纸本)9780769532752

Still, requirements and software design are often confused with one another. We provide a new (partial) explanation for this phenomenon, based on the insight that representations of concepts related to requirements and software design, respectively, may sometimes look very similar. This does not mean, however, that the requirements and design concepts are the same. So, we should distinguish requirements from their representations and, analogously, software design from its representation. Then it is easier to clearly distinguish requirements and software design as well. © 2008 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Using the TSPi defined process and improving the project management process

Using the TSPi defined process and improving the project man...

引用

6th ACIS International Conference on software engineering Research, Management and Applications, SERA 2008

作者： Sussy, Bayona Oré Antonio, Calvo-Manzano Jose Gonzalo, Cuevas Tomás, San Feliu Languages Informatics Systems and Software Engineering Department School of Computer Science Polytechnic University of Madrid Campus Montegancedo 28660 Boadilla del Monte Madrid Spain

ISBN: (纸本)9780769533025

Team software Process is an integrated framework that guides development teams in producing highquality software-intensive systems. This paper analyzes the effects of TSPi training and the improvements achieved by 44 teams, comprising fourth-year students on the software engineering degree programme, corresponding to two academic years. This study shows the benefits of using defined models such as TSPi to improve the students' skills and knowledge. The metrics of size and effort estimation, defects, productivity and costs are collected to measure the improvements through two development cycles. © 2008 IEEE.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Using hand drawn images to determine warning symbol design parameters within interactive evolutionary computation software

Using hand drawn images to determine warning symbol design p...

引用

52nd Human Factors and Ergonomics Society Annual Meeting, HFES 2008

作者： Piper, Adam K. Boelhouwer, Eric J. Davis, Jerry Holman, Grady T. Montgomery, Lacey S. Department of Industrial and Systems Engineering Auburn University United States Center for Quality and Productivity Improvement University of Wisconsin United States Department of Computer Science and Software Engineering Auburn University United States

ISBN: (纸本)9781605606859

The purpose of this pilot study was to explore the feasibility of using hand drawn images to identify symbol components for incorporation into warning symbol design software. This software will use an interactive evolutionary computation (IEC) algorithm to generate and evolve symbols mathematically described by a set of numerical parameters. Therefore, participants (N = 100) ages 19-43 (x = 23.2) were recruited to determine these symbol design parameters. Participants were invited to hand draw warning symbols for three referents: fall from elevation, hearing protection, and hazardous atmosphere. A panel of design engineers determined 27 attributes were present in the fall from elevation, 19 in the hearing protection, and 25 in the hazardous atmosphere images. A direct clustering algorithm was used to determine which attributes, or symbol parameters, were most commonly present or conspicuously absent among the clustered image families. For the fall from elevation, hearing protection and hazardous atmosphere referents, the clustering algorithm identified six, four and four symbol parameters, respectively, primarily responsible for distinguishing one drawn symbol from another. Thus, these parameters will be included as evolvable genes in the IEC software.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Co-clustering bipartite with pattern preservation for topic extraction

Co-clustering bipartite with pattern preservation for topic ...

引用

作者： Hu, Tianming Tan, Chew Lim Tang, Yong Sung, Sam Yuan Xiong, Hui Qu, Chao School of Software Engineering East China Normal University China Department of Computer Science Dongguan University of Technology China Department of Computer Science National University of Singapore Singapore Department of Computer Science Sun Yat-Sen University China Department of Computer Science South Texas College United States Management Science and Information Systems Department Rutgers University United States

The duality between document and word clustering naturally leads to the consideration of storing the document dataset in a bipartite. With documents and words modeled as vertices on two sides respectively, partitioning such a graph yields a co-clustering of words and documents. The topic of each cluster can then be represented by the top words and documents that have highest within-cluster degrees. However, such claims may fail if top words and documents are selected simply because they are very general and frequent. In addition, for those words and documents across several topics, it may not be proper to assign them to a single cluster. In other words, to precisely capture the cluster topic, we need to identify those micro-sets of words/documents that are similar among themselves and as a whole, representative of their respective topics. Along this line, in this paper, we use hyperclique patterns, strongly affiliated words/documents, to define such micro-sets. We introduce a new bipartite formulation that incorporates both word hypercliques and document hypercliques as super vertices. By co-preserving hyperclique patterns during the clustering process, our experiments on real-world data sets show that better clustering results can be obtained in terms of various external clustering validation measures and the cluster topic can be more precisely identified. Also, the partitioned bipartite with co-preserved patterns naturally lends itself to different clustering-related functions in search engines. To that end, we illustrate such an application, returning clustered search results for keyword queries. We show that the topic of each cluster with respect to the current query can be identified more accurately with the words and documents from the patterns than with those top ones from the standard bipartite formulation. © 2008 World Scientific Publishing Company.

关键词： Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

Building classification rules for case-based classifier using fuzzy sets and formal concept analysis 08

Building classification rules for case-based classifier usin...

引用

5th International Conference on Soft Computing As Transdisciplinary science and Technology, CSTST '08

作者： Tadrat, Jirapond Boonjing, Veera Pattaraintakorn, Puntip Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand

ISBN: (纸本)9781605580463

The focus of this paper is a construction of better knowledge base in case-based classifier system. Our knowledge base structure is based on concept lattice where rules are built from its subconcept-superconcept relation. Since the lattice can only be constructed from inputs with binary attributes, descriptive and numeric attributes must be transformed to binary attributes. In this paper, we propose the transformation of numeric attributes to descriptive attributes using fuzzy set theory. We experiment on benchmark data sets, Car and Iris, to determine the performance in term of number of rules used and classification precision. The results show that trend of accuracy is proportional to the size of learning inputs. The number of rules used is relatively small compared with size of training data. Our case-based classifier produces very promising results in practice and can classify the new problem more accurate than traditional classifiers. Copyright 2008 ACM.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Simulating new markets by introducing new accepting policies for the conventional continuous double auction

Simulating new markets by introducing new accepting policies...

引用

2008 Spring Simulation Multiconference, SpringSim'08

作者： Honari, Sina Gomrokchi, Maziar Ebadi, Mojtaba Fos-Hati, Amin Bentahar, Jamal Premier Ideas Support Center School of Engineering Shiraz University Shiraz Iran Computer Science and Software Engineering Department Concordia University Canada Concordia Institute for Information Systems Engineering Concordia University Canada

ISBN: (纸本)1565553195

In recent years a huge number of online auctions that use Multi Agent systems have been created. As a result there are numerous auctions that provide the same product. In this case each customer can buy a product with the lowest possible price. But searching between auctions in terms of finding the suitable product can be time consuming for consumers and also providing products in different markets is a difficult task for suppliers. So the need for an autonomous agent in these types of markets is deeply felt. On the other side the structure of an auction mechanism that provides the environment for traders to operate their trades is vital. Despite all the research that has been done about online auctions, most of them were about single markets. But in real world the stocks and commodities of companies are listed and traded in different markets. There is a growing tendency towards research about online auctions and Market Design. Particularly in recent years CAT (CATallactics) game has provided an important opportunity to develop and test new techniques in this field. In this paper after introducing CAT game and PersianCAT agent, we want to challenge the conventional accepting policy used in stock markets like New York Stock Exchange and provide a better solution that improves the general performance of the markets.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Evaluation of internal validity measures in short-text corpora

Evaluation of internal validity measures in short-text corpo...

引用

9th International Conference on Intelligent Text Processing and Computational Linguistics

作者： Ingaramo, Diego Pinto, David Rosso, Paolo Errecalde, Marcelo Development and Research Laboratory in Computacional Intelligence (LIDIC) UNSL Argentina Natural Language Engineering Lab. Department of Information Systems and Computation Polytechnic University of Valencia Spain Faculty of Computer Science (FCC) BUAP Mexico

ISBN: (纸本)9783540781349

Short texts clustering is one of the most difficult tasks in natural language processing due to the low frequencies of the document terms. We are interested in analysing these kind of corpora in order to develop novel techniques that may be used to improve results obtained by classical clustering algorithms. In this paper we are presenting an evaluation of different internal clustering validity measures in order to determine the possible correlation between these measures and that of the F-Measure, a well-known external clustering measure used to calculate the performance of clustering algorithms. We have used several short-text corpora, in the experiments carried out. The obtained correlation with a particular set of internal validity measures let us to conclude that some of them may be used to improve the performance of text clustering algorithms.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Saying isn't necessarily believing: Influencing self-theories in computing 08

Saying isn't necessarily believing: Influencing self-theorie...

引用

4th International Computing Education Research Workshop, ICER'08

作者： Simon, Beth Hanks, Brian Murphy, Laurie Fitzgerald, Sue McCauley, Renée Thomas, Lynda Zander, Carol Computer Science and Engineering Department University of California San Diego CA United States Computer Science Information Systems Fort Lewis College Durango CO United States Department of Computer Science and Computer Engineering Pacific Lutheran University Tacoma WA United States Information and Computer Sciences Metropolitan State University St. Paul MN United States Computer Science Department College of Charleston Charleston SC 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

Jane sees 50 compiler errors as a challenge. John sees them as defeat. Psychology research suggests these contrasting reactions may stem from students' self-theories, or their beliefs about themselves. Jane's reaction is characteristic of a growth mindset, the idea that with hard work and persistence, one's intelligence can increase. John's behavior is in line with a fixed mindset, the belief that individuals are born with a certain amount of intelligence and there is little they can do to change it. Numerous studies of self-theories have shown that students with a growth mindset perform better in academic settings;they cope more effectively with challenges, maintain higher grades, and are less susceptible to stereotype threat. In this study we attempted a "saying is believing" intervention to encourage CS1 students to adopt a growth mindset both in general and towards programming. Despite notable success of this type of intervention in a non-CS context, our results offered few statistically significant differences both from pre-survey to post-survey and between control and intervention groups. Further, the statistically significant results we did find differed in direction between institutions (some students exhibited more growth response, others less). We analyzed further evidence to explore possible confounding issues including whether our intervention even registered with students and how students interpreted the questions which we used to assess their self-theories. Copyright 2008 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共228页 << < 174 175 176 177 178 179 180 181 182 183 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：