School of Computer Science Undergraduate Research Option Theses
The Research Option offers students majoring in computer science the opportunity for a substantial, in-depth research experience. Students are strongly encouraged at the end of their experience to work with their faculty mentor to develop a journal publication or conference presentation on the research in addition to the actual thesis.
All materials in SMARTech are protected under U.S. Copyright Law and all rights are reserved. Such materials may be used, quoted or reproduced for educational purposes only with prior permission, provided proper attribution is given. Any redistribution, reproduction or use of the materials, in whole or in part, is prohibited without prior permission of the author.
Recent Submissions
-
Markov Chain Algorithms for Emergent Phenomena in Self-Organizing Particle Systems
We investigate Markov chain algorithms that can accomplish global emergent phenomena in a distributed setting, namely in self-organizing particle systems, an abstraction of programmable matter. These particle systems are ... -
Character Eyes: Seeing Language through Character-Level Taggers
Character-level models have been used extensively in recent years in NLP tasks as both supplements and replacements for closed-vocabulary token-level word representations. In one popular architecture, character-level RNNs, ... -
Unsupervised State-space Decomposition in Hierarchical Reinforcement Learning
We intend to develop a framework that allows to determine sub goals for hierarchical reinforcement learning tasks in an unsupervised manner. The motivation for this research project is to make hierarchical reinforcement ... -
A Mechanism of Visual Concept Learning via Neuronal Random Projection
We explore the effectiveness of the random projection method, a biologically plausible, computationally efficient,and data-independentmethodofdimensionalityreductionindistinctionbetweencategoriesofvisualstimuli. We observe ... -
LeapTrak: Exploring Smartwatch Gestures in 3D
As mobile devices and wearables become smaller and more portable, their development becomes limited in size and hardware capabilities. This leads to difficulties with input as the size of a user’s finger can narrow the ... -
Continuous Input for Gesture Detection from Wrist-Worn Wearables
Smartwatches have been readily available in markets for more than 5 years. However, smartwatches today continue to use input modalities such as touch screens, which are suitable for smartphones, but provide problems when ... -
Gaussian Mixture Belief Space Reinforcement Learning
In reinforcement learning and optimal control, one successful approach to address system stochasticity and epistemic uncertainty in the dynamics model is to consider, rather than a single state, a distribution over the ... -
Simplifier for Quantifier-Free Linear Arithmetical Expressions As a Means for Optimizing Automated Proofs of Partial Program Equivalence
The purpose of this study is to introduce performance optimizations and improvements to Pequod, an implementation of an algorithm capable of proving or disproving partial equivalence of two computer programs, given their ... -
Neural Network for Eye Contact Detection
Eye contact is fundamental to understanding many psychology and cognitive science questions. Human gaze plays an important role in social interaction as it conveys a lot of information in face-to-face communication. Thus, ... -
Linearizable Relaxations of Stacks and their Generalizations to Ordered Data Structures
Relaxation of semantics is a technique for improving the amortized distributed time complexity of data structures. We exhibit the first known algorithms implementing linearizable relaxed stacks in a partially synchronous, ... -
Parameter Free Policy Shaping
Policy Shaping is an algorithm that takes inputs as state-action-evaluation triples, that the learner obtains through interaction with a teacher. These triples are then used in combination with self exploration and a ... -
Finding Kernels in Non-Linear Data-Driven CHC Solving
Program verification has seen a lot of progress, but its still unable to automatically find proofs for industry programs. This paper builds on data-driven approaches from previous work [11] to provide a more robust automatic ... -
Scalable, Automatic Malware Analysis
In the realm of this computing age, malware is becoming steadily more prevalent. With the amount of malware samples taken from the wild increasing, malware analysis is becoming increasingly necessary. However, the necessary ... -
Interactive Analysis of Graph and Time-Series Data: Enabling Technologies and Systems
Massive amounts of data are being generated every day. While data become more universally accessible, they are also becoming increasingly more complex. With the rise of social networks and mobile sensors, graph and time ... -
Real-time State Estimation for Aggressive Driving Autonomous Ground Vehicles
State estimation is an integral part of many robotic systems. It is particularly important in the realm of high performance ground vehicles where systems must be real-time, robust, and accurate. This project aims to tackle ... -
A blockchain-inspired design for a modern academic system
When reminded of blockchains, the public’s attention tends to turn to finance because of the recent growth of Bitcoin and its impact on the economy; however, these cryptographic data structures also have value in several ... -
Predicting Protein-Protein Interaction via Convolutional Adaptive Dot Product
We propose a deep-learning method for predicting protein-protein interaction (PPI) via an adaptive dot product in combination with dilated convolutions. Protein-protein interac- tion is a crucial biological process. Being ... -
Deception Detection Tests Along with Brain-Computer Interface
Primarily polygraphs (AKA lie detectors) are being used for deception detection tests (DDT) in terms of knowing hidden and crucial information associated with crime or an incidence. Often, other factors, i.e., nervousness, ... -
Podium: Ranking Data Using Mixed-Initiative Visual Analytics
Ranking points of data is utilized in everyday decision making, and multi-attribute ranking systems are a tool used to facilitate the ranking process and help make these data-driven decisions. These systems ask users to ... -
Moderation in different communities on Reddit -- A qualitative analysis study
The purpose of this study is to analyze moderation of different subreddits with varying degrees of moderation on Reddit. Understanding differences between how and to what extent rules, which are specified in the community ...
RSS 1.0