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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

325 篇 会议
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

266 篇 工学
- 243 篇 计算机科学与技术...
- 187 篇 软件工程
- 34 篇 信息与通信工程
- 25 篇 生物工程
- 16 篇 生物医学工程（可授...
- 15 篇 控制科学与工程
- 13 篇 电气工程
- 12 篇 电子科学与技术（可...
- 11 篇 建筑学
- 10 篇 动力工程及工程热...
- 7 篇 土木工程
- 7 篇 环境科学与工程（可...
- 6 篇 材料科学与工程（可...
- 5 篇 机械工程
- 5 篇 仪器科学与技术
- 4 篇 力学（可授工学、理...
- 4 篇 光学工程
90 篇 理学
- 57 篇 数学
- 25 篇 生物学
- 12 篇 物理学
- 12 篇 统计学（可授理学、...
- 8 篇 系统科学
- 4 篇 大气科学
63 篇 管理学
- 35 篇 图书情报与档案管...
- 30 篇 管理科学与工程(可...
- 23 篇 工商管理
11 篇 法学
- 8 篇 社会学
7 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
6 篇 经济学
- 6 篇 应用经济学
5 篇 农学
3 篇 教育学
1 篇 军事学

主题

22 篇 mobile computing
12 篇 cloud computing
7 篇 ubiquitous compu...
6 篇 quantum computin...
5 篇 distributed comp...
5 篇 edge computing
4 篇 computation theo...
4 篇 application soft...
4 篇 computer archite...
4 篇 recommender syst...
4 篇 processor schedu...
4 篇 semantics
4 篇 virtual machine
3 篇 internet of thin...
3 篇 reinforcement le...
3 篇 genes
3 篇 grid computing
3 篇 computer applica...
3 篇 energy utilizati...
3 篇 computing power

机构

8 篇 school of comput...
5 篇 school of comput...
5 篇 department of co...
3 篇 school of comput...
3 篇 school of comput...
3 篇 school of comput...
2 篇 nit calicut
2 篇 hong kong polyte...
2 篇 university of be...
2 篇 key laboratory o...
2 篇 school of comput...
2 篇 university of co...
2 篇 the hong kong po...
2 篇 marquette univer...
2 篇 dept. of compute...
2 篇 computing instit...
2 篇 institute of com...
2 篇 center for relia...
2 篇 school of comput...
2 篇 university of wa...

作者

6 篇 hong jiman
5 篇 hung chih-cheng
5 篇 song enmin
4 篇 zulkernine moham...
4 篇 cho yookun
4 篇 liu hong
3 篇 kim bongjae
3 篇 varadharajan vij...
3 篇 zambonelli franc...
3 篇 ahamed sheikh iq...
3 篇 leong hong va
3 篇 rahman ataur
2 篇 song jie
2 篇 kühn eva
2 篇 sheikh iqbal aha...
2 篇 weldemariam komm...
2 篇 mayer wolfgang
2 篇 freitas fred
2 篇 claycomb william
2 篇 yu mali

语言

335 篇 英文

检索条件"任意字段=Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing"

共 335 条记录，以下是261-270 订阅

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

详细简洁

排序：

A pointing method using two accelerometers for wearable computing 09

A pointing method using two accelerometers for wearable comp...

引用

24th Annual acm symposium on applied computing, SAC 2009

作者： Tokoro, Yohei Terada, Tsutomu Tsukamoto, Masahiko Grad. School of Engineering Kobe University 1-1 Rokkodaicho Nadaku Kobe 657-8501 Japan

ISBN: (纸本)9781605581668

A variety of real-world situations are beneficial for wearable computing since it provides information services while users are doing other jobs. therefore, a simple and hands-free input interfaces have suitable for these computer operations. However, such interface has not been achieved with conventional input devices such as mice or track balls. Although gesture or eye-gaze input techniques have also been developed for wearable computing, they also suffer from problems i.e., a slow pointing speed, difficulty in carrying devices, and complexity in parallel use when doing tasks. We propose a new method of pointing using input of simple gestures with two accelerometers. By dividing the specifications of two coordinates into a combination of two independent motions, we accomplish accurate and intuitive pointing. A user attaches two small accelerometers to both his/her hands or both elbows. the pointing is done by using the intersection of two straight lines, and the movement of the lines is synchronized with that of the accelerometers. In addition, we also propose a method of changing the position of objects being pointed at that is new approach. the results we obtained from our evaluation experiments confirmed that our method was effective. Copyright 2009 acm.

关键词： Accelerometers

来源：评论

学校读者我要写书评

暂无评论

computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Computing Cylindrical Algebraic Decomposition via Triangular...

引用

34th International symposium on Symbolic and Algebraic Computation (ISSAC)

作者： Chen, Changbo Maza, Marc Moreno Xia, Bican Yang, Lu Univ Western Ontario ORCCA London ON Canada

ISBN: (纸本)9781605586090

Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an arbitrary finite set F subset of R[y(1),...,y(n)] we apply comprehensive triangular decomposition in order to obtain an F-invariant cylindrical decomposition of the n-dimensional complex space, from which we extract an F-invariant cylindrical algebraic decomposition of the n-dimensional real space. We report on an implementation of this new approach for constructing cylindrical algebraic decompositions.

关键词： CAD regular chain triangular decomposition

来源：评论

学校读者我要写书评

暂无评论

Interoperating between Computer Algebra Systems: computing Homology of Groups with Kenzo and GAP

Interoperating between Computer Algebra Systems: Computing H...

引用

34th International symposium on Symbolic and Algebraic Computation

作者： Romero, Ana Ellis, Graham Rubio, Julio Univ La Rioja Dpto Matemat & Computac Logrono 26004 Spain

ISBN: (纸本)9781605586090

In this paper we report on an experience communicating between the GAP computional algebra system (in particular, its HAP package for homological algebra computations) and the Kenzo computer system for Algebraic Topology. Both systems were made to cooperate through an OpenMath link in order to perform computations in group cohomology. Furthermore, once HAP output is integrated into Kenzo, it can be used to compute more complicated algebraic invariants such as the homology groups of various 2-types.

关键词： Group Cohomology Interoperability OpenMath CAP Kenzo

来源：评论

学校读者我要写书评

暂无评论

Jointly optimizing data acquisition and delivery in traffic monitoring VANETs 09

Jointly optimizing data acquisition and delivery in traffic ...

引用

24th Annual acm symposium on applied computing, SAC 2009

作者： Skordylis, Antonios Trigoni, Niki Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom

ISBN: (纸本)9781605581668

Vehicular ad hoc networks (VANETs) are envisaged to become a flexible platform for monitoring road traffic, which will gradually replace more cumbersome fixed sensor deployments. the efficacy of vehicle-assisted traffic monitoring systems depends on the freshness of traffic data that they can deliver to users, and the bandwidth used to do so. Clearly, high data freshness will allow users to estimate trip times accurately, and to select the fastest route to a destination. Low bandwidth utilization will allow the traffic monitoring application to coexist symbiotically with a wide variety of vehicle-based applications, ranging from road safety to advertising and entertainment. In this paper, we investigate the problem of minimizing the bandwidth utilization of a vehicle-assisted traffic monitoring system, whilst adhering to user-defined requirements for data freshness. the novelty of our approach is that we jointly optimize two intertwined aspects of traffic monitoring: data acquisition and data forwarding. We investigate how their combined operation trades data freshness for bandwidth utilization, and we propose a novel mechanism that fine-tunes their parameters to optimize the overall system performance. Our mechanism is evaluated using realistic vehicular traces on a real city map. Copyright 2009 acm.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

Self-organized control of knowledge generation in pervasive computing systems 09

Self-organized control of knowledge generation in pervasive ...

引用

24th Annual acm symposium on applied computing, SAC 2009

作者： Castelli, Gabriella Menezes, Ronaldo Zambonelli, Franco DISMI University of Modena and Reggio Emilia 42100 Reggio Emilia Italy Computer Sciences Florida Tech. Melbourne FL United States

ISBN: (纸本)9781605581668

Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. these devices are able to generate enormous amounts of data, from which knowledge about situations and facts occurring in the world can be inferred;inference can also be done by combining data items and generating new (higher-level) ones. Such data and knowledge is of extreme importance for to context-aware and mobile services. However, we are left with the problem that the possibly huge amount of data and knowledge generated can be very hard to be analyzed and made usable in real-time. the core of the problem in today's pervasive environments lies between the ability to extract meaningful (useful) knowledge from the data while making sure the total amount of data does not become overwhelming to the system. this paper focus on this trade-off using (without loss of generality) the W4 model for contextual data as a case study. Starting from the basic mechanism by which the W4 model autonomously generate new knowledge, the paper shows how this can generate knowledge overflow, and propose a method to select - -in a self-organizing way - -what kinds of knowledge should be generated based on their importance;hence preventing knowledge overflow. Experimental results are reported to support our arguments and proposals. Copyright 2009 acm.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Fast networking with socket-outsourcing in hosted virtual machine environments 09

Fast networking with socket-outsourcing in hosted virtual ma...

引用

24th Annual acm symposium on applied computing, SAC 2009

作者： Eiraku, Hideki Shinjo, Yasushi Pu, Calton Koh, Younggyun Kato, Kazuhiko Department of Computer Science University of Tsukuba Tsukuba Ibaraki 305-8573 Japan College of Computing Georgia Institute of Technology Atlanta GA 30332-0765 United States

ISBN: (纸本)9781605581668

this paper proposes a novel method of achieving fast networking in hosted virtual machine (VM) environments. this method, called socket-outsourcing, replaces the socket layer in a guest operating system (OS) with the socket layer of the host OS. Socket-outsourcing increases network performance by eliminating duplicate message copying in both the host OS and the guest OS. Furthermore, socket-outsourcing significantly enhances inter-VM communication within the same host OS since it enables network packets to bypass the protocol stack in guest OSes. Socket-outsourcing was implemented in two representative operating systems (Linux and NetBSD) and on two virtual machine monitors (Linux KVM and PansyVM). these virtual machine monitors provided support for socket-outsourcing through shard memory, event queues, and VM-specific Remote Procedure Call between a guest OS and a host OS. the experimental results revealed that a guest OS outsourcing the socket layer achieved the same network throughput as a native OS using up to four Gigabit Ethernet links. Moreover, the benchmark results obtained from an N-tier Web application that generated a significant amount of inter-VM communication indicated that socket-outsourcing improved performance by up to 45 percent compared with conventional hosted VM environments. Copyright 2009 acm.

关键词： Outsourcing

来源：评论

学校读者我要写书评

暂无评论

GTfold: A scalable multicore code for RNA secondary structure prediction 09

GTfold: A scalable multicore code for RNA secondary structur...

引用

24th Annual acm symposium on applied computing, SAC 2009

作者： Mathuriya, Amrita Bader, David A. Heitsch, Christine E. Harvey, Stephen C. Georgia Institute of Technology Atlanta GA United States College of Computing Georgia Institute of Technology United States School of Mathematics Georgia Institute of Technology United States School of Biology Georgia Institute of Technology United States

ISBN: (纸本)9781605581668

the prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that accurate calculations scale as O(n4), so the computational requirements become prohibitive as the length increases. Existing folding programs implement heuristics and approximations to overcome these limitations. We present a new parallel multicore and scalable program called GTfold, which is one to two orders of magnitude faster than the de facto standard programs and achieves comparable accuracy of prediction. Development of GTfold opens up a new path for the algorithmic improvements and application of an improved thermodynamic model to increase the prediction accuracy. In this paper we analyze the algorithm's concurrency and describe the parallelism for a shared memory environment such as a symmetric multiprocessor or multicore chip. In a remarkable demonstration, GTfold now optimally folds 11 picornaviral RNA sequences ranging from 7100 to 8200 nucleotides in 8 minutes, compared with the two months it took in a previous study. We are seeing a paradigm shift to multicore chips and parallelism must be explicitly addressed to continue gaining performance with each new generation of systems. We also show that the exact algorithms like internal loop speedup can be implemented with our method in an affordable amount of time. GTfold is freely available as open source from our website. Copyright 2009 acm.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

computing with Abstract Matrix Structures

Computing with Abstract Matrix Structures

引用

34th International symposium on Symbolic and Algebraic Computation (ISSAC)

作者： Sexton, Alan P. Sorge, Volker Watt, Stephen M. Univ Birmingham Sch Comp Sci Birmingham B15 2TT W Midlands England

ISBN: (纸本)9781605586090

Classes of matrices are often presented with symbolic dimensions using a mixture of terms and ellipsis symbols to describe their internal structure. While working with such classes of matrices is everyday mathematical practice, it has little automated support. We describe an algebraic encoding of such matrices in terms of support functions and define the corresponding addition and multiplication algorithms. It is, however, non-trivial to retrieve the structural description of the matrix resulting from these operations. We therefore define an abstract matrix as an encoding of support function combinations that enables simple recovery of the structural properties. this allows us to define arithmetic algorithms for abstract matrices as extensions of those for support function combinations using a normalising term rewrite system.

关键词： Abstract Matrix Arithmetic Symbolic Computation

来源：评论

学校读者我要写书评

暂无评论

Two lower bounds for self-assemblies at temperature 1 09

Two lower bounds for self-assemblies at temperature 1

引用

24th Annual acm symposium on applied computing, SAC 2009

作者： Maňuch, Ján Stacho, Ladislav Stoll, Christine School of Computing Science Simon Fraser University 8888 University Drive Burnaby BC V5A 1S6 Canada Department of Mathematics Simon Fraser University 8888 University Drive Burnaby BC V5A 1S6 Canada

ISBN: (纸本)9781605581668

Self-assembly is an autonomous process by which small simple parts assemble into larger and more complex objects. Self-assembly occurs in nature, for example, when atoms combine to form molecules, and molecules combine to form crystals. It has been suggested that intricate self-assembly schemes will ultimately be useful for circuit fabrication, nanorobotics, DNA computing, and amorphous computing [2, 7]. To study the process of self-assembly we use the Tile Assembly Model proposed by Rothemund and Winfree [5]. this model considers the assembly of square blocks called "tiles" and a set of glues called "binding domains". Each binding domain has a strength. Each of the four sides of a tile can have a glue on it that determines interactions with neighbouring tiles. the two neighbouring tiles form a bond if the binding domains on the touching sides are the same. the strength of this bond is the strength of the matching binding domain. the process of self-assembly is initiated by a single seed tile and proceeds by attaching tiles one by one. A tile can only attach to the growing complex if it binds strongly enough, i.e., if the sum of the strengths of its bonds to the existing complex is at least the temperature τ. It is assumed that there is an infinite supply of tiles of each tile type. When this growing process stops, i.e., no tile can be attached to the existing complex, we say that the tile system has assembled this shape. A tile system is specified by the seed tile, the set of tile types, the strengths of glues and the temperature. the physical plausibility and relevance of this abstraction was demonstrated by simple self-assembling systems of tiles built out of certain types of DNA molecules [3, 4]. In this paper we only consider self-assembly at temperature τ = 1. Self-assemblies at temperature τ > 1 have been considered in [5, 6, 1]. A measure of complexity of self-assembly is the minimum number of distinct tile types needed to uniquely assemble a certain shape (

关键词： Self assembly

来源：评论

学校读者我要写书评

暂无评论

A 64-bit Stream Processor Architecture for Scientific Applications 07

A 64-bit Stream Processor Architecture for Scientific Applic...

引用

34th Annual International symposium on Computer Architecture

作者： Yang, Xuejun Yan, Xiaobo Xing, Zuocheng Deng, Yu Jiang, Jiang Zhang, Ying Natl Univ Def Technol Natl Lab Paralleling & Distributed Proc Sch Comp Changsha 410073 Hunan Peoples R China

ISBN: (纸本)9781595937063

Stream architecture is a novel microprocessor architecture with wide application potential. But as for whether it can be used efficiently in scientific computing, many issues await further study. this paper first gives the design and implementation of a 64-bit stream processor, FT64 (Fei Teng 64), for scientific computing. the carrying out of 64-bit extension design and scientific computing oriented optimization are described in such aspects as instruction set architecture, stream controller, micro controller, ALU cluster, memory hierarchy and interconnection interface here. Second, two kinds of communications as message passing and stream communications are put forward. An interconnection based on the communications is designed for FT64-based high performance computers. third, a novel stream programming language, SF95 (Stream FORTRAN95), and its compiler, SF95Compiler (Stream FORTRAN95 Compiler), are developed to facilitate the development of scientific applications. Finally, nine typical scientific application kernels are tested and the results show the efficiency of stream architecture for scientific computing.

关键词： stream processor architecture program language compiler scientific application high performance computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共34页 << < 23 24 25 26 27 28 29 30 31 32 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：