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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,410 篇 会议
133 篇 期刊文献
76 册 图书

馆藏范围

3,617 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,406 篇 工学
- 1,903 篇 计算机科学与技术...
- 1,157 篇 软件工程
- 418 篇 电气工程
- 272 篇 控制科学与工程
- 200 篇 信息与通信工程
- 129 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 57 篇 交通运输工程
- 56 篇 材料科学与工程（可...
- 51 篇 生物工程
- 46 篇 化学工程与技术
- 42 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
676 篇 理学
- 485 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 51 篇 化学
406 篇 管理学
- 340 篇 管理科学与工程(可...
- 149 篇 工商管理
- 83 篇 图书情报与档案管...
108 篇 教育学
- 105 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 36 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

314 篇 linear programmi...
252 篇 programming
188 篇 dynamic programm...
142 篇 computer program...
119 篇 optimization
119 篇 integer programm...
109 篇 logic programmin...
87 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 computer program...
49 篇 mathematical mod...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,401 篇 英文
190 篇 其他
28 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3619 条记录，以下是2171-2180 订阅

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

详细简洁

排序：

programming Pervasive Spaces 7th

Programming Pervasive Spaces

引用

7th international conference on Autonomic and Trusted Computing

作者： Helal, Sumi Univ Florida Comp & Informat Sci & Engn Dept Gainesville FL 32611 USA

ISBN: (纸本)9783642163548

In principle, the entire world can exploit ubiquitous and pervasive systems to great societal benefits. In practice, however, there is as yet no fundamental basis or widely accepted programming models for such systems. there is also no established curriculum for teaching pervasive and sensor-based computing. In this talk, I will present our ongoing research efforts in defining and supporting programmable pervasive spaces. I will start by presenting our experience and lessons learnt in building “assistive environments” for the elderly, to demonstrate the need for space programmability and to define critical new requirements particular to pervasive spaces. I will then present ATLAS, a middleware architecture and a sensor platform that supports self-integration and enables SODA – a service-oriented programming model. I will show how ATLAS was used as the foundation on which we built and programmed the Gator Tech Smart House, and how it enabled pervasive application development, and scalable data collection and analysis. I will then delineate the limitations of SODA and present programming model extensions that address space and user safety as well as reliability and scalability. Finally, I will present our views of a possible ecosystem within which our programming models and system support can be used to promote the proliferation of programmable and manageable pervasive systems. © Springer-Verlag Berlin Heidelberg 2010.

关键词： Pervasive spaces programming model assistive environments

来源：评论

学校读者我要写书评

暂无评论

Massively Parallel Constraint programming for Supercomputers: Challenges and Initial Results

Massively Parallel Constraint Programming for Supercomputers...

引用

7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems

作者： Xie, Feng Davenport, Andrew McMaster Univ Dept Comp & Software Hamilton ON Canada IBM T J Watson Res Ctr Yorktown Hts NY USA

ISBN: (纸本)9783642135194

In this paper we present initial results for implementing a constraint programming solver on a massively parallel supercomputer where coordination between processing elements is achieved through message passing. Previous work on message passing based constraint programming has been targeted towards clusters of computers (see [1,2] for some examples). Our target hardware platform is the IBM Blue Gene supercomputer. Blue Gene is designed to use a large number of relatively slow (800MHz) processors in order to achieve lower power consumption, compared to other supercomputing platforms. Blue Gene/P, the second generation of Blue Gene, can run continuously at 1 PFLOPS and can be scaled to 884,736-processors to achieve 3 PFLOPS performance. We present a dynamic scheme for allocating sub-problems to processors in a parallel, limited discrepancy tree search [3]. We evaluate this parallelization scheme on resource constrained project scheduling problems from PSPLIB [4]. © 2010 Springer-Verlag.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

A User-Friendly Environment for Planar and Space Frames using the Boundary Element Method

A User-Friendly Environment for Planar and Space Frames usin...

引用

7th international conference on Engineering Computational Technology

作者： Menezes Junior, R. A. Cruz, J. M. F. Mendonca, A. V. Paiva, J. B. Univ Fed Paraiba Dept Environm & Civil Engn Joao Pessoa Paraiba Brazil Univ Sao Paulo Dept Struct Sao Carlos SP Brazil

ISBN: (纸本)9781905088416

this paper describes an academic structural analysis system based on user-friendly environment philosophy called AMATE for planar and space frames. the mathematical representation of frame is done using a boundary element methodology, and a convenient strategy is used to obtain the global influence matrices of the frame from the contribution of each local integral equations of a specific bar. this user-friendly system is implemented using ObjectARX library and Visual Lisp in order to customize AutoCAD Program and then to provide the graphical construction for geometry, mesh information, and other requirements of the boundary element model. For post-processing stage libraries can be run in order to complete the analysis without quitting the customized environment. Numerical examples are shown in order to illustrate the feasibility of present academic customized package.

关键词： boundary element method frames object oriented programming computer aided design

来源：评论

学校读者我要写书评

暂无评论

Component Recycling for Agile Methods

Component Recycling for Agile Methods

引用

7th international conference on the Quality of Information and Communications Technology (QUATIC)

作者： Kakarontzas, George Stamelos, Ioannis Aristotle Univ Thessaloniki Dept Informat Thessaloniki 54124 Greece TEI Larissa Dept Comp Sci & Telecom Larisa 41110 Greece

ISBN: (纸本)9780769542416

Given the increasing size and complexity of today's systems, reusability is an important quality aspect. In this work we consider development and reuse of reusable components in the context of agile methods. To distinguish the proposed approach from the more established systematic reuse approaches we call our proposal component recycling instead of component reuse. For the development of recyclable components we show how inherent characteristics of agile methods, particularly the provision of useful and complete partial components during the lifecycle, can be used constructively for the development of components. these components are placed in a component repository for later recycling. the requirements implemented at each iteration serve as the design rationale for the components and distinguish earlier components from their later versions providing tracing.

关键词： agile method component recycling object-oriented programming recycling software prototyping software quality software reusability system lifecycle system quality system reusability systematic reuse approach

来源：评论

学校读者我要写书评

暂无评论

Contact Corner Preconditioning of the FETI-DP

Contact Corner Preconditioning of the FETI-DP

引用

7th international conference on Engineering Computational Technology

作者： Horak, D. Dostal, Z. VSB Tech Univ Ostrava Fac Elect Engn & Comp Sci Dept Appl Math Ostrava Czech Republic

ISBN: (纸本)9781905088416

this paper describes modifications of FETI-DP for coercive variational inequalities as the usage of corner nodes on the contact interface through the additional condition that preserves the nonpenetration and extension of lumped preconditioner. the corner mesh on the contact interface results in better convergence of the method for both systems - unpreconditioned and preconditioned one, because of better error propagation across the nonlinear interface and because of preconditioning of nonlinear steps. Significant modification making from FETI-DP the method of new type is based on definition of all nodes on the contact zone as the corners, i.e. constraint matrix with inequality conditions considers only corner nodes. this approach enable us the splitting of the problem into a very small nonlinear one with Lagrange multipliers for inequalities as unknowns and a linear one with the Lagrange multipliers for equalities.

关键词： domain decomposition FETI-DP quadratic programming scalable algorithms contact problems

来源：评论

学校读者我要写书评

暂无评论

Wearable forest: Smart fashion design to feel a belonging to nature

Wearable forest: Smart fashion design to feel a belonging to...

引用

7th international conference on Design and Emotion 2010

作者： Ueoka, Ryoko Kobayashi, Hiroki Hirose, Michitaka Chuo-2 1-1-1 Umezono Tsukuba Ibaraki 305-8568 Japan University of Tokyo 7-3-1 Hongo Bunkyo-Ku Tokyo 113-8656 Japan

ISBN: (纸本)9780615406664

Japanese Zen Buddhism encourages deep meditation in order to achieve a sense of being one with nature. Singing birds, buzzing insects, sounds of leaves gently swaying, and the trickling sound of water in a beautiful forest are all integral to helping us feel at one with Nature. By distancing ourselves from the flurries of modern life and holding a reverent attitude toward Nature, we can start searching for a way to sustainability;coping with nature and our modern life. Wearable Forest is a functional dress which interacts bio-acoustically with a remote forest which is located to the uninhabited subtropical forest of the southern Ryukyu Islands, Japan. the clothing contains two paper-thin speakers embroidered on both front shoulders, 256 pieces of white colored LEDs (Light Emitting Diode) sewn with the conductive thread and sleeve-shaped textile sensors inside the fabric. An embedded CPU system receives the live soundscape data from the remote forest wirelessly;which quantizes the bio-acoustical activity of the wildlife from the data, and visualizes the result as glows through the array of the LEDs. In order to interact with the wildlife, users touch the textile sensor. this describes a new interactive wearable system that creates a sense of unity between users and a remote soundscape.

关键词： Light emitting diodes

来源：评论

学校读者我要写书评

暂无评论

Finding suspicious patterns of object-oriented programs based on variance analysis

Finding suspicious patterns of object-oriented programs base...

引用

2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010

作者： Liu, Xuemei Liu, Yongpo Wu, Ji Jia, Xiaoxia Beijing City University Beijing China College of Software Beijing University of Technology Beijing China School of Computer Science and Technology BUAA Beijing China

ISBN: (纸本)9781424459346

Several variance analysis methods that are used in fault localization based on program behaviors were analyzed and compared. None of these methods takes into account the features of object-oriented programs, thus, could not be used accurately in fault localization in object-oriented programs. the present study proposed that when doing variance analysis, object behaviors could be described by using the object life behavior model;then a behavior model of the object-oriented program was constructed based on the model;the similarity of program behaviors was described by using the sequence pattern. Based on the variance analysis of program behaviors, the method of finding suspicious patterns of object-oriented programs was proposed. the model of finding suspicious patterns was also constructed. this model consisted of preparing data, extracting patterns, and finding suspicious patterns. the standard for pattern extracting was defined and the mining algorithms of finding patterns were also described. At last, the method of finding suspicious patterns based on variance analysis and its implementation procedure were depicted in detail. this method has been used in the research of fault localization and has been very effective. this work is supported by the National Natural Science Foundation of China under grant No. 60603039. ©2010 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

On the impact of relocation on network dimensions in resilient optical Grids

On the impact of relocation on network dimensions in resilie...

引用

14th international conference on Optical Network Design and Modeling (ONDM)

作者： Buysse, Jens De Leenheer, Marc Dhoedt, Bart Develder, Chris Univ Ghent IBBT Dept Informat Technol Ghent Belgium

ISBN: (纸本)9783901882418

Optical networks, with their high bandwidths and low latencies, are excellent to support Grid applications, esp. those arising in so-called eScience applications. In this paper, we consider the resulting so-called optical grids. We address the issue of resiliency against network failures and show how the Grid-specific anycast principle can be exploited in providing shared protection. Since in Grid scenarios users generally allow the Grid system to decide upon the location where jobs are executed, we exploit relocation to alternate backup sites in case of failures. We provide integer linear programming (ILP) solutions to the resulting routing and wavelength assignment problems, as well as a scalable heuristic. A case study on a European network topology shows that this relocation allows savings in the order of 16% of total wavelength capacity compared to traditional shared path protection.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Automatically Exploiting Subproblem Equivalence in Constraint programming

Automatically Exploiting Subproblem Equivalence in Constrain...

引用

7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems

作者： Chu, Geoffrey de la Banda, Maria Garcia Stuckey, Peter J. Univ Melbourne Dept Comp Sci & Software Engn Victoria Lab Natl ICT Australia Melbourne Vic 3010 Australia Monash Univ Fac Informat Tech Clayton Vic 3800 Australia

ISBN: (纸本)9783642135194

Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when two different search paths lead to identical remaining subproblems, that is the problem left on the remaining unfixed variables. Subproblem equivalence is exploited by caching descriptions, or keys, that define the subproblems visited, and failing the search when the key for the current subproblem already exists in the cache. In this paper we show how to automatically and efficiently define keys for arbitrary constraint problems. We show how a constraint programming solver with this capability can solve search problems where subproblem equivalence arises orders of magnitude faster. the system is fully automatic, i.e., the subproblem equivalences are detected and exploited without any effort from the problem modeller.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

A task oriented hybrid framework for interface architecture design

A task oriented hybrid framework for interface architecture ...

引用

7th international conference on Information Technology - New Generations, ITNG 2010

作者： Rashid, Umer Bhatti, Muhammad Afzal Niaz, Iftikhar Azim Riphah International University Pakistan Quaid-i-Azam University Pakistan

ISBN: (纸本)9780769539843

Task Analysis techniques models the human activity for the computer based systems. the role of task analysis is vital in the interface design. In recent years, various task analysis techniques have been explored by the researchers, which include Hierarchical Task Analysis (HTA), Cognitive Task Analysis (CTA), Link Analysis (LA), and Timeline Analysis (TA). We have explored that task analysis techniques have certain limitations. they mostly discuss a particular type of domain specific problem. HTA discuss only functional decomposition of the main task into sub-tasks. CTA only models cognitive activity which leads quality attributes in interface design. LA models possible linkage among interface constructs. TA organizes interface artifacts with respect to time. Task Analysis techniques cannot discuss an architectural approach for interface design. Task Analysis techniques requires enhancements. We propose a hybrid framework for the interface architecture design. the proposed framework is based on the outcomes of HTA and CTA, and provides architectural approach to map outcomes of both techniques on interface design using LA and TA. the proposed framework organizes the system's resources using resource model. the hybrid framework also provides the mapping mechanism for the interface architecture design by considering functional as well as quality attributes in the interface design. the proposed framework provides graphical notations for the task analysis which provides an architectural approach for interface design. © 2010 IEEE.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共362页 << < 214 215 216 217 218 219 220 221 222 223 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：