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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

143 篇 software enginee...
137 篇 computer science
63 篇 deep learning
62 篇 machine learning
58 篇 laboratories
53 篇 computational mo...
52 篇 software systems
52 篇 accuracy
51 篇 application soft...
50 篇 artificial intel...
47 篇 cloud computing
46 篇 training
42 篇 computer archite...
42 篇 software
38 篇 grid computing
37 篇 quality of servi...
36 篇 resource managem...
36 篇 security
35 篇 data mining
35 篇 feature extracti...

机构

31 篇 beijing key labo...
25 篇 grid computing a...
23 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 state key labora...
17 篇 software enginee...
12 篇 institute for so...
12 篇 department of so...
12 篇 school of inform...
11 篇 department of so...
10 篇 computing and so...
10 篇 sri lanka instit...
10 篇 max planck insti...
10 篇 department of in...
9 篇 cloud computing ...
9 篇 school of softwa...
9 篇 school of intell...

作者

48 篇 rajkumar buyya
35 篇 junping du
35 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
24 篇 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,062 篇 英文
211 篇 其他
9 篇 中文
2 篇 日文
1 篇 斯洛文尼亚文

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

共 2280 条记录，以下是1411-1420 订阅

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

详细简洁

排序：

A complex adaptive model of information foraging and preferential attachment dynamics in Global Participatory science

A complex adaptive model of information foraging and prefere...

引用

IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)

作者： Ozgur Ozmen Levent Yilmaz Jeffrey Smith Alice E. Smith Industrial and Systems Engineering Department Aubum University Auburn AL USA Computer Science and Software Engineering Aubum University Auburn USA

Recent developments in cyber-infrastructure and emerging virtual science collaboratories are enabling scientists to transparently co-develop, share, and communicate diverse forms of knowledge artifacts in real-time. Using collective action theory as a basis, we introduce an agent-based model of such collaborative environments as complex adaptive social communication systems. By examining empirical data from the Open Biomedical Ontologies (OBO) Foundry, we present a conceptually grounded agent-based model of what we call Global Participatory science (GPS). The model represents the dynamics of GPS in terms of the information foraging, social exposure, and preferential attachment mechanisms. We monitor social network metrics and activity patterns as proxy metrics to infer innovation potential of collaboration networks. In this paper, we introduce our CollectiveInnoSim model and demonstrate the impact of foraging and preferential attachment mechanisms on emergent social network structures. The objective is to further our understanding of the dynamics of GPS and facilitate developing informed policies fostering innovation potential.

关键词： Global Positioning System Adaptation models Social network services Technological innovation Communities Collaboration Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

AI@NICTA

AI@NICTA

引用

作者： Barnes, Nick Baumgartner, Peter Caetano, Tiberio Durrant-Whyte, Hugh Klein, Gerwin Sanderson, Penelope Sattar, Abdul Stuckey, Peter Thiebaux, Sylvie Van Hentenryck, Pascal Walsh, Toby NICTA Australia Software Systems Research Group NICTA Australia Machine Learning Research Group NICTA Australia Trustworthy Systems Project NICTA Australia University of Queensland Australia Institute for Integrated and Intelligent Systems Griffith University Australia Department of Computing and Information Systems University of Melbourne Australia School of Computer Science Australian National University Australia Melbourne School of Engineering Australia

National Information and Communications Technology Australia (NICTA) is the largest ICT research center in Australia, having been established 10 years ago in 2002. It has five laboratories in four Australian capital cities: Sydney, Canberra, Melbourne, and Brisbane. There are currently around 700 staff and Ph.D. students working at NICTA. In June 2009, the 100th Ph.D. student to study at NICTA graduated. At present and averaged over the year, one new Ph.D. student studying at NICTA graduates every 10 days. NICTA has close links with its university members (Australian National University, the University of New South Wales, and the University of Melbourne) as well as with its partner universities (University of Sydney, Griffith University, Queensland University of Technology, University of Queensland, and most recently Monash University). Many of the researchers at NICTA are seconded from these universities. In addition, most of the other researchers at NICTA hold adjunct positions at one of these universities, enabling them to teach courses and supervise Ph.D. students. NICTA also has close links with a number of other research organizations (including Australia's CSIRO, France's INRIA, Japan's NII, and Germany's Fraunhofer Institute) and major companies (including Microsoft, Google, SAP, and Ericsson). Copyright © 2012, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A comparison of executable model based approaches for embedded systems

A comparison of executable model based approaches for embedd...

引用

International Workshop on software engineering for Embedded systems (SEES)

作者： Julie Street Fant Hassan Gomaa Robert G. Pettit Software Systems Engineering Department AeroSpace Corporation Chantilly USA Department of Computer Science George Mason University Fairfax USA Flight Software and Embedded Systems Office AeroSpace Corporation Chantilly USA

Designing and building embedded systems is a challenging problem. Designers must ensure that the software architecture meets its functional requirements and also, since embedded systems often have real-time constraints, meets its performance requirements. It is usually difficult to determine whether or not the embedded system designs will meet functional and performance requirements. To help increase confidence in embedded software architectures, designers often turn to executable model based approaches to assess their systems. There are many different approaches for designing and analyzing real-time embedded systems. This paper is intended to help designers in their choice by comparing two different executable model based approaches for designing and validating real-time embedded systems, namely state machines and colored Petri nets. Both approaches are compared using seven different comparison criteria and examples are given from a cruise control system case study.

关键词： Unified modeling language Object oriented modeling Embedded systems Real time systems Concurrent computing Petri nets Analytical models

来源：评论

学校读者我要写书评

暂无评论

Evaluation of dynamic conflict avoidance algorithm

Evaluation of dynamic conflict avoidance algorithm

引用

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

作者： Abdehamid Abdelhadi Mansor Wan M. N. Wan Kadir Toni Anwar Hidayah Elias Department of Computer Science Faculty of Mathematical Sciences University of Khartoum Khartoum Sudan Department of Software Engineering Faculty of Computer Science & Information Systems Universiti Teknologi Malaysia Johor Malaysia

ISBN: (纸本)9781467308946

Dynamic system management may involve interaction between independent decision-making components which can lead to conflicts. Policy-based Managers Coordination (PobMC) was proposed as an adaptive framework that may handle such conflicts. In PobMC, policies are used to adapt the system behavior, coordinate managers' tasks and allow us to decouple the adaptation concerns from the application code. Thus, it is required to ensure whether the governing policies are enforced correctly. In this paper we check and evaluate the dynamic conflict avoidance algorithm proposed in our previous works. Policy combination algorithms (PACs) concepts are used in the analysis and the evaluation to avoid policy conflicts and to reach a unique decision.

关键词： Dynamic conflict detection Policy-conflict Policy-based system management Adaptive software Conflict (Psychology) Policies System management Avoidance manager

来源：评论

学校读者我要写书评

暂无评论

Kernel methods based approaches to image classification and retrieval

Kernel methods based approaches to image classification and ...

引用

International Conference on Advanced Computing, ICAC

作者： C. Chandra Sekhar Sasi Kumar Madhan Subhas Raj Kumar Buyya Department of Computer Science and Engineering Indian Institute of Technology Madras CDAC Pune Chronus Corporation Computer Science and Software Engineering and Director of the Cloud Computing and Distributed Systems (CLOUDS) Laboratory at the University of Melbourne Australia

Support vector machine (SVM) is a pattern classification model suitable for classification and annotation of images using non-vectorial type representations of images. Varying length patterns extracted from image data correspond to sets of local feature vectors. Kernels designed for varying length patterns are called as dynamic kernels. The talk presents the issues in designing the dynamic kernel based SVMS for classification and annotation of images. Different methods for designing the dynamic kernels are presented. An intermediate matching kernel (IMK) for a pair of varying length patterns is constructed by matching the pairs of local feature vectors selected using a set of virtual feature vectors. For patterns corresponding to sets of feature vectors, a Gaussian mixture model (GMM) is used as the set of virtual feature vectors. The GMM-based IMK is considered for image processing tasks such as image classification, matching and annotation in content-based image retrieval. The talk presents results of experimental studies on image classification, annotation and retrieval of images using the kernel methods.

关键词： Cloud computing Kernel Technological innovation Support vector machine classification Learning systems Hidden Markov models Computational modeling

来源：评论

学校读者我要写书评

暂无评论

On the Weak State in GGHN-like Ciphers

On the Weak State in GGHN-like Ciphers

引用

International Conference on Availability, Reliability and Security, ARES

作者： Aleksandar Kircanski Amr M. Youssef Department of Computer Science and Software Engineering Concordia University Montreal QUE Canada Concordia Institute for Information Systems Engineering Concordia University Montreal QUE Canada

RC4 is a stream cipher that makes use of aninternal state table, S, which represents a permutation over Z 2 8 . GGHN is a relatively more efficient stream cipher whose design is inspired from RC4 but whose S table, however, does not represent a permutation over Z 2 m. In this paper, we point out one challenging aspect of the latter design principle. In particular, we assess GGHN-like algorithms with respect to weak states, in which all internal state words and output elements are even. Once GGHN is absorbed in a weak state, the least significant bit of the plaintext words will be revealed only by looking at the ciphertext. By modelling the algorithm by a Markov chain and calculating chain's absorption time, we show that the average number of steps required by these algorithms to enter this weak state can be lower than expected at first glance and hence caution should be exercised when estimating this number.

关键词： Markov processes Absorption Radiation detectors Generators software

来源：评论

学校读者我要写书评

暂无评论

C to O-O Translation: Beyond the Easy Stuff

C to O-O Translation: Beyond the Easy Stuff

引用

Working Conference on Reverse engineering

作者： Marco Trudel Carlo A. Furia Martin Nordio Bertrand Meyer Manuel Oriol Chair of Software Engineering ETH Zurich Switzerland Department of Computer Science University of York York UK Industrial Software Systems ABB Corporate Research Dattwil-Baden Switzerland

Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper presents a source-to-source translation of C code into Eiffel, a modern object-oriented programming language, and the supporting tool C2Eif. The translation is completely automatic and supports the entire C language (ANSI, as well as many GNU C Compiler extensions, through CIL) as used in practice, including its usage of native system libraries and inlined assembly code. Our experiments show that C2Eif can handle C applications and libraries of significant size (such as vim and libgsl), as well as challenging benchmarks such as the GCC torture tests. The produced Eiffel code is functionally equivalent to the original C code, and takes advantage of some of Eiffel's features to produce safe and easy-to-debug translations.

关键词： Libraries Arrays Runtime Contracts Standards Memory management Syntactics

来源：评论

学校读者我要写书评

暂无评论

European-Russian-central asian network of Master's degree Informatics as a Second Competence

European-Russian-central asian network of Master's degree In...

引用

2012 IEEE Global engineering Education Conference, EDUCON 2012

作者： Adam, Jean-Michel Luján-Mora, Sergio Merceron, Agathe Milosz, Marek Toppinen, Arto Pierre Mends France University Grenoble France Department of Software and Computing Systems University of Alicante Alicante Spain Media Informatics Department Beuth University of Applied Sciences Berlin Germany Institute of Computer Science Lublin University of Technology Lublin Poland School of Engineering and Technology Savonia University of Applied Sciences Savonia Finland

The aim of the ERAMIS project is to set up a network of Master's degree Informatics as a Second Competence among 9 beneficiary universities of Kazakhstan, Kyrgyzstan and Russia, and 5 European universities. This c... 详细信息

关键词： computer science Double Diploma Introduction Faculty Development International Masters Network Master's degree Second Competence

来源：评论

学校读者我要写书评

暂无评论

Visualizing traceability links between source code and documentation

Visualizing traceability links between source code and docum...

引用

IEEE Symposium on Visual languages and Human Centric Computing (VL/HCC)

作者： Xiaofan Chen John Hosking John Grundy Department of Computer Science University of Auckland Auckland New Zealand College of Engineering & Computer Science Australian National University Canberra Australia Centre for Computing & Engineering Software Systems Swinburne University of Technology Melbourne Australia

It is well recognized that visualizing traceability links between software artifacts helps developers to recover, browse, and maintain these inter-relationships effectively and efficiently. However, it is a major challenge for researchers to efficiently visualize traceability links for big software systems because of scalability and visual clutter issues. In this paper we present a new approach that combines treemap and hierarchical tree visualization techniques to provide a global structure of traces and a detailed overview of each trace. These both reduce visual clutter while still being highly scalable and interactive. Our usability study shows that our approach can support comprehension, browsing, and maintenance of traceability links.

关键词： Visualization Color Clutter Data visualization software systems Layout

来源：评论

学校读者我要写书评

暂无评论

On relaying for wireless industrial communications: Is careful placement of relayers strictly necessary?

On relaying for wireless industrial communications: Is caref...

引用

IEEE International Workshop on Factory Communication systems (WFCS)

作者： Andreas Willig Elisabeth Uhlemann Department of Computer Science and Software Engineering University of Canterbury Christchurch New Zealand CERES: Center for Research on Embedded Systems Halmstad University Halmstad Sweden

Relaying is a very promising technique to improve the reliability of data transmission in wireless (industrial) networks. With relaying, relay nodes support source nodes in carrying out retransmissions. A common assumption is that relayers should be placed at “good” positions (e.g. in the middle between source and destination) to achieve benefits. In this paper we tackle the question of whether it is strictly necessary to place relayers at “good” positions (which often requires extensive measurements). We present results indicating that the benefits of relaying are achievable even with randomly placed relayers, as long as enough of them are deployed. Specifically, we present results suggesting that with a sufficient (and still not too high) number of randomly deployed relayers, the probability that all packets, sent by source nodes to a central controller in a TDMA round, reach the controller is larger than for the case with source-only retransmissions. This finding holds true both in the absence and the presence of feedback.

关键词： Relays Wireless communication Wireless sensor networks Schedules Receivers Reliability Time division multiple access

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共228页 << < 138 139 140 141 142 143 144 145 146 147 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：