The creation and adoption of connectivity-, sensor-, and actuator-rich emerging technologies alter the landscape for computer security and privacy. New technologies facilitate novel or amplified kinds of attacks on the ...

The creation and adoption of connectivity-, sensor-, and actuator-rich emerging technologies alter the landscape for computer security and privacy. New technologies facilitate novel or amplified kinds of attacks on the ...

Image-based models are geometric models created from photographs and textured with the photographs for realistic rendering. In recent years, it has become increasingly easy to capture many photographs of an object and use ...

The current frameworks for Agent-Based Models (ABMs) are mostly serial, which causes a fundamental limitation in their execution . ABMs by nature require a large population of agents in order to show consistent patterns ...

The combination of lightly trained doctors, under-resourced hospitals, and complex treatment protocols can sometimes result in sub-standard care for HIV patients in low-income regions. While previous work has shown that ...

This dissertation presents techniques for improving effectiveness of automated software testing in the absence of specifications, evaluates the efficacy of these techniques, and proposes directions for future research.Software ...

The internet has dramatically changed the landscape of both markets and computation with the advent of electronic commerce (e-commerce). It has accelerated transactions, informed buyers, and allowed interactions to be ...

This dissertation describes a framework for interactively animating characters such as humans and animals based on dynamic elastic simulation. Using dynamic simulation, the secondary motion of the character's soft tissue ...

The ability to automatically convert natural language text into a knowledge base may open the door to great new opportunities, including question-answering on the Web, detection of trends and sentiments in social media, ...

Today we observe a consistent shift towards doing our tasks virtually through machines. This mode of work ensures that the users are not tied by lack of resources required for the task, and get additional advantages like ...

Programming languages must be defined precisely so that programmers can reason carefully about the behavior of their code and language implementers can provide correct and efficient compilers and interpreters. However, ...

Interprocess communication via shared memory has received considerable attention in the past. More recently, there has been a growing interest in communication in distribution environments. This dissertation examines ...

Grappa is a modern take on software distributed shared memory (DSM) for in-memory data-intensive applications. Grappa enables users to program a cluster as if it were a single, large, non-uniform memory access (NUMA) ...

The Web contains more text than any other source in human history, and continues to expand rapidly. Computer algorithms to process and extract knowledge from Web text have the potential not only to improve Web search, but ...

More so than ever before, large datasets are being collected and analyzed throughout a variety of disciplines. Examples include social networking data, software logs, scientific data, web clickstreams, sensor network data, ...

To effectively perform a change to an existing software system, a software engineer needs to have some understanding of the structure of the system. All too often, though, an engineer must proceed to change a system without ...

Automatic recognition of human activities can support many applications, from context aware computing to just-in-time information systems to assistive technology for the disabled. Knowledge of a person's location provides ...

Quantum computing is a new field which combines computer science and quantum physics. Its most famous result, Shor's factoring algorithm, would enable us to one day compromise the widely-used RSA cryptosystem if we are ...

Data is driving the future of computation: analysis, visualization, and learning algorithms power systems that help us diagnose cancer, live sustainably, and understand the universe. Yet, the data explosion has outstripped ...

Machine learning is the inference of general patterns from data. Machine-learning algorithms search large spaces of potential hypotheses for the hypothesis that best fits the data. Since the search space for most induction ...