250 research outputs found
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming
Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation
Inference from controversial arguments
International audienceWe present new careful semantics within Dung's theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of them indirectly attacks a third argument while the other one indirectly defends the third.We argue that our semantics lead to a better handling of controversial arguments than Dung's ones in some settings. We compare the careful inference relations induced by our semantics w.r.t. cautiousness; we also compare them with the inference relations induced by Dung's semantic
Gamma rays from colliding winds of massive stars
Colliding winds of massive binaries have long been considered as potential sites of non-thermal high-energy photon production. This is motivated by the detection of non-thermal spectra in the radio band, as well as by correlation studies of yet unidentified EGRET gamma-ray sources with source populations appearing in star formation regions. This work re-considers the basic radiative processes and its properties that lead to high energy photon production in long-period massive star systems. We show that Klein-Nishina effects as well as the anisotropic nature of the inverse Compton scattering, the dominating leptonic emission process, likely yield spectral and variability signatures in the gamma-ray domain at or above the sensitivity of current or upcoming gamma ray instruments like GLAST-LAT. In addition to all relevant radiative losses, we include propagation (such as convection in the stellar wind) as well as photon absorption effects, which a priori can not be neglected. The calculations are applied to WR140 and WR147, and predictions for their detectability in the gamma-ray regime are provided. Physically similar specimen of their kind like WR146, WR137, WR138, WR112 and WR125 may be regarded as candidate sources at GeV energies for near-future gamma-ray experiments. Finally, we discuss several aspects relevant for eventually identifying this source class as a gamma-ray emitting population. Thereby we utilize our findings on the expected radiative behavior of typical colliding wind binaries in the gamma-ray regime as well as its expected spatial distribution on the gamma-ray sky
Computer modeling of diabetes and Its transparency: a report on the Eighth Mount Hood Challenge
Objectives
The Eighth Mount Hood Challenge (held in St. Gallen, Switzerland, in September 2016) evaluated the transparency of model input documentation from two published health economics studies and developed guidelines for improving transparency in the reporting of input data underlying model-based economic analyses in diabetes.
Methods
Participating modeling groups were asked to reproduce the results of two published studies using the input data described in those articles. Gaps in input data were filled with assumptions reported by the modeling groups. Goodness of fit between the results reported in the target studies and the groupsâ replicated outputs was evaluated using the slope of linear regression line and the coefficient of determination (R2). After a general discussion of the results, a diabetes-specific checklist for the transparency of model input was developed.
Results
Seven groups participated in the transparency challenge. The reporting of key model input parameters in the two studies, including the baseline characteristics of simulated patients, treatment effect and treatment intensification threshold assumptions, treatment effect evolution, prediction of complications and costs data, was inadequately transparent (and often missing altogether). Not surprisingly, goodness of fit was better for the study that reported its input data with more transparency. To improve the transparency in diabetes modeling, the Diabetes Modeling Input Checklist listing the minimal input data required for reproducibility in most diabetes modeling applications was developed.
Conclusions
Transparency of diabetes model inputs is important to the reproducibility and credibility of simulation results. In the Eighth Mount Hood Challenge, the Diabetes Modeling Input Checklist was developed with the goal of improving the transparency of input data reporting and reproducibility of diabetes simulation model results
Can the dark energy equation-of-state parameter w be less than -1?
Models of dark energy are conveniently characterized by the equation-of-state
parameter w=p/\rho, where \rho is the energy density and p is the pressure.
Imposing the Dominant Energy Condition, which guarantees stability of the
theory, implies that w \geq -1. Nevertheless, it is conceivable that a
well-defined model could (perhaps temporarily) have w<-1, and indeed such
models have been proposed. We study the stability of dynamical models
exhibiting w<-1 by virtue of a negative kinetic term. Although naively
unstable, we explore the possibility that these models might be
phenomenologically viable if thought of as effective field theories valid only
up to a certain momentum cutoff. Under our most optimistic assumptions, we
argue that the instability timescale can be greater than the age of the
universe, but only if the cutoff is at or below 100 MeV. We conclude that it is
difficult, although not necessarily impossible, to construct viable models of
dark energy with w<-1; observers should keep an open mind, but the burden is on
theorists to demonstrate that any proposed new models are not ruled out by
rapid vacuum decay.Comment: 29 pages, 8 figures, minor corrections, reference adde
The Earth: Plasma Sources, Losses, and Transport Processes
This paper reviews the state of knowledge concerning the source of magnetospheric plasma at Earth. Source of plasma, its acceleration and transport throughout the system, its consequences on system dynamics, and its loss are all discussed. Both observational and modeling advances since the last time this subject was covered in detail (Hultqvist et al., Magnetospheric Plasma Sources and Losses, 1999) are addressed
- âŠ