Search
Now showing items 1-10 of 19
Functional Query Languages with Categorical Types
(2014-02-25)
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:
Rich Linguistic Structure from Large-Scale Web Data
(2013-10-18)
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 ...
A Uniform Min-Max Theorem and Characterizations of Computational Randomness
(2014-02-25)
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 ...
Data Mining Chemistry and Crystal Structure
(2014-06-06)
The availability of large amounts of data generated by high-throughput computing and experimentation has generated interest in the application of machine learning techniques to materials science. Machine learning of materials ...
Revisiting Random Utility Models
(2014-06-06)
This thesis explores extensions of Random Utility Models (RUMs), providing more flexible models and adopting a computational perspective. This includes building new models and understanding their properties such as ...
Limiting Disclosure in Annotated Graphs
(2014-06-06)
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 ...
Prediction Markets: Theory and Applications
(2013-10-18)
In this thesis I offer new results on how we can acquire, reward, and use accurate predictions of future events. Some of these results are entirely theoretical, improving our understanding of strictly proper scoring rules ...
Practical Verified Computation with Streaming Interactive Proofs
(2013-10-14)
As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown urgent. Protocols for verifiable computation enable a weak client to outsource difficult computations to a powerful, ...
Toward a Hardware Accelerated Future
(2013-10-18)
Hardware accelerators provide a rare opportunity to achieve orders-of-magnitude performance and power improvements with customized circuit designs.
From Digital to Physical: Computational Aspects of 3D Manufacturing
(2013-10-18)
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 ...