Follow

Theses/Dissertations from 2017

PDF

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

PDF

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

PDF

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

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

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

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

PDF

Understanding and identifying useful patterns in location-based software, Tianyu Meng

PDF

A unified design of capsules, Sean Lawrence Mooney

PDF

Monitoring students’ growth using system dynamics, Vidushi Sukhwal

PDF

Abstraction and performance, together at last: auto-tuning message-passing concurrency on the Java virtual machine, Ganesha Upadhyaya

PDF

Representing protein native states using weighted conformation ensembles, Vijay Vammi

PDF

Web service platform to provide access to maize diversity data, Abhinav Vinnakota

PDF

Detection of new intentions from users for software service evolution in human-centric context-aware environments using Conditional Random Fields, Haihua Xie

PDF

Towards DO-178C compatible tool design, Yijia Xu

Theses/Dissertations from 2014

PDF

Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers, Sneha Bankar

PDF

DrAGON: A Framework for Computing Preferred Defense Policies from Logical Attack Graphs, Swapnanjan Chatterjee

PDF

Designing a molecular watchdog timer for safety critical systems, Samuel Jay Ellis

PDF

Displacement-based grasping of deformable objects, Feng Guo

PDF

Structure learning in Bayesian networks and session analysis of people search within a professional social network, Ru He

PDF

Efficient satisfiability solver, Chuan Jiang

PDF

Polarity trend analysis of public sentiment on YouTube, Amar Krishna

PDF

An XML-based system for management and query of video databases with user identifiable and annotated scenes, Zheng Li

PDF

Semi Automated User Acceptance Testing using Natural Language Techniques, Arvind Madhavan

PDF

Enabling natural interaction for virtual reality, Ryan Andrew Pavlik

PDF

Building a more sustainable sensor network via protocol innovation, Yang Peng

PDF

Implementation of a multiuser customized oblivious RAM, Priyangika Rumesh Piyasinghe

PDF

Implementing ZigBee assisted power management for delay bounded communication on mobile devices, Jinu Susan Varghese

PDF

Sequence-based prediction of RNA-protein interactions, Rasna Rani Walia

PDF

Grasping of deformable 3D objects under gravity, Feifei Wang

PDF

An XML-based framework for management of a course catalog system with zero information-loss, Xiaofeng Wang

PDF

Implementing a segmentation-based oblivious RAM, Wen Zhao

Theses/Dissertations from 2013

PDF

Discovering meaning from biological sequences: focus on predicting misannotated proteins, binding patterns, and G4-quadruplex secondary, Carson Michael Andorf

PDF

Automated analysis of Learner's Research Article writing and feedback generation through Machine Learning and Natural Language Processing, Deepan Prabhu Babu

PDF

Algorithms for constructing more accurate and inclusive phylogenetic trees, Ruchi Chaudhary

PDF

Managing and analyzing phylogenetic databases, AKSHAY DEEPAK

PDF

Human desire inference process and analysis, Jeyoun Dong

PDF

Bringing ultra-large-scale software repository mining to the masses with Boa, Robert Dyer

PDF

Identifying packet droppers in sensor networks via report analysis, Jin-Sook Kim

PDF

Identification and analysis of chunks in software projects, RACHANA S. KONERU

PDF

Evidence-based defect assessment and prediction for software product lines, Sandeep Krishnan

PDF

Learning classifiers from linked data, Harris Lin

PDF

Optimal grasping of soft objects with two robotic fingers, Huan Lin

PDF

Improving sensor network lifetime with wireless charging technology, Zi Li

PDF

Joint routing and charging to elongate sensor network lifetime, Zi Li

PDF

Automatic refactoring history reconstruction and dynamic component adaptation frameworks for refactoring-based software component evolution, Kai-Shin Lu

PDF

Reasoning with qualitative preferences for optimization of component-based system development, Zachary James Oster

PDF

Implementing ZigBee-assisted power saving management for short-delay traffics, Lisen Peng

PDF

Utilizing ZigBee Technology for More Resource-efficient Wireless Networking, Hua Qin

PDF

Model checking techniques for vulnerability analysis of Web applications, Michelle Elaine Ruse

PDF

Testing database applications using coverage analysis and mutation analysis, Tanmoy Sarkar

PDF

Intelligence tests for robots: Solving perceptual reasoning tasks with a humanoid robot, Connor Schenck

PDF

Towards Querying and Visualization of Large Spatio-Temporal Databases, Sugam Sharma