Publication
Mathematics
Project
Scientific DataSet
Scientific DataSet (SDS) is a managed library for reading, writing and sharing array-oriented scientific data, such as time series, matrices, satellite or medical imagery, and multidimensional numerical grids. It features: Rich metadata to create…
Video
Adverse Selection and Switching Costs in Health Insurance Markets: When Nudging Hurts
This paper investigates consumer switching costs in the context of health insurance markets, where adverse selection is a potential concern. Switching costs contribute to poor choices when the market environment changes and consumers do not…
Publication
Price of Anarchy for Greedy Auctions
Project
The Verification Corner
The Verification Corner is a video series on YouTube that explains different concepts of software verification. Stepwise refinement – 10/8/2010: In this episode, Kuat Yessenov and Rustan Leino, Principal Researcher in the Research in…