This paper investigates the relations between Timmer et al.’s proposal for explaining Bayesian networks with structured argumentation and abstract models of probabilistic argumentation. First some challenges are identified for incorporating probabilistic notions of argument strength in structured models of argumentation. Then it is investigated to what extent Timmer et al’s approach meets these...

Mobile and other loosely-coupled environments call for decentralized optimistic replication protocols that provide highly available access to shared objects, while ensuring eventual convergence towards a strongly consistent state. In this paper we propose a novel epidemic weighted voting protocol for achieving such goal. Epidemic weighted voting approaches eliminate the single point of failure ...

Some panels of Figure 1 also appear in more complete form in Supplementary Figures S3 and S5. To clarify this, the authors have supplied a corrected version of the legend to Figure 1. The authors inadvertently used the wrong EMSA gel in the central panel of Figure 4, resulting in a duplication. The righthand panel (VosA1-190 K160A and VosA1-190 dead) was correct, but the central panel (VosA1-19...

In the original publication of article, Table 1 was published incorrectly. The level significance for modelled fixed effect grassland edge density on Grasshopper Sparrow occurrence omitted from table. Grassland had a significant negative (? = ? 0.71, standard error 0.09, p < 0.001). corrected version is shown below.

Adv. Funct. Mater. 2021, 2105190. DOI: 10.1002/adfm.202105190 The originally published version of this article contains an error in Figure 5c. This does not affect the results or conclusions paper. corrected 5 is reproduced below. authors apologize for any inconvenience may have caused.

The original version of this article contained a mistake in the Table 3. In 3: Two rows were accidentally cut out which reported B coefficients and standard errors for two variables multiple regression model, hyperoursal symptom cluster, avoidance/numbing cluster. corrected table is presented below.

We survey some results on the automatic verification of parameterized programs without identities. These are systems composed of arbitrarily many components, all of them running exactly the same finitestate program. We discuss the complexity of deciding that no component reaches an unsafe state. The note is addressed at theoretical computer scientists in general.

This paper improves on the classical results in unconditionally secure multi-party computation among a set of n players, by considering a model with three simultaneously occurring types of player corruption: the adversary can actively corrupt (i.e. take full control over) up to ta players and, additionally, can passively corrupt (i.e. read the entire information of) up to tp players and fail-co...

We consider the problem of routing incoming airplanes to two runways of an airport. Due to air turbulence, the necessary separation time between two successive landing operations depends on the types of the airplanes. When viewed as a queuing problem, this means that we have dependent service times. The aim is to minimize waiting times of aircrafts. We consider here a model where arrivals form ...

Adv. Mater. 2020, 32, 1906641 In the originally published version of this article, data for histological evaluation CPDs toxicity in brain at CON-7d was duplicated Figure S18, instead correct image CPDs-1d being used. The figure is hereby corrected. authors apologize mistake and any inconvenience caused.