Bradford Gentry opened the workshop by addressing the variability in prices that Yale encountered when it was shopping for renewable energy credits (RECs). What does it mean if one REC is priced at $38 per ton of CO2 equivalent while another one goes for $10/ton of CO2 equivalent, for example? Gentry suggested that the wide variety of green technologies available may account for this disparity,...

In games with costly signaling, some equilibria are vulnerable to deviations which could be “unambiguously” interpreted as coming from a unique set of Sender-types. This occurs when these types are precisely the ones who gain from deviating for any beliefs the Receiver could form over that set. We show that this idea characterizes a unique equilibrium outcome in two classes of games. First, in ...

This thesis describes a theoretical framework for building compilers that generate formal guarantees that they work correctly. Traditional compilers provide no such guarantees-given an original source program, a traditional compiler generates only a transformed executable program. The only way to investigate the correctness of a compilation is to run the transformed program on some sample input...

We consider a seller who faces several buyers and lacks access to an institution to credibly close a sale. If buyers anticipate that the seller may negotiate further, they will prefer to wait before making their best and final offers. This in turn induces the seller to bargain at length with buyers, even if doing so is costly. When the seller’s cost of soliciting another round of offers is eith...

Solving the inverse problem of nanoparticle characterization has the potential to advance science and benefit society. While considerable progress has been made within a framework based on the scattering of surface plasmon-polaritons, an aspect not heretofore considered is the quantification of uncertainty in the estimation of a nanoparticle characteristic. Therefore, the present article offers...