Theses, Dissertations, and Creative Activity from students in the Department of Computer Science. Please also visit the Department of Computer Science's website here.
Theses/Dissertations from 2023
Using metaprogramming techniques to enhance eclingo performance through the reification format, Eleuterio Juan Lillo Portero
EXTENDING TEXT2ALM WITH XCLINGO, Joel Sare
Theses/Dissertations from 2022
A New Approach for Analyzing Financial Markets Using Correlation Networks and Population Analysis, Zahra Hatami
Theses/Dissertations from 2019
Grounding Size Predictions for Answer Set Programs, Nicholas Hippen
Processing Narratives by Means of Action Languages, Craig Olson
Theses/Dissertations from 2018
Multi-Label Classification Using Higher-Order Label Clusters, Dilanga Lakshitha Bandara Abeyrathna Galapita Mudiyanselage
Predicting User Interaction on Social Media using Machine Learning, Chad Crowe
An Investigation into the Imposed Cognitive Load of Static & Dynamic Type Systems on Programmers, Ian Vaughn Koeppe
Theses/Dissertations from 2017
Detection of Comparability Subgraphs from Large Networks, Muthunagai Balakrishnamoorthy
PROGRAM INSPECTION AND TESTING TECHNIQUES FOR CODE CLONES AND REFACTORINGS IN EVOLVING SOFTWARE, Zhiyuan Chen
Algorithms for Modular Self-reconfigurable Robots: Decision Making, Planning, and Learning, Ayan Dutta
TOOL SUPPORT FOR CAPTURING THE ESSENCE OF A CONCERN IN SOURCE CODE, Chuntao Fu
A Complete Coverage Algorithm for 3D Structural Inspection using an Autonomous Unmanned Aerial Vehicle, Venkat Ramana Reddy Garlapati
Improving Software Quality by Synergizing Effective Code Inspection and Regression Testing, Bo Guo
Applications of Graph Embedding in Mesh Untangling, Jake Quinn
Towards Student Engagement Analytics: Applying Machine Learning to Student Posts in Online Lecture Videos, Nicholas R. Stepanek
Theses/Dissertations from 2016
Patterns and Signals of Biology: An Emphasis On The Role of Post Translational Modifications in Proteomes for Function and Evolutionary Progression, Oliver Bonham-Carter
Expectation-Centered Analytics for Instructors and Students, Suzanne L. Dazo
Temporal and Contextual Dependencies in Relational Data Modeling, Rajvardhan Bhaskar Patil
The EZSMT Solver: Constraint Answer Set Solving meets SMT, Benjamin Susman
A Study of Norm Formation Dynamics in Online Crowds, Nargess Tahmasbi
MYTH OR REALITY? CROWDSOURCING AS A COMPLEX PROBLEMSOLVING MODEL: EVIDENCE FROM SOFTWARE DEVELOPED BY THE CROWD AND PROFESSIONALS, Abhishek Tripathi
APPLICATION OF GROUP TESTING FOR ANALYZING NOISY NETWORKS, Vladimir Ufimtsev
Theses/Dissertations from 2015
Characterization of Common Videos with Signatures Extracted from Frame Transition Profiles, Abhiram Reddy Gaddampalli
Social Learning Systems: The Design of Evolutionary, Highly Scalable, Socially Curated Knowledge Systems, Nolan Hemmatazad
Understanding User Engagement in the Open Collaboration Model of Crowdsourcing, Cuong Nguyen
Efficient Simultaneous Task and Motion Planning for Multiple Mobile Robots Using Task Reachability Graphs, Brad Woosley
Theses/Dissertations from 2014
The Quasigroup Block Cipher and its Analysis, Matthew J. Battey
The Application of Graph Theory to Access Control Systems, Eric Brown
Automated Oracle Generation via Denotational Semantics, Liang Cao
Program Comprehension of Aspect-Oriented Programs, Jeffrey Steenbock
Test-Driven Learning in High School Computer Science, Ryan Stejskal
Modeling and tracking relative movement of object parts, Praneeth Talluri
Analyzing Shakespeare’s Plays in a Network Perspective, Vikas Thotakuri
MULTI-ROBOT COVERAGE WITH DYNAMIC COVERAGE INFORMATION COMPRESSION, Zachary L. Wilson
Theses/Dissertations from 2013
A MapReduce Algorithm for Finding Hotspots of Topics from Time Stamped Documents, Ashwathy Ashokan
UNIT-LEVEL ISOLATION AND TESTING OF BUGGY CODE, Sanik Bajracharya
Categorizing and predicting reopened bug reports to improve software reliability, Rishikesh Gawade
The Importance of Mapping to the Next Generation Retinal Prosthesis, Jonathan Gesell
FORETELL: Aggregating Distributed, Heterogeneous Information from Diverse Sources Using Market-based Techniques, Janyl Jumadinova
Multi-Robot Task Allocation: A Spatial Queuing Approach, William H. Lenagh
SOFTWARE FAULT DETECTION VIA GRAMMAR-BASED TEST CASE GENERATION, Songqing Liu
Energy Awareness and Scheduling in Mobile Devices and High End Computing, Sachin S. Pawaskaw
PERFORMANCE & SIMULATION ANALYSIS OF SENSOR AREA COVERAGE, Ali Rezaeian
3D Object Tracking and Motion Profiling, Corey A. Spitzer
Detecting Stable Communities In Large Scale Networks, Sriram Srinivasan
UNDERSTANDING THE ADAPTIVE USE OF IT CAPABILITIES AND DEVELOPMENT OF SHARED MENTAL MODELS IN VIRTUAL TEAMS, Xiaodan Yu
Theses/Dissertations from 2012
An approach in defining Information Assurance Patterns based on security ontology and meta-modeling, Aniruddha Bhaumik
Parallel Adaptive Algorithms for Sampling Large Scale Networks, Kanimathi Duraisamy
Energy Aware Algorithms for managing Wireless Sensor Networks, Abhishek Karpate
IDENTIFYING CORE COMPONENTS IN SOFTWARE SYSTEMS, Phillip Meyer
WRAPS – A SYSTEM FOR DETERMINING THE PROBABILITY OF PROKARYOTIC PROTEIN ANNOTATION CORRECTNESS, Benjamin K. Nelson
UNDERSTANDING THE ADAPTIVE USE OF VIRTUAL WORLD TECHNOLOGY CAPABILITIES AND TRUST IN VIRTUAL TEAMS, Dawn Owens
A Semantic Approach for Keyword Search on Relational Databases, Rajvardhan Patil
ARCHITECTURE-BASED RELIABILITY ANALYSIS OF WEB SERVICES, Cobra Mariam Rahmani
Taxonomic Classification of Media Reports in the Cyber Attack Domain, Jinhua Zhang
Theses/Dissertations from 2011
Multi-Robot Coalition Formation for Distributed Area Coverage, Ke Cheng
An Investigation of Microenterprise Capability-building via Access and Use of Technology, Travis Godwin Good
WOPR in search of better strategies for board games, Ben Horner
Semantic Relevance Analysis of Subject-Predicate-Object (SPO) Triples, Ranjana Kumar
ALIGNMENT-FREE METHODS AND ITS APPLICATIONS, Ramez Mina
Application Oriented Analysis of Large Scale Datasets, Prashant Shivaji Paymal
Dynamic Reconfiguration in Modular Self-Reconfigurable Robots Using Multi-Agent Coalition Games, Zachary Ramaekers
Using Semantic Templates to Study Vulnerabilities Recorded in Large Software Repositories, Yan Wu
Theses/Dissertations from 2010
A TYPE ANALYSIS OF REWRITE STRATEGIES, Azamat Mametjanov
Constructive Ontology Engineering, William L. Sousan
Theses/Dissertations from 2006
Logic Programming with Solution Preferences: A Declarative Method., Miao Liu
Acquisition and Forensic Analysis of Volatile Data Stores, Timothy Vidas
Theses/Dissertations from 2005
Web Auction System, Praveen K. Narra
A genetic algorithm for simplifying the amino acid alphabet and predicting protein interactions., Matthew Palensky
Similarity and cluster analysis of time series data using R*-trees., Jiaxiong Pi
A new model for heat dissipation in a data center., Karthikeyan Ragunathan
An Interactive Online Tutoring System (lOTS) for Central Dogma of Molecular Biology, Zoe Xin Song
Implementation of Wireless Connection between Personal Digital Assistant (PDA) and Relational Database., Wantit Tangrugsasut
Theses/Dissertations from 2004
A New QoS Renegotiation Mechanism for Multimedia Applications., Abdelnasser Abdelaal
ebXML: Global Standard for Electronic Business, Sujatha Babu
An Evolutionary-Based Approach for Real-Time Fault-Tolerant Multiprocessor Scheduling., Yohitsugu Hashimoto
Exploring approaches toward dynamic ensembles., Xuanfu Wu
An empirical comparative study of k-medoid clustering algorithms., Ping Yang
Theses/Dissertations from 2003
On Gene Prediction by Cross-Species Comparative Sequenced Analysis., Rong Chen
Implementation E-commerce application using Lotus Domino, Jianrong Dai
A Computational Approach to Reconstructing Gene Regulatory Networks., Xutao Deng
Spatial Data Mining Using Branch Grafted R-tree., Priyanka Dubey
Survey on E-commerce and its applications, Zhenhua Gu
Graph-Theoretic Approaches to Cluster Protein Sequences., Zhu Liu
An evolutionary approach to vehicle routing problem with dynamic time and precedence relationships., Darin C. Plum
Vehicle detection and tracking by computer vision for intelligent transportation applications., Peijun Shi
An evolutionary approach to routing in mobile AD HOC networks using dominating sets., Hiranmayi Sreenivas
A "Maximal Tree" Approach For Scheduling Tasks In A Multiprocessor System., Haiying Sun
APD: The Multifunctional Antimicrobial Peptide Database and Analysis system., Zhe Wang
Theses/Dissertations from 2002
User-guided knowledge discovery using Bayesian networks., Jie Deng
An Implementation of Mobile IP., Vishal Jayakumar
Theses/Dissertations from 2001
Software Architecture for Scalable Applications., Sujit Chaubal
Support vector machines for classification., Rong Fan
A New Approach to Clustering Biological Data Using Message Passing., Huimin Geng
A maximal chain approach for scheduling tasks in a multiprocessor system., Sachin Pawaskar
CMM and CMMI: A Comparison and Evaluation Of the Benefits of Integrated Approach., Raghunath Shapkota