Follow

Theses/Dissertations from 2012

PDF

Edge cross-section profile for colonoscopic object detection, Yi Wang

PDF

Performance analysis of pure MPI versus MPI+OpenMP for Jacobi Iteration and a 3D FFT on the Cray XT5, Olga Weiss

PDF

Survivable multipath provisioning in OFDM-based exible optical networks, Nan Xiao

PDF

Sequence homology based protein-protein interacting residue predictions and the applications in ranking docked conformations, Li Xue

Theses/Dissertations from 2011

PDF

Translucid contracts: Expressive specification and modular verification of aspect oriented interfaces, Mehdi Bagherzadeh

PDF

The Correlates of Cyber Warfare: A database for the modern era, Charles Debeck

PDF

Intelligent Tutoring System Authoring Tools for Non-Programmers, Shrenik Devasani

PDF

Complete coverage path planning in an agricultural environment, Theresa Marie Driscoll

PDF

Unbounded-2-bounded: a two-phase approximation for model checking unbounded until properties of probabilistic systems, Paul Jennings

PDF

Developing virtual reality applications: The design and evaluation of virtual reality development tools for novice users., David J. Kabala

PDF

Learning predictive models from massive, semantically disparate data, Neeraj Koul

PDF

A computational study of protein dynamics, structure ensembles, and functional mechanisms, Tu-liang Lin

PDF

study on vehicular network application and simulation, Xuejia Lu

PDF

Evidence Collection for Forensic Investigation in Peer to Peer Systems, Sai Giri Teja Myneedu

PDF

An online algorithm for matching noisy space curves with statistical error analysis, Hyuntae Na

PDF

Three topics in the theory of computing: Multi-resolution cellular automata, the Kolmogorov complexity characterization of regular languages, and hidden variables in Bayesian networks, Brian Patterson

PDF

Modeling error-based Adaptive User Interfaces, Karthik Narayanan Ramalingam

PDF

Phase-based tuning: better utilized performance asymmetric multicores, Tyler Sondag

PDF

A model checking approach for analyzing and identifying intervention policies to counter infection propagation over networks, Yuly Suvorov

PDF

adaptations in electronic structure calculations in heterogeneous environments, Sai Kiran Talamudupula

PDF

Modular Algorithms for Biomolecular Network Alignment, Fadi George Towfic

PDF

A spatial mediator model for integrating heterogeneous spatial data, Hsine-jen Tsai

PDF

Automated web service composition using genetic programming, Liyuan Xiao

PDF

Mobile personal health care system for patients with diabetes, Fuchao Zhou

Theses/Dissertations from 2010

PDF

Intrusion Detection in Mobile Phone Systems Using Data Mining Techniques, Bharat Kumar Addagada

PDF

Comparison of encoding schemes for symbolic model checking of bounded petri nets, Nishtha Arora

PDF

From semantic security to chosen ciphertext security, Sahnghyun Cha

PDF

Competitive service market: modeling, storage and management, Shuxing Cheng

PDF

SearchTree: Mining robust phylogenetic trees, Akshay Deepak

PDF

Survivability schemes for optical backbone and access networks, Taiming Feng

PDF

A privacy-preserving authentication protocol for smart tags, Michael Chih Huong Fong

PDF

Capture-based Automated Test Input Generation, Hojun Jaygarl

PDF

A new routing metric for wireless mesh networks, Vineeth Kisara

PDF

Extensible Problem Specific Tutor (xPST) : Easy authoring of intelligent tutoring systems, Sateesh Kumar Kodavali

PDF

A Novel Thread Scheduler Design for Polymorphic Embedded Systems, Viswanath Krishnamurthy

PDF

Input/Output of Ab-initio Nuclear Structure Calculations for Improved Performance and Portability, Nikhil Laghave

PDF

Automated measurement of quality of mucosa inspection for colonoscopy, Xuemin Liu

PDF

Implicit Invocation Meets Safe, Implicit Concurrency, Yuheng Long

PDF

Monitoring software using property-aware program sampling, Harish Narayanappa

PDF

Ontology-guided extraction of structured information from unstructured text: Identifying and capturing complex relationships, Sushain Pandit

PDF

Toward a molecular programming language for algorithmic self-assembly, Matthew John Patitz

PDF

An XML based scalable implementation of temporal databases using parametric model, Kartic Ramesh

PDF

Bayesian model averaging using k-best bayesian network structures, Lavanya Ram

PDF

A framework for safe composition of heterogeneous SOA services in a pervasive computing environment with resource constraints, Jose Manuel Reyes Alamo

PDF

A framework for multimedia playback and analysis of MPEG-2 videos with FFmpeg, Anand Saggi

PDF

Identifying and eliminating inconsistencies in mappings across hierarchical ontologies, Bhavesh Sanghvi

PDF

Representing and reasoning with qualitative preferences for compositional systems, Ganesh Ram Santhanam

PDF

Enabling knowledge management of organizational memory for groups through shared topic maps, Alok Sharma

PDF

A user configurable implementation of B-trees, Soumya B. Shetty

PDF

Universality in algorithmic self-assembly, Scott Summers

PDF

Quantifiable non-functional requirements modeling and static verification for web service compositions, Hongyu Sun

PDF

Modeling and grasping of thin deformable objects, Jiang Tian

PDF

Panorama - a software maintenance tool, Naga Bhagvanth Ram Vattumalli

PDF

Federated description logics for the semantic web, George Voutsadakis

PDF

Location cloaking for location privacy protection and location safety protection, Ge Xu

PDF

Energy-efficient task assignment of wireless sensor network with the application to agriculture, Songyan Xu

Theses/Dissertations from 2009

PDF

Sequence-specific sequence comparison using pairwise statistical significance, Ankit Agrawal

PDF

Using a seed-network to query multiple large-scale gene expression datasets from the developing retina in order to identify and prioritize experimental targets, Timothy Alcon

PDF

Algorithms for efficient phylogenetic tree construction, Mukul Subodh Bansal

PDF

3D Hand gesture recognition using a ZCam and an SVM-SMO classifier, Lucas Bonansea

PDF

Abstraction-based probabilistic models for sequence classification, Cornelia Caragea

PDF

Minimum interference channel assignment for multicast in multi-channel multi-radio wireless mesh networks, Sangil Choi

PDF

Applications of the theory of computation to nanoscale self-assembly, David Doty

PDF

Fractals in complexity and geometry, Xiaoyang Gu

PDF

Enhancing a behavioral interface specification language with temporal logic features, Faraz Hussain

PDF

Feature selection, statistical modeling and its applications to universal JPEG steganalyzer, Jaikishan Jalan

PDF

A framework for estimating the applicability of GAs for real-world optimization problems, Hsin-yi Jiang

PDF

Asynchronous stigmergic sorting of binary matrix patterns: applications of classical distributed computing ideas, Neeraj S. Khanolkar

PDF

Managing motion triggered executables in distributed mobile databases, Kihwan Kim

PDF

A Joint Radio and Channel Assignment (JRCA) scheme for 802.11-based wireless mesh networks, Ronnie Koshy

PDF

Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study, Sandeep Krishnan

PDF

Complexity cores in average-case complexity theory, Gopalakrishnan Krishnasamy Sivaprakasam

PDF

Anonymity-preserving location data publishing, Girish Lingappa

PDF

Unsupervised Segmentation of Audio Speech Using the Voting Experts Algorithm, Matthew Miller Adam Miller

PDF

Dynamics, measure and dimension in the theory of computing, Satyadev Nandakumar

PDF

A workbench for advanced database implementation and benchmarking, Valliappan Narayanan

PDF

Extending substitutability in composite services by allowing asynchronous communication, Zachary James Oster

PDF

An experimental study of the effectiveness of Panorama as a maintenance tool, Renish Palapetty

PDF

Information management system using 2D barcodes and cell phone technology, Ruchita Sirkanungo

PDF

Phase-based tuning for better utilized performance-asymmetric multicores, Tyler Sondag

PDF

An efficient and fair reliable multicast protocol for 802.11-based wireless LANs, Varun Srinivas

PDF

Intrusion detection and response for system and network attacks, Fred Philip Stanley

PDF

A framework for cost-sensitive automated selection of intrusion response, Christopher Roy Strasburg

PDF

Measurement of PVFS2 performance on InfiniBand, Sudhindra Prasad Tirupati Nagaraj

PDF

Mobility-assisted energy replenishment for sensor networks, Bin Tong

PDF

A Systematic Security Approach in Wireless Mesh Networks, Xia Wang

PDF

Protein-protein interface: database, analysis and prediction, Feihong Wu

PDF

WS-Pro: a Petri net based performance-driven service composition framework, Jinchun Xia

PDF

Learning from text and images: generative and discriminative models for partially labeled data, Oksana Yakhnenko

Theses/Dissertations from 2008

PDF

Load estimation in IEEE 802.11 wireless networks, Aditya Vasudev Dhananjay

PDF

Supporting dynamic aspect-oriented features, Robert Dyer

PDF

Machine learning approaches for epitope prediction, Yasser Mohamed El-manzalawy

PDF

Managing continuous k-nearest neighbor queries in mobile peer-to-peer networks, Patricio A. Galdames S

PDF

Development of high performance scientific components for interoperability of computing packages, Teena Pratap Gulabani

PDF

Verifying sensor network security protocol implementations, Youssef Wasfy Hanna

PDF

Model-based recognition of curves and surfaces using tactile data, Rinat Ibrayev

PDF

Model testing for causal models, Changsung Kang

PDF

Implementation of the NC-94 hybrid storage prototype on a binary version of CanStoreX, Niranjan Kumar

PDF

Safety analysis of software product lines using state-based modeling and compositional model checking, Jing Liu

PDF

A software system for causal reasoning in causal Bayesian networks, Lexin Liu