2014

Jain, Vishesh

Network-Based Analyses of Pathological Gene Pathways in Neuropsychiatric Disorders

Janthong, Abhabongse

Streaming Algorithm for Determining A Topological Ordering of a Digraph

2013

Clay, Patrick

Discovery of Mutated Collections of Genes Associated with Survival in Cancer Using Local Search

Kang, Jung Uk

Computational Modeling of Scene-selective Visual Neurons in area LIP (Lateral Intraparietal)

Karumbunathan, Aswin

Using Predictive Models for Compression in Database Systems

Lauria, Kshitij

Combinatorial Algorithms for Bipole Self-Assembly on Lattices with Applications to the Lipid Bilayer

Malkin, Nathan

Waiting Makes the Heart Grow Fonder and the Password Grow Stronger

McErlean, Doug

One Constraint to Rule Them All: How to simplify optimizations under constant variable sum, with applications for maximum likelihood

Storch, David

Towards an Intelligent Bidding Agent in QuiBids Penny Auctions

Tremel, Edward

Real-World Performance of Cryptographic Accumulators

Zweig, Jonathan

Procedural Architectural Facade Modeling

2012

Boger, Sam

Defense Against the Dark Arts: An Approach to Introductory Computer Security Education

Bressler, Garrett

Software Transactional Memory in the Linux Kernel

Changpinyo, Soravit

Learning Image Attributes using the Indian Buffet Process

Franco, Jacob

Cryptic Population Substructure and Fuzzy Clustering

Gillani, Nabeel

Joint Assessment and Restoration of Power Systems

Herman, Jeffrey

A Markov random field model for inferring population structure

Ryza, Sandy

Solving Hard Problems with Lots of Computers

Stix, Eric

An Empirical Study of Online Penny Auctions

Stix, Jeffrey

Designing a Bidding Algorithm for Online Penny Auctions

Weis, James

Computational Genomics and Bioenergy: Modeling and Clustering of RNA-SEQ Data

2011

Donahue, Evan

Searching for the Blackbox: Unsupervised Recovery of Relational Schema from Unstructured Airplane Crash Reports

2010

Mustacchi, Robert

StashFS: Generalized Disconnected Operation

Saftoiu, Claudiu

JSTrace: Run-time Type Discovery for JavaScript

Stewart, Allan

Face-center cubic (FCC) lattice models for protein folding: energy function inference and biplane packing

2009

Cheever, Elizabeth

One Dimensional Simulations of Cerebral Blood Flow

Fischer, Travis

Milton

Franks, Alexander

An Efficient Image Search Algorithm For Object Feature Identification in Biological Vision

Lapping-Carr, Micah

RGame: A Video Game for Interactive Robot Learning

2008

Baskin, Jacob

Comparing Apples and Oranges: Using Consensus Rankings for Decision Support

Cunningham, Sam

Predicting when seam carved images become unrecognizable

Diamond, Brandon

[incr Insight] An easy to use, easy to extend module system for Insight/GDB

Garton, Lian

An Investigation of Population Subdivision Methods in Disease Associations with a Focus on Markov Chain Monte Carlo

Gordon, Colin Stebbins

Type-safe Stack Traversal for Garbage Collector Implementation

Panda, Aurojit

An Empirical Study of Structural Symmetry Breaking

Quirk, Lincoln

Ownership of a queue for practical lock-free scheduling

Winograd-Cort, Daniel

Deducing Relevant Bridge Bidding Information from Double Dummy Data

2007

Austerweil, Joe

A Unified, Global and Local, Hierarchical Generative Document Ordering Model

Greenberg, Michael

Declarative, composable views

Lee, Seong Jae

Comparison of Bidding Algorithms for Simultaneous Auctions

Meyerovich, Leo

Flapjax: Functional Reactive Web Programming

2006

Ballard, Lucia

Conflict Avoidance: Data Structures in Transactional Memory

Chang, Edwin

Sketching Articulation and Pose for Facial Meshes

Tse, Ronald Henry

TCP Fairness in Multipath Transport Protocols

2005

Arnaudov, Vesselin

Unified Management of Heterogeneous Sensor Networks In the Atlantis Framework

Bookstaber, Daniel

Using Markov Decision Processes to Solve a Portfolio Allocation Problem

Bromberg-Martin, Ethan

Partial-Order Alignment of RNA Structures

Kern, Edward

The Crunch Mobile Robot

Lee, Stephanie

Quantitative Metrics for White Matter Integrity Based on Diffusion Tensor MRI Data

Sakai, Haruyoshi

Internet Poker: Data Collection and Analysis

Taubman, Gabriel

MusicHand: A Handwritten Music Recognition System

Tom, Nancy

GuShi: An Innovative Multimedia Program Implementing Traditional Textbook Methods for Teaching Intermediate Second Language Learners

Tschantz, Michael

The Clarity of Languages for Access-Control Policies

Ye, Jason

Atlantis: Location Based Services with Bluetooth

2004

Benisch, Michael

Optimization Under Uncertainty in Online Trading Agents

Licata, Daniel

Verifying Interactive Web Programs

2003

Blundell, Colin

A Constraint-Based Approach to Open Feature Verification

Egan, Kevin

Techniques for Real-Time Rigid Body Simulation

Eigen, David

Java Demonstration Software for Differential Geometry and Polyhedral Theories

Finkel, Benjamin

Curvilinear Graph Drawing Using The Force-Directed Method

Ho, Kate

Data Replication under Latency Constraints

Huang, Albert

Ad-hoc Collaborative Document Annotation on a Tablet PC

Kern, Josh

Aurora Performance Monitoring Tool Programmer's Guide

Lederman, Roger

Optimization of Stochastic Inventory Control with Correlated Demands

McClain, Andrew W.

CaveSculpture: Creating sculpture from CavePaintings

Pytlik, Brock

Automatic Debugging Using Potential Invariants

Schrock, Eric

Dynamic Lock Dependency Analysis of Concurrent Systems

Sigelman, Ben

Video-Based Tracking of 3D Human Motion Using Multiple Cameras

Straub, Christian D.

Authentication of Embedded Data in HTML Documents through the Use of Prooflets