Metric for Security Activities assisted by Argumentative Logic

International audienceRecent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. This paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies

The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation

We study the computational complexity of problems that arise in abstract argumentation in the context of dynamic argumentation, minimal change, and aggregation. In particular, we consider the following problems where always an argumentation framework F and a small positive integer k are given. - The Repair problem asks whether a given set of arguments can be modified into an extension by at most k elementary changes (i.e., the extension is of distance k from the given set). - The Adjust problem asks whether a given extension can be modified by at most k elementary changes into an extension that contains a specified argument. - The Center problem asks whether, given two extensions of distance k, whether there is a "center" extension that is a distance at most (k-1) from both given extensions. We study these problems in the framework of parameterized complexity, and take the distance k as the parameter. Our results covers several different semantics, including admissible, complete, preferred, semi-stable and stable semantics

Meta-Argumentation Frameworks for Multi-party Dialogues

Postprin

Applications of Bayesian Networks as Decision Support Tools for Water Resource Management under Climate Change and Socio-Economic Stressors: A Critical Appraisal

Bayesian networks (BNs) are widely implemented as graphical decision support tools which use probability inferences to generate “what if?” and “which is best?” analyses of potential management options for water resource management, under climate change and socio-economic stressors. This paper presents a systematic quantitative literature review of applications of BNs for decision support in water resource management. The review quantifies to what extent different types of data (quantitative and/or qualitative) are used, to what extent optimization-based and/or scenario-based approaches are adopted for decision support, and to what extent different categories of adaptation measures are evaluated. Most reviewed publications applied scenario-based approaches (68%) to evaluate the performance of management measures, whilst relatively few studies (18%) applied optimization-based approaches to optimize management measures. Institutional and social measures (62%) were mostly applied to the management of water-related concerns, followed by technological and engineered measures (47%), and ecosystem-based measures (37%). There was no significant difference in the use of quantitative and/or qualitative data across different decision support approaches (p = 0.54), or in the evaluation of different categories of management measures (p = 0.25). However, there was significant dependence (p = 0.076) between the types of management measure(s) evaluated, and the decision support approaches used for that evaluation. The potential and limitations of BN applications as decision support systems are discussed along with solutions and recommendations, thereby further facilitating the application of this promising decision support tool for future research priorities and challenges surrounding uncertain and complex water resource systems driven by multiple interactions amongst climatic and non-climatic changes. View Full-Tex

Gravitational wave astronomy

The first decade of the new millenium should see the first direct detections of gravitational waves. This will be a milestone for fundamental physics and it will open the new observational science of gravitational wave astronomy. But gravitational waves already play an important role in the modeling of astrophysical systems. I review here the present state of gravitational radiation theory in relativity and astrophysics, and I then look at the development of detector sensitivity over the next decade, both on the ground (such as LIGO) and in space (LISA). I review the sources of gravitational waves that are likely to play an important role in observations by first- and second-generation interferometers, including the astrophysical information that will come from these observations. The review covers some 10 decades of gravitational wave frequency, from the high-frequency normal modes of neutron stars down to the lowest frequencies observable from space. The discussion of sources includes recent developments regarding binary black holes, spinning neutron stars, and the stochastic background.Comment: 29 pages, 2 figures, as submitted for special millenium issue of Classical and Quantum Gravit

A new limit on the CP violating decay KS -> 3pi0 with the KLOE experiment

We have carried out a new direct search for the CP violating decay KS -> 3pi0 with 1.7 fb^-1 of e+e- collisions collected by the KLOE detector at the phi-factory DAFNE. We have searched for this decay in a sample of about 5.9 x 10^8 KS KL events tagging the KS by means of the KL interaction in the calorimeter and requiring six prompt photons. With respect to our previous search, the analysis has been improved by increasing of a factor four the tagged sample and by a more effective background rejection of fake KS tags and spurious clusters. We find no candidates in data and simulated background samples, while we expect 0.12 standard model events. Normalizing to the number of KS -> 2pi0 events in the same sample, we set the upper limit on BR(KS -> 3pi0 < 2.6 x 10^-8 at 90% C.L., five times lower than the previous limit. We also set the upper limit on the eta_000 parameter, |eta_000 | < 0.0088 at 90% C.L., improving by a factor two the latest direct measurement.Comment: Accepted for publication in Physics Letters B (15 pages, 13 figures