In today’s distributed and heterogeneous systems, provenance data is becoming increasingly important for understanding process flow, tracing how outputs came about, and enabling users to make more informed decisions based on such outputs. However, within such systems, the sources (computational or human) that generate provenance may belong to different stakeholders operating under different pol...

We present a thorough analysis of a combination of a statistical and a transferbased system for English→Czech translation, Moses and TectoMT. We describe several techniques for inspecting such a system combination which are based both on automatic and manual evaluation. While TectoMT often produces bad translations, Moses is still able to select the good parts of them. In many cases, TectoMT pr...

Black-box (functional) test cases are identified from functional requirements of the tested system, which is viewed as a mathematical function mapping its inputs onto its outputs. While the number of possible black-box tests for any non-trivial program is extremely large, the testers can run only a limited number of test cases under their resource limitations. An effective set of test cases is ...

We introduce a statistically correct approach in which events can be processed in partial time order. Upon reception of an outdated message, a process does not always attempt to cancel the bad computations it has performed since the arrival of this message but uses local estimations instead. These local estimations are based on saved historical information. A control should decide whether to us...

The overall objective of the paper is to analyze convergence of CO2 emission intensity across manufacturing sectors in Sweden. Our approach differs from previous work on carbon convergence in that it employs a theoretical framework to construct a CO2 performance index, which explicitly takes into account that industrial firms produce good as well as bad outputs. This index is then used as the d...

This study investigated the role of moral emotions in the development of children's sharing behavior (N = 244 4-, 8-, and 12-year-old children). Children's sympathy was measured with both self- and primary caregiver-reports, and participants anticipated their negatively and positively valenced moral emotions (i.e., feeling guilty, sad, or bad; and feeling proud, happy, or good) following action...

ReDuX [1, 4] is a term rewriting laboratory mainly aimed at theorem proving and completion procedures. ReDuX comprises several variants of Knuth-Bendix completion including a version supporting associative commutative operators and an inductive completion procedure. Several term orderings are available as well as a random term generator and a program to automatically analyze the set of irreduci...

Nearly all of today’s Big Data systems are passive in nature. We demonstrate our Big Active Data (“BAD”) system, a scalable system that continuously and reliably captures Big Data and facilitates the timely and automatic delivery of new information to a large population of interested users as well as supporting analyses of historical information. We built our BAD project by extending an existin...