Follow

Theses/Dissertations from 2013

PDF

An evolutional domain oriented approach to problem solving based on web service composition, Cuong Kien Bui

PDF

Finite model finding in satisfiability modulo theories, Andrew Joseph Reynolds

Theses/Dissertations from 2012

PDF

Self-stabilizing overlay networks, Andrew David Berns

PDF

Dynamic full-body interactions in virtual reality : understanding effects of display and locomotion modality on perception and action, Timofey Yurievich Grechkin

PDF

Sentiment analysis within and across social media streams, Yelena Aleksandrovna Mejova

PDF

Formally certified satisfiability solving, Duck Ki Oe

PDF

Assistive strategies for people with fine motor skills impairments based on an analysis of sub-movements, Guarionex Jordan Salivia

PDF

Discovering entities' behavior through mining Twitter, Hung Viet Tran

Theses/Dissertations from 2011

PDF

Using Social Networks for Modeling and Optimization in a Healthcare Setting, Donald Ephraim Curtis

PDF

Nosocomial infection modeling and simulation using fine-grained healthcare data, Christopher Scott Hlady

PDF

Combinatorial optimization problems in geometric settings, Gaurav Nandkumar Kanade

PDF

Early detection of malicious web content with applied machine learning, Peter F. Likarish

PDF

Estimating distances and traveled distances in virtual and real environments, Tien Dat Nguyen

PDF

Video event detection framework on large-scale video data, Dong-Jun Park

PDF

Topic modeling and applications in Web 2.0, Ha Thuc Viet

Theses/Dissertations from 2010

PDF

Clusters and covers: geometric set cover algorithms, Matthew Richard Gibson

PDF

Multiresolution image-space rendering for interactive global illumination, Gregory Boyd Nichols

PDF

Approximation algorithms for distributed systems, Saurav Pandit

Theses/Dissertations from 2009

PDF

Learning to rank documents with support vector machines via active learning, Robert James Arens

PDF

Extensions and refinements of stabilization, Anurag Dasgupta

PDF

Evolving model evolution, Alexander Fuchs

PDF

Programming and self stabilization for wireless sensor networks, Kajari Ghosh Dastidar

PDF

Surveilling roads and protecting art, Erik Allyn Krohn

PDF

Algorithmic game theory and the computation of market equilibria, Benton John McCune

PDF

TIGER: an unsupervised machine learning tactical inference generator, David Ezra Sidran

Theses/Dissertations from 2008

PDF

Construction and application of hierarchical matrix preconditioners, Fang Yang

Theses/Dissertations from 2007

PDF

Chromatic scheduling, Rajiv Raman

PDF

Profiling topics on the Web for knowledge discovery, Aditya Kumar Sehgal

Theses/Dissertations from 2005

PDF

Safety and hazard analysis in concurrent systems, Shrisha Rao