The objective of this paper is to present a multi-objective approach to the design optimization process applied to systems that require a high likelihood of functioning on demand. In the real world it is common that there are several objectives to be met, not just maximising the system availability, and hence an approach is required to deal with these issues. A method is presented that integrat...

This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modifications. We show how to express them in DL and how the logic deals with conflicts between temporalised normative modifications. Some comments will be given with regard to the phenomenon of retroactivity.

In this paper, a forward and backward (FB) fourth order PDEs is presented to denosing and enhancement image simultaneously. The new FB fourth order PDEs preserves the advantage of YK model and avoids leaving isolated black and white speckles. Moreover, the new model preserves fine details, sharp corners, curved structures and thin lines. Experiment results show the effectiveness of the proposed...

In this document we first provide the derivation for incremental learning of PSVM parameters, which is used to update every decision node in our online Obli-RaF. Next, we provide a detailed analysis of various parameters of the proposed tracker, and demonstrate the merits of our Obli-RaF. Finally, we provide more detailed results of our approach on the OTB51, OTB-100 datasets and VOT2016 under ...

Health gap measures, such as the DALY, are a quantification of the gap between the current health status in a population and a stated goal for population health. This goal can be understood as an ideal situation in which everyone in a population lives into old age free of disease. Health gaps are the addition of time lost due to premature mortality, as measured against the normative survivorshi...

The paper presents an approach for belief updating in Timed Influence Nets. Influence Nets provide graphical representation of causal or influencing relationships in complex situations. They are used to model and evaluate courses of actions in certain domains and to compare the performance of actions based on the desired outcome. In Timed Influence Nets, the impact or effect of these actions on...

This document defines new Dynamic Host Configuration Protocol (DHCPv4 and DHCPv6) options that contain a list of IP addresses and a list of domain names that can be mapped to servers providing IEEE 802.21 type of Mobility Service (MoS) (see RFC 5677). These Mobility Services are used to assist a mobile node (MN) in handover preparation (network discovery) and handover decision (network selectio...

This study examines a method of generating comprehensive profiling information for a researcher analysis service. In addition to basic and performance-based information about researchers necessary to generate profiling information, we introduce researcher performance index models for researcher analysis service. The models can that measure qualitative and quantitative performance, researcher in...

When there are bigger obstacles in the indoor environment such as elevator, the radio waves basically can not penetrate it. The contribution of received signal strength by transmission and reflection will be greatly reduced, and most of the time, the radio waves will reach the user by bypass diffraction. Therefore, the traditional path loss model is no longer applicable, and the improved model ...

We describe a mechanism for performing probabilistic reasoning in influence diagrams us­ ing interval rather than point valued probabilities. We derive the procedures for node removal (corresponding to conditional expectation) and arc reversal (corresponding to Bayesian condi­ tioning) in influence diagrams where lower bounds on probabilities are stored at each node. The resulting bounds for th...