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

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

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

Improving the health and welfare of people who live in slums

Summary In the first paper in this Series we assessed theoretical and empirical evidence and concluded that the health of people living in slums is a function not only of poverty but of intimately shared physical and social environments. In this paper we extend the theory of so-called neighbourhood effects. Slums offer high returns on investment because beneficial effects are shared across many people in densely populated neighbourhoods. Neighbourhood effects also help explain how and why the benefits of interventions vary between slum and non-slum spaces and between slums. We build on this spatial concept of slums to argue that, in all low-income and-middle-income countries, census tracts should henceforth be designated slum or non-slum both to inform local policy and as the basis for research surveys that build on censuses. We argue that slum health should be promoted as a topic of enquiry alongside poverty and health

Clinical disorders affecting mesopic vision

Vision in the mesopic range is affected by a number of inherited and acquired clinical disorders. We review these conditions and summarize the historical background, describing the clinical characteristics alongside the genetic basis and molecular biological mechanisms giving rise to rod and cone dysfunction relevant to twilight vision. The current diagnostic gold standards for each disease are discussed and curative and symptomatic treatment strategies are summarized

Charged kaon lifetime at KLOE

Preliminary result on the charged kaon lifetime, obtained by the KLOE experiment operating at DA$\Phi$NE, the Frascati $\phi$-factory, is presentedComment: 3 pages, 3 figures, to appear in the proceedings of 42nd Rencontres de Moriond on Electroweak Interactions and Unified Theories, La Thuile, Aosta Valley, Italy, 10-17 Mar 200

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

Measurements of the Absolute Branching Ratios for the Dominant KL Decays, the KL Lifetime, and Vus with the KLOE Detector

From a sample of about 10^9 Phi mesons produced at DAFNE, we have selected KL mesons tagged by observing KS->pi+pi- decays. We present results on the major KL branching ratios, including those of the semileptonic decays needed for the determination of Vus. These branching ratio measurements are fully inclusive with respect to final-state radiation. The KL lifetime has also been measured.Comment: Submitted to Phys. Lett.

Determination of CP and CPT violation parameters in the neutral kaon system using the Bell-Steinberger relation and data from the KLOE experiment

We present an improved determination of the CP and CPT violation parameters Re(epsilon) and Im(delta) based on the unitarity condition (Bell-Steinberger relation) and on recent results from the KLOE experiment. We find Re(epsilon) = (159.6 \pm 1.3)10^-5 and Im(delta) = (0.4 \pm 2.1)10^-5, consistent with no CPT violation.Comment: Submitted to JHE