Undergraduate Honors Theses


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


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


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


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


Cheever, Elizabeth
One Dimensional Simulations of Cerebral Blood Flow
Fischer, Travis
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


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


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


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


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


Benisch, Michael
Optimization Under Uncertainty in Online Trading Agents
Licata, Daniel
Verifying Interactive Web Programs


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