Follow

Theses/Dissertations from 2019

PDF

Data compression based cost optimization for a multi-cloud data storage system, Abdullah

PDF

Network-aware energy saving techniques in cloud data centers, Motassem Al-Tarazi

PDF

Situation-oriented requirements engineering, Nimanthi Atukorala

PDF

Decision diagrams: Extensions and applications to reachability analysis, Junaid Babar

PDF

Domain-specific language and infrastructure for genomics, Hamid Bagheri

PDF

Hierarchical phylogeny construction, Anindya Das

PDF

Political-advertisement video classification using deep learning methods, Aashish Dhakal

PDF

The construction and applications of callback control flow graphs for event-driven and framework-based mobile apps, Danilo Dominguez Perez

PDF

Physics-constrained deterministic solution of time-dependent partial differential equations using deep convolutional encoder-decoders, Sambuddha Ghosal

PDF

Finding the minimum illuminating direction set for a polyhedron, Guangyu Hou

PDF

BoaT: A domain specific language and shared data science infrastructure for large scale transportation data analysis, Md Johirul Islam

PDF

Witness generation in existential CTL model checking, Chuan Jiang

PDF

The role of similarity in detecting feature interaction in software product lines, Seyedehzahra Khoshmanesh

PDF

Evaluating the role of critical nodes in disrupting diffusion in independent cascade diffusion model, Raj Gaurav Ballabh Kumar

PDF

Identify algorithms from code, Stroh John Leslie

PDF

Nonparametric curve estimation and applications, Yu Liu

PDF

Cross-layer wireless networking emulation in EMANE, Zehua Li

PDF

Data-driven approaches for peer-to-peer botnet detection and forecasting, Priyangika Piyasinghe

PDF

Training and evaluation in a large-scale virtual environment for a location-based mobile application, Adel Sulaiman

PDF

Automatic repair and type binding of undeclared variables using neural networks, Venkatesh Theru Mohan

PDF

Efficient object detection model for real-time UAV applications, Subrahmanyam Vaddi

PDF

End-to-end learning of local point cloud feature descriptors, David Ambrose Wehr

PDF

Taking the lab on the road and bringing the road to the lab: On using mixed-methods and virtual reality to study a location-based task, Kofi Whitney

PDF

Using a system dynamics simulation model to explore the effect of information delays on software development, Xinxin Yang

PDF

Predicting injury outcomes in mining industry - a machine learning approach, Anurag Desai Yedla

PDF

Toward efficient online scheduling for large-scale distributed machine learning system, Menglu Yu

PDF

Medical image classification under class imbalance, Chuanhai Zhang

Theses/Dissertations from 2018

PDF

Automatic incident detection, Lakshay Ahuja

PDF

Enhancing users' experiences with mobile app stores: What do users see? What should they see?, Omar Ibrahim Y. Asiri

PDF

Disrupting diffusion: Critical nodes in network, Preeti Bhardwaj

PDF

Recognition of activities of daily living, Yunfei Feng

PDF

A data-driven situation-aware framework for predictive analysis in smart environments, Hoda Gholami

PDF

Effectiveness of classification approach in recovering pairwise causal relations from data., Kristima Guha Thakurta

PDF

A study of interpretability mechanisms for deep networks, Apurva Dilip Kokate

PDF

Large-scale study of substitutability in the presence of effects, Jackson Lowell Maddox

PDF

Towards efficient and accountable oblivious cloud storage, Qiumao Ma

PDF

Improved triangle counting in graph streams: Neighborhood multi-sampling, Kiana Mousavi Hanjani

PDF

High performance computing applications: Inter-process communication, workflow optimization, and deep learning for computational nuclear physics, Gianina Alina Negoita

PDF

Data augmentation for supervised learning with generative adversarial networks, Manaswi Podduturi

PDF

Graph compression using heuristic-based reordering, Pavithra Rajarathinam

PDF

Collective program analysis, Ganesha Upadhyaya

PDF

GraphTrack: An unsupervised graph-based cross-device tracking framework, Tianchen Zhou

Theses/Dissertations from 2017

PDF

Improving testing performance by dynamic prioritization of tests based on method invocation orders, Sriram Balasubramanian

PDF

Computer detection of spatial visualization in a location-based task, Georgi Iliev Batinov

PDF

A User Configurable B-tree Implementation as a Utility, Sheng Bi

PDF

Devices for safety-critical molecular programmed systems, Samuel Jay Ellis

PDF

A testbed for multi-robot systems, Tianshuang Gao

PDF

Many-to-one private set intersection, Keji Hu

PDF

Parity-based Data Outsourcing: Extension, Implementation, and Evaluation, Zhenbi Hu

PDF

Computing change of invariants to support software evolution, Ashwin Kallingal Joshy

PDF

Triangle counting in graph streams: Power of multi-sampling, Neeraj Kavassery Parakkat

PDF

Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining, Samantha Syeda Khairunnesa

PDF

Synthesizing species trees from gene trees using the parameterized and graph-theoretic approaches, Ju Cheol Moon

PDF

Verification of Well-formedness in Message-Passing Asynchronous Systems modeled as Communicating Finite-State Machines, Shiva Shankar Nalla

PDF

Negotiation Based Resource Allocation to Control Information Diffusion, Sai Sravanthi Nudurupati

PDF

Flattening methods for adaptive location-based software to user abilities, Thitivatr Patanasakpinyo

PDF

λir : A language with intensional receive, Swarn Priya

PDF

A hybrid approach for selecting and optimizing graph traversal strategy for analyzing big code, Ramanathan Ramu

PDF

Targeted Influence Maximization In Labeled Social Networks with Non-Target Constraints, Naresh Somisetty

PDF

Algorithmic randomness and analysis, Donald M. Stull

PDF

The design and implementation of Candoia: A platform for building and sharing mining software repositories tools as apps, Nitin Mukesh Tiwari

PDF

Learning Markov Logic Network Structure by Template Constructing, Yingbei Tong

PDF

Computational modeling of impact and deformation, Feifei Wang

PDF

Execution and authentication of function queries, Guolei Yang

PDF

A situation-centric, knowledge-driven requirements elicitation approach, Jingwei Yang

Theses/Dissertations from 2016

PDF

Syntax errors identification from compiler error messages using ML techniques, Shubham K. Agrawal

PDF

Toward a Concurrent Programming Model with Modular Reasoning, Mehdi Bagherzadeh

PDF

Integration of lifetime-balancing schemes in wireless sensor networks, Rui Bai

PDF

Mutual dimension, data processing inequalities, and randomness, Adam Case

PDF

Usage and refactoring studies of python regular expressions, Carl Allen Chapman

PDF

A Bayesian network approach to county-level corn yield prediction using historical data and expert knowledge, Vikas Chawla

PDF

Structure Discovery in Bayesian Networks: Algorithms and Applications, Yetian Chen

PDF

A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions, Maheedhar Gunasekharan

PDF

Modular and Robust Computation with Deterministic Chemical Reaction Networks, Titus Klinge

PDF

Secrecy-preserving reasoning in simple description logic knowledge bases, Gopalakrishnan Krishnasamy Sivaprakasam

PDF

Graph Data Modeling for Political Communication on Twitter, Prashant Kumar

PDF

PaniniJ: adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design, Eric Lin

PDF

Classification of tweets into policy agenda topics, Rihui Li

PDF

Formal foundations for hybrid effect analysis, Yuheng Long

PDF

Detecting SQLIA using execution plans, Sriram Nagarajan

PDF

Normal mode computations and applications, Hyuntae Na

PDF

Modeling technologies and methods for DNA origami, Brian Thomas Nakayama

PDF

Using node ordering to improve Structure MCMC for Bayesian Model Averaging, Abhineet Sharma

PDF

Investigating the effects of different force fields on spring-based normal mode analysis, Jaekyun Song

PDF

Benchmarking Graph Databases with Cyclone Benchmark, Yuanyuan Tang

PDF

A new framework of decentralized social networks, Ting Wu

PDF

Intrusion detection using probabilistic graphical models, Liyuan Xiao

PDF

Protein wild-type and mutant ensemble database, Ce Zhang

PDF

Data access pattern protection in cloud storage, Jinsheng Zhang

Theses/Dissertations from 2015

PDF

Design and evaluation of feedback system in design for manufacturability, Prashant Barnawal

PDF

An empirical study of communication media and issues in globally distributed software development, Ya Chen

PDF

Automated blackbox GUI specifications enhancement and test data generation, Mohammad Ali Darvish Darab

PDF

An initial matching and mapping for dense 3D object tracking in augmented reality applications, Timothy Daniel Garrett

PDF

Model of distributed software development using system dynamics, Sourajit Ghosh Dastidar

PDF

Diagram-based intelligent tutoring systems, Enruo Guo

PDF

A formal language towards the unification of model checking and performance evaluation, Yaping Jing

PDF

Agenda detector: labeling tweets with political policy agenda, Sheetal Kaul

PDF

An automated approach to program repair with semantic code search, Yalin Ke

PDF

Robot dexterity: from deformable grasping to impulsive manipulation, Huan Lin

PDF

Randomness in completeness and space-bounded computations, Debasis Mandal