3,381 research outputs found
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
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
- âŠ