Dagger compact closed categories were recently introduced by Abramsky and Coecke, under the name “strongly compact closed categories”, as an axiomatic framework for quantum mechanics. We present a graphical language for dagger compact closed categories, and sketch a proof of its completeness for equational reasoning. We give a general construction, the CPM construction, which associates to each...

We propose Dagger, a lightweight system to dynamically vet sensitive behaviors in Android apps. Dagger avoids costly instrumentation of virtual machines or modifications to the Android kernel. Instead, Dagger reconstructs the program semantics by tracking provenance relationships and observing apps’ runtime interactions with the phone platform. More specifically, Dagger uses three types of low-...

We introduce a new technique for combining multiple learned models. This technique results in a single comprehensible model. This is to be contrasted with current methods that typically combine models by voting. The core of the technique, the DAGGER (Disjoint Aggregation using Example Reduction) algorithm selects examples which provide evidence for each decision region within each local model. ...

While model-based reinforcement learning is often studied under the assumption that a fully accurate model is contained within the model class, this is rarely true in practice. When the model class may be fundamentally limited, it can be difficult to obtain theoretical guarantees. Under some conditions the DAgger algorithm promises a policy nearly as good as the plan obtained from the most accu...

The "Equilibrium Model" has provided new tools for describing and investigating enzyme thermal adaptation. It has been shown that the effect of temperature on enzyme activity is not only governed by deltaG(double dagger)(cat) and deltaG(double dagger)(inact) but also by two new intrinsic parameters, deltaH(eq) and T(eq), which describe the enthalpy and midpoint, respectively, of a reversible eq...

The London Daily/Nocturnal Hemodialysis Study, a prospective, comparative, nonrandomized study, directly compared outcomes of quotidian (daily) hemodialysis patients with conventional thrice-weekly hemodialysis patients. Patients were assigned to either daily (short-hours) hemodialysis (n = 11) or nocturnal hemodialysis (n = 12) and followed up for 5-36 months; all data were directly compared w...

We introduce a novel instance selection method for combining multiple learned models. This technique results in a single comprehensible model. This is to be contrasted with current methods that typically combine models by voting. The core of the technique, the DAGGER (Disjoint Aggregation using Example Reduction) algorithm selects examples which provide evidence for each decision region within ...