Research
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…
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…
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…
