Mathematics and Computer Science
Summer Scholar Research Projects
Click on the title of a project to see more information (if available).
2008
The Performance Cost of Virtual Machines in Compute Clusters [pdf]
Neal Barcelo and James Nicholas Legg
Intrinsic Triple Linking in Straight Edge Embeddings of Complete Graphs [pdf]
Samuel Behrend
Game Theory and Social Networks [pdf]
Zachary Goldman
2007
Algorithms for Finding Links in Kn [jpg]
Jeffrey Camealy
Getting the Most Out of 'Life': Private Key Encryption with 2-Dimensional Cellular Automata
Rob Flax
Knots in Straight-Edge Embeddings of K7
Rachel Grotheer
Modern Cryptology Conundrums: Efficient Factoring Methods for Large Integers
Joanna Krieselmann
Locked Linkages: Finding a Key
Amanda Moore
2006
Determining Links in Complete Graphs on Seven Vertices
Pamela Arbisi
Program Justification: Verifying Code Semantics with Mathematics
Samuel Behrend
Classifying Projections Formed from m-Uniform (n,k)-Frames
Amanda Moore
Knotted Hamiltonian Cycles in Straight Edge Embeddings of Complete Graphs on N Vertices
Evan Starr
2005
Automated Animation of the Human Hand Manipulating Deformable Objects
Andrew Hoffman
Optimal Frames for Erasures
Tarika Mansukhani
Quantum Distance Between Matrix Spaces
David Nassar
Constructing an Efficient and Easily Distributable Virtual Tour of Denison
Nathan Schmidt
Alliances in Graphs
Kati O'Neill
The Bus Driver's Sanity Problem
Jennifer Swank
Dimensionality Reducation in Reinforcement Learning
Dan Bucatanschi
Online Algorithms for Packet Routing on Rings
Mete Tuzcu
2004
The Ant Colony System for the Freeze-Tag Problem [pdf]
Dan Bucatanschi
Online Packet Routing on Ring Networks
Pancham Gajjar
Geometric Characterizations of Algebraic Systems
Patricia Garmirian
Language Support for Software Engineering Principles
Andrew Hoffman
Genetic Algorithms Applied to the Freeze Tag Problem [pdf]
Blaine Hoffman
Straight Edge Embeddings of the Complete Graph on Six Vertices
Colleen Hughes
Analysis and Development of a M-209 Field Converter Simulator
Evan Lewis
Open Content Addressable Storage Expanded to Include Peer to Peer Networks
Nathan Schmidt
Mathematical Modeling in Population Dynamics (Discontinuous Case)
Kaythi Soe
Computerized Distorted Text Recognition Reloaded
Zhenyu Wu
2003
Design and Construction of a Stored Program Computer
Kevin Connor
An Operator Space Classification of Mixed Injective Hilbert Spaces
Robey Holderith
Computerized Distorted Text Recognition-a Trial Against CAPTCHA
Zhenyu Wu
Automatic Service Discovery for Content Addressable Storage
Rahul Parikh
Content Addressable Storage (CAS) Providers and Clients
Stoyan Paunov
Cylindrical (or Periodic) Geometry
Elizabeth Ehret
Integer Construction by Induction
Elizabeth Ehret
Evaluation of Formal Specification Languages: UML, Z and RESOLVE
Nalini Iyer
2002
Parallel Reinforcement Learning: Extending the Concept to Continous Multi-State Tasks
Daria Antonova
Online Algorithms for Routing and Scheduling on Ring Networks [pdf]
Rohit Bansal
Scheduling Jobs on Parallel Machines with Overhead
Vesselin Dimitrov
Topological Logics
Anthony Fressola and Stoyan Paunov
The Additivity Question in Quantum Channel Capacity
Michael Khoury
Generics in Java Using Objects and Interfaces
Jason Roberts
Algorithm Analysis for the Object Oriented Programming Paradigm
Molly Tawney
2001
Convergence of Real Infinite Series
Michael Khoury
Algorithms for Deriving Zero-Divisor Graphs of Commutative Rings
Vesselin Dimitrov
GPSS and the Testing of Random Number Generators
Jared Schuetter
Online Discovery of Subgoals in Reinforcement Learning
Rohit Bansal
2000
Algebra and Integers
Michael Khoury
Derivation Scheme in Twin Open Set Phase Space Logic Under Cofinite Topology
Rohit Bansal
Multiple User-Defined Data Types in C++ and Related Issues
Jeffrey Amos and Barnaby Nardella
1999
Using Neural Networks to Find Seagrass in Satellite Data
David Michael
Indeterminate Propositions in Twin Open Set Phase Space Logic
Eng Siang Tan
Zero Divisors in Cayley-Dickson Algebras
Jacob Tawney
1997
Classifications for Algorithm Implementation
Laura Eilar
Properties of Twin Open Set Phase Space Logic
Zhu He
Conceptualization of Strategies for Writing Algorithms
Mark Ward
Evolutionary Programming
Peiyong Weng
1996
Application of Adaptive Critc Reinforcement Learning Algorithm
Jason Mihevic
Formal Methods in Computer Security
Mark Ward