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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,308 篇 工学
- 1,192 篇 计算机科学与技术...
- 870 篇 软件工程
- 227 篇 信息与通信工程
- 175 篇 控制科学与工程
- 129 篇 电气工程
- 79 篇 电子科学与技术（可...
- 73 篇 生物医学工程（可授...
- 72 篇 生物工程
- 40 篇 建筑学
- 36 篇 动力工程及工程热...
- 35 篇 机械工程
- 35 篇 光学工程
- 29 篇 仪器科学与技术
- 29 篇 化学工程与技术
- 27 篇 力学（可授工学、理...
- 27 篇 土木工程
500 篇 理学
- 378 篇 数学
- 102 篇 物理学
- 78 篇 统计学（可授理学、...
- 75 篇 生物学
- 26 篇 化学
- 23 篇 系统科学
278 篇 管理学
- 169 篇 图书情报与档案管...
- 124 篇 管理科学与工程(可...
- 89 篇 工商管理
66 篇 教育学
- 64 篇 教育学
63 篇 医学
- 61 篇 临床医学
- 34 篇 基础医学(可授医学...
- 24 篇 药学(可授医学、理...
29 篇 法学
- 24 篇 社会学
18 篇 经济学
9 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

91 篇 mobile computing
72 篇 distributed comp...
69 篇 computer science
54 篇 grid computing
47 篇 application soft...
40 篇 concurrent compu...
39 篇 computational mo...
36 篇 computer network...
34 篇 computer archite...
32 篇 cloud computing
29 篇 virtual reality
29 篇 ubiquitous compu...
27 篇 internet
26 篇 costs
25 篇 laboratories
23 篇 peer to peer com...
23 篇 middleware
20 篇 parallel process...
20 篇 processor schedu...
20 篇 hardware

机构

20 篇 the hong kong po...
18 篇 hong kong polyte...
18 篇 department of co...
15 篇 school of comput...
15 篇 school of comput...
12 篇 institute of com...
12 篇 department of co...
10 篇 nit calicut
10 篇 depauw universit...
10 篇 national institu...
9 篇 school of comput...
8 篇 college of compu...
7 篇 school of comput...
7 篇 school of comput...
6 篇 university of lo...
6 篇 pablo de olavide...
6 篇 department of co...
6 篇 college of compu...
6 篇 department of co...
6 篇 school of comput...

作者

25 篇 hong va leong
18 篇 leong hong va
15 篇 alvin chan
13 篇 hong jiman
11 篇 hung chih-cheng
11 篇 chan alvin t.s.
10 篇 liu ling
10 篇 gloria childress...
10 篇 george roussos
8 篇 umesh bellur
8 篇 song enmin
7 篇 rajiv ramnath
7 篇 pu calton
7 篇 si antonio
7 篇 ahamed sheikh iq...
7 篇 chandran priya
6 篇 federico divina
6 篇 sheikh iqbal aha...
6 篇 madhu kumar s.d.
6 篇 raúl giráldez ro...

语言

2,045 篇 英文
28 篇 其他
3 篇 中文
2 篇 葡萄牙文

检索条件"任意字段=Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing"

共 2078 条记录，以下是1261-1270 订阅

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

详细简洁

排序：

Specifying a mobile computing infrastructure and services

引用

1st International Conference on Distributed computing and Internet Technology

作者： Acharya, S George, C Mohanty, H Univ Hyderabad Dept CIS Hyderabad 500046 Andhra Pradesh India UNU IIST Macao SAR Peoples R China

ISBN: (纸本)3540240756

We present a model of a mobile computing application environment and its formal specification using the RAISE specification language. Special care is taken to specify the location based operations that are typical of mobile computing. In the process of specifying the mobile environment, we give precise semantics to different services identified with Mobichart notations, an extension to Objectcharts and Statecharts to make them suitable for graphical specification of mobile computing environment and applications. Thus we show the usability of both graphical and formal specification methods in development of mobile computing applications. We also discuss different techniques applied to detect faults and gain confidence in the correctness of the specification using consistency and confidence conditions, prototyping and testing.

关键词： mobile computing specification mobicharts testing RSL

来源：评论

学校读者我要写书评

暂无评论

Rank-Maximal Matchings

Rank-Maximal Matchings

引用

proceedings of the Fifteenth Annual acm-SIAM symposium on Discrete Algorithms

作者： Irving, Robert W. Kavitha, Telikepalli Mehlhorn, Kurt Michail, Dimitrios Paluch, Katarzyna Department of Computing Science University of Glasgow United Kingdom Max-Planck-Inst. für Informatik Saarbrücken Germany Institute of Computer Science University of Wroclaw Poland

Suppose that each member of a set A of applicants ranks a subset of a set P of posts in an order of preference, possibly involving ties. A matching is a set of (applicant, post) pairs such that each applicant and each post appears in at most one pair. A greedy matching is one in which the maximum possible number of applicants are matched to their first choice post, and subject to that condition, the maximum possible number are matched to their second choice post, and so on. This is a relevant concept in any practical matching situation and it was first studied by Irving. We define the bipartite graph G = (A ∪ P, E), where E consists of all pairs (a, p) such that post p appears in the preference list of applicant a. Each edge (a, p) has a rank i, which means that post p is an ith choice for applicant a. The traditional solution of computing a greedy matching in G would be to use the Hungarian algorithm to compute a maximum weight matching by assigning a suitably steeply decreasing sequence of weights to the edges. This would result in an algorithm with worst case running time rn(m + n log n) and the space requirement Θ(rm), where n is the number of vertices, m is the number of edges and r is the largest rank of an edge. Here, we describe two algorithms to compute a greedy matching that improve upon this algorithm. We give a combinatorial algorithm with running time O(min(n + C, C√n)m), where C &le r is the maximal rank of an edge used in a greedy matching. This algorithm works in phases and uses the maximum cardinality matching algorithm. We also give an O(Cnm) algorithm that tackles the problem of large edge weights introduced by the Hungarian algorithm. This algorithm uses scaling and works in phases. The space requirement of both these algorithms is O(m).

关键词： Computer science

来源：评论

学校读者我要写书评

暂无评论

Simultion of photovoltaic regulator in matlab

Simultion of photovoltaic regulator in matlab

引用

AMSE International Conference on Modelling and Simulation, MS'2004

作者： Benzaoui, M.L. Benghanem, M. Faculty of Electronic and Computing BP 32 El-Alia Bab-Ezzouar 16111 Algiers Algeria

We present in this paper, a simulation using Matlab tools version 6.5 to study the functioning of Photovoltaic (PV) Regulator which is an important component in the PV systems. First, we simulate the output energy delivered by the PV generator that will be as input of the regulator. The output of this is connected to the battery and the load. After this we proposed to use a switch function in the model and applied many perturbations in the system. The model has done some problems in its response, so that we have resolved these problems by introducing the hysterisis function which has given good results. Finally we have applied this model in different meteorological conditions and different load profile and the simulation results are agreed to the experimental tests.

关键词： Electric current regulators

来源：评论

学校读者我要写书评

暂无评论

Simulation of locally inhomogeneous multilayer planar structure by hybrid method

Simulation of locally inhomogeneous multilayer planar struct...

引用

ICCEA 2004 - 2004 3rd International Conference on Computational Electromagnetics and its Applications

作者： Liu, Enxiao Li, Er-Ping Li, Le-Wei Institute of High Performance Computing 1 Sci. Pk. Rd. #01-01 The Capricorn Singapore 117528 Deptartment of Electrical and Computer Engineering National University of Singapore 10 Kent Ridge Cresent Singapore 119260

ISBN: (纸本)0780385624

A new hybrid finite-difference time-domain and mixed-potential integral equation method (hybrid FDTD-MPIE) is developed for the modeling of multilayer planar structures with locally inhomogeneous objects. By using equivalence principle, the original problem can be decomposed into external and internal problems. The FDTD method is applied to solve the internal problem, which contains the locally inhomogeneous dielectric objects. Conversely, the frequency domain MPIE method is employed to address the external problem of the global multilayered planar structure. The FDTD model and the MPIE model are coupled together by enforcing the continuity of tangential fields on the equivalent surface. Both the direct and iterative method are demonstrated in this paper to solve the integral-differential problem. In addition, the DCIM method is applied to improve the computational efficiency. Numerical results are presented to validate the proposed hybrid FDTD-MPIE method. © 2004 IEEE.

关键词： Hybrid computers

来源：评论

学校读者我要写书评

暂无评论

Building distributed language resources by grid computing 4

Building distributed language resources by grid computing

引用

4th International Conference on Language Resources and Evaluation, LREC 2004

作者： Tamburini, Fabio University of Bologna Italy

ISBN: (纸本)2951740816

The increasing demand for linguistic resources consisting of substantial amounts of data, such as large corpora, presents the challenge of building computational infrastructures capable of handling unprecedented amounts of information. One possible solution is the sharing of high-level, linguistically motivated and carefully balanced corpora for building one large language resource accessible worldwide. The most feasible way of integrating such widely distributed resources seems to be the construction of an infrastructure to connect various sites by interfacing local presentation formats, access methods and policies in a global network to automatically manage access procedures to widely distributed and diversified materials. Grid computing systems are designed to meet these requirements. This paper presents work in progress on an experiment for building a distributed corpus structure prototype. A small web portal was designed to perform global queries in the distributed corpus and collect the results of the same query applied to each local corpus forming part of the grid. Moreover, other computational services such as an online POS tagger and a morphological analyser/generator were inserted into the Grid to show the feasibility of such scenario.

关键词： Portals

来源：评论

学校读者我要写书评

暂无评论

A study of saccade transition for attention segregation and task strategy in laparoscopic surgery

A study of saccade transition for attention segregation and ...

引用

Medical Image computing and Computer-Assisted Intervention, MICCAI 2004 - 7th International Conference, proceedings

作者： Nicolaou, Marios James, Adam Darzi, Ara Yang, Guang-Zhong Royal Society/Wolfson Medical Image Computing Laboratory Department of Surgical Oncology and Technology Imperial College London London United Kingdom

ISBN: (纸本)3540229779

The advent and accelerated adoption of laparoscopic surgery requires an objective assessment of both operative performance and perceptual events that lead to clinical decisions. In this paper we present a framework to extract the underlying strategy through the analysis of saccadic eye-movements that lead to visual attention, and identification of intrinsic features central to the execution of basic laparoscopic tasks. Markov modeling is applied to the quantification of the saccadic eye movements for elucidating the intrinsic behaviour of the participants and the spatial-temporal evolution of visual search and hand/eye coordination characteristics. It has been found that participants adopted a unified strategy but the underlying disparity in saccadic behaviour reflect temporal and behavioural differences that could be indicative of the mental process by which the task was executed. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Eye movements

来源：评论

学校读者我要写书评

暂无评论

The trustworthy computing security development lifecycle

The trustworthy computing security development lifecycle

引用

20th Annual Computer Security Applications Conference, ACSAC 2004

作者： Lipner, Steve Security Engineering and Communications Security Business and Technology Unit Microsoft Corporation 1 Microsoft Way Redmond WA 98052

This paper discusses the Trustworthy computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs to withstand malicious attack. The process encompasses the addition of a series of security-focused activities and deliverables to each of the phases of Microsoft's software development process. These activities and deliverables include the development of threat models during software design, the use of static analysis code-scanning tools during implementation, and the conduct of code reviews and security testing during a focused "security push". Before software subject to the SDL can be released, it must undergo a Final Security Review by a team independent from its development group. When compared to software that has not been subject to the SDL, software that has undergone the SDL has experienced a significantly reduced rate of external discovery of security vulnerabilities. This paper describes the SDL and discusses experience with its implementation across a range of Microsoft software. © 2004 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

An immune based optimization method for optimal distribution network design

An immune based optimization method for optimal distribution...

引用

proceedings of the IASTED International Conference on Artificial Intelligence and Applications (as part of the 22nd IASTED International Multi-Conference on applied Informatics

作者： Skok, Minea Keko, Hrvoje Škrlec, Davor Fac. of Elec. Eng. and Computing University of Zagreb Unska 3 10000 Zagreb Croatia

ISBN: (纸本)088986375X

The immune system is the one of the adaptive biological system whose functions are to identify and to eliminate foreign material. In this paper we propose general algorithm derived primarily to perform optimization tasks emphasizing combinatorial optimization. It is based on immune model to optimally design spatially closed electrical distribution networks. Some practical examples were used to investigate the performance of the immune algorithm. The results of the simulations represent that the immune algorithm shows good performance for such hard combinatorial optimization problem.

关键词： Electric power distribution

来源：评论

学校读者我要写书评

暂无评论

Adaptive event communication in component-based systems

Adaptive event communication in component-based systems

引用

3rd Workshop on Adaptive and Reflective Middleware, ARM '04

作者： Zeng, Qiang Kumar, Prashant S. Singh, Gurdip Computing and Information Sciences Kansas State University Manhattan KS United States

ISBN: (纸本)1581139497

The flow of events and data on the connections between components in an application may have to be controlled at run time based on the application state to optimize performance. For example, a set of components (or a subsystem) may be inactive in a given state and events flowing towards such inactive components can be eliminated. This paper presents a model-driven approach to dynamically control the flow of events on event connections. The proposed model-driven tool chain consists of analysis algorithms which analyze the application to derive metadata for event flow control, and an adaptive event communication framework which provides configurable event communication middleware. The metadata derived by the analysis algorithms is used to automatically configure the middleware for application state-aware propagation of events. The analysis algorithms are specially useful in large scale distributed real-time embedded systems where deriving such metadata manually can be tedious and error-prone. We have applied the proposed mechanisms to application scenarios from the Boeing BoldStroke system. Copyright 2004 acm.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Hybrid hardware-accelerated image composition for sort-last parallel rendering on graphics clusters with commodity image compositor

Hybrid hardware-accelerated image composition for sort-last ...

引用

IEEE/SIGGRAPH symposium on Volume Visualization and Graphics (VolVis 2004)

作者： Nonaka, J Kukimoto, N Sakamoto, N Hazama, H Watashiba, Y Liu, XZ Ogata, M Kanazawa, M Koyamada, K Kyoto Univ Kyoto Japan

ISBN: (纸本)0780387813

Hardware-accelerated image composition for sort-last parallel rendering has received increasing attention as an effective solution to increased performance demands brought about by the recent advances in commodity graphics accelerators. So far, several different hardware solutions for alpha and depth compositing have been proposed and a few of them have become commercially available. They share impressive compositing speed and high scalability. However, the cost makes it prohibitively expensive to build a large visualization system. In this paper, we used a hardware image compositor marketed by Mitsubishi Precision Co., Ltd. (MPC) which is now available as an independent device enabling the building of our own visualization cluster. This device is based on binary compositing tree architecture, and the scalable cascade interconnection makes it possible to build a large visualization system. However, we focused on a minimal configuration PC Cluster using only one compositing device while taking cost into consideration. In order to emulate this cascade interconnection of MPC compositors, we propose and evaluate the hybrid hardware-assisted image composition method which uses the OpenGL alpha blending capability of the graphics boards for assisting the hardware image composition process. Preliminary experiments show that the use of graphics boards diminished the performance degradation when using an emulation based on image feedback through available interconnection network. We found that this proposed method becomes an important alternative for providing high performance image composition at a reasonable cost.

关键词： image compositing sort-last parallel rendering hardware-assisted cluster computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共208页 << < 123 124 125 126 127 128 129 130 131 132 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：