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 ...

We propose to exploit Decision Networks (DN) for the analysis of attack/defense scenarios. We show that DN extend both the modeling and the analysis capabilities of formalisms based on Attack Trees, which are the main reference model in such a context. Uncertainty can be addressed at every system level and a decisiontheoretic analysis of the risk and of the selection of the best countermeasures...

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...