Technical Reports

Interpreter Implementation of Advice Weaving

Evaluating Two Window Manipulation Techniques on a Large Screen Display

Sparsity priors and boosting for learning localized distributed feature representations

PReach: A Distributed Explicit State Model Checker

Where do priors and causal models come from? An experimental design perspective

A Mixed Finite Element Method with Exactly Divergence-free Velocities for Incompressible Magnetohydrodynamics

Preconditioning Iterative Methods for the Optimal Control of the Stokes Equations

Sequential Model-Based Optimization for General Algorithm Configuration (extended version)

A Guide to Visual Multi-Level Interface Design From Synthesis of Empirical Study Evidence

Determining Relevancy: How Software Developers Determine Relevant Information in Feeds

Exploring older adults' needs and preferences in learning to use mobile computer devices