This is an investigation into the design of a market-based process to replace NASA's current committee process for allocating Shuttle secondary payload resources (lockers, Watts and crew). The market-based process allocates budgets of tokens to NASA internal organizations that in turn use the...

We consider the class of Bayesian environments with independent types, and utility functions which are both quasi-linear in a private good and linear in a one-dimensional private-value type parameter. We call these "independent linear environments". For these environments, we fully characterize...