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 t...
详细信息
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 h...
详细信息
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....
详细信息
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.
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...
详细信息
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 ...
详细信息
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.
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...
详细信息
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.
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 le...
详细信息
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.
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 represen...
详细信息
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 backu...
详细信息
暂无评论