Undergraduate Honors Theses
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