3,678 research outputs found
Numerical Simulations of Hyperfine Transitions of Antihydrogen
One of the ASACUSA (Atomic Spectroscopy And Collisions Using Slow
Antiprotons) collaboration's goals is the measurement of the ground state
hyperfine transition frequency in antihydrogen, the antimatter counterpart of
one of the best known systems in physics. This high precision experiment yields
a sensitive test of the fundamental symmetry of CPT. Numerical simulations of
hyperfine transitions of antihydrogen atoms have been performed providing
information on the required antihydrogen events and the achievable precision
Abstract Argumentation / Persuasion / Dynamics
The act of persuasion, a key component in rhetoric argumentation, may be
viewed as a dynamics modifier. We extend Dung's frameworks with acts of
persuasion among agents, and consider interactions among attack, persuasion and
defence that have been largely unheeded so far. We characterise basic notions
of admissibilities in this framework, and show a way of enriching them through,
effectively, CTL (computation tree logic) encoding, which also permits
importation of the theoretical results known to the logic into our
argumentation frameworks. Our aim is to complement the growing interest in
coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion /
Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao
Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems.
PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha
Analysis of Dialogical Argumentation via Finite State Machines
Dialogical argumentation is an important cognitive activity by which agents
exchange arguments and counterarguments as part of some process such as
discussion, debate, persuasion and negotiation. Whilst numerous formal systems
have been proposed, there is a lack of frameworks for implementing and
evaluating these proposals. First-order executable logic has been proposed as a
general framework for specifying and analysing dialogical argumentation. In
this paper, we investigate how we can implement systems for dialogical
argumentation using propositional executable logic. Our approach is to present
and evaluate an algorithm that generates a finite state machine that reflects a
propositional executable logic specification for a dialogical argumentation
together with an initial state. We also consider how the finite state machines
can be analysed, with the minimax strategy being used as an illustration of the
kinds of empirical analysis that can be undertaken.Comment: 10 page
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
Summa Contra Ontologiam
The final publication is available at Springer via http://dx.doi.org/10.1007/11896548_37Revised Selected Papers of EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006This paper is a critical analysis of the concept of ontology thus as it is used in contemporary computing science. It identifies three main problems with such a concept, two of which are intrinsic to it and one of which is extrinsic, so to speak, being related to the use that of ontology is made in applications.
The first problem with ontology is that the only accepted definition of its main artifact is teleological rather than structural as it would be proper in computing science. The second problem is that claiming that ontology is in any way a semantic discipline requires such a limited and outdated notion of semantic to be to all practical purposes useless. The third and final problem is that the limitations and misconceptions of ontology might make it a limiting factor, rather than a help, for many of the applications for which it is sought.
The article concludes that a profound reconsideration of the relation between computers and semantics might be overdue
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
An organic fluorophore-nanodiamond hybrid sensor for photostable imaging and orthogonal, on-demand biosensing
Organic fluorescent probes are widely used to detect key biomolecules; however, they often lack the photostability required for extended intracellular imaging. Here we report a new hybrid nanomaterial (peroxynanosensor, PNS), consisting of an organic fluorescent probe bound to a nanodiamond, that overcomes this limitation to allow concurrent and extended cell-based imaging of the nanodiamond and ratiometric detection of hydrogen peroxide. Far-red fluorescence of the nanodiamond offers continuous monitoring without photobleaching, while the green fluorescence of the organic fluorescent probe attached to the nanodiamond surface detects hydrogen peroxide on demand. PNS detects basal production of hydrogen peroxide within M1 polarised macrophages and does not affect macrophage growth during prolonged co-incubation. This nanosensor can be used for extended bio-imaging not previously possible with an organic fluorescent probe, and is spectrally compatible with both Hoechst 33342 and MitoTracker Orange stains for hyperspectral imaging.Malcolm S. Purdey, Patrick K. Capon, Benjamin J. Pullen, Philipp Reineck,
Nisha Schwarz, Peter J. Psaltis, Stephen J. Nicholls, Brant C. Gibson and
Andrew D. Abel
Implementing Argumentation-enabled Empathic Agents
In a previous publication, we introduced the core concepts of empathic agents
as agents that use a combination of utility-based and rule-based approaches to
resolve conflicts when interacting with other agents in their environment. In
this work, we implement proof-of-concept prototypes of empathic agents with the
multi-agent systems development framework Jason and apply argumentation theory
to extend the previously introduced concepts to account for inconsistencies
between the beliefs of different agents. We then analyze the feasibility of
different admissible set-based argumentation semantics to resolve these
inconsistencies. As a result of the analysis we identify the maximal ideal
extension as the most feasible argumentation semantics for the problem in
focus.Comment: Accepted for/presented at the 16th European Conference on Multi-Agent
Systems (EUMAS 2018
The 2020 special report of the MJAâLancet Countdown on health and climate change: lessons learnt from Australia's "Black Summer"
The MJA-Lancet Countdown on health and climate change was established in 2017, and produced its first Australian national assessment in 2018 and its first annual update in 2019. It examines indicators across five broad domains: climate change impacts, exposures and vulnerability; adaptation, planning and resilience for health; mitigation actions and health co-benefits; economics and finance; and public and political engagement. In the wake of the unprecedented and catastrophic 2019-20 Australian bushfire season, in this special report we present the 2020 update, with a focus on the relationship between health, climate change and bushfires, highlighting indicators that explore these linkages. In an environment of continuing increases in summer maximum temperatures and heatwave intensity, substantial increases in both fire risk and population exposure to bushfires are having an impact on Australia's health and economy. As a result of the "Black Summer" bushfires, the monthly airborne particulate matter less than 2.5Â ÎŒm in diameter (PM2.5 ) concentrations in New South Wales and the Australian Capital Territory in December 2019 were the highest of any month in any state or territory over the period 2000-2019 at 26.0Â ÎŒg/m3 and 71.6Â ÎŒg/m3 respectively, and insured economic losses were $2.2 billion. We also found growing awareness of and engagement with the links between health and climate change, with a 50% increase in scientific publications and a doubling of newspaper articles on the topic in Australia in 2019 compared with 2018. However, despite clear and present need, Australia still lacks a nationwide adaptation plan for health. As Australia recovers from the compounded effects of the bushfires and the coronavirus disease 2019 (COVID-19) pandemic, the health profession has a pivotal role to play. It is uniquely suited to integrate the response to these short term threats with the longer term public health implications of climate change, and to argue for the economic recovery from COVID-19 to align with and strengthen Australia's commitments under the Paris Agreement
- âŠ