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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,477 篇 工学
- 843 篇 计算机科学与技术...
- 640 篇 软件工程
- 230 篇 信息与通信工程
- 173 篇 控制科学与工程
- 152 篇 电气工程
- 147 篇 仪器科学与技术
- 140 篇 电子科学与技术（可...
- 136 篇 生物工程
- 114 篇 动力工程及工程热...
- 105 篇 土木工程
- 103 篇 机械工程
- 103 篇 生物医学工程（可授...
- 86 篇 建筑学
- 86 篇 核科学与技术
- 83 篇 光学工程
- 76 篇 化学工程与技术
- 53 篇 航空宇航科学与技...
947 篇 理学
- 364 篇 数学
- 355 篇 物理学
- 160 篇 生物学
- 126 篇 地球物理学
- 118 篇 统计学（可授理学、...
- 95 篇 化学
- 79 篇 系统科学
333 篇 管理学
- 226 篇 管理科学与工程(可...
- 133 篇 工商管理
- 115 篇 图书情报与档案管...
100 篇 医学
- 94 篇 临床医学
- 73 篇 基础医学(可授医学...
56 篇 法学
- 50 篇 社会学
49 篇 经济学
31 篇 农学
30 篇 教育学
7 篇 艺术学
5 篇 军事学
3 篇 文学
2 篇 哲学
1 篇 历史学

主题

151 篇 computer archite...
106 篇 hadron colliders
55 篇 hardware
45 篇 artificial intel...
44 篇 computer science
43 篇 application soft...
43 篇 computational mo...
32 篇 optimization
31 篇 deep learning
31 篇 neutrons
31 篇 delay
29 篇 laboratories
28 篇 w & z bosons
27 篇 parallel process...
27 篇 genetic algorith...
27 篇 feature extracti...
26 篇 electronic mail
26 篇 neural networks
26 篇 machine learning
25 篇 internet of thin...

机构

151 篇 centro brasileir...
150 篇 national and kap...
150 篇 istanbul technic...
150 篇 yerevan physics ...
149 篇 university of sp...
148 篇 universidad iber...
147 篇 indian institute...
147 篇 charles universi...
146 篇 brunel universit...
145 篇 academy of scien...
143 篇 university of de...
142 篇 rwth aachen univ...
141 篇 imperial college...
139 篇 università di to...
139 篇 department of ph...
136 篇 infn sezione di ...
136 篇 zhejiang univers...
132 篇 department of ph...
131 篇 université de st...
131 篇 indian institute...

作者

146 篇 ardid m.
132 篇 ferrara g.
114 篇 coleiro a.
113 篇 kalekin o.
113 篇 díaz a.f.
110 篇 g. tonelli
110 篇 d. barney
110 篇 l. valencia palo...
110 篇 t. liu
110 篇 c. hensel
110 篇 a. garcia-bellid...
110 篇 a. steen
110 篇 n. cartiglia
110 篇 n. colino
110 篇 f. moortgat
110 篇 b. clerbaux
109 篇 a. babaev
109 篇 v. karjavine
109 篇 g. sultanov
109 篇 m. a. ciocci

语言

2,289 篇 英文
86 篇 其他
36 篇 中文
1 篇 法文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Department of Computer Architecture and Computer Technology"

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

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

详细简洁

排序：

WCET tool challenge 2011: Report

WCET tool challenge 2011: Report

引用

11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held at the 23rd Euromicro Conference on Real-Time Systems

作者： Von Hanxleden, Reinhard Holsti, Niklas Lisper, Björn Ploedereder, Erhard Wilhelm, Reinhard Bonenfant, Armelle Cassé, Hugues Bünte, Sven Fellger, Wolfgang Gepperth, Sebastian Gustafsson, Jan Huber, Benedikt Islam, Nazrul Mohammad Kästner, Daniel Kirner, Raimund Kovács, Laura Krause, Felix De Michiel, Marianne Olesen, Mads Christian Prantl, Adrian Puffitsch, Wolfgang Rochange, Christine Schoeberl, Martin Wegener, Simon Zolda, Michael Zwirchmayr, Jakob Department of Computer Science Christian-Albrechts-Universität zu Kiel Olshausenstr. 40 24098 Kiel Germany Tidorum Ltd Tiirasaarentie 32 FI-00200 Helsinki Finland School of Innovation Design and Engineering Mälardalen University Västeras Sweden University of Stuttgart Universitätsstr. 38 71229 Stuttgart Germany FR. 6.2 - Computer Science Universität des Saarlandes PO-Box 15 11 50 66041 Saarbrücken Germany IRIT CNRS Université de Toulouse France Faculty of Informatics Technical University Vienna 1040 Vienna Austria AbsInt Angewandte Informatik GmbH Science Park 1 66123 Saarbrücken Germany Compiler Technology and Computer Architecture Group University of Hertfordshire Hatfield Hertfordshire AL10 9AB United Kingdom Department of Computer Science Aalborg University Selma Lagerlöfs Vej 300 9220 Aalborg Denmark Lawrence Livermore National Laboratory P.O. Box 808 Livermore CA 94551 United States Department of Informatics and Mathematical Modeling Technical University of Denmark Asmussens Alle DTU Building 305 2800 Lyngby Denmark

ISBN: (纸本)9781632663153

Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with support from the ARTIST DESIGN Network of Excellence. Following the practice established in the previous Challenges, the WCET Tool Challenge 2011 (WCC'11) defined two kinds of problems to be solved by the Challenge participants with their tools, WCET problems, which ask for bounds on the execution time, and flow-analysis problems, which ask for bounds on the number of times certain parts of the code can be executed. The benchmarks to be used in WCC'11 were debie1, PapaBench, and an industrial-strength application from the automotive domain provided by Daimler. Two default execution platforms were suggested to the participants, the ARM7 as "simple target" and the MPC5553/5554 as a "complex target," but participants were free to use other platforms as well. Ten tools participated in WCC'11: aiT, Astrée, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Applying support vector machines and mutual information to book losses prediction

Applying support vector machines and mutual information to b...

引用

2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 International Joint Conference on Neural Networks, IJCNN 2010

作者： Mora, A.M. Herrera, L.J. Urquiza, J. Rojas, I. Merelo, J.J. Department of Architecture and Computer Technology ETSIIT University of Granada Spain

ISBN: (纸本)9781424469178

This work presents a feasible solution to the problem of book losses prediction from financial and general data in companies. The specific problem tackled in this work corresponds to a real dataset of Spanish companies. A Mutual Information-based criterion has been applied in order to reduce the initial set of variables, and a Support Vector Machine classifier has been designed to perform the prediction. The results show that the proposed approach obtains an important reduction of the number of variables needed to perform the prediction, improving the generalization capabilities of the model. The accuracy rates were above the 84% in the test set, much better than those obtained by other soft-computing algorithms (such as Genetic Programming, Self-Organizing Maps or Artificial Neural Networks) working with the same dataset and presented in previous works. The proposed approach shows to be promising and could be determinant in providing the experts with the right tools for the selection of the relevant factors and for the prediction in this difficult problem. © 2010 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

An Interdisciplinary Approach to Designing Adaptive Lighting Environments

An Interdisciplinary Approach to Designing Adaptive Lighting...

引用

International Conference on Intelligent Environments (IE)

作者： Remco Magielse Philip Ross Sunder Rao Tanir Ozcelebi Paola Jaramillo Oliver Amft Designing Quality in Interaction (DQI) Group Department of Industrial Design Intelligent Lighting Institute (ILI) Eindhoven University of Technology Eindhoven Netherlands System Architecture and Networks (SAN) Group Department of Mathematics and Computer Science Intelligent Lighting Institute (ILI) Eindhoven University of Technology Eindhoven Netherlands Signal Processing Systems (SPS) Group Department of Electrical Engineering Intelligent Lighting Institute (ILI) Eindhoven University of Technology Eindhoven Netherlands

Due to advancements in lighting technologies new opportunities for application emerge. In this paper an interdisciplinary study towards the development of adaptive lighting environments is presented. An implementation of an adaptive lighting environment is made in the domain of office work. For evaluation, experts from the domains of human-system interaction, activity and context recognition, and system architecture design are interviewed. Contributions are made with regard to the implementation of the adaptive lighting in office environments and an evaluation method that is in line with the interdisciplinary approach. From the evaluation method insights in the fields of human-computer interaction, activity and context recognition and system architecture and (wireless) networking and in topics that span across these fields are gained.

关键词： Indexes

来源：评论

学校读者我要写书评

暂无评论

RESTful web service composition: Extracting a process model from Linear Logic theorem proving

RESTful web service composition: Extracting a process model ...

引用

International Conference on Next Generation Web Services Practices (NWeSP)

作者： Xia Zhao Enjie Liu Gordon J. Clapworthy Na Ye Yueming Lu Department of Computer Science and Technology University of Bedfordshire Luton UK School of Electronic and Information Engineering Xi'an Jiaotong University Xian China School of Information and Control Engineering Xi'an University of architecture and technology Xian China Key Laboratory of Trustworthy Distributed Computing and Service Ministry of Education Beijing University of Posts and Telecommunications Beijing China

This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.

关键词： Web services Business Calculus Educational institutions Next generation networking Marine vehicles Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Hierarchically characterizing CUDA program behavior

Hierarchically characterizing CUDA program behavior

引用

IEEE International Workshop/Symposium on Workload Characterization

作者： Zhibin Yu Hai Jin Nilanjan Goswami Tao Li Lizy K. John Service Computing Technologies and System Lab/Cluster and Grid Computing Lab Huazhong University of Science and Technology Wuhan China Intelligent Design of Efficient Architecture Lab University of Florida Gainesville FL USA Department of Electrical and Computer Engineering University of Texas Austin Austin TX USA

CUDA has become a very popular programming paradigm in parallel computing area. However, very little work has been done for characterizing CUDA kernels. In this work, we measure the thread level performance, collect the basic block level characteristics, and glean the instruction level properties for about 35 programs from CUDA SDK, Parboil, and Rodinia benchmark suites. In addition, we define basic block vectors, synchronization vectors and thread similarity matrix to capture the characteristics of CUDA programs efficiently. We find that CUDA programs have some unique characteristics at each level compared to sequential programs.

关键词： Graphics processing unit Vectors Kernel Instruction sets Programming USA Councils Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Ensuring privacy in a Distributed Video Coding surveillance scenario

Ensuring privacy in a Distributed Video Coding surveillance ...

引用

IEEE International Conference on Consumer Electronics - Berlin (ICCE-Berlin)

作者： J. L. Martínez J.M. Villalón J.H. Parreño P. Cuenca H. Kalva Architecture and Technology of Computing Systems Group Complutense University Ciudad Universitaria s/n Madrid SPAIN Instituto de Investigacion en Informatica de Albacete (I3A) Campus Universitario Albacete SPAIN Department of Computer Science and Engineering Florida Atlantic University FL USA

In this paper, a permutation scheme is introduced for Distributed Video Coding. The main goal is to preserve privacy and security in video surveillance video communications and can be adapted for other scenarios. The proposed approach consists to apply permutation based encryption to the DVC scenario. The permutation is defined by a secret key which is required at the decoder for decompression providing security. Simulation results show that the reference architecture and the permutation-based proposed have similar rate distortion performance.

关键词： Encryption Privacy Decoding Correlation Bit rate

来源：评论

学校读者我要写书评

暂无评论

Effect of pre-processing methods on microarray-based SVM classifiers in affymetrix genechips

Effect of pre-processing methods on microarray-based SVM cla...

引用

2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 International Joint Conference on Neural Networks, IJCNN 2010

作者： Florido, J.P. Pomares, H. Rojas, I. Urquiza, J.M. Herrera, L.J. Claros, M.G. Department of Computer Architecture and Computer Technology CITIC-UGR University of Granada Spain Department of Molecular Biology and Biochemistry University of Malaga Spain

ISBN: (纸本)9781424469178

Affymetrix High Oligonucleotide expression arrays are widely used for the high-throughput assessment of gene expression of thousands of genes simultaneously. Although disputed by several authors, there are non-biological variations and systematic biases that must be removed as much as possible through the pre-processing step before an absolute expression level for every gene is assessed. It is important to evaluate microarray pre-processing procedures not only to the detection of differentially expressed genes, but also to classification, since a major use of microarrays is the expression-based phenotype classification. Thus, in this paper, we use several cancer microarray datasets to assess the influence of five different pre-processing methods in Support Vector Machine-based classification methodologies with different kernels: linear, Radial Basis Functions (RBFs) and polynomial. © 2010 IEEE.

关键词： Microarrays

来源：评论

学校读者我要写书评

暂无评论

Workflow application for detection of unwanted events

Workflow application for detection of unwanted events

引用

作者： Czarnul, Pawel Kicior, Wojciech Department of Computer Architecture Gdansk University of Technology Gdansk Poland

ISBN: (纸本)9788360779026

The paper presents a workflow application aimed at detection of unwanted and potentially dangerous events observed by multimedia cameras installed at public facilities, such as universities. The detection of unwanted events launches alarms, causes notifications to be sent to respective forces and videos to be recorded. The proposed application model consists of several stages: nodes with camera(s) attached to them, node(s) for fetching data streams, node(s) for data processing and nodes used for notification and data storage. The already implemented testbed application fetches either a stream of data from a camera attached to a computer or reads a video file. The stream is decoded and data are processed by parallel processes on a cluster. The implemented testbed application detects a movement in the stream and can be applied for monitoring the university during the night.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Automatic conversion of legacy applications into services in BeesyCluster

Automatic conversion of legacy applications into services in...

引用

作者： Czamul, Pawel Kurylowicz, Jakub Department of Computer Architecture Gdansk University of Technology Gdansk Poland

ISBN: (纸本)9788360779026

The paper presents a solution and a tool for automatic, fast and easy adaptation of legacy Unix applications into services in BeesyCluster. The latter is a middleware that allows users to access distributed servers and clusters via WWW/Web services. Each BeesyCluster user can publish own applications as services and define access policies to such services to make them available to others. Such services can be composed into scientific or business workflows. To offer a wider selection of services, our solution retrieves information from Linux packages such as deb and rpm to automatically register applications as services in BeesyCluster making it a platform with a large registry containing thousands of services. Furthermore, we show a mechanism for searching for services based on a text query formulated by the user.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Retrieving texture images using coarseness fuzzy partitions

Retrieving texture images using coarseness fuzzy partitions

引用

13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010

作者： Chamorro-Martínez, Jesús Martínez-Jiménez, Pedro Manuel Soto-Hidalgo, Jose Manuel Department of Computer Science and Artificial Intelligence University of Granada Spain Department of Computer Architecture Electronics and Electronic Technology University of Córdoba Argentina

ISBN: (纸本)9783642140570

In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling the "coarseness" texture property. Concretely, fuzzy partitions on the domain of coarseness measures are proposed, where the number of linguistic labels and the parameters of the membership functions are calculated relating representative coarseness measures (our reference set) with the human perception of this texture property. Given a "texture fuzzy set", its dominance in an image is analyzed and the dominance degree is used to obtain the image texture descriptor. Fuzzy operators over these descriptors are proposed to define conditions in image retrieval queries. The proposed framework makes database systems able to answer queries using texture-based linguistic labels in natural language. © Springer-Verlag Berlin Heidelberg 2010.

关键词： Image texture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：