Argumentation theory can encode an agent’s assessment of the state of an exchange of points of view. We present a conservative model of multiple agents potentially disagreeing on the views presented during a process of ...

The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...

Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This ...

This study aims to investigate the capability of U-Nets in improving image reconstruction accuracy for proton range verification within the framework of the NOVO (Next generation imaging for real-time dose verification ...

This paper uses a new convolutional neural network framework to collect data on leading indicators including historical prices and their futures and options, and use arrays as the input map of the CNN framework for stock ...

Probabilistic Movement Primitives (ProMPs) model robot motor skills by capturing the mean and variance of a set of demonstrations provided by a human teacher. Such a probabilistic representation of motor skills is beneficial ...

Symbolic execution is an important technique for software analysis, which enables systematic model exploration by following all possible execution paths for a given program. For multithreaded shared variable programs, this ...