Undergraduate Honors Theses
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
- 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
| Page Owner: Webmaster | Last Modified: Mon May 12 09:32:43 2008 |