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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

667 篇 期刊文献
619 篇 会议
23 册 图书

馆藏范围

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

日期分布

学科分类号

799 篇 工学
- 526 篇 计算机科学与技术...
- 437 篇 软件工程
- 153 篇 控制科学与工程
- 128 篇 信息与通信工程
- 85 篇 电气工程
- 68 篇 生物工程
- 56 篇 电子科学与技术（可...
- 55 篇 机械工程
- 55 篇 生物医学工程（可授...
- 48 篇 光学工程
- 37 篇 动力工程及工程热...
- 32 篇 化学工程与技术
- 29 篇 仪器科学与技术
- 28 篇 材料科学与工程（可...
- 25 篇 力学（可授工学、理...
- 25 篇 土木工程
- 24 篇 安全科学与工程
518 篇 理学
- 278 篇 数学
- 128 篇 物理学
- 115 篇 系统科学
- 88 篇 统计学（可授理学、...
- 87 篇 生物学
- 41 篇 化学
186 篇 管理学
- 132 篇 管理科学与工程(可...
- 67 篇 工商管理
- 57 篇 图书情报与档案管...
68 篇 医学
- 56 篇 临床医学
- 48 篇 基础医学(可授医学...
- 28 篇 公共卫生与预防医...
27 篇 经济学
- 27 篇 应用经济学
25 篇 法学
18 篇 教育学
15 篇 农学
3 篇 文学
2 篇 军事学
2 篇 艺术学

主题

69 篇 computer science
68 篇 laboratories
58 篇 software enginee...
36 篇 grid computing
35 篇 application soft...
32 篇 software systems
31 篇 cloud computing
27 篇 computational mo...
27 篇 machine learning
26 篇 quality of servi...
26 篇 mathematics
25 篇 resource managem...
23 篇 deep learning
22 篇 systems engineer...
21 篇 costs
20 篇 processor schedu...
19 篇 computer archite...
18 篇 artificial intel...
17 篇 distributed comp...
17 篇 testing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
17 篇 state key labora...
16 篇 school of mathem...
16 篇 key laboratory o...
15 篇 department of co...
14 篇 college of compu...
14 篇 software enginee...
12 篇 state key labora...
10 篇 university of ch...
9 篇 academy of mathe...
9 篇 cloud computing ...
8 篇 key laboratory o...
8 篇 school of electr...
7 篇 university colle...
7 篇 grid computing a...
7 篇 computing and so...

作者

48 篇 rajkumar buyya
33 篇 junping du
31 篇 yingmin jia
22 篇 fashan yu
20 篇 buyya rajkumar
18 篇 ismail leila
15 篇 veera boonjing
14 篇 liu ya-feng
12 篇 materwala huned
10 篇 sarun intakosum
10 篇 bei zeng
10 篇 cheng betty h. c...
10 篇 zhengfeng ji
10 篇 badri mourad
9 篇 p.k. mckinley
8 篇 badri linda
8 篇 bakas spyridon
8 篇 liu xin
8 篇 yu wei
8 篇 yiguang hong

语言

1,233 篇 英文
67 篇 其他
7 篇 中文
1 篇 德文
1 篇 法文
1 篇 日文

检索条件"机构=Software Systems Engineering Laboratory Department of Mathematics and Computer Science"

共 1309 条记录，以下是881-890 订阅

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

详细简洁

排序：

Empirical analysis for investigating the effect of control flow dependencies on testability of classes

Empirical analysis for investigating the effect of control f...

引用

SEKE 2011 - Proceedings of the 23rd International Conference on software engineering and Knowledge engineering

作者： Badri, Mourad Toure, Fadel Software Engineering Research Laboratory Department of Mathematics and Computer Science University of Quebec at Trois-Rivières Trois-Rivières QC Canada

ISBN: (纸本)1891706292

We present, in this paper, a new metric capturing in an integrated way different attributes of object-oriented systems. The metric uses basically control flow paths and probabilities. It captures the interactions between classes and related control. The study presented in this paper aims at exploring empirically the relationship between the proposed metric and testability of classes. We investigate testability from the perspective of unit testing. We designed and conducted an empirical study using data collected from two open source Java software systems for which JUnit test cases exist. To capture testability of classes, we used different metrics to quantify the corresponding JUnit test cases. In order to evaluate the capability of the new metric to predict testability of classes, we used statistical tests using correlation. The achieved results provide evidence that there exist a significant relationship between the proposed metric and testability of classes.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Boolean equi-propagation for optimized SAT encoding

Boolean equi-propagation for optimized SAT encoding

引用

17th International Conference on Principles and Practice of Constraint Programming, CP 2011

作者： Metodi, Amit Codish, Michael Lagoon, Vitaly Stuckey, Peter J. Department of Computer Science Ben Gurion University of the Negev Israel Cadence Design Systems United States Department of Computer Science and Software Engineering and NICTA Victoria Laboratory The University of Melbourne Australia

ISBN: (纸本)9783642237850

We present an approach to propagation based SAT encoding, Boolean equi-propagation, where constraints are modelled as Boolean functions which propagate information about equalities between Boolean literals. This information is then applied as a form of partial evaluation to simplify constraints prior to their encoding as CNF formulae. We demonstrate for a variety of benchmarks that our approach leads to a considerable reduction in the size of CNF encodings and subsequent speed-ups in SAT solving times. © 2011, Springer-Verlag Berlin Heidelberg.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

Toward resilient human-robot interaction through situation projection for effective joint action

Toward resilient human-robot interaction through situation p...

引用

2011 AAAI Fall Symposium

作者： Pearce, Adrian R. Sonenberg, Liz Nixon, Paddy NICTA Victoria Research Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Department of Information Systems University of Melbourne Australia University of Tasmania Australia

ISBN: (纸本)9781577355496

In this paper we address the design of robots that can be successful partners to humans in joint activity. The paper outlines an approach to achieving adjustable autonomy during execution- and hence to achieve resilient multi-actor joint action - based on both temporal and epistemic situation projection. The approach is based on non-deterministic planning techniques based on the situations calculus. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Evaluating effectiveness of risk identification and management using organisational models

Evaluating effectiveness of risk identification and manageme...

引用

IEEE International Conference on computer Research and Development

作者： Bhuiyan, Moshiur Rana, Sohel Krishna, Aneesh Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong NSW 2522 Australia OptInfra Systems Sydney NSW Australia Department of Computing Faculty of Science and Engineering Curtin University of Technology Perth WA 6102 Australia

ISBN: (纸本)9781612848372

In this paper firstly we discuss an approach for supporting risk identification with the use of higher-level organizational models. We provide some intuitive metrics for extracting measures of actor criticality and vulnerability from organizational models. This helps direct risk management to areas of critical importance within organization models. Secondly, we provide details of an experiment that we conducted to evaluate our methodology. We believe our novel approach, will provide added benefits when used with other approaches to risk management during business process management, that do not reference the greater organizational context during risk assessment. © 2011 IEEE.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

WOX5-IAA17 feedback circuit mediated cellular auxin response is crucial for Arabidopsis root patterning

WOX5-IAA17 feedback circuit mediated cellular auxin response...

引用

2012全国植物生物学大会

作者： Krzysztof Wabnik Zhaojun Ding Huiyu Tian Hanbing Li Stephan Pollmann Steffen Vanneste Willy Govaerts Jakub Rol(c)ík Markus Geisler Ji(r)í Friml Department of Plant Systems Biology VIB and Department of Plant Biotechnology and GeneticsGhent University B-9052 Gent Belgium Department of Biochemistry University of Missouri Columbia MO USA Laboratory of Growth Regulators Centre of the Region Haná for Biotechnological and Agricultural Research and Faculty of Science Palack(y) University 78371 Olomouc Czech Republic The Key Laboratory of Plant Cell Engineering and Germplasm Innovation Ministry of EducationSchool of Life Sciences Shandong University Shanda Nanlu 27 Jinan 250100 China Department of Applied Mathematics and Computer Science Ghent University 9000 Gent Belgium Department of Biology Plant Biology University of Fribourg 1700 Fribourg Switzerland Ruhr-Universit(a)t Bochum Lehrstuhl für Pflanzenphysiologie 44801 Bochum Germany

In plants, the patterning of root meristem requires a gradient-guided auxin maximum that depends on the concerted action of polar auxin transport, auxin biosnythesis and intracellular auxin homeostasis.

关键词： WOX5 auxin IAA17/AXR3 root patterning computer simulation

来源：评论

学校读者我要写书评

暂无评论

Frontier-based multi-robot map exploration using particle swarm optimization

Frontier-based multi-robot map exploration using particle sw...

引用

IEEE Symposium on Swarm Intelligence

作者： Wang, Yiheng Liang, Alei Guan, Haibing School of Software Shanghai Jiao Tong University Shanghai Key Laboratory of Scalable Computing and Systems Shanghai 200240 China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai Key Laboratory of Scalable Computing and Systems Shanghai 200240 China

ISBN: (纸本)9781612840529

Exploring an unknown environment using team of autonomous mobile robots is an important task in many real-world applications. Many existing map exploration algorithms are based on frontier, which is the boundary between unexplored space and known open space. In the context of multiple robots, the main problem of frontier-based algorithm is to choose appropriate target points for the individual robots so that they can efficiently explore the different part of the common area. This paper proposed a novel distributed frontier-based map exploration algorithm using Particle Swarm Optimization model for robot coordination. In this algorithm, the robot keeps moving to the nearby frontier to reduce the size of the unknown region, and is navigated towards frontier far away based on the PSO model after exploring the local area. The exploration is completed when there are no frontier cells on the map. Our algorithm has been implemented and tested both in simulation runs and real world experiment. The result shows that our method has a good scalability and efficiency. © 2011 IEEE.

关键词： Particle swarm optimization (PSO)

来源：评论

学校读者我要写书评

暂无评论

OPI model: A methodology for development metric based on outcome oriented

OPI model: A methodology for development metric based on out...

引用

International Joint Conference on computer science and software engineering (JCSSE)

作者： Kaenchan Thammarak Sarun Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Bangkok Thailand

Metric is extremely important for software development. It is a tool for measuring software in both quantitative and qualitative aspects. In addition, metric can be used for determining an achievement of the goals. There are some problems that bring difficulties to the design and development of software metrics. Among them, a number of software perspectives that metrics must handle and the way to apply metrics results to support business outcomes are considered important. This paper proposes OPI as a model for implementing software metrics based on business outcomes. There are three steps in this model, defining outcomes (O), defining perspectives (P), and defining indicators (I). A case study has been developed to assess the use of the proposed model. Forty undergraduate students, who have basic knowledge in software metric, use the model to develop metrics from the case study. The preliminary evaluation is based on usability aspect. The result has show that 85 percents of the students think that the model is easy to understand, where 8 and 7 percents say that it is moderate and hard respectively.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Exploring provenance in high performance scientific computing

Exploring provenance in high performance scientific computin...

引用

1st Annual 2011 Workshop on High-Performance Computing Meets Databases, HPCDB'11, Co-located with Supercomputing, SC'11

作者： Gadelha Jr., Luiz M.R. Wilde, Michael Mattoso, Marta Foster, Ian Computer and Systems Engineering Program Federal University of Rio de Janeiro Brazil National Laboratory for Scientific Computing Brazil Mathematics and Computer Science Division Argonne National Laboratory United States Computation Institute Argonne National Laboratory University of Chicago United States Department of Computer Science University of Chicago United States

ISBN: (纸本)9781450311571

Large-scale scientific computations are often organized as a composition of many computational tasks linked through data flow. After the completion of a computational scientific experiment, a scientist has to analyze its outcome, for instance, by checking inputs and outputs of computational tasks that are part of the experiment. This analysis can be automated using provenance management systems that describe, for instance, the production and consumption relationships between data artifacts, such as files, and the computational tasks that compose the scientific application. In this article, we explore the relationship between high performance computing and provenance management systems, observing that storing provenance as structured data enriched with information about the runtime behavior of computational tasks in high performance computing environments can enable interesting and useful queries to correlate computational resource usage, scientific parameters, and data set derivation. We briefly describe how provenance of many-task scientific computations specified and coordinated by the Swift parallel scripting system is gathered and queried. © 2011 ACM.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Understanding the dynamics of requirements process improvement: A new approach

Understanding the dynamics of requirements process improveme...

引用

Lecture Notes in computer science

作者： Zawedde, A. S. Aminah Klabbers, M. D. Martijn Williams, D. Ddembe Van Den Brand, M. G. J. Mark Faculty of Computing and Informatics Technology Makerere University Uganda LaQuSo Laboratory for Quality Software Eindhoven University of Technology Netherlands Decision Innovation Systems Limited Uganda Department of Mathematics and Computer Science Eindhoven University of Technology Netherlands

ISBN: (纸本)9783642218422

Many software development organizations invest heavily in the requirements engineering process programmes, and with good reason. They fail, however, to maximize a healthy return on investment. This paper explores factors that influence requirements process improvement (RPI) with the aim to explain how the attributes of the underpinning process affect both the quality and associated costs of the requirements specification delivered to the customer. Although several tools and techniques have been proposed and used for RPIs, many lack a systematic approach to RPI or fail to provide RPI teams with the required understanding to assess their effectivity. The authors contend that the developed quality-cost RPI descriptive model is a generic framework, discipline and language for an effective approach to RPI. This descriptive model allows a systematic enquiry that yields explanations and provides RPI stakeholders with a common decision making framework. The descriptive model was validated by practicing process improvement consultants and managers and makes a contribution towards understanding of the quality-cost dynamics of RPI. To address the acknowledged deficiencies of RPI, the authors further suggest a generic RPI model and approach that integrates statistical process control (SPC) into system dynamics (SD). The approach enables RPI teams to steer for a cost-effective and successful RPI. © 2011 Springer-Verlag.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

A new share frequent itemsets mining using incremental BitTable knowledge

A new share frequent itemsets mining using incremental BitTa...

引用

International Conference on computer sciences and Convergence Information Technology (ICCIT)

作者： Chayanan Nawapornanan Veera Boonjing Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand

The share measure has been proposed as an important measure for mining association rules. The value of share itemsets provides useful information such as total profits and total customer purchased quantities associated with itemsets in database. The share-frequent itemsets mining problems become a very important research issue in data mining. Existing share-frequent itemsets mining algorithms are based on static database so knowledge must be rebuilded when the minimum share threshold is changed or database is modified either appended or updated. This paper proposes a novel BitTable knowledge for incremental and interactive share-frequent itemsets mining in multiple minimum share thresholds without rebuilding BitTable knowledge. It is effective for incremental and interactive mining to take advantage of the previous BitTable knowledge and the previous mining results.

关键词： Itemsets Algorithm design and analysis Association rules computer science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共131页 << < 85 86 87 88 89 90 91 92 93 94 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：