Now showing items 1-10 of 19
Collective Construction by Termite-Inspired Robots
Construction usually involves careful preplanning and direct human operation of tools and material. Bringing automation to construction has the potential to improve its speed and efficiency, and to enable building in ...
Accelerating Markov chain Monte Carlo via parallel predictive prefetching
We present a general framework for accelerating a large class of widely used Markov chain Monte Carlo (MCMC) algorithms. This dissertation demonstrates that MCMC inference can be accelerated in a model of parallel computation ...
Eliciting and Aggregating Truthful and Noisy Information
In the modern world, making informed decisions requires obtaining and aggregating relevant information about events of interest. For many political, business, and entertainment events, the information of interest only ...
A Uniform Min-Max Theorem and Characterizations of Computational Randomness
This thesis develops several tools and techniques using ideas from information theory, optimization, and online learning, and applies them to a number of highly related fundamental problems in complexity theory, pseudorandomness ...
Functional Query Languages with Categorical Types
We study three category-theoretic types in the context of functional query languages (typed lambda-calculi extended with additional operations for bulk data processing). The types we study are:
Truthful and Fair Resource Allocation
How should we divide a good or set of goods among a set of agents? There are various constraints that we can consider. We consider two particular constraints. The first is fairness - how can we find fair allocations? The ...
Toward a Hardware Accelerated Future
Hardware accelerators provide a rare opportunity to achieve orders-of-magnitude performance and power improvements with customized circuit designs.
Rich Linguistic Structure from Large-Scale Web Data
The past two decades have shown an unexpected effectiveness of Web-scale data in natural language processing. Even the simplest models, when paired with unprecedented amounts of unstructured and unlabeled Web data, have ...
From Digital to Physical: Computational Aspects of 3D Manufacturing
The desktop publishing revolution of the 1980s is currently repeating itself in 3D, referred to as desktop manufacturing. Online services such as Shapeways have become available, making personalized manufacturing on cutting ...
Limiting Disclosure in Annotated Graphs
Data is increasingly represented in annotated graphs, but graphs pose novel security and privacy challenges that at present lack solutions. We begin by identifying the new challenges graphs introduce and explain why existing ...