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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,295 篇 工学
- 1,181 篇 计算机科学与技术...
- 861 篇 软件工程
- 225 篇 信息与通信工程
- 169 篇 控制科学与工程
- 129 篇 电气工程
- 77 篇 电子科学与技术（可...
- 73 篇 生物医学工程（可授...
- 72 篇 生物工程
- 40 篇 建筑学
- 36 篇 动力工程及工程热...
- 35 篇 机械工程
- 34 篇 光学工程
- 29 篇 仪器科学与技术
- 29 篇 化学工程与技术
- 27 篇 力学（可授工学、理...
- 27 篇 土木工程
498 篇 理学
- 377 篇 数学
- 100 篇 物理学
- 77 篇 统计学（可授理学、...
- 75 篇 生物学
- 26 篇 化学
- 23 篇 系统科学
276 篇 管理学
- 168 篇 图书情报与档案管...
- 123 篇 管理科学与工程(可...
- 88 篇 工商管理
66 篇 教育学
- 64 篇 教育学
63 篇 医学
- 61 篇 临床医学
- 34 篇 基础医学(可授医学...
- 24 篇 药学(可授医学、理...
28 篇 法学
- 23 篇 社会学
18 篇 经济学
9 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

91 篇 mobile computing
72 篇 distributed comp...
69 篇 computer science
53 篇 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
12 篇 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,065 篇 英文
9 篇 其他
3 篇 中文
2 篇 葡萄牙文

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

共 2079 条记录，以下是301-310 订阅

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

详细简洁

排序：

Invariant generation for linearizability proofs 16

Invariant generation for linearizability proofs

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Smith, Graeme Derrick, John School of Information Technology and Electrical Engineering University of Queensland Australia Department of Computing University of Sheffield United Kingdom

ISBN: (纸本)9781450337397

Linearizability is a widely recognised correctness criterion for concurrent objects. A number of proof methods for verifying linearizability exist. In this paper, we simplify one such method with a systematic approach for invariant generation. Although this existing refinement-based method is itself systematic and fully tool-supported, it requires the verifier to provide a specific invariant over the implementation. While a chosen invariant may suffice for some proof obligations of the method, it may not for others resulting in a new, stronger invariant to be chosen and the previously completed proof steps to be redone. Our approach avoids such wasted proof effort by generating an invariant which is guaranteed to be sufficient for all proof obligations. © 2016 acm.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

proceedings of the acm symposium on applied computing

Proceedings of the ACM Symposium on Applied Computing

引用

30th Annual acm symposium on applied computing, SAC 2015

ISBN: (纸本)9781450331968

The proceedings contain 367 papers. The topics discussed include: inference of disease-specific gene interaction network using a Bayesian network learned by genetic algorithm;P-SaMI: a data-flow pattern to perform massively-parallel molecular docking experiments using a fully-flexible receptor model;a new approach to biometric recognition based on hand geometry;shape description based on bag of salience points;OR-PCA with dynamic feature selection for robust background subtraction;compact and discriminative approach for encoding spatial-relationship of visual words;an architecture of recommender system for scientific paper;evolving decision-tree induction algorithms with a multi-objective hyper-heuristic;collective preferences in evolutionary multi-objective optimization: techniques and potential contributions of collective intelligence;color image quantization using interactive genetic algorithm;and benchmarking motion sensing devices for rehabilitative gaming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Inventory theory applied to cost optimization in cloud computing 16

Inventory theory applied to cost optimization in cloud compu...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Nodari, Andrea Nurminen, Jukka K. Frühwirth, Christian Imperial College London United Kingdom Aalto University Finland Helsinki Institute of Physics Finland Nordcloud Oy Finland

ISBN: (纸本)9781450337397

Cloud computing providers offer two different pricing schemes when renting virtual machines: reserved instances and ondemand instances. On-demand instances are paid only when utilized and they are useful to satisfy a fluctuating demand. Conversely, reserved instances are paid for a certain time period and are independent of usage. Since reserved instances require more commitment from users, they are cheaper than on-demand instances. However, in order to be cost-effective compared to on-demand instances, they have to be extensively utilized. This work focuses on finding the optimal combination of on-demand and reserved instances, such that the demand is satisfied and the costs minimized. To achieve this goal, this study introduces a stochastic model of the resources, based on Inventory Theory. The idea is to formulate the optimization problem as an inventory-keeping problem and then derive the optimal strategy. The paper evaluates the proposed model using data from an industry case, comparing the performance with a brute-force approach. The conducted experiments show that the Inventory Theory model provides accurate results and potentially allows prior research on Inventory Theory to be applied to optimal cloud provisioning. © 2016 acm.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

NCaaS: Network configuration aS a service in SDN-driven cloud architectures 16

NCaaS: Network configuration aS a service in SDN-driven clou...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Shamseddine, Maha Elhajj, Imad Chehab, Ali Kayssi, Ayman Itani, Wassim Department of Electrical and Computer Engineering American University of Beirut Lebanon Department of Electrical and Computer Engineering Beirut Arab University Beirut Lebanon

ISBN: (纸本)9781450337397

In this paper, we present NCaaS (Network Configuration as a Service), a centralized cloud service for creating Virtual Networks (VNets) in SDN-based cloud architectures. NCaaS relieves tenants from the burdens and complexities of VNet creation and management by supporting dynamic provisioning operations based on Quality of Service (QoS), pricing, privacy, reliability, and energy constraints set by the tenant. NCaaS provides a unified interface through which tenants' network specifications and constraints are fed into the service provisioning algorithms. These algorithms, in turn, handle the negotiation with the different SDN Network as a Service (NaaS) providers and dynamically apply the necessary VNet creation, partitioning, and migration mechanisms to ensure the satisfaction of the tenants' preferences. To the best of our knowledge, NCaaS is the first centralized cloud service for creating, managing, and provisioning VNets dynamically on behalf of tenants and based on their requirements. A proof of concept test bed implementation of NCaaS is provided on top of the OpenVirteX network virtualization platform. © 2016 acm.

关键词： Cloud computing architecture

来源：评论

学校读者我要写书评

暂无评论

Supporting adaptation of web applications to the mobile environment with automated usability evaluation 16

Supporting adaptation of web applications to the mobile envi...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Gonçalves, Luiz F. Vasconcelos, Leandro G. Munson, Ethan V. Baldochi, Laércio A. POSCOMP Federal University of Itajubá Brazil National Institute for Space Research Brazil Department of EECS University of Wisconsin-Milwaukee United States Institute of Mathematics and Computing Federal University of Itajubá Brazil

ISBN: (纸本)9781450337397

The year 2014 marked an important shift in the Web's history, as users started to spend more time surfing the web using mobile devices than using desktop computers. However, today, a large proportion of websites are still not designed for good mobile device access. To tackle this problem, this paper proposes a new approach to adapting desktop-based web applications to the mobile environment. Our approach is supported by a task-based usability evaluation tool called MOBILICS, which is able to evaluate desktop-based web applications used in mobile devices. Based on the evaluation results, our tool provides detailed recommendations for fixing the detected usability problems. We conducted an experiment which demonstrates that our approach provides useful support for the adaptation of a desktop-based web application into a mobile version. © 2016 acm.

关键词： Personal computers

来源：评论

学校读者我要写书评

暂无评论

Object injection vulnerability discovery based on latent semantic indexing 16

Object injection vulnerability discovery based on latent sem...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Shahriar, Hossain Haddad, Hisham College of Computing and Software Engineering Kennesaw State University United States

ISBN: (纸本)9781450337397

Object Injection Vulnerability (OIV) is an emerging threat for web applications. It involves accepting external inputs during deserialization operation and use the inputs for sensitive operations such as file access, modification, and deletion. The challenge is the automation of the detection process. When the application size is large, it becomes hard to perform traditional approaches such as data flow analysis. Recent approaches fall short of narrowing down the list of source files to aid developers in discovering OIV and the flexibility to check for the presence of OIV through various known APIs. In this work, we address these limitations by exploring a concept borrowed from the information retrieval domain called Latent Semantic Indexing (LSI) to discover OIV. The approach analyzes application source code and builds an initial term document matrix which is then transformed systematically using singular value decomposition to reduce the search space. The approach identifies a small set of documents (source files) that are likely responsible for OIVs. We apply the LSI concept to three open source PHP applications that have been reported to contain OIVs. Our initial evaluation results suggest that the proposed LSI-based approach can identify OIVs and identify new vulnerabilities. © 2016 acm.

关键词： Singular value decomposition

来源：评论

学校读者我要写书评

暂无评论

An image analysis framework for effective classification of seed damages 16

An image analysis framework for effective classification of ...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Pereira, Douglas F. Saito, Priscila T. M. Bugatti, Pedro H. Department of Computing Federal University of Technology Parana PR Brazil Institute of Computing University of Campinas SP Brazil

ISBN: (纸本)9781450337397

The main drawback regarding agriculture commodities such as soybeans is that they must be uniform in quality considering the companies that produce and sell it. Thus, to reach such requirements it is necessary to establish strict parameters and quality control processes. The most important test to accomplish this task is based on the seed vigor definition. However, the great majority of seed vigor analysis is performed by a human specialist leading to an extremely tiresome and subjective approach, highly susceptible to failures, as well as, certain types of deliberate adulteration, based on monetary interests. In order to deal with this problem, the present paper proposed an image analysis framework for effective classification of seeds according to their vigor. The experiments performed showed that the proposed framework presented several notable contributions to the soybean vigor definition process, reaching up to 81% of classification accuracy. Moreover, it not only improves in a great extent the entire process from planting to harvesting, but also enables to automate and accelerate it, as well as, can be used as a counterevidence of the specialist classification. © 2016 acm.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

A graph theory-based online keywords model for image semantic extraction 16

A graph theory-based online keywords model for image semanti...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Wang, Jing Xu, Zhijie Visualisation Interaction and Vision Research Group School of Computing and Engineering University of Huddersfield Queensgate Huddersfield West YorkshireHD1 3DH United Kingdom

ISBN: (纸本)9781450337397

Image captions and keywords are the semantic descriptions of the dominant visual content features in a targeted visual scene. Traditional image keywords extraction processes involves intensive data- and knowledge-level operations by using computer vision and machine learning techniques. However, recent studies have shown that the gap between pixel-level processing and the semantic definition of an image is difficult to bridge by counting only the visual features. In this paper, augmented image semantic information has been introduced through harnessing functions of online image search engines. A graphical model named as the "Head-words Relationship Network" (HWRN) has been devised for tackling the aforementioned problems. The proposed algorithm starts from retrieving online images of similarly visual features from the input image, the text content of their hosting webpages are then extracted, classified and analysed for semantic clues. The relationships of those "head-words" from relevant webpages can then be modelled and quantified using linguistic tools. Experiments on the prototype system have proven the effectiveness of this novel approach. Performance evaluation over benchmarking state-of-theart approaches has also shown satisfactory results and promising future applications. © 2016 acm.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Limited space oriented optimized storage protocol in autonomous mobile cloud 16

Limited space oriented optimized storage protocol in autonom...

引用

31st Annual acm symposium on applied computing, SAC 2016

作者： Cui, Bo Li, Ru Liu, Jing Zhang, Yujun Li, Zhongcheng College of Computer Science Inner Mongolia University Hohhot China Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781450337397

The autonomous mobile cloud could provide available storage services to cloud users in a localized geographical area. Maintaining the data persistence is a major challenge as mobile nodes always have limited storage space. In this paper, a limited space oriented optimized storage protocol is proposed and named as SLAMS protocol. It keeps K copies for each data block through periodic communications between mobile nodes and stores data block copies into those nodes which have larger free storage space. The protocol design of SLAMS are presented in detail. The simulation results show that, compared with current major solution Phoenix, our SLAMS protocol has less data loss rate, shorter time of convergence, and less overhead of data block storage. Besides, the SLAMS protocol could effectively increase the probability of K copies for each data block in case that mobile nodes have limited storage space. © 2016 acm.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

Programmable Plaid: The Search For Seamless Integration In Fashion And Technology. 16

Programmable Plaid: The Search For Seamless Integration In F...

引用

acm International Joint Conference on Pervasive and Ubiquitous computing (UbiComp) / 20th acm International symposium on Wearable Computers (ISWC)

作者： Esther Bigger, Elizabeth Edgardo Fraguada, Luis Barcelona Spain

ISBN: (纸本)9781450344623

The work presented celebrates traditional tartan patterns and their design parameters, as well as the numerous technological achievements in woven textiles. The designers propose a woven textile (as applied in the garment presented) with the capability to illuminate threads in both warp and weft directions. The work described investigates the creation of garments for day-to-day use. which is a use case probably never considered when developing off-the shelf electronic components. In developing a new tartan pattern and fabrication technique, the authors respond to the lack of purpose-made electronic components by choosing to evolve tradition into technology. Manufacturing techniques and components for the proposed textile have been carefully considered, researched, and contrasted to previous work by the authors, as well as recent trends in the field of wearable technology. The garment is a component of a tartan pattern generating system which searches the space of all registered tartans in order to find relevant. but yet unregistered tartan color and thread count combinations from a variety of inputs either embedded on the dress, or from a mobile phone.

关键词： Light Emitting Textiles Fibre Optics Smart Textiles Wearable Technology Wearable computing Wearable Electronics Image Processing Wireless Communication Plaid

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共208页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：