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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

367 篇 会议
114 篇 期刊文献
10 册 图书

馆藏范围

491 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

300 篇 工学
- 199 篇 计算机科学与技术...
- 150 篇 软件工程
- 44 篇 信息与通信工程
- 44 篇 控制科学与工程
- 25 篇 机械工程
- 25 篇 电气工程
- 24 篇 生物医学工程（可授...
- 23 篇 土木工程
- 21 篇 电子科学与技术（可...
- 18 篇 建筑学
- 18 篇 生物工程
- 15 篇 安全科学与工程
- 14 篇 船舶与海洋工程
- 13 篇 仪器科学与技术
- 13 篇 化学工程与技术
- 11 篇 材料科学与工程（可...
- 11 篇 交通运输工程
165 篇 理学
- 87 篇 数学
- 29 篇 物理学
- 24 篇 统计学（可授理学、...
- 23 篇 生物学
- 21 篇 系统科学
- 14 篇 化学
- 14 篇 海洋科学
75 篇 管理学
- 55 篇 管理科学与工程(可...
- 35 篇 工商管理
- 26 篇 图书情报与档案管...
14 篇 医学
- 13 篇 临床医学
- 12 篇 基础医学(可授医学...
12 篇 教育学
- 12 篇 教育学
8 篇 经济学
7 篇 法学
6 篇 农学
1 篇 文学
1 篇 军事学

主题

12 篇 optimization
11 篇 computer science
11 篇 support vector m...
10 篇 wireless sensor ...
9 篇 artificial intel...
8 篇 software enginee...
8 篇 computational mo...
8 篇 software
7 篇 neural networks
7 篇 monitoring
7 篇 navigation
7 篇 analytical model...
6 篇 reliability
6 篇 decision support...
6 篇 graphics process...
6 篇 robot sensing sy...
6 篇 predictive model...
6 篇 visualization
6 篇 decision making
6 篇 artificial neura...

机构

15 篇 department of co...
14 篇 department of sy...
12 篇 department of co...
9 篇 department of co...
8 篇 department of co...
8 篇 computer techniq...
7 篇 department of co...
6 篇 department of ap...
6 篇 programming lang...
6 篇 department of co...
6 篇 computer enginee...
5 篇 computer enginee...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 national technic...
5 篇 programming lang...
5 篇 mart learning ed...
5 篇 computer enginee...

作者

12 篇 mostafa abotaleb
10 篇 gurkan tuna
10 篇 xue jingling
8 篇 tuna gurkan
8 篇 kayhan gulez
8 篇 börcsök josef
8 篇 hayek ali
8 篇 kuchuk nina
8 篇 krini abderrahim
8 篇 abdelhameed ibra...
7 篇 boercsoek josef
7 篇 lee jaejin
7 篇 nina kuchuk
6 篇 sarkar biswajit
6 篇 gulez kayhan
6 篇 hovorushchenko t...
6 篇 v. cagri gungor
6 篇 josef börcsök
6 篇 roy abi zeid dao...
6 篇 abotaleb mostafa

语言

478 篇 英文
9 篇 其他
2 篇 中文
1 篇 日文
1 篇 土耳其文

检索条件"机构=Computer and programming engineering"

共 491 条记录，以下是391-400 订阅

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

详细简洁

排序：

Coloring gray-scale image using artificial neural networks

Coloring gray-scale image using artificial neural networks

引用

2nd International Conference on Adaptive Science and Technology, ICAST 2009

作者： Karlik, Bekir Sariöz, Mustafa Haliç University Department of Computer Engineering 34381 Istanbul Turkey Fatih University Computer Technology and Programming 34500 Istanbul Turkey

ISBN: (纸本)9781424435234

This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-selected source image to a target grayscale image. According to the results of this combining method, a survey where volunteers were asked to rate the plausibility of the colorings generated automatically was performed for individual images. In most cases automatically-colored images were rated either as totally or mostly acceptable. ©2009 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Work in progress - IEEEXtreme: From a student competition to the promotion of real-world programming education

Work in progress - IEEEXtreme: From a student competition to...

引用

39th Annual Frontiers in Education Conference: Imagining and engineering Future CSET Education, FIE 2009

作者： MacHado, Ricardo J. Guerreiro, Pedro Johnston, Elizabeth Delimar, Marko Brito, Miguel A. University of Minho Portugal Department of Software Engineering United States University of Algarve Portugal Department of Computer of Programming United States University of Alaska Fairbanks United States University of Zagrab Croatia

ISBN: (纸本)9781424447152

IEEEXtreme is an IEEE Student Activities Committee initiative to create a worldwide programming contest for IEEE Student Branches. The success of the past editions and the way IEEEXtreme is evolving, suggests that it will become the only worldwide competition capable of promoting the computer programming skills of collegiate students within a global software engineering approach of real-world programming problems. Real-world problems that require programming skills are invariably framed within a software engineering approach, where code writing is just the visible dimension of the global effort. Professionals are increasingly compelled to work in multidisciplinary contexts where soft skills are as important as technical ones. This reality should be expressly considered when educational courses are planned to teach programming techniques at undergraduate level. This paper discusses the positive impact that worldwide events like IEEEXtreme might have on the adoption of Problem Based Learning approaches in programming education at undergraduate computing degree programs. ©2009 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Self-management in a control architecture for parallel kinematic robots

Self-management in a control architecture for parallel kinem...

引用

2008 ASME International Design engineering Technical Conferences and computers and Information in engineering Conference, DETC 2008

作者： Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany

ISBN: (纸本)9780791843253

Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are subject to easy reconfiguration because of the passive structure limbs. This class of robots requires more extensive calculations in their control laws than serial manipulators. During complex motion tasks, such as the ones required in assembly sequences, the algorithmic load may also vary over time. However, no generic control approach exists in order to reduce the complexity of control design for these kind of robots. In this paper the authors introduce an architecture for handling and assembly applications featuring self-management techniques as an approach to tackle these problems. The existing architecture features a modular and layered design. Concepts of self-management and self-optimization applied to this architecture are outlined. These properties are realized by the integration of self-managers within crucial system components. The mechanisms are extended for a future distributed version of the architecture. Real-time properties are guaranteed by an online formal analysis that verifies planned adaptations before realizing them. Copyright © 2008 by ASME.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Coloring gray-scale image using artificial neural networks

Coloring gray-scale image using artificial neural networks

引用

International Conference on Adaptive Science & Technology (ICAST)

作者： Bekir Karlik Mustafa Sariöz Department of Computer Engineering Haliç University Istanbul Turkey Computer Technology and Programming Fatih University Istanbul Turkey

关键词： Gray-scale Artificial neural networks Color Humans Pixel Image databases Motion pictures computer networks Image processing Data visualization

来源：评论

学校读者我要写书评

暂无评论

Generating formal specifications for security-critical applications - A model-driven approach

Generating formal specifications for security-critical appli...

引用

International Workshop on Software engineering for Secure Systems (SESS)

作者： Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9781424437252

The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under development. This model-driven approach is focused on security-critical applications that are based on cryptographic protocols, especially Java Card applications. In this paper we describe the generation of the formal specification from the UML model which is then used as input for our interactive verification system KIV. The formal specification is based on abstract state machines and algebraic specifications. It allows to formulate and to prove application-specific security properties.

关键词： Formal specifications Object oriented modeling Unified modeling language Cryptographic protocols Java Security Application software Software engineering computer languages computer science

来源：评论

学校读者我要写书评

暂无评论

High-Performance Reverse Time Migration on GPU

High-Performance Reverse Time Migration on GPU

引用

computer Science Society (SCCC) International Conference Chilean FLAGGED

作者： Javier Cabezas Mauricio Araya-Polo Isaac Gelado Nacho Navarro Enric Morancho José M. Cela Computer Sciences - Programming Models Barcelona Supercomputing Center (BSC) Barcelona Spain Computer Applications in Science and Engineering dept. Barcelona Supercomputing Center (BSC) Barcelona Spain Department of Computer Architecture Universitat Politècnica de Catalunya Spain Computer Applications in Science and Engineering Department Barcelona Supercomputing Center Barcelona Spain

Partial Differential Equations (PDE) are the heart of most simulations in many scientific fields, from Fluid Mechanics to Astrophysics. One the most popular mathematical schemes to solve a PDE is Finite Difference (FD). In this work we map a PDE-FD algorithm called Reverse Time Migration to a GPU using CUDA. This seismic imaging (Geophysics) algorithm is widely used in the oil industry. GPUs are natural contenders in the aftermath of the clock race, in particular for High-performance Computing (HPC). Due to GPU characteristics, the parallelism paradigm shifts from the classical threads plus SIMD to Single Program Multiple Data (SPMD). The NVIDIA GTX 280 implementation outperforms homogeneous CPUs up to 9x (Intel Harpertown E5420) and up to 14x (IBM PPC 970). These preliminary results confirm that GPUs are a real option for HPC, from performance to programmability.

关键词： Finite difference methods Geophysics computing computer architecture Parallel processing Graphics processing unit Clocks Hardware Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

On-demand content delivery grid

On-demand content delivery grid

引用

5th International Conference on Information Technology and Applications, ICITA 2008

作者： Luk, Vincent Wing-Hei Chan, Jacky Ng, Kam-Wing Wong, Albert Kai-Sun Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong Programming Practices Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong

ISBN: (纸本)9780980326727

In this paper, we propose an On-Demand Content Delivery Grid system that supplements the traditional content delivery network to deal with problems such as the huge influx of network traffic in a short period of time and the high cost in renting a fixed number of servers. We present its system architecture and describe its implementation in details. An experimental high-definition movie streaming site was setup using our content delivery grid system to demonstrate its capabilities with performance analysis.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

The design of an asynchronous web-based project review system to support studio-based learning in computing education

The design of an asynchronous web-based project review syste...

引用

2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008

作者： Agrawal, Anukrati Hundhausen, Christopher D. Visualization and End User Programming Laboratory School of Electrical Engineering and Computer Science Washington State University Pullman WA 99164-2752 United States

ISBN: (纸本)9781424425280

Learning computer science is no longer simply a matter of learning computer programming. Indeed, modern day computing jobs demand design, communication and collaborative skills as well. In order to address this need and make computing education more engaging, motivating, and communityoriented, we have been exploring a "studio based" approach in which students (a) construct computational solutions to problems that have many possible solution strategies, and then (b) present their solutions to their peers and instructors for feedback and discussion. In the fall of 2007, we implemented this approach in a pre-CS1course by requiring students to present their solutions to five course programming projects in face-toface review sessions. Interview and observational data collected in this course pointed out several practical and logistical problems surrounding the face-to-face review sessions that diminished their educational effectiveness. To address these problems, we describe the preliminary design of a novel asynchronous webbased project review system to support and augment face-to-face studio-based review sessions. © 2008 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Harnessing the multicores: Nested data parallelism in Haskell

Harnessing the multicores: Nested data parallelism in Haskel...

引用

28th International Conference on the Foundations of Software Technology and Theoretical computer Science, FSTTCS 2008

作者： Jones, Simon Peyton Leshchinskiy, Roman Keller, Gabriele Chakravarty, Manuel M.T. Microsoft Research Ltd. Cambridge United Kingdom Programming Languages and Systems School of Computer Science and Engineering University of New South Wales Australia

ISBN: (纸本)9783939897088

If you want to program a parallel computer, a purely functional language like Haskell is a promising starting point. Since the language is pure, it is by-default safe for parallel evaluation, whereas imperative languages are by-default unsafe. But that doesn't make it easy! Indeed it has proved quite difficult to get robust, scalable performance increases through parallel functional programming, especially as the number of processors increases. A particularly promising and well-studied approach to employing large numbers of processors is data parallelism. Blelloch's pioneering work on NESL showed that it was possible to combine a rather flexible programming model (nested data parallelism) with a fast, scalable execution model (flat data parallelism). In this paper we describe Data Parallel Haskell, which embodies nested data parallelism in a modern, general-purpose language, implemented in a state-of-the-art compiler, GHC. We focus particularly on the vectorisation transformation, which transforms nested to flat data parallelism. © Peyton Jones, Leshchinskiy, Keller, Chakravarty.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Practical weak-atomicity semantics for Java STM 08

Practical weak-atomicity semantics for Java STM

引用

20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08

作者： Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States

ISBN: (纸本)9781595939739

As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are complicated by the fact that programs may access the same memory locations both inside and outside transactions. Strongly atomic semantics, where non-transactional accesses are treated as implicit single-operation transactions, remain difficult to provide without specialized hardware support or significant performance overhead. As an alternative, many in the community have informally proposed that a single global lock semantics [18, 10], where transaction semantics are mapped to those of regions protected by a single global lock, provide an intuitive and efficiently implementable model for programmers. In this paper, we explore the implementation and performance implications of single global lock semantics in a weakly atomic STM from the perspective of Java, and we discuss why even recent STM implementations fall short of these semantics. We describe a new weakly atomic Java STM implementation that provides single global lock semantics while permitting concurrent execution, but we show that this comes at a significant performance cost. We also propose and implement various alternative semantics that loosen single lock requirements while still providing strong guarantees. We compare our new implementations to previous ones, including a strongly atomic STM. [24] Copyright 2008 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共50页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：