Technical Reports
2006
Preconditioners for the discretized time-harmonic Maxwell equations in mixed form
A Better Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
Finding a Hamiltonian cycle in the dual graph of Right-Triangulations
Presenter-on-Paper: the Camera Phone as an In-Class Educational Technology Tool
"What I Want, Where I Want:" Reference Material Use in Tabletop Work
Finding local RNA motifs using covariance models
Local Consistency in Junction Graphs for Constraint-Based Inference
Shuffler: Modeling with Interchangeable Parts
ArtiSynth: A Biomechanical Simulation Platform for the Vocal Tract and Upper Airway
Omnidirectional Humanoid Balance Control:Multiple Strategies for Reacting to a Push
Captured Dynamics Data of 5 Mechanical Knobs
Integrating Gaussian Processes with Word-Sequence Kernels for Bayesian Text Categorization
A Preconditioner For Linear Systems Arising From Interior-Point Optimization Methods
Gradient Projection for General Quadratic Programs (Replaced by TR-2007-16)
Routing Transient Traffic in Mobile Ad Hoc Networks
Understanding 802.11 Performance for Two Competing Flows (Replaced by TR-2007-09)
Computing nonnegative tensor factorizations
Comparing Forward and Backward Reachability as Tools for Safety Analysis
Exact regularization of convex programs
FAST MARCHING METHODS FOR A CLASS OF ANISOTROPIC STATIONARY HAMILTON-JACOBI EQUATIONS
Highly Efficient Flooding in Mobile Ad Hoc Networks
Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge