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

Meta-Argumentation Frameworks for Multi-party Dialogues

Postprin

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