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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,015 篇 工学
- 852 篇 计算机科学与技术...
- 736 篇 软件工程
- 223 篇 信息与通信工程
- 116 篇 控制科学与工程
- 106 篇 生物工程
- 66 篇 生物医学工程（可授...
- 64 篇 电气工程
- 47 篇 电子科学与技术（可...
- 43 篇 安全科学与工程
- 39 篇 光学工程
- 38 篇 机械工程
- 29 篇 交通运输工程
- 28 篇 动力工程及工程热...
- 28 篇 建筑学
- 25 篇 土木工程
- 24 篇 仪器科学与技术
422 篇 理学
- 253 篇 数学
- 116 篇 生物学
- 81 篇 统计学（可授理学、...
- 59 篇 物理学
- 57 篇 系统科学
317 篇 管理学
- 177 篇 管理科学与工程(可...
- 161 篇 图书情报与档案管...
- 102 篇 工商管理
60 篇 医学
- 58 篇 临床医学
- 54 篇 基础医学(可授医学...
- 37 篇 药学(可授医学、理...
59 篇 法学
- 42 篇 社会学
37 篇 教育学
- 37 篇 教育学
36 篇 经济学
- 36 篇 应用经济学
19 篇 农学
2 篇 文学
2 篇 军事学
2 篇 艺术学

主题

56 篇 software
54 篇 software enginee...
38 篇 machine learning
37 篇 feature extracti...
36 篇 computer science
36 篇 accuracy
33 篇 computational mo...
30 篇 real-time system...
30 篇 semantics
29 篇 deep learning
29 篇 artificial intel...
28 篇 training
23 篇 data models
22 篇 data mining
21 篇 internet of thin...
21 篇 analytical model...
20 篇 support vector m...
20 篇 wireless sensor ...
20 篇 predictive model...
20 篇 machine learning...

机构

19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 dept. of compute...
16 篇 dept. of compute...
14 篇 dept. of softwar...
13 篇 state key labora...
13 篇 dept. of compute...
12 篇 dept. of compute...
12 篇 dept. of compute...
11 篇 bcmaterials basq...
11 篇 bcmaterials basq...
10 篇 college of compu...
10 篇 dept. of compute...
9 篇 school of softwa...
9 篇 nicta victoria r...
8 篇 daffodil interna...
8 篇 faculty of elect...
8 篇 university of re...

作者

19 篇 ku wei-shinn
19 篇 baldwin timothy
19 篇 ali raja hashim
19 篇 raja hashim ali
16 篇 usama arshad
16 篇 arshad usama
14 篇 zain ul abideen
12 篇 shiri nematollaa...
11 篇 buyya rajkumar
10 篇 baik doo-kwon
10 篇 ali zeeshan ijaz
8 篇 qusay h. mahmoud
8 篇 cho seong-je
8 篇 nisar ali
8 篇 shafiur rahman
8 篇 ali nisar
8 篇 ijaz ali zeeshan
7 篇 stuckey peter j.
7 篇 siddique abu bak...
7 篇 ul abideen zain

语言

1,532 篇 英文
53 篇 其他
5 篇 中文
4 篇 朝鲜文
3 篇 日文

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

共 1597 条记录，以下是681-690 订阅

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

详细简洁

排序：

Feature Oriented software Development Framework for Stock Exchange Systems

Feature Oriented Software Development Framework for Stock Ex...

引用

Moratuwa engineering Research Conference (MERCon)

作者： Lasitha Konara Indika Perera Sujith Gunewardhane Dept. of Computer Science and Engineering University of Moratuwa Sri Lanka Millennium IT Software Pvt Ltd Sri Lanka

Many software companies use the popular method of layered architecture to develop their software products resulting in code to be more generic. This generalization introduces a lot of unnecessary elements which make the system architecture to be heavy and less elegant. To overcome this challenge, a concept of feature oriented software development (FOSD) is introduced. That way, the software system will be delivered as a set of features and the feature set could be decoupled at any time, according to the latest set of requirements without harming to any existing functionality. In this research the final outcome has been a feature oriented domain specific language (DSL). The objective of this developed feature oriented DSL is to make it effective even for business analysts to introduce new features without getting help from the development team of the project. A code generator and a core controller have been developed as part of this research exhibiting the above mentioned FOSD & DSL principles. The evaluation results indicate the generated feature oriented code identically behaves as its manually written counterpart code.

关键词： DSL Generators Business Mathematical model software systems Semantics

来源：评论

学校读者我要写书评

暂无评论

On the Effect of Object Redundancy Elimination in Randomly Testing Collection Classes

On the Effect of Object Redundancy Elimination in Randomly T...

引用

IEEE/ACM International Workshop on Search-Based software Testing (SBST)

作者： Pablo Ponzio Valeria Bengolea Simón Gutiérrez Brida Gastón Scilingo Nazareno Aguirre Marcelo Frias Dept. of Computer Science University of Rio Cuarto Argentina Dept. of Software Engineering Buenos Aires Institute of Technology Argentina

In this paper, we analyze the effect of reducing object redundancy in random testing, by comparing the Randoop random testing tool with a version of the tool that disregards tests that only produce objects that have been previously generated by other tests. As a side effect, this variant also identifies methods in the software under test that never participate in state changes, and uses these more heavily when building assertions. Our evaluation of this strategy concentrates on collection classes, since in this context of object-oriented implementations that de- scribe stateful objects obbeying complex invariants, object variabil- ity is highly relevant. Our experimental comparison takes the main data structures in ***, and shows that our object redun- dancy reduction strategy has an important impact in testing collec- tions, measured in terms of code coverage and mutation killing.

关键词： Redundancy software Test pattern generators Dictionaries Tools Standards

来源：评论

学校读者我要写书评

暂无评论

Improvement and Performance Analysis of DSR Protocol in MANET

Improvement and Performance Analysis of DSR Protocol in MANE...

引用

2018 International Conference on Computational, Modeling, Simulation and Mathematical Statistics(CMSMS 2018)

作者： Yi ZHU Li-heng ZHAO Jun LU Shi-qi DENG Dept.of Software Engineering Chengdu University of Information Technology Dept.of Computer Science & Technology Chengdu University of Information Technology

The characteristics and shortcomings of dynamic source routing protocol(DSR) in mobile Ad hoc network are analyzed in detail. For the DSR protocol did not consider the network load, node energy and optimal path problems etc. proposed a new and improved DSR protocol, LEBDSR(Load and Energy Balanced Dynamic Source Routing) protocol, it increased the node congestion factor and energy coefficient based on the original protocol, and improved routing strategy under the new constraint parameters. By comparative analysis of NS-2 simulation, performance of the proposed DSR protocol such as the delivery rate, routing load, network minimum survival time were improved in the same network environment.

关键词： Mobile ad hoc network DSR Network simulator version 2 Routing introduction

来源：评论

学校读者我要写书评

暂无评论

From Operational to Declarative Specifications Using a Genetic Algorithm

From Operational to Declarative Specifications Using a Genet...

引用

IEEE/ACM International Workshop on Search-Based software Testing (SBST)

作者： Facundo Molina Renzo Degiovanni Germán Regis Pablo Castro Nazareno Aguirre Marcelo Frias Dept. of Computer Science University of Rio Cuarto Argentina Dept. of Software Engineering Buenos Aires Institute of Technology Argentina

In specification-based test generation, sometimes having a formal specification is not sufficient, since the specification may be in a different formalism from that required by the generation approach being used. In this paper, we deal with this problem specifically in the context in which, while having a formal specification in the form of an operational invariant written in a sequential programming language, one needs, for test generation, a declarative invariant in a logical formalism. We propose a genetic algorithm that given a catalog of common properties of invariants, such as acyclicity, sortedness and balance, attempts to evolve a conjunction of these that most accurately approximates an original operational specification. We present some details of the algorithm, and an experimental evaluation based on a benchmark of data structures, for which we evolve declarative logical invariants from operational ones.

关键词： Tools Biological cells Genetic algorithms Test pattern generators computer science Metals Data structures

来源：评论

学校读者我要写书评

暂无评论

Privacy-Preserving Linear Regression for Brain-computer Interface Applications

Privacy-Preserving Linear Regression for Brain-Computer Inte...

引用

2018 IEEE International Conference on Big Data, Big Data 2018

作者： Agarwal, Anisha Dowsley, Rafael McKinney, Nicholas D. Wu, Dongrui Lin, Chin-Teng Cock, Martine De Nascimento, Anderson School of Engineering and Technology University of Washington Tacoma United States Dept. of Computer Science Aarhus University Aarhus Denmark School of Automation Huazhong University of Science and Technology Wuhan China School of Software University of Technology Sydney Australia Dept. of Applied Math. Comp. Sc. and Statistics Ghent University Belgium

ISBN: (纸本)9781538650356

Many machine learning (ML) applications rely on large amounts of personal data for training and inference. Among the most intimate exploited data sources is electroencephalogram (EEG) data. The emergence of consumer-grade, low-cost brain-computer interfaces (BCIs) and corresponding software development kits1 is bringing the use of BCI within reach of application developers. The access that BCI applications have to neural signals rightly raises privacy concerns. Application developers can easily gain knowledge beyond the professed scope from unprotected EEG signals, including passwords, ATM PINs, and other personal data [1]. The challenge we address is how to engage in meaningful ML with EEG data while protecting the privacy of users. © 2018 IEEE.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

Examining User Complaints of Wearable Apps: A Case Study on Android Wear 4

Examining User Complaints of Wearable Apps: A Case Study on ...

引用

4th IEEE/ACM International Conference on Mobile software engineering and Systems, MOBILESoft 2017

作者： Mujahid, Suhaib Sierra, Giancarlo Abdalkareem, Rabe Shihab, Emad Shang, Weiyi Lab Dept. Computer Science and Software Engineering Concordia University Montreal Canada

ISBN: (纸本)9781538626696

Wearable apps are becoming increasingly popular in recent years. However, to date, very few studies examined the issues that wearable apps face. Prior studies showed that user reviews contain a plethora of insights that can be used to understand quality issues and help developers build better quality mobile apps. Therefore, in this paper, we mine user reviews in order to understand the user complaints of wearable apps. We manually sample and categorize 589 reviews from 6 Android wearable apps. Our findings indicate that the most frequent complaints are related to functional errors, lack of functionality, and cost. Our results are useful to the wearable developer community since they highlight the issues that users face and care most about. © 2017 IEEE.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

M-Learning as a convenient support to the learning process in computer science 45

M-Learning as a convenient support to the learning process i...

引用

45th Annual Conference of the European Society for engineering Education, SEFI 2017

作者： Kambale, B. Eude, T. Dept. of Computer Science and Software Engineering Laval University Québec Canada

ISBN: (纸本)9789899887572

Many studies undertaken in the field of education have revealed that m-learning is emerging more and more as an effective learning method with the use of smartphones. Always turned on and easily transported, smartphones can be used anywhere, at any given time and in any context. Considering the potential of m-learning, we seek to understand this novelty as a support in the learning process, especially in computer science education. To reach this end, we asked a group of students their opinion in the form of a survey, in order to know the most beneficial aspects of a mobile application in education. The outcome of this survey helped us to develop a mobile application from which students could access course news, work timing, frequently asked questions and results. After using this application, a second survey highlights students' interest. We thus show that, especially for courses such as programming courses, mlearning plays a full role as it offers accessibility to valuable information which comes in a continuous flow to support the learning process and as it offers an environment where interaction with the learning tool can be adapted and adjusted to the learner's style and needs.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

A study on performance evaluation of computer systems using Petri Nets

A study on performance evaluation of computer systems using ...

引用

International Conference on Computational Techniques, Electronics and Mechanical Systems (CTEMS)

作者： Tanuja Shailesh Ashalatha Nayak Devi Prasad Dept. Computer Science and Engineering Manipal Institute of Technology Manipal Academy of Higher Education Software Consultant Manipal India

ISBN: (纸本)9781538677100

This paper describes performance evaluation of Real-time system using Petri net. Two types of Petri nets Stochastic Petri net (SPN) and Generalized Stochastic Petri net(GSPN) are discussed and a comparative study the two variants of Petri net has been proposed. This comparison will give an insight on the use of Generalized Stochastic Petri net over Stochastic Petri net. An example of a parallel system modelled using SPN and GSPN is used to analyze the comparison between SPN and GSPN. A case study from manufacturing industry that belongs to the class of pull strategies Just-in-Time is considered to explore the flexibility of GSPN in modeling and analysis of a Real-time system. Open source software PIPE is used to model and analyze SPN and GSPN for performance evaluation of Real-Time system.

关键词： Petri nets Analytical models Stochastic processes Performance evaluation Real-time systems Throughput Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Poster abstract: Recommendation-based smart indoor navigation 2

Poster abstract: Recommendation-based smart indoor navigatio...

引用

2nd IEEE/ACM International Conference on Internet-of-Things Design and Implementation, IoTDI 2017

作者： Wang, Wenlu Ku, Wei-Shinn Dept. of Computer Science and Software Engineering Auburn University AuburnAL United States

ISBN: (纸本)9781450349666

Localization in indoor spaces has to rely on sensing devices (e.g., Radio Frequency Identification (RFID) readers, WiFi routers, bluetooth beacons) rather than GPS devices. On the other side, we could build a smart indoor environment that facilitates all types of spatial services with various sensing devices. In this paper, we focus on the topic of spatial navigation. Due to the complexity of indoor environments, we believe the indoor navigation strategy should not be limited to the shortest path. Taking shopping centers for example, a navigation path should be not only the shortest path, but also an attractive route to the shopper. We aim to build a smart indoor navigation system, which not only learns the user's behavior through previous sensing data, but also enjoys working with heterogeneous devices. Therefore, we propose a novel recommendation based smart navigation strategy with Recurrent Neural Network (RNN). This strategy provides optimal user experience by: 1) Memorizing the user's historical data;2) Overlapping the navigation with the user's indoor behavior model;3) Making recommendations based on real-time detections from sensor devices. © 2017 ACM.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

An Automatic Approach to Validating Log Levels in Java

An Automatic Approach to Validating Log Levels in Java

引用

Asia-Pacific Conference on software engineering

作者： Taeyoung Kim Suntae Kim Cheol-Jung Yoo Soohwan Cho Sooyong Park Dept. of Software Engineering CAIIT Chonbuk National University Jeonju-si Republic of Korea Dept. of Computer Science & Engineering Sogang University Seoul Republic of Korea

ISBN: (纸本)9781728119717;9781728119700

A log statement is used to record important runtime behavior of software systems for diverse reasons, which is inevitable to develop most of the software systems. However, developers do not tend to deeply consider an appropriate log level in their source code. In order to address the issues, this paper proposes an automatic approach to validating log levels in Java in consideration of the syntactic as well as semantic features. We first build up the Word2Vec model and generate semantic and syntactic log feature vectors, then train the machine learning classifiers to automatically validate the log levels. For the evaluation, we collected six open source projects of the message-oriented middleware domain, and obtained the 88% precision and the 87% recall respectively.

关键词： Semantics Syntactics Feature extraction Java Frequency measurement software systems Machine learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共160页 << < 65 66 67 68 69 70 71 72 73 74 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：