Theses/Dissertations from 2018
Advancing Practical Specification Techniques for Modern Software Systems, John Singleton
Approximate Binary Decision Diagrams for High-Performance Computing, Anagha Sivakumar
Necessary Conditions for Open-Ended Evolution, Lisa Soros
D-FENS: DNS Filtering & Extraction Network System for Malicious Domain Names, Jeffrey Spaulding
Human Action Detection, Tracking and Segmentation in Videos, Yicong Tian
In-Memory Computing Using Formal Methods and Paths-Based Logic, Alvaro Velasquez
Towards High-Performance Big Data Processing Systems, Hong Zhang
Theses/Dissertations from 2017
On the security of NoSQL cloud database services, Mohammad Ahmadian
Super Resolution of Wavelet-Encoded Images and Videos, Vildan Atalay
Reasoning About Frame Properties in Object-oriented Programs, Yuyan Bao
Implementation of Refining Statements in OpenJML and Verification of Higher Order Methods with Model Program Specifications, Sai Chandesh Gurramkonda
Learning Dynamic Network Models for Complex Social Systems, Alireza Hajibagheri
Exploring the Multi-touch Interaction Design Space for 3D Virtual Objects to Support Procedural Training Tasks, Sarah Holderness
Resource Allocation and Pricing in Secondary Dynamic Spectrum Access Networks, Enas Khairullah
Code Park: A New 3D Code Visualization Tool and IDE, Pooya Khaloo
Hashing for Multimedia Similarity Modeling and Large-Scale Retrieval, Kai Li
Pervasive Secure Content Delivery Networks Implementation, Hector Lugo-Cordero
Novel Computational Methods for Integrated Circuit Reverse Engineering, Travis Meade
Adversarial Attacks On Vision Algorithms Using Deep Learning Features, Andy Michel
Complex Affect Recognition in the Wild, Behnaz Nojavanasghari
Network Partitioning in Distributed Agent-Based Models, Antoniya Petkova
JML Template Generation, Kushal Raghav Poojari
Learning robotic manipulation from user demonstrations, Rouhollah Rahmatizadeh
Multi-transit Echo Suppression for Passive Wireless Surface Acoustic Wave Sensors Using 3rd Harmonic Unidirectional Transducers and Walsh-Hadamard-like Reflectors, Luis Manuel Rodriguez Cordoves
Data Representation in Machine Learning Methods with its Application to Compilation Optimization and Epitope Prediction, Yevgeniy Sher
Online, Supervised and Unsupervised Action Localization in Videos, Khurram Soomro
Visual Saliency Detection and Semantic Segmentation, Nasim Souly
Weakly Labeled Action Recognition and Detection, Waqas Sultani
Designing Light Filters to Detect Skin Using a Low-powered Sensor, Muhammad Uzair Tariq
Theses/Dissertations from 2016
A study of holistic strategies for the recognition of characters in natural scene images, Muhammad Ali
Gesture Assessment of Teachers in an Immersive Rehearsal Environment, Roghayeh Barmaki
Quantitative Framework For Social Cultural Interactions, Taranjeet Singh Bhatia
A Comparison of Concurrent Correctness Criteria for Shared Memory Based Data Structure, Dipanjan Bhattacharya
The WOZ Recognizer: A Tool For Understanding User Perceptions of Sketch-Based Interfaces, Jared Bott
Analysis of Commutativity with state-chart graph representation of concurrent programs., Kishore Debnath
Global Data Association for Multiple Pedestrian Tracking, Afshin Dehghan
TryOpenJML - A Verily based web application for learning about the Java Modeling Language, Tushar Deshpande
Transcriptional and Post-transcriptional Regulation of Gene Expression, Jun Ding
Design of a JMLdoclet for JMLdoc in OpenJML, Arjun Mitra Reddy Donthala
Techniques for automated parameter estimation in computational models of probabilistic systems, Faraz Hussain
MongoDB Incidence Response, Cory Morales
Verification and Automated Synthesis of Memristor Crossbars, Arya Pourtabatabaie
Confluence of Vision and Natural Language Processing for Cross-media Semantic Relations Extraction, Amara Tariq
Computational Approaches for Binning Metagenomic Reads, Ying Wang
Spatial and Temporal Modeling for Human Activity Recognition from Multimodal Sequential Data, Jun Ye
High-Performance Composable Transactional Data Structures, Deli Zhang
Spatiotemporal Graphs for Object Segmentation and Human Pose Estimation in Videos, Dong Zhang
Theses/Dissertations from 2015
Investigation on the Mechanical, Microstructural, and Electrical Properties of Graphene Oxide-Cement Composite, Baig Abdullah Al Muhit
Safety Climate and Safety Outcomes in Aircraft Maintenance: A Mediating Effect of Employee Turnover and Safety Motivation, Muhanna Alnoaimi
Opportunistic Spectrum Utilization by Cognitive Radio Networks: Challenges and Solutions, Muhammad Faisal Amjad
Exploring Techniques for Providing Privacy in Location-Based Services Nearest Neighbor Query, John-Charles Asanya
Optimal distribution network reconfiguration using meta-heuristic algorithms, Arash Asrari
Opportunistic Networks in Campus Environments, Salih Safa Bacanli
Modeling social norms in real-world agent-based simulations, Rahmatollah Beheshti
Providing Context to the Clues: Recovery and Reliability of Location Data from Android Devices, Connie Bell
Quantifying Trust and Reputation for Defense against Adversaries in Multi-Channel Dynamic Spectrum Access Networks, Shameek Bhattacharjee
Autonomous Quadcopter Videographer, Quiquia Rey Coaguila
Modeling User Transportation Patterns Using Mobile Devices, Erfan Davami
An On-orbit Calibration Procedure for Spaceborne Microwave Radiometers Using Special Spacecraft Attitude Maneuvers, Spencer Farrar
The Design, Implementation, and Refinement of Wait-Free Algorithms and Containers, Steven Feldman
Ultra-wideband Spread Spectrum Communications using Software Defined Radio and Surface Acoustic Wave Correlators, Daniel Gallagher
Design, Fabrication, and Interrogation of Integrated Wireless SAW Temperature Sensors, Mark Gallagher
Sustainable Material Solution for Flexible Pavements; Performance Evaluation and Impact Assessment of Utilizing Multiple Recycled Materials in HMA, Behnam Golestani
Catalytic Role of Boron Nitride in the Thermal Decomposition of Ammonium Perchlorate, Kevin Grossman
A Roughness Correction for Aquarius Ocean Brightness Temperature Using the CONAE MicroWave Radiometer, Yazan Hejazin
Energy Harvesting toward the Vibration Reduction of Turbomachinery Blades via Resonance Frequency Detuning, Taylor Hynds
Resource allocation and load-shedding policies based on Markov decision processes for renewable energy generation and storage, Edwards Jimenez
Computerized Evaluatution of Microsurgery Skills Training, Payal Jotwani
The Influence of Alloying Additions on Diffusion and Strengthening of Magnesium, Catherine Kammerer
Exploring 3D User Interface Technologies for Improving the Gaming Experience, Arun Kulshreshth
Determination of Frequency-Based Switch Triggers for Optimal Vibration Reduction via Resonance Frequency Detuning, Garrett Lopp
Stability and Control in Complex Networks of Dynamical Systems, Saeed Manaffam
Reactive Sputter Deposition of Lithium Phosphorus Oxynitride Thin Films, A Li Battery Solid State Electrolyte, Prabhu Doss Mani
Gauging Training Effectiveness of Virtual Environment Simulation Based Applications for an Infantry Soldier Training Task, Douglas Maxwell
Cyclic and Impact Resistance of FRP Repaired Poles, Zainab Mohsin
Assessing Approximate Arithmetic Designs in the presence of Process Variations and Voltage Scaling, Adnan Aquib Naseer
Modified System Design and Implementation of an Intelligent Assistive Robotic Manipulator, Nicholas Paperno
Post Conversion Correction of Non-Linear Mismatches for Time Interleaved Analog-to-Digital Converters, Charna Parkey
Exploration and development of crash modification factors and functions for single and multiple treatments, Juneyoung Park
Resource Management in Large-scale Systems, Ashkan Paya
Self-Scaling Evolution of Analog Computation Circuits, Steven Pyle
Batch and Online Implicit Weighted Gaussian Processes for Robust Novelty Detection, Padron Ruben Ramirez
General Vector Explicit - Impact Time and Angle Control Guidance, Loren Robinson
An Integrated Framework for Automated Data Collection and Processing for Discrete Event Simulation Models, Carlos Rodriguez
Enhanced Structure and Crystallinity of Semiconducting Polymer Films Through Electrospray Deposition, Johan Rodriguez
Motor imagery classification using sparse representation of EEG signals, Pouria Saidi
Reasoning Tradeoffs in Implicit Invocation and Aspect Oriented Languages, Jose Sanchez Salazar
Applied Error Related Negativity: Single Electrode Electroencephalography in Complex Visual Stimuli, Benjamin Sawyer
Modeling Crowd Mobility and Communication in Wireless Networks, Gurkan Solmaz
Improving fairness, throughput and blocking performance for long haul and short reach optical networks, Sana Tariq
Cascaded Digital Refinement for Intrinsic Evolvable Hardware, Vignesh Thangavel
Enhanced Microwave Hyperthermia using Nanoparticles, Maryory Urdaneta
Effect of particles on evaporation of droplet containing particles, Yan Wei
Research on Improving Reliability, Energy Efficiency and Scalability in Distributed and Parallel File Systems, Junyao Zhang
Lyapunov-Based Robust and Adaptive Control Design for nonlinear Uncertain Systems, Kun Zhang
Theses/Dissertations from 2014
Placement of Mode and Wavelength Converters for Throughput Enhancement in Optical Networks, Ruaa Abdulrahman