This collection contains some of the Ph.D dissertations written by students in the Dartmouth Department of Computer Science.

Follow


Theses/Dissertations from 2024

PDF

Efficient and Effective Learning of Foundational Large Multi-Modal Models, Yiren Jian

Theses/Dissertations from 2023

PDF

Probing and enhancing the reliance of Transformer models on poetic information, Almas Abdibayev

PDF

DEEP LEARNING METHODS FOR PREDICTION OF AND ESCAPE FROM PROTEIN RECOGNITION, Bowen Dai

PDF

Self-Supervised Pretraining and Transfer Learning on fMRI Data with Transformers, Sean Paulsen

PDF

Sensitive and Makeable Computational Materials for the Creation of Smart Everyday Objects, Te-yen Wu Mr

Theses/Dissertations from 2022

PDF

Protecting Systems From Exploits Using Language-Theoretic Security, Prashant Anantharaman

PDF

Correlations and Reuse for Fast and Accurate Physically Based Light Transport, Benedikt Bitterli

PDF

Space-Efficient Algorithms and Verification Schemes for Graph Streams, Prantar Ghosh

PDF

Information Provenance for Mobile Health Data, Taylor A. Hardin

Theses/Dissertations from 2021

PDF

Multimodal Human Group Behavior Analysis, Chongyang Bai

PDF

DETECTION OF HEALTH-RELATED BEHAVIOURS USING HEAD-MOUNTED DEVICES, Shengjie Bi

PDF

Exploiting Group Structures to Infer Social Interactions From Videos, Maksim Bolonkin

PDF

Analyses and Creation of Author Stylized Text, Keith Carlson

PDF

Data Driven Analysis And Characterization Of Modern Android Malware, Qian Han

PDF

Towards Effective Delivery of Digital Interventions for Mental and Behavioral Health, Varun Mishra

Theses/Dissertations from 2020

PDF

Data-driven Personalized Applications in Networks, Chuankai An

PDF

Defense in Depth of Resource-Constrained Devices, Ira Ray Jenkins

PDF

Bridging the Gap Between Intent and Outcome: Knowledge, Tools & Principles for Security-Minded Decision-Making, Vijay Harshed Kothari

PDF

Stylized 2D Fabrication of Non-photorealistic Images, Athina Panotopoulou

Theses/Dissertations from 2019

PDF

Trustworthy Wireless Personal Area Networks, Travis W. Peters

PDF

Interlocking structure design and assembly, Yinan Zhang

Theses/Dissertations from 2018

PDF

Secure short-range communications, Timothy J. Pierson

PDF

Complex Neural Networks for Audio, Andy M. Sarroff

PDF

Types for the Chain of Trust: No (Loader) Write Left Behind, Rebecca Shapiro

Theses/Dissertations from 2016

PDF

Algorithmic Problems Arising in Posets and Permutations, Shahrzad Haddadan

PDF

Towards A Verified Complex Protocol Stack in a Production Kernel: Methodology and Demonstration, Peter C. Johnson

PDF

Implications of Motion Planning: Optimality and k-survivability, Yu-Han Lyu

PDF

Seamless Authentication for Ubiquitous Devices, Shrirang Mare

PDF

Privacy-preserving controls for sharing mHealth data, Aarathi Prasad

PDF

TEDDI: Tamper Event Detection on Distributed Cyber-Physical Systems, Jason O. Reeves

PDF

Representations and Models for Large-Scale Video Understanding, Du Le Hong Tran

PDF

Constraint-based robot knot tying, Weifu Wang

Theses/Dissertations from 2014

PDF

Methods for efficient object categorization, detection, scene recognition, and image search, Alessandro Bergamo

PDF

ModFlows: Methods for Studying and Managing Mesh Editing Workflows, Jonathan D. Denning

Theses/Dissertations from 2013

PDF

Geometrical and probabilistic methods for determining association models and structures of protein complexes, Himanshu Chandola

PDF

Usable Security for Wireless Body-Area Networks, Cory Cornelius

PDF

Photo Forensics from Partial Constraints, Eric R. Kee

PDF

Sampling for Complexity in Rendering, Jiawei Ou

PDF

Access Control In and For the Real World, Sara Sinclair

PDF

Security-Policy Analysis with eXtended Unix Tools, Gabriel A. Weaver

Theses/Dissertations from 2011

PDF

Anomaly Detection in Network Streams Through a Distributional Lens, Chrisil Arackaparambil

PDF

Minimum time kinematic trajectories for self-propelled rigid bodies in the unobstructed plane, Andrei A. Furtuna

PDF

Assisting Human Motion-Tasks with Minimal, Real-time Feedback, Paritosh A. Kavathekar

PDF

Appearance-design interfaces and tools for computer cinematography: Evaluation and application, William B. Kerr

PDF

Tackling Latency Using FG, Priya Natarajan

PDF

Large-scale Wireless Local-area Network Measurement and Privacy Analysis, Keren Tan

Theses/Dissertations from 2010

PDF

Flexible Object Manipulation, Matthew P. Bell

PDF

Some Communication Complexity Results and their Applications, Joshua E. Brody

PDF

Graph algorithms for NMR resonance assignment and cross-link experiment planning, Fei Xiong

PDF

Optimization Algorithms for Site-directed Protein Recombination Experiment Planning, Wei Zheng

Theses/Dissertations from 2009

PDF

Hardware-Assisted Secure Computation, Alexander Iliev

Theses/Dissertations from 2008

PDF

A Dynamically Refocusable Sampling Infrastructure for 802.11 Networks, Udayan Deshpande

PDF

Group-Aware Stream Filtering, Ming Li

PDF

Attribute-Based, Usefully Secure Email, Christopher P. Masone

PDF

Mesh-Mon: a Monitoring and Management System for Wireless Mesh Networks, Soumendra Nanda

PDF

Evaluating Mobility Predictors in Wireless Networks for Improving Handoff and Opportunistic Routing, Libo Song

PDF

Anchor-Free Localization in Mixed Wireless Sensor Network Systems, Yurong Xu

Theses/Dissertations from 2007

PDF

Lighting and Optical Tools for Image Forensics, Micah Kimo Johnson

PDF

Complete Configuration Space Analysis for Structure Determination of Symmetric Homo-oligomers by NMR, Shobha Potluri

PDF

Settling for limited privacy: how much does it help?, Anna M. Shubina

PDF

Experiment Planning for Protein Structure Elucidation and Site-Directed Protein Recombination, Xiaoduan Ye

Theses/Dissertations from 2006

PDF

Secure Context-sensitive Authorization, Kazuhiro Minami

PDF

Path Planning Algorithms under the Link-Distance Metric, David Phillip Wagner

Theses/Dissertations from 2005

PDF

Natural Image Statistics for Digital Image Forensics, Siwei Lyu

PDF

Efficient Wait-Free Algorithms for Implementing LL/SC Objects, Srdjan Petrovic

PDF

On-line Metasearch, Pooling, and System Evaluation, Robert A. Savell

PDF

Improving Large-Scale Network Traffic Simulation with Multi-Resolution Models, Guanhua Yan

PDF

Performance Evaluation of Distributed Security Protocols Using Discrete Event Simulation, Meiyuan Zhao

Theses/Dissertations from 2004

PDF

Parallel Out-of-Core Sorting: The Third Way, Geeta Chaudhry

PDF

Solar: Building A Context Fusion Network for Pervasive Computing, Guanling Chen

PDF

Heterogeneous Self-Reconfiguring Robotics, Robert Charles Fitch

PDF

Statistical Tools for Digital Image Forensics, Alin C. Popescu

PDF

Type-Safe Operating System Abstractions, Lea Wittie

Theses/Dissertations from 2003

PDF

Efficient I/O for Computational Grid Applications, Ron A. Oldfield

PDF

An Analysis of Convergence Properties of the Border Gateway Protocol Using Discrete Event Simulation, Brian J. Premore

PDF

On the Complexity of Implementing Certain Classes of Shared Objects, King Yang Tan

Theses/Dissertations from 2002

PDF

Metasearch: Data Fusion for Document Retrieval, Mark H. Montague

Theses/Dissertations from 2001

PDF

Market-based Control of Mobile-agent Systems, Jonathan L. Bredin

Theses/Dissertations from 2000

PDF

Naming and sharing resources across administrative boundaries, Jonathan R. Howell

Theses/Dissertations from 1998

PDF

Multiple Media Correlation: Theory and Applications, Charles B. Owen

Theses/Dissertations from 1997

PDF

Agent Tcl: A flexible and secure mobile-agent system, Robert S. Gray

Theses/Dissertations from 1996

PDF

Galley: A New Parallel File System for Parallel Applications, Nils Nieuwejaar

Theses/Dissertations from 1994

PDF

Efficient Parallel Algorithms for Closest Point Problems, Peter Su

Theses/Dissertations from 1993

PDF

Accurate Verification of Five-Axis Numerically Controlled Machining, Jerome L. Quinn

Theses/Dissertations from 1992

PDF

Formal Implementation of High-Level Languages for Data-Parallel Programming, Deb Banerjee

Theses/Dissertations from 1991

PDF

Parallel Algorithms For Graph Problems, Panagiotis Metaxas

Multiplicatively Weighted Crystal Growth Voronoi Diagrams, Barry F. Schaudt