This collection represents a series of “Technical Reports” produced by members of the Department of Computer Science (formerly the Department of Mathematics and Computer Science) since 1986. They include material deemed by the faculty to be worthy of public release; in some cases, Technical Reports were later revised and published in the archival literature. Prior to September 2020, the series was also a venue for release of some PhD dissertations, MS theses, and undergraduate honors theses.
Prior to the year 2000, reports were numbered in the form PCS-TRyy-nnn, where yy was the 2-digit year (19yy), and nnn was a sequence number. “PCS” stood for “paper in computer science”; for the earliest reports, the pdf contains a scan of the original paper document or a distillation of the original Postscript file. In rare cases, the first three letters (“PCS”) was occasionally “DCS”, for a diskette, or “TCS" for a tape; most of these have been transferred to archive files and made available here.
Starting in the year 2000, new reports were numbered in the form TRyyyy-nnn, with sequence number nnn continuous across years. In 2021 we expanded the number format to to TRyyyy-nnnn, since the sequence numbers exceeded 999.
For more information about the Dartmouth Computer Science Technical Report series, please contact Computer.Science.Department@Dartmouth.EDU.
Submissions from 2003
An Evaluation of the Impact of Models for Radio Propagation on the Simulation of 802.11b Wireless Networks, Evan W. Richardson
A Surface-based Approach for Classification of 3D Neuroanatomic Structures, Li Shen, James Ford, Fillia Makedon, and Andrew Saykin
Using caching for browsing anonymity, Anna M. Shubina and Sean W. Smith
Discovery, Visualization and Analysis of Gene Regulatory Sequence Elements in Genomes, Daniel F. Simola
A Progressive Folding Algorithm for RNA Secondary Structure Prediction, Samuel J. Stearns
On the Complexity of Implementing Certain Classes of Shared Objects, King Yang Tan
An Active Learning Approach to Efficiently Ranking Retrieval Engines, Lisa A. Torrey
Using Low Level Linear Memory Management for Type-Preserving Mark-Sweep Garbage Collector, Edward Wei
A Probability-Based Similarity Measure for Saupe Alignment Tensors with Applications to Residual Dipolar Couplings in NMR Structural Biology, Anthony K. Yan, Christopher J. Langmead, and Bruce Randall Donald
Submissions from 2002
The Future of Cryptography Under Quantum Computers, Marco A. Barreno
Context Aggregation and Dissemination in Ubiquitous Computing Systems, Guanling Chen and David Kotz
Solar: A pervasive-computing infrastructure for context-aware mobile applications, Guanling Chen and David Kotz
Exact formulae for the Lovasz Theta Function of sparse Circulant Graphs, Valentino Crespi
Decentralized Control for Coordinated flow of Multi-Agent Systems, Valentino Crespi, George Cybenko, Daniela Rus, and Massimo Santini
Analysis of Protein Sequences Using Time Frequency and Kolmogorov-Smirnov Methods, Kobby Essien
Heterogeneous Self-Reconfiguring Robotics: Ph.D. Thesis Proposal, Robert C. Fitch
FFTs for the 2-Sphere - Improvements and Variations, D M. Healy Jr, D N. Rockmore, P J. Kostelec, and Sean S.B. Moore
Proofs of Soundness and Strong Normalization for Linear Memory Types, Heng Huang and Chris Hawblitzel
Analysis of a Campus-wide Wireless Network, David Kotz and Kobby Essien
Characterizing Usage of a Campus-wide Wireless Network, David Kotz and Kobby Essien
Future Directions for Mobile-Agent Research, David Kotz, Robert Gray, and Daniela Rus
Information-theoretic Bounds on the Training and Testing Error of Boosting, Sebastien M. Lahaie
Distributed Algorithms for Guiding Navigation across a Sensor Network, Qun Li, Michael DeRosa, and Daniela Rus
Virtual Hierarchies - An Architecture for Building and Maintaining Efficient and Resilient Trust Chains, John Marchesini and Sean Smith
Role Definition Language (RDL): A Language to Describe Context-Aware Roles, Christopher P. Masone
Controlling access to pervasive information in the “Solar” system, Kazuhiro Minami and David Kotz
Metasearch: Data Fusion for Document Retrieval, Mark H. Montague
Using the Emulab network testbed to evaluate the Armada I/O framework for computational grids, Ron Oldfield and David Kotz
Performance and Interoperability In Solar, A Abram White
XSLT and XQuery as Operator Languages, A Abram White
Web Spoofing Revisited: SSL and Beyond, Eileen Zishuang Ye, Yougu Yuan, and Sean Smith
Building Trusted Paths for Web Browsers, Zishuang (Eileen) Ye
Trusted Paths for Browsers: An Open-Source Solution to Web Spoofing, Zishuang (Eileen) Ye and Sean Smith
Submissions from 2001
A simple bound on the expected height of a randomly built binary search tree, Javed A. Aslam
Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems, Chris Bailey-Kellogg and Naren Ramakrishnan
Market-based Control of Mobile-agent Systems, Jonathan L. Bredin
Supporting Adaptive Ubiquitous Applications with the SOLAR System, Guanling Chen and David Kotz
Detecting Steganographic Messages in Digital Images, Hany Farid
Optimizing the Dimensional Method for Performing Multidimensional, Multiprocessor, Out-of-Core FFTs, Jeremy T. Fineman
Mobile-Agent versus Client/Server Performance: Scalability in an Information-Retrieval Task, Robert S. Gray, David Kotz, Ronald A. Peterson Jr, Peter Gerken, Martin Hofmann, Daria Chacon, Greg Hill, and Niranjan Suri
Write Once, Move Anywhere: Toward Dynamic Interoperability of Mobile Agent Systems, Arne Grimstrup, Robert Gray, David Kotz, Thomas Cowin, Greg Hill, Niranjan Suri, Daria Chacon, and Martin Hofmann
An Armored Data Vault, Alex Iliev
DaSSFNet: An Extension to DaSSF for High-Performance Network Modeling, Mehmet Iyigun
Securing Web Servers against Insider Attack, Shan Jiang, Sean Smith, and Kazuhiro Minami Dartmouth College
A Directory Infrastructure to Support Mobile Services, Ammar Khalid
TCP/IP Implementation within the Dartmouth Scalable Simulation Framework, Michael G. Khankin
Efficient Compression of Generic Function Dispatch Tables, Eric Kidd
An Empirical Study of Training and Testing Error in Boosting, David D. Latham
Lock-free Scheduling of Logical Processes in Parallel Simulation, Xiaowen Liu, David M. Nicol, and King Tan Dartmouth College
EcomRISK.org : A site to classify and organize the risks of performing business on the Internet, Aidan Stanley Marcuss
A System for Audio Personalization with Applications on Wireless Devices, David Marmaros
SmartReminder: A Case Study on Context-Sensitive Applications, Arun Mathias
Mobile Voice Over IP (MVOIP): An Application-level Protocol, Ayorkor Mills-Tettey
Differential Elastic Image Registration, Senthil Periaswamy and Hany Farid
Applying the Vector Radix Method to Multidimensional, Multiprocessor, Out-of-Core Fast Fourier Transforms, Michael F. Ringenburg
Fastab: Solving the Pitch to Notation Problem, Jeremy I. Robin
Outbound Authentication for Programmable Secure Coprocessors, S W. Smith
Improving a Brokering System for Linking Distributed Simulations, Thomas B. Stephens
Measuring early usage of Dartmouth's wireless network, Pablo Stern
An Implementation of Object-Oriented Program Transformation for Thought-Guided Debugging, Tiffany M. Wong
Implementing a Database Information System for an Electronic Baseball Scorecard, Tiffany M. Wong
Web Spoofing 2001, Yougu Yuan, Eileen Zishuang Ye, and Sean Smith Dartmouth College
Submissions from 2000
Registration of Images with Dissimilar Contrast using a Hybrid Method Employing Correlation and Mutual Information, Karolyn A. Abram
Personal Radio, John C. Artz Jr
Bayes Optimal Metasearch: A Probabilistic Model for Combining the Results of Multiple Retrieval Systems, Javed A. Aslam and Mark Montague
Reducing Mass Degeneracy in SAR by MS by Stable Isotopic Labeling, Chris Bailey-Kellogg, John J. Kelley III, Cliff Stein, and Bruce Randall Donald
The NOESY Jigsaw: Automated Protein Secondary Structure and Main-Chain Assignment from Sparse, Unassigned NMR Data, Chris Bailey-Kellogg, Alik Widge, John J. Kelley III, Marcelo J. Berardi, John H. Bushweller, and Bruce Randall Donald
A Survey of Context-Aware Mobile Computing Research, Guanling Chen and David Kotz
An Infrastructure for a Mobile-Agent System that Provides Personalized Services to Mobile Devices, Debbie O. Chyi
An Economic CPU-Time Market for D'Agents, Ezra E.K. Cooper
Reconstructing Ancient Egyptian Tombs, Hany Farid
Mobile Agents: Motivations and State-of-the-Art Systems, Robert S. Gray, George Cybenko, David Kotz, and Daniela Rus
A Simulation of Auroral Absorption, Eric Michael Greenberg
Naming and sharing resources across administrative boundaries, Jonathan R. Howell
Landmarks for absolute localization, Jon Howell and Keith Kotay
A Formal Semantics for SPKI, Jon Howell and David Kotz
Performance Analysis of Mobile Agents for Filtering Data Streams on Wireless Networks, David Kotz, George Cybenko, Robert S. Gray, Guofei Jiang, Ronald A. Peterson, Martin O. Hofmann, Daria A. Chacon, and Kenneth R. Whitebread
Performance Analysis of Mobile Agents for Filtering Data Streams on Wireless Networks, David Kotz, Guofei Jiang, Robert Gray, George Cybenko, and Ronald A. Peterson
Depth from Flash, David B. Martin
The complexity of planning with partially-observable Markov decision processes, Martin Mundhenk
Approximation Algorithms for the Minimum Bends Traveling Salesman Problem, Cliff Stein and David P. Wagner
Submissions from 1999
Two Algorithms for Performing Multidimensional, Multiprocessor, Out-of-Core FFTs, Lauren M. Baptist
Mobile-Agent Planning in a Market-Oriented Environment, Jonathan Bredin, David Kotz, and Daniela Rus
A Game-Theoretic Formulation of Multi-Agent Resource Allocation, Jonathan Bredin, Rajiv T. Maheswaran, Cagri Imer, Tamer Basar, David Kotz, and Daniela Rus
Parallel DaSSF Discrete-Event Simulation without Shared Memory, James D. Chalfant
SAR by MS for Functional Genomics (Structure-Activity Relation by Mass Spectrometry), Bruce Randall Donald, Chris Bailey-Kellogg, John J. Kelley III, and Cliff Stein
Using Haptic Vector Fields for Animation Motion Control, Bruce Randall Donald and Frederick Henle
An Access-Control Calculus for Spanning Administrative Domains, Jon Howell and David Kotz
Investigating Measures for Pairwise Document Similarity, Jeffrey D. Isaacs
Computers, Art and Smart Rooms: A Smart Picture Frame that Senses the Weather and Genetically Evolves Images, Marisa E. Kolodny
Improved Computer Detection and Mapping of Cerebral Oxygenation, David H. Kung
An Environment for the Facilitation of Robotic Programming, Artem Lifschitz
Fast Out-of-Core Sorting on Parallel Disk Systems, Matthew D. Pearson
The Implementation of DaSSF OTcl APIs, Hongxia Quan
Existence Theorems for Scheduling to Meet Two Objectives, April M. Rasala
A Two Dimensional Crystalline Atomic Unit Modular Self-reconfigurable Robot, Marsette Arthur Vona III
An Application of Word Sense Disambiguation to Information Retrieval, Jason M. Whaley
Greedy Approximation Algorithms for K-Medians by Randomized Rounding, Neal E. Young
Submissions from 1998
Distributed Route Planning Using Partial Map Building, Christine J. Alvarado