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

32nd IEEE International Conference on Distributed computing systems Workshops, ICDCSW 2012

作者： Tsai, Wei-Tek Qi, Guanqiu Chen, Yinong School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85287-8809 United States Department of Computer Science and Technology Tsinghua University Beijing China

ISBN: (纸本)9781467314237

Cloud computing environments provide a resource pool for customers for their processing, storage and networking needs. It is necessary for customers to choose desirable configuration from vast resources available in the cloud. This paper proposes a heuristic model to choose a cloud configuration for efficient use. Trend analysis in data mining is used to predict the future trend and assist provisioning. The model is experimented with Intel power 32 core machine and in Azure cloud. Both environments demonstrated that the proposed model provided effective solutions. © 2012 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Influence propagation in adversarial setting: How to defeat competition with least amount of investment 12

Influence propagation in adversarial setting: How to defeat ...

引用

21st ACM International Conference on Information and Knowledge Management, CIKM 2012

作者： Shirazipourazad, Shahrzad Bogard, Brian Vachhani, Harsh Sen, Arunabha Horn, Paul School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85287 United States Department of Mathematics Harvard University Cambridge MA 09322 United States

ISBN: (纸本)9781450311564

It has been observed that individuals' decisions to adopt a product or innovation are often influenced by the recommendations of their friends and acquaintances. Motivated by this observation, the last few years have seen a number of studies on influence maximization in social networks. The primary goal of these studies is identification of k most influential nodes in a network. A major limitation of these studies is that they focus on a non-adversarial environment, where only one player is engaged in influencing the nodes. However, in a realistic scenario multiple players attempt to influence the nodes in a competitive fashion. The proposed model considers a competitive environment where a node that has not yet adopted an innovation, can adopt only one of the several competing innovations and once it adopts an innovation, it does not switch. The paper studies the scenario where the first player has already chosen a set of k nodes and the second player, with the knowledge of the choice of the first, attempts to identify a smallest set of nodes (excluding the ones already chosen by the first) so that when the influence propagation process ends, the number of nodes influenced by the second player is larger than the number of nodes influenced by the first. The paper studies two propagation models and shows that in both the models, the identification of the smallest set of nodes to defeat the adversary is NP-Hard. It provides an approximation algorithm and proves that the performance bound is tight. It also presents the results of extensive experimentation using the collaboration network data. Experimental results show that the second player can easily defeat the first with this algorithm, if the first utilizes the node degree or closeness centrality based algorithms for the selection of influential nodes. The proposed algorithm also provides better performance if the second player utilizes it instead of the greedy algorithm to maximize its influence. © 2012 ACM.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Radiation dose optimization for critical organs in interventional radiology procedures

Radiation dose optimization for critical organs in intervent...

引用

62nd IIE Annual Conference and Expo 2012

作者： Khodadadegan, Yasaman Zhang, Muhong Pavelicek, William School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85281 United States Department of Radiology Mayo Clinic Arizona Scottsdale AZ 85258 United States

ISBN: (纸本)9780983762416

More than 700,000 Fluoroscopic Guided Interventional Radiology procedures are performed in the US every day. The modalities used for this type of procedures emit X-ray exposure and have a complicated geometry setting. Each exposure deposits a fraction of the emitted energy in the tissue after attenuation. Some of the body organs are sensitive and absorbed dose in those organs may enhance the risk of cancer induction. Since the energy required for the procedure and field of exposure affects the amount of the absorbed dose in the organs, this paper presents a mathematical model to minimize the absorbed radiation dose in the critical organs of the body with respect to the image quality. The measure we use for the image quality is signal to noise ratio and a lower bound and upper bound indicate the required signal to noise ratio for a reasonable image quality. Primary computational results are provided for the breasts as an example for the critical organs.

关键词： Image quality

来源：评论

学校读者我要写书评

暂无评论

Reformulating temporal action logics in answer set programming 26

Reformulating temporal action logics in answer set programmi...

引用

26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12

作者： Lee, Joohyung Palla, Ravi School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85287 United States Siemens Corporation Corporate Research and Technology Princeton NJ 08540 United States

ISBN: (纸本)9781577355687

Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergies it brings. First, the reformulation provides a means to compute TAL using efficient answer set solvers. Second, TAL provides a structured high-level language for ASP (possibly with constraint solving). Third, the reformulation allows us to compute integration of TAL and ontologies using answer set solvers, and we illustrate its usefulness in the healthcare domain in the context of medical expert systems. Copyright © 2012, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

Benders' decomposition for the two-stage security constrained robust unit commitment problem

Benders' decomposition for the two-stage security constraine...

引用

62nd IIE Annual Conference and Expo 2012

作者： Jiang, Ruiwei Zhang, Muhong Li, Guang Guan, Yongpei Department of Industrial and Systems Engineering University of Florida Gainesville FL 32611 United States Informatics and Decision Systems Engineering School of Computing Arizona State University Tempe AZ 85281 United States Austin TX 78744 United States

ISBN: (纸本)9780983762416

For both regulated and deregulated electric power markets, due to the integration of renewable energy generation and uncertain demand, a large amount of spinning reserve is required to maintain the reliability of the power systems in traditional approaches. In this paper, we propose a two-stage robust integer programming model to address the unit commitment (UC) problem under both supply and demand uncertainty. In our approach, uncertain problem parameters are assumed to be within a given polyhedral uncertainty set. We analyze solution schemes to solve this problem that include an exact solution approach, and an efficient heuristic approach that provides a tight lower bound for the general robust UC problem. The final computational experiments on a modified IEEE 118-bus system verify the effectiveness of our approaches, as compared to the worst-case scenario generated by the nominal model without considering the uncertainty.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Your mobility can be injurious to your health: Analyzing pervasive health monitoring systems under dynamic context changes

Your mobility can be injurious to your health: Analyzing per...

引用

IEEE International Conference on Pervasive computing and Communications (PerCom)

作者： Ayan Banerjee Sandeep K. S. Gupta School of Computing Informatics and Decision Systems Engineering Arizona State University USA

The advent of smart phones has enabled health care anywhere and anytime. With pervasive health care, a person can perform necessary day to day tasks while his health is recorded, controlled, and processed continuously using on body sensors and actuators to capture abnormalities, trends, and causes. In such a scenario, seamless operation of the pervasive health management system (PHMS), given dynamic changes in the context induced by mobility of the user is of utmost importance. Such context changes dynamically affect many aspects such as the processing requirements of the health management application, the available energy sources, the interaction between a medical device with the human body. For social acceptability of PHMSes, they have to be tested and verified for their safe, energy sustainable (long term) and reliable operation under such dynamically changing environment. This paper proposes a novel technique to analyze PHMSes under mobility induced dynamic changes in the context and constant interaction of the medical device with the human body. Results show that human mobility induced context changes can cause unsafe conditions such as drug overdose.

关键词： Context Prognostics and health management Context modeling Analytical models Intelligent sensors Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Rule-based methods for diagnosing out-of-control signals

Rule-based methods for diagnosing out-of-control signals

引用

62nd IIE Annual Conference and Expo 2012

作者： Dávila, Saylisse Torres-Burgos, Miralis Runger, George Department of Industrial Engineering University of Puerto Rico at Mayagüez Mayagyüez 00680 Puerto Rico School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85281 United States

ISBN: (纸本)9780983762416

There is a rich literature on methods for detecting out-of-control signals. However, the literature on methods for diagnosing out-of-control signals is not as rich;particularly, for methods that detect the specific levels and/or values of the covariates driving the change(s) in the process. In this paper, we propose a novel approach to this problem using a combination of data mining methods. We provide a variety of simulated scenarios with different out-of control signals and show how this method is able to isolate the specific values of the covariates contributing to the out-of-control signals. In addition, we compare the performance of our method to partial dependence plots (PPDs) and suggest how the strengths of the two can be combined in order to develop an even more robust scheme for diagnosing out-of-control signals.

关键词： Statistical process control

来源：评论

学校读者我要写书评

暂无评论

The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating english to FOL

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7265卷 40-56页

作者： Baral, Chitta Gonzalez, Marcos Alvarez Gottesman, Aaron School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ United States

ISBN: (纸本)9783642307423

In order to answer questions and solve problems that require deeper reasoning with respect to a given text, it is necessary to automatically translate English sentences to formulas in an appropriate knowledge representation language. This paper focuses on a method to translate sentences to First-Order Logic (FOL). Our approach is inspired by Montague's use of lambda calculus formulas to represent the meanings of words and phrases. Since our target language is FOL, the meanings of words and phrases are represented as FOL-lambda formulas. In this paper we present algorithms that allow one to construct FOL-lambda formulas in an inverse manner. Given a sentence and its meaning and knowing the meaning of several words in the sentence our algorithm can be used to obtain the meaning of the other words in that sentence. In particular the two algorithms take as input two FOL-lambda formulas G and H and compute a FOL-lambda formula F such that F with input G, denoted by F@G, is H;respectively, G@F = H. We then illustrate our algorithm and present soundness, completeness and complexity results, and briefly mention the use of our algorithm in a NL Semantics system that translates sentences from English to formulas in formal languages. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

常规隐信道下可证明安全隐写术的有效构造方法

引用

中国科学：信息科学 2013年第5期43卷 657-669页

作者：朱岩余孟扬胡宏新 Ahn Gail-Joon 赵红佳北京科技大学计算机与通信工程学院北京大学计算机科学技术研究所北京大学数学科学学院 School of Computing Informaticsand Decision Systems EngineeringArizona State UniversityAZ85287USA

隐写术是在看起来无害媒体中隐藏信息的科学.文中为了解决在常规隐信道下可证明安全隐写术的有效构造问题,在不依赖于任何采样假设的前提下,提供了一种基于计算不可区分的安全隐写术构造.文中结果表明,隐信道采样器中影射函数的不可区... 详细信息

隐写术是在看起来无害媒体中隐藏信息的科学.文中为了解决在常规隐信道下可证明安全隐写术的有效构造问题,在不依赖于任何采样假设的前提下,提供了一种基于计算不可区分的安全隐写术构造.文中结果表明,隐信道采样器中影射函数的不可区分性是安全隐写系统抵抗自适应选择隐文攻击的必要条件.在此基础上,完整地证明了l(-1+5-2)—安全隐写系统能在-1伪随机函数和-2无偏采样函数下有效地被构造,其中,-1和-2是任意两个可忽略错误,l是多项式的隐文长度.更为重要的,文中的研究不依赖于密码系统的密文伪随机性假设和完美采样假设,因此,我们的结果对于安全隐写系统的构造和隐写分析都具有现实意义.

关键词：密码学隐写术不可区分性采样器不可预测性敌手模型

来源：评论

学校读者我要写书评

暂无评论

Survivable virtual infrastructure mapping in virtualized data centers

Survivable virtual infrastructure mapping in virtualized dat...

引用

2012 IEEE 5th International Conference on Cloud computing, CLOUD 2012

作者： Xu, Jielong Tang, Jian Kwiat, Kevin Zhang, Weiyi Xue, Guoliang Department of Electrical Engineering and Computer Science Syracuse University United States United States AT and T Labs. Research United States School of Computing Informatics and Decision Systems Engineering Arizona State University United States

ISBN: (纸本)9780769547558

In a virtualized data center, survivability can be enhanced by creating redundant Virtual Machines (VMs) as backup for VMs such that after VM or server failures, affected services can be quickly switched over to backup VMs. To enable flexible and efficient resource management, we propose to use a service-aware approach in which multiple correlated VMs and their backups are grouped together to form a Survivable Virtual Infrastructure (SVI) for a service or a tenant. A fundamental problem in such a system is to determine how to map each SVI to a physical data center network such that operational costs are minimized subject to the constraints that each VM's resource requirements are met and bandwidth demands between VMs can be guaranteed before and after failures. This problem can be naturally divided into two sub-problems: VM Placement(VMP) and Virtual Link Mapping (VLM). We present a general optimization framework for this mapping problem. Then we present an efficient algorithm for the VMP sub problem as well as a polynomial-time algorithm that optimally solves the VLM sub problem, which can be used as subroutines in the framework. We also present an effective heuristic algorithm that jointly solves the two sub problems. It has been shown by extensive simulation results based on the real VM data traces collected from the green data center at Syracuse University that compared with the First Fit Descending (FFD) and single shortest path based baseline algorithm, both our VMP+VLM algorithm and joint algorithm significantly reduce the reserved bandwidth, and yield comparable results in terms of the number of active servers. © 2012 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：