Undergraduate Honors Theses

2023

Ahluwalia.Anika

Icon The Role of Context and Demographics in Emotional Online Interpretation (519.9 KB)

Chang.Adrian

   Icon Neuro Symbolic Methods for Indoor Scene Synthesis (2.1 MB)

Foiani.Michael

   Icon Interactive Branching Presentation Trails (24.1 MB)

Gross.Hannah

   Icon Funhouse: A Hall of Mirrors Database so Good That Even People on the Inside Can’t See the Truth (772.7 KB)

Handa.Kunal

   Icon How does environment understanding emerge in transformer-based policy networks? (76.0 KB)

  Kobayashi.Momoka

   Icon Evaluation of Explainability Methods on Single-Cell Classification Tasks Using Graph Neural Networks (677.5 KB)

Levy.Amanda

   Icon Mental Health and Innovative Technologies: The Use of Virtual Reality to Address Post-Traumatic Stress Disorder and Anxiety Disorders (387.1 KB)

Li.Jessica

   Icon Compositional Reasoning in Vision-Language Models (755.8 KB)

Ma.Rachel

   Icon Skill Generalization With Verbs (1.2 MB)

Manjal.Anoop

   Icon Examining the Antibody Response From a Covid-19 Booster Shot in Immunocompromised Patients. (566.7 KB)

Mapeke.Marc

   Icon Flowed Flight Fields: Dynamic View Synthesis and Time-of-Flight Corrections Under Motion (5.8 MB)

Patel.Shalin

   Icon Interpretability in Graph Neural Networks (29.1 KB)

Rajesh.Sreshtaa

   Icon Using Dependency Analysis and SAT Solving to Communicate Privacy Problems in Code (1.3 MB)

Riya.Dulepet

   Icon Using Dependency Analysis and SAT Solving to Communicate Privacy Problems in Code (3.1 MB)

Roberts.Geireann Lindfield

   Icon A User-Controlled Document Recommendation System for Knowledge Workers (4.6 MB)

Thakkar.Nitya

   Icon Using Graph Neural Networks to Model the Glioblastoma Free Energy Landscape (3.4 MB)

Venkatachalam.Harshini

   Icon Exploratory Analysis and Clustering of COVID-19 and Intellectual Developmental Disorders in Electronic Health Record Data (630.3 KB)

Wang.Yuanhao

   Icon On Human-like Biases in Deep Neural Networks for the Perception of Slant from Texture (8.0 MB)

Yalavarti.Arvind

   Icon Observatory: Fast and Scalable Systems Observability (1.1 MB)

Yi.Xinjie

   Icon Anonymous CVPR submission (3.6 MB)

Yuan.Andrew

   Icon Prompting and weak supervision (255.3 KB)

Zhan.Xiao

Icon CharacterMixer: Rig-Aware Interpolation of 3D Characters (5.6 MB)

Zhou.Zhiyuan

   Icon Skill Generalization with Attention-Based Ensemble in Lifelong Reinforcement Learning (1.5 MB)

2022

Asif, Muhammad Haider
Icon Beyond DNA methylation: chromatin age of human tissues (1.6 MB)
Bers, Tali
Icon Effects of Target Words and Their Locations in Prompts (3.0 MB)
Bhalla, Usha
Icon Do Vision-Language Pretrained Models Learn Primitive Concepts? (2.7 MB)
Chairattana-Apirom, Rutchathon
Icon Compact Cut-and-Choose: Boosting the Security of Blind Signature Schemes, Compactly (556.8 KB)
Chen, Qianfan
Icon Language Levels in Teaching an Introductory Formal Methods Course (1.3 MB)
Ciabaton, Jack
Icon Cost Function Based Prediction Markets Aggregate Risk-Averse Experts' Beliefs as Opinion Pools (552.1 KB)
de Campos, Jackson
Icon Best Response in Alternating-Offers Negotiation (4.4 MB)
Espiritu, Zachary
Icon Time- and Space-Efficient Aggregate Range Queries over Encrypted Databases (630.1 KB)
Givertz, Benjamin
Icon Incremental Exception Resolution in Tuplex (1.9 MB)
Idehen, Jordan
Icon Evaluating Machine Learning Methods for Predicting Gene Expression from Epigenetic Glioblastoma Data (816.9 KB)
Ivanov, Alexander
Icon Discovering Options that Minimize Average Planning Time (2.9 MB)
Kim, Jung Yeop
Icon Designing an Actuated Walker for Improving User Stability (2.2 MB)
Laidlaw, Eliot
Icon Towards a More Object-Centric Dynamic Scene Reconstruction Model (30.4 MB)
Lim, Jing Wei Nicholas
Icon Termination Classifiers for Image-Based Observation Spaces (2.8 MB)
Ninagawa, Kotone
Icon Strategies in Automated Negotiation Against Time-based Opponents (1.4 MB)
Pikielny, Adam
Icon Consistent Depth Estimation for Video (11.7 MB)
Polatty, Jacob
Icon Securing Veracity: Defenses Against the Pervasive Influence of Social Media (1.0 MB)
Randolph, John
Icon Banzhaf Power in Hierarchical Games (839.9 KB)
Roy, Monica
Icon Task Specification in LTL with Quantifiers for Robotic Instruction Following (247.8 KB)
Sachan, Kshitij
Icon Learning a Distance Metric over Markov Decision Processes (4.8 MB)
Sharma, Gaurav and Glass, Geoffrey
Icon Handling Concept Drift in Weakly Supervised Learning (843.2 KB)
Smits, Daniel
Icon The Data Structure of Ad-Hoc Alternatives (866.5 KB)
So, Leonard
Icon Learning to Optimize (L20) (304.4 KB)
Srivastava, Aryan
Icon Examining the effects of the like-dislike ratio on users' consumption of and interaction with political content on YouTube (340.2 KB)
Syed, Sara
Icon Understanding and Increasing Empathy in Online Text-Based Peer Support Systems (1.5 MB)
Trotz, Caleb
Icon Disentangling Levels of Detail in Implicit Shape Generation with Explicit Bounding Proxies (1.1 MB)
Tung, Nathan
Icon Neuro-Hotnet: A Graph Theoretic Approach for Brain FC Estimation (4.4 MB)
Wang, Jeremy
Icon Interpretable Modeling of Cellular Perturbations (403.9 KB)
Yu, Jacob
Icon Towards Social Video Verification to Combat Deepfakes via Deep Learning (16.1 MB)
Zaki, Hossam
Icon Predicting Cell Type and Extracting Key Genes using Single Cell Multi-Omics Data and Graph Neural Networks (416.8 KB)
Zhang, William
Icon Learning Relabelled Convex Combinations of Weak Labellers (2.6 MB)

2021

Berg, Matthew
Icon Natural Language to Long-Range Robot Navigation in Outdoor Environments (16.7 MB)
Blinn, Bryce
Icon Functional Chair Programs in ShapeAssembly (5.2 MB)
Gonzalez, Lucia Regina Reyes
Icon What You See Is Not Always What You Get: An Analysis of Informative Graphs in Formal Methods Languages (14.5 MB)
Jurayj, William
            Icon Scaling Bias in Journalism using Contextual Embeddings (1.4 MB)
Milefchik, Isa
Icon Interactive Image Synthesis Using a Latent 3D Gaussian Model (15.8 MB)
O'Halloran, Amelia
Icon The Technical, Legal, and Ethical Landscape of Deepfake Pornography (1.7 MB)
Pal, Koyena
Icon The Effect of Multi-Document Summarizations on User SERP Experience (1.1 MB)
Sam, Dylan
Icon Learning from Dependent Weak Supervision Sources (1.4 MB)
Walke, Homer
Icon Learning Finite Linear Temporal Logic Formulas (669.6 KB)

2020

Baruah, Prakrit
Icon Predicting Hospital Readmission using Unstructure Clinical Note Data (729.7 KB)
Bayazit, Deniz
Icon Generalizing Natural Language Instruction Following to Aerial Robots and Arbitrary Environments (4.9 MB)
Christ, Miranda
Icon New Lower Bounds on the Complexity of Provably Anonymous Onion Routing (608.6 KB)
Galgana, Rigel
Icon Optimal Reserve Price Estimation in the Generalized First and Second Price Auctions with Best Response Dynamics (1.8 MB)
Guo, Erica
Icon Information Retrieval for Genetic Mutations and Diseases (968.8 KB)
Huang, Amy
Icon Mystery Functions (1.0 MB)
Huang, Shawna
Icon Downstream Effects of the Brown Computer Science Introductory Sequences (4.1 MB)
Jha, Rohan
Icon Data augmentation and the role of hardness for feature learning in NLP (853.1 KB)
Levin, Joshua
Icon ViperProbe: Using eBPF Metrics to Improve Microservice Observability (4.0 MB)
Ouyang, Kevin
Icon Self-E: Procedurally Guided Self-Experiments for Novice Health Hackers (1.9 MB)
Renshaw, Lena
Icon Determining which Sentiment Analysis Predictive Model to use for a given Social Media Election Dataset (981.0 KB)
Simons, Shoshana
Icon What Communication Complexity Can Tell Us About Circuit Complexity (199.5 KB)
Stone, Henry
Icon Transparent Voxelized Geometry Representations for Machine Learning (18.0 MB)
Tu, Karen
Icon Explaining Black Box Models for Document Retrieval (1.3 MB)
Wagner, Andrew
Icon Where to Begin? Synthesizing Initial Configurations for Cellular Automata (382.1 KB)

2019

Ball, Michael
Icon RIPPED: Recursive Intent Propagation using Pretrained Embedding Distances (1.9 MB)
Brennan, Nathaniel
Icon Remote Object Fetching with Descriptive Question Asking (339.1 KB)
Chaudhry, Abraar
Icon Uncertainty Quantification for Robust Classification (1.7 MB)
Diwan, Renuka
Icon The Effect of Rural Road Development on Hospital Births: Evidence from India (656.2 KB)
Farley, Edwin
Icon Missing Data Methods when Values are Missing Together: A Simulation-Based Examination of Joint Modeling and Fully Conditional Specification Imputation Schemes (289.4 KB)
Fong, Grant
Icon Direct Message Extraction for Automatic Emotional Inference and Drug Detection (838.3 KB)
Gleyzer, Leonard
Icon Weakly-Supervised Classifier Learning via Temporal Logic (1.1 MB)
Guerrant, Elisa
Icon Hardening the Linux Kernal Key Retention Service against Information Disclosure Vulnerabilities (615.8 KB)
Jiang, Elaine
Icon Practicing in Virtual Reality Improves Mental Rotation Ability: Lower Scorers Benefit More (626.3 KB)
Kasser, Lucas
Icon Lightfield Superpixel Segmentation and Segmentation-Based Editing (23.3 MB)
Li, Michael
Icon Natural Language Understanding within the context of Question Matching (841.6 KB)
Murphy, Daniel
Icon Markerless 3D Pose Estimation from RGB Data (667.5 KB)
Nadimpalli, Shivam
Icon Discrete Isoperimetry and Protein Folding (1.8 MB)
Ramos, Jerome
Icon Explainability in Transparent Information Retrieval Systems (711.9 KB)
Romano, Joseph
Icon WebMesh: A Browser-Based Computational Framework for Serverless Applications (277.7 KB)
Roy, Josh
Icon Learning Feature Extraction for Transfer from Simulation to Reality (3.4 MB)
Servan-Schreiber, Sacha
Icon Cryptographically Certified Hypothesis Testing (1.1 MB)
Shteinfeld, Benjamin
Icon LibFilter: Debloating Dynamically-Linked Libraries through Binary Recompilation (122.9 KB)
Turcu, Adrian
Icon Protein Folding Prediction and Visualization Techniques Based on Hydrophobic Side Chain Interactions (5.3 MB)
Weir, Nathaniel
Icon Bootstrapping Generalization in Neural Text-to-SQL Semantic Parsing Models (1.3 MB)
Zhang, Aaron
Icon Proofs of sequential work with unique proofs (479.9 KB)

2018

Gadre, Samir
Icon Teaching Robots Using Mixed Reality (6.1 MB)
Guo, Yue (Sophie)
Icon Finding Optimal Strategies over Families of Tasks in Reinforcement Learning (909.4 KB)
Hou, Andrew
Icon Light Field Super Resolution with Convolutional Neural Networks (3.2 MB)
Karamcheti, Siddharth
Icon Grounding Natural Language to Goals for Abstraction, Generalization, and Interpretability (1.8 MB)
Kim Jr., Isaac
Icon Advancing Precision Medicine - Investigating The Relationship Between Race, Comorbidities, and Cancer Through Network Analysis (20.2 MB)
Kubala, Vincent
Icon Inferring the Intentions of Learning Agents (265.0 KB)
Lightsey, Connor
Icon Restricted Transactional Memory and SkipLists (339.7 KB)
Picard, Noah
Icon Smooth Segmentation in Videos: Blind Consistency Over Semantic Segmentations Produced by Fully Convolutional Networks (21.6 MB)
Porncharoenwase, Sorawee
Icon An Inside-Out Resugaring System (338.4 KB)
Pratt, Sarah
Icon A Machine Learning Approach to Improve Automated Kinematics Tracking of Non-Human Primates (4.9 MB)
Sanford, Clayton
Icon Applying Rademacher-Like Bounds to Combinatorial Samples and Function Selection (719.5 KB)
Shi, Di Yang (Steven)
Icon An Exposition of Adversarial Examples in Neural Networks (8.3 MB)
Whang, Sungseob
Icon Exploiting Timing Violations under Voltage Scaling with Hardware Transactional Memory (2.6 MB)

2017

Chen, Frances
Icon Exploring the Conversion of Videos into 3D Models (14.2 MB)
Chitra, Uthsav
Icon Random Walks on Hypergraphs with Applications to Disease-Gene Prioritization (904.6 KB)
Cunningham, Nick
Icon Two-Party Generation of Shared RSA Keys through Encryption Switching Protocols (218.5 KB)
Jayaram, Rajesh
Icon Learning Stochastically Evolving Networks via Local Probing (831.5 KB)
Liu, David
Icon Nonparametric Clustering with Variational Inference for Tumor Heterogeneity (2.9 MB)
Perera, Sudheesha
Icon A Haplotype-Based Predictive Model for Genotype/Expression Datasets (878.8 KB)
Vemuri, Keshav
Icon Growth Rate of the Cube Recurrence (429.8 KB)

2016

Hoff, Timothy Adam
Icon Extending Open vSwitch to Facilitate Creation of Stateful SDN Applications (119.9 KB)
Kim, YounHun
Icon Algebraic Connectivity of Graphs, with Applications (309.5 KB)
Nado, Zachary
Icon Deep Recurrent and Convolutional Neural Networks for Automated Behavior Classification (2.8 MB)
Sachs, Sarah
Icon Similar-Part Approximation Using Invariant Feature Descriptors (4.5 MB)
Thompson, Joseph
Icon Recent Applications in Mechanism Design (252.8 KB)
Wallace, Henry
Icon Clustering of Musical Genres (980.3 KB)

2015

Acheson-Field, Hannah
Icon Reconstructing Clonal Trees From Multi-Sample Sequencing Data (1.2 MB)
Correa Orozco, David
Icon TeachWithGlass: Improving the Teaching Experience through Google Glass (509.1 KB)
Eldon, Miles
Icon Incrementally Interpreting Multimodal Referring Expressions in Real Time (4.6 MB)
Hershkowitz, D. Ellis
Icon Leveraging and Learning Propositional Functions for Large State Spaces in Planning and Reinforcement Learning (5.1 MB)
Light, Alex
Icon Reenix: Implementing a Unix-Like Operating System in Rust (335.3 KB)
Lu, Jeffrey
Icon Avoiding Parameter Overfitting in a Monte Carlo Approach to Real-Time Strategy Games (329.8 KB)
Metaxa-Kakavouli, Danae
Icon SleepCoacher: Combining Computational and Clinician-Generated Sleep Recommendations (3.2 MB)
Phene, Sonia
Icon Parallelization of Variational Inference for Bayesian Nonparametric Topic Models (506.0 KB)
Schvimer, Judah
Icon Take the First Right and Go Straight Forever: Novel Planning Algorithms in Stochastic Infinite Domains (429.0 KB)
Siranosian, Benjamin
Icon A Multi-scale Ensemble Model of Chromatin Conformation (1.7 MB)
Steen, Frances
Icon Teleportation as a Strategy for Improving Concurrent Skiplist Performance (476.2 KB)
Stephenson, Will
Icon Variational Inference for Hierarchical Dirichlet Process Based Nonparametric Models (3.0 MB)
Wu, Chenggang
Icon Nested Transaction: An Efficient Facility to Enforce the Nesting and the Partial Ordering Requirements in S-Store (1.1 MB)
Yauney, Gregory
Icon Artificially and (Hopefully) Intelligently Modeling Program Synthesis: Planning in a Large, Strange State Space (232.5 KB)

2014

Aebi, Bryce
Peernote Status Report
Boreiko, John
Implementation Analysis of Haze Protocol
Frantz, Jacob
Dynamic Resolution Fluid Simulation by Spectral Methods
Herlihy, Anna
Compilation Techniques for Distributed Analytics
Hou, Ning
Two Problems Related to cis-Regulatory Architecture of Transcription Factor Encoding Genes: Homologous Translation and Evolutionary Conservation-Based cis-Module Inference
Hsiao, Vivian
Network Constrained Regression
Jain, Vishesh
Icon Network-Based Analyses of Pathological Gene Pathways in Neuropsychiatric Disorders (546.4 KB)
Janthong, Abhabongse
Icon Streaming Algorithm for Determining A Topological Ordering of a Digraph (411.8 KB)
Leavitt, Jonathan
End-to-End Tracing Models: Analysis and Unification
Wald, Elias
A More Performant List Under Concurrent Environments Using Hardware Support for Transactional Memory

2013

Clay, Patrick
Icon Discovery of Mutated Collections of Genes Associated with Survival in Cancer Using Local Search (182.0 KB)
Kang, Jung Uk
Icon Computational Modeling of Scene-selective Visual Neurons in area LIP (Lateral Intraparietal) (1.3 MB)
Karumbunathan, Aswin
Icon Using Predictive Models for Compression in Database Systems (597.4 KB)
Lauria, Kshitij
Icon Combinatorial Algorithms for Bipole Self-Assembly on Lattices with Applications to the Lipid Bilayer (522.7 KB)
Malkin, Nathan
Icon Waiting Makes the Heart Grow Fonder and the Password Grow Stronger (298.6 KB)
McErlean, Doug
Icon One Constraint to Rule Them All: How to simplify optimizations under constant variable sum, with applications for maximum likelihood (311.2 KB)
Storch, David
Icon Towards an Intelligent Bidding Agent in QuiBids Penny Auctions (453.3 KB)
Tremel, Edward
Icon Real-World Performance of Cryptographic Accumulators (747.5 KB)
Zweig, Jonathan
Icon Procedural Architectural Facade Modeling (2.0 MB)

2012

Boger, Sam
Icon Defense Against the Dark Arts: An Approach to Introductory Computer Security Education (433.0 KB)
Bressler, Garrett
Icon Software Transactional Memory in the Linux Kernel (954.2 KB)
Changpinyo, Soravit
Icon Learning Image Attributes using the Indian Buffet Process (2.5 MB)
Franco, Jacob
Icon Cryptic Population Substructure and Fuzzy Clustering (1.5 MB)
Gillani, Nabeel
Icon Joint Assessment and Restoration of Power Systems (2.4 MB)
Herman, Jeffrey
Icon A Markov random field model for inferring population structure (731.0 KB)
Ryza, Sandy
Icon Solving Hard Problems with Lots of Computers (455.2 KB)
Stix, Eric
Icon An Empirical Study of Online Penny Auctions (202.8 KB)
Stix, Jeffrey
Icon Designing a Bidding Algorithm for Online Penny Auctions (302.8 KB)
Weis, James
Icon Computational Genomics and Bioenergy: Modeling and Clustering of RNA-SEQ Data (1.0 MB)

2011

Donahue, Evan
Icon Searching for the Blackbox: Unsupervised Recovery of Relational Schema from Unstructured Airplane Crash Reports (259.4 KB)

2010

Mustacchi, Robert
Icon StashFS: Generalized Disconnected Operation (237.4 KB)
Saftoiu, Claudiu
Icon JSTrace: Run-time Type Discovery for JavaScript (268.1 KB)
Stewart, Allan
Icon Face-center cubic (FCC) lattice models for protein folding: energy function inference and biplane packing (657.9 KB)

2009

Cheever, Elizabeth
Icon One Dimensional Simulations of Cerebral Blood Flow (3.6 MB)
Fischer, Travis
Icon Milton (6.5 MB)
Franks, Alexander
Icon An Efficient Image Search Algorithm For Object Feature Identification in Biological Vision (525.5 KB)
Lapping-Carr, Micah
Icon RGame: A Video Game for Interactive Robot Learning (4.2 MB)

2008

Baskin, Jacob
Icon Comparing Apples and Oranges: Using Consensus Rankings for Decision Support (141.7 KB)
Cunningham, Sam
Icon Predicting when seam carved images become unrecognizable (4.9 MB)
Diamond, Brandon
Icon [incr Insight] An easy to use, easy to extend module system for Insight/GDB (353.8 KB)
Garton, Lian
Icon An Investigation of Population Subdivision Methods in Disease Associations with a Focus on Markov Chain Monte Carlo (208.3 KB)
Gordon, Colin Stebbins
Icon Type-safe Stack Traversal for Garbage Collector Implementation (313.3 KB)
Panda, Aurojit
Icon An Empirical Study of Structural Symmetry Breaking (267.4 KB)
Quirk, Lincoln
Icon Ownership of a queue for practical lock-free scheduling (146.6 KB)
Winograd-Cort, Daniel
Icon Deducing Relevant Bridge Bidding Information from Double Dummy Data (1.6 MB)

2007

Austerweil, Joe
Icon A Unified, Global and Local, Hierarchical Generative Document Ordering Model (249.4 KB)
Greenberg, Michael
Icon Declarative, composable views (156.5 KB)
Lee, Seong Jae
Icon Comparison of Bidding Algorithms for Simultaneous Auctions (454.7 KB)
Meyerovich, Leo
Icon Flapjax: Functional Reactive Web Programming (709.4 KB)

2006

Ballard, Lucia
Icon Conflict Avoidance: Data Structures in Transactional Memory (213.4 KB)
Chang, Edwin
Icon Sketching Articulation and Pose for Facial Meshes (1.6 MB)
Tse, Ronald Henry
Icon TCP Fairness in Multipath Transport Protocols (1.6 MB)

2005

Arnaudov, Vesselin
Icon Unified Management of Heterogeneous Sensor Networks In the Atlantis Framework (239.3 KB)
Bookstaber, Daniel
Icon Using Markov Decision Processes to Solve a Portfolio Allocation Problem (532.5 KB)
Bromberg-Martin, Ethan
Icon Partial-Order Alignment of RNA Structures (1.5 MB)
Kern, Edward
Icon The Crunch Mobile Robot (426.8 KB)
Lee, Stephanie
Icon Quantitative Metrics for White Matter Integrity Based on Diffusion Tensor MRI Data (608.6 KB)
Sakai, Haruyoshi
Icon Internet Poker: Data Collection and Analysis (1.4 MB)
Taubman, Gabriel
Icon MusicHand: A Handwritten Music Recognition System (419.8 KB)
Tom, Nancy
Icon GuShi: An Innovative Multimedia Program Implementing Traditional Textbook Methods for Teaching Intermediate Second Language Learners (442.4 KB)
Tschantz, Michael
Icon The Clarity of Languages for Access-Control Policies (205.7 KB)
Ye, Jason
Icon Atlantis: Location Based Services with Bluetooth (248.2 KB)

2004

Benisch, Michael
Icon Optimization Under Uncertainty in Online Trading Agents (252.1 KB)
Licata, Daniel
Icon Verifying Interactive Web Programs (509.9 KB)

2003

Blundell, Colin
Icon A Constraint-Based Approach to Open Feature Verification (230.6 KB)
Egan, Kevin
Icon Techniques for Real-Time Rigid Body Simulation (397.3 KB)
Eigen, David
Icon Java Demonstration Software for Differential Geometry and Polyhedral Theories (191.9 KB)
Finkel, Benjamin
Icon Curvilinear Graph Drawing Using The Force-Directed Method (135.5 KB)
Ho, Kate
Icon Data Replication under Latency Constraints (340.7 KB)
Huang, Albert
Icon Ad-hoc Collaborative Document Annotation on a Tablet PC (221.8 KB)
Kern, Josh
Icon Aurora Performance Monitoring Tool Programmer's Guide (355.1 KB)
Lederman, Roger
Icon Optimization of Stochastic Inventory Control with Correlated Demands (159.7 KB)
McClain, Andrew W.
Icon CaveSculpture: Creating sculpture from CavePaintings (691.5 KB)
Pytlik, Brock
Icon Automatic Debugging Using Potential Invariants (833.6 KB)
Schrock, Eric
Icon Dynamic Lock Dependency Analysis of Concurrent Systems (333.3 KB)
Sigelman, Ben
Icon Video-Based Tracking of 3D Human Motion Using Multiple Cameras (12.0 MB)
Straub, Christian D.
Icon Authentication of Embedded Data in HTML Documents through the Use of Prooflets (379.1 KB)