The following list includes the names of Dickinsonians who have earned departmental honors, the thesis/project title, and the year of conferral. If there is no thesis or project title, the conferring department only will be listed. Each academic department (or program) has its own criteria for awarding departmental honors. Please see the Advising Guide or elsewhere on the department’s main website for details.
Dung Anh Dinh (2024)
Volume estimation via Neural Radiance Field 3D reconstruction algorithms
Hailie Alexandra Mitchell (2024)
Adversarial rendering for grasp quality convolutional neural networks
Hoang Viet Vo (2022)
An Analysis of Object Detection Systems for the Automatic Detection and Localization of Basking Rattlesnakes in Images
Beverley-Claire Adaobi Okogwu (2021)
Chaos Genetic Algorithms vs Genetic Algorithms: Why Distributions of Mutation Sizes Matter
Adam G Cogen (2019)
Empirical Evaluation of Low-Power Wide Area Networks (LPWANs) for Internet of Things (loT)
Dung Tuan Ngo (2019)
Self-Adaptive Chaotic Mutation Operators in Evolutionary Computation
Jake Charles Beley (2018)
Secure and Lightweight Communication in Heterogeneous IoT Environments
James David Midkiff (2017)
Solution Approaches to Nonlinear 0-1 Knapsack Problem
Peixin Sun (2017)
Construction of Test Problems for the 0-1 Quadratic Knapsack Problem
Hieu Kinh Le (2016)
Applying Novelty Search to the Construction of Ensemble Systems
My Nguyen Tra (2016)
A Case Study on Modeling Social Network Privacy Policies Using Event-B
Graham Peter Williams (2016)
Pain Management: Formal Verification of an Android Application Using Event B2SQL
Samuel Livingston Kelly (2014)
AST Indexing: A Near-Constant Time Solution to the Get-Descendants-by-Type Problem
Katherine Marie Veil (2012)
Improving the jmle Tool's Constraint Solving On Sets
Fabio Ariel Drucker (2011)
Adding Support for Specification and Generic use to the krakatoa/why platform
Russell Charles Toris (2011)
Evolving Robotic Desires: A New Approach to Bridging the Reality Gap
Danni Yu (2011)
Translating B Machines to JML Specifications
James Andrew Doyle (2010)
PathFinder in CUDA
Michael Patrick Keating (2010)
Executing Formal Specifications via Constraint Programming: Enhancing the jmle Tool
Matthew Knapp Bachmann (2009)
The Effects of Network Structure and Fitness Sharing on the Evolutionary Dynamics of Iterated Prisoner's Dilemma Strategies
Adrian Demetrius Kostrubiak (2009)
Integration of Java Generics Into the jmle Tool Within the Eclipse IDE
Richard Ray Rast (2009)
Automated Interpretation of Arithmetic in First-Order Theories
Ke Zhou (2009)
Improving the Two Color Image Prior Bayesian Demosaicing Algorithm
Mark Christopher Veronda (2008)
Applying a Genetic Algorithm to the Localization Problem Using an Extremely Sensing Limited Robot
Ryan Eric Zeigler (2008)
A New Approach for Evolving Robotic Controllers
Jared A Lease (2007)
Coefficient Shifting to Improve Glover's Linearization of the Heaviest K-subgraph Problem
Scott Joseph McHugh (2007)
Small World Structures in Evolved Neural Networks
Stevan Kominac (2006)
Evolving Small-World Neural Networks
Ashley Charles Dean (2004)
The Influence of Learning on Chance, History and Adaptation in Artificial Evolution
Rebecca L Coutts (2003)
Effects of Learning on Coevolution
Adam Thomas Labadorf (2003)
Dynamic Correlation: The Effect of Learning on Evolution when Learning and Evolutionary Tasks are Different
Stephen Benjamin Hughes (1995)
New Upper Bounds for Space Bounded Server Algorithms
Joseph Thomas Devlin (1991)
A Connectionist Model of Un-prefixation
Mark Gregory Scammell (1990)
Parallel Processing and the Implementation of Parallel Sorting Strategies
Christian Samy Abdelmalek (1989)
Neural Networks: An Application to Handwritten Character Recognition
Shari Jayne Feldman (1989)
The Computer as a Catalyst: A Faster Way to Learning
Paul Vinson Stodghill (1988)
Using Portable Intermediate Code in Compiler Construction: Volume I: Summary and Specifications
A Mark Alloway (1987)
Graph Theory with Applications to Computer Science
Barbara J Reed (1986)
Computer Experiences as an Aid in Learning Mathematical Concepts