Theses/Dissertations from 2024
Leveraging Incrementality of Data-Flow Program Analysis to Improve Analysis Over Weakly-Relational Abstract Domains, Kenny Ballou
An Adaptive and Parallel Direct Solver for Elliptic Partial Differential Equations, Damyn Chipman
Multi-Scale Ocean Modeling Using the Discontinuous Galerkin Method, Yao Gahounzo
Secure Multiparty Protocols on Blockchain with Fairness and Scalability, Joshua Holmes
Best Practices for Offline Evaluation for Top-N Recommendation: Candidate Set Sampling and Statistical Inference, Ngozi Ihemelandu
Advancing Structural Representation Learning for Static and Dynamic Graphs, Janet Layne
ID-GNN: Unsupervised Graph Neural Network, Sara Lilly Mount
Interpretation and Robustness of Black-Box ML Models for Secure Cyber Space, Qudrat E. Alahy Ratul
Kid Tech Balance: Providing Children Self-Management Tools as an Alternative to Parental Controls, Michael Scott Wendell
3D Concrete Printing Material Prediction and Flow Simulation Using Physics-Informed Neural Network, Tianjie Zhang
Theses/Dissertations from 2023
High-Performance Domain-Specific Library for Hydrologic Data Processing, Kalyan Bhetwal
Evaluating Learning Geometric Concepts to Generate Predicate Abstract Domains in Static Program Analysis, Patrick Chadbourne
Social Network Analysis of a Biomedical Research Co-Authorship Network, Amrina Ferdous
Verifying Data Provenance During Workflow Execution for Scientific Reproducibility, Rizbanul Hasan
Remote Sensing to Advance Understanding of Snow-Vegetation Relationships and Quantify Snow Depth and Snow Water Equivalent, Ahmad Hojatimalekshah
Fake News Detection Using Narrative Content and Discourse, Hongmin Kim
Anomaly Detection Using Graph Neural Network, Bishal Lakha
Automated Materials Spectroscopy and Topology Optimizations Using Genetic Algorithms, Miu Lun Lau
Robust Digital Nucleic Acid Memory, Golam Md Mortuza
Risk Assessment and Solutions for Two Domains: Election Procedures and Privacy Disclosure Prevention for Users, Kamryn DeAnn Parker
Sparse Format Conversion and Code Synthesis, Tobi Goodness Popoola
Understanding Complex Chemo-Physical Distress and Mitigation Mechanisms of Structural Concrete Using a Physics-Informed Machine Learning Method, Md Asif Rahman
Toward Privacy-Preserving Electronic Voting with Ballot-Spoiling Using Blockchain, Yoonsu Ra
Improving Security of Order-Preserving Encryption and Its Applications in Data Outsourcing, Ning Shen
Virtual Curtain: A Communicative Fine-Grained Privacy Control Framework for Augmented Reality, Aakash Shrestha
Portable Sparse Polyhedral Framework Code Generation Using Multi Level Intermediate Representation, Aaron St. George
Transformer Reinforcement Learning Approach to Attack Automatic Fake News Detectors, Chandler Underwood
Severity Measures for Assessing Error in Automatic Speech Recognition, Ryan Whetten
Theses/Dissertations from 2022
Meshfree Methods for PDEs on Surfaces, Andrew Michael Jones
Deep Learning of Microstructures, Amir Abbas Kazemzadeh Farizhandi
Long-Term Trends in Extreme Environmental Events with Changepoint Detection, Mintaek Lee
Structure Aware Smart Encoding and Decoding of Information in DNA, Shoshanna Llewellyn
Towards Making Transformer-Based Language Models Learn How Children Learn, Yousra Mahdy
Ontology-Based Formal Approach for Safety and Security Verification of Industrial Control Systems, Ramesh Neupane
Improving Children's Authentication Practices with Respect to Graphical Authentication Mechanism, Dhanush Kumar Ratakonda
Hate Speech Detection Using Textual and User Features, Rohan Raut
Automated Detection of Sockpuppet Accounts in Wikipedia, Mostofa Najmus Sakib
Characterization and Mitigation of False Information on the Web, Anu Shrestha
Sinusoidal Projection for 360° Image Compression and Triangular Discrete Cosine Transform Impact in the JPEG Pipeline, Iker Vazquez Lopez
Theses/Dissertations from 2021
Training Wheels for Web Search: Multi-Perspective Learning to Rank to Support Children's Information Seeking in the Classroom, Garrett Allen
Fair and Efficient Consensus Protocols for Secure Blockchain Applications, Golam Dastoger Bashar
Why Don't You Act Your Age?: Recognizing the Stereotypical 8-12 Year Old Searcher by Their Search Behavior, Michael Green
Ensuring Consistency and Efficiency of the Incremental Unit Network in a Distributed Architecture, Mir Tahsin Imtiaz
Modeling Real and Fake News Sharing in Social Networks, Abishai Joy
Modeling and Analyzing Users' Privacy Disclosure Behavior to Generate Personalized Privacy Policies, A.K.M. Nuhil Mehdy
Into the Unknown: Exploration of Search Engines' Responses to Users with Depression and Anxiety, Ashlee Milton
Generating Test Inputs from String Constraints with an Automata-Based Solver, Marlin Roberts
A Case Study in Representing Scientific Applications (GeoAc) Using the Sparse Polyhedral Framework, Ravi Shankar
Actors for the Internet of Things, Arjun Shukla
Theses/Dissertations from 2020
Towards Unifying Grounded and Distributional Semantics Using the Words-as-Classifiers Model of Lexical Semantics, Stacy Black
Improving Scientist Productivity, Architecture Portability, and Performance in ParFlow, Michael Burke
Polyhedral+Dataflow Graphs, Eddie C. Davis
Improving Spellchecking for Children: Correction and Design, Brody Downs
A Collection of Fast Algorithms for Scalar and Vector-Valued Data on Irregular Domains: Spherical Harmonic Analysis, Divergence-Free/Curl-Free Radial Basis Functions, and Implicit Surface Reconstruction, Kathryn Primrose Drake
Privacy-Preserving Protocol for Atomic Swap Between Blockchains, Kiran Gurung
Unsupervised Structural Graph Node Representation Learning, Mikel Joaristi
Detecting Undisclosed Paid Editing in Wikipedia, Nikesh Joshi
Do You Feel Me?: Learning Language from Humans with Robot Emotional Displays, David McNeill
Obtaining Real-World Benchmark Programs from Open-Source Repositories Through Abstract-Semantics Preserving Transformations, Maria Anne Rachel Paquin
Content Based Image Retrieval (CBIR) for Brand Logos, Enjal Parajuli
A Resilience Metric for Modern Power Distribution Systems, Tyler Bennett Phillips
Theses/Dissertations from 2019
Edge-Assisted Workload-Aware Image Processing System, Anil Acharya
MINOS: Unsupervised Netflow-Based Detection of Infected and Attacked Hosts, and Attack Time in Large Networks, Mousume Bhowmick
Deviant: A Mutation Testing Tool for Solidity Smart Contracts, Patrick Chapman
Querying Over Encrypted Databases in a Cloud Environment, Jake Douglas
A Hybrid Model to Detect Fake News, Indhumathi Gurunathan
Suitability of Finite State Automata to Model String Constraints in Probablistic Symbolic Execution, Andrew Harris
UNICORN Framework: A User-Centric Approach Toward Formal Verification of Privacy Norms, Rezvan Joshaghani
Detection and Countermeasure of Saturation Attacks in Software-Defined Networks, Samer Yousef Khamaiseh
Secure Two-Party Protocol for Privacy-Preserving Classification via Differential Privacy, Manish Kumar
Application-Specific Memory Subsystem Benchmarking, Mahesh Lakshminarasimhan
Multilingual Information Retrieval: A Representation Building Perspective, Ion Madrazo
Improved Study of Side-Channel Attacks Using Recurrent Neural Networks, Muhammad Abu Naser Rony Chowdhury
Investigating the Effects of Social and Temporal Dynamics in Fitness Games on Children's Physical Activity, Ankita Samariya
BullyNet: Unmasking Cyberbullies on Social Networks, Aparna Sankaran
FALCON: Framework for Anomaly Detection In Industrial Control Systems, Subin Sapkota
Investigating Semantic Properties of Images Generated from Natural Language Using Neural Networks, Samuel Ward Schrader
Incremental Processing for Improving Conversational Grounding in a Chatbot, Aprajita Shukla
Estimating Error and Bias of Offline Recommender System Evaluation Results, Mucun Tian
Theses/Dissertations from 2018
Leveraging Tiled Display for Big Data Visualization Using D3.js, Ujjwal Acharya
Fostering the Retrieval of Suitable Web Resources in Response to Children's Educational Search Tasks, Oghenemaro Deborah Anuyah
Privacy-Preserving Genomic Data Publishing via Differential Privacy, Tanya Khatri
Injecting Control Commands Through Sensory Channel: Attack and Defense, Farhad Rasapour
Strong Mutation-Based Test Generation of XACML Policies, Roshan Shrestha
Performance, Scalability, and Robustness in Distributed File Tree Copy, Christopher Robert Sutton
Using DNA For Data Storage: Encoding and Decoding Algorithm Development, Kelsey Suyehira
Detecting Saliency by Combining Speech and Object Detection in Indoor Environments, Kiran Thapa
Theses/Dissertations from 2017
Identifying Restaurants Proposing Novel Kinds of Cuisines: Using Yelp Reviews, Haritha Akella
Editing Behavior Analysis and Prediction of Active/Inactive Users in Wikipedia, Harish Arelli
CloudSkulk: Design of a Nested Virtual Machine Based Rootkit-in-the-Middle Attack, Joseph Anthony Connelly
Predicting Friendship Strength in Facebook, Nitish Dhakal
Privacy-Preserving Trajectory Data Publishing via Differential Privacy, Ishita Dwivedi
Cultivating Community Interactions in Citizen Science: Connecting People to Each Other and the Environment, Bret Allen Finley
Uncovering New Links Through Interaction Duration, Laxmi Amulya Gundala
Variance: Secure Two-Party Protocol for Solving Yao's Millionaires' Problem in Bitcoin, Joshua Holmes
A Scalable Graph-Coarsening Based Index for Dynamic Graph Databases, Akshay Kansal