Search
Now showing items 1-10 of 155
Evaluating Lineups and Complementary Play Styles in the NBA
(2017-10-13)
NBA coaches and general managers are tasked with building lineups and rosters that maximize their chances of winning. Further, basketball is a team sport where interactions between the players in a lineup can be integral ...
Generalized Top Trading Cycles: An Iterative Approach for Exchange Economies With Money
(2017-07-14)
Exchange economies for indivisible items and with initial ownership typically require the absence of money when agents interact. By excluding money, the previously proposed models ignore a rich class of problems with broad ...
A Foundational Proof Framework for Cryptography
(2015-05-18)
I present a state-of-the-art mechanized framework for developing and checking proofs of security for cryptographic schemes in the computational model. This system, called the Foundational Cryptography Framework (FCF) is ...
On the Synthesis of Quantum Circuits for Diagonal Operators in Quantum Computation
(2015-09-29)
Diagonal unitary operators are commonly found in many quantum algorithms. They find application as analytical potential operators for quantum simulation, as well as for complex oracles used in quantum searches. However, ...
Precise Scalable Static Analysis for Application-Specific Security Guarantees
(2015-08-27)
This dissertation presents Pidgin, a static program analysis and understanding tool that enables the specification and enforcement of precise application-specific information security guarantees. Pidgin also allows developers ...
Physics-Based Visual Inference: Theory and Applications
(2015-08-27)
Analyzing images to infer physical scene properties is a fundamental task in computer vision. It is by nature an ill-posed inverse problem, because imaging is a complicated, information-lossy physical and measurement process ...
Incentives Design in the Presence of Externalities
(2015-09-23)
The design of incentives becomes challenging when faced with externalities. In this thesis I resolve this difficulty in two settings: position auctions and software economies. The first part of the thesis studies value ...
Architectural Implications of Automatic Parallelization With HELIX-RC
(2015-09-23)
As classic Dennard process scaling fades into the past, power density concerns have driven modern CPU designs to de-emphasize the pursuit of single-thread performance, focusing instead on increasing the number of cores in ...
Engineering Ingenium: Improving Engagement and Accuracy With the Visualization of Latin for Language Learning
(2015-04-08)
The goal of Ingenium is to prompt beginning Latin students to think consciously and critically on Latin grammar prior to translating a sentence, while engaging them with the grammar in an intuitive and hands-on way. Learners ...
Set Reconciliation and File Synchronization Using Invertible Bloom Lookup Tables
(2015-04-08)
As more and more data migrate to the cloud, and the same files become accessible from
multiple different machines, finding effective ways to ensure data consistency is becoming increasingly important.
In this thesis, we ...