We examine the proposal by Peter Zweifel and Michael Breuer to combine risk-based premiums with a subsidy for individuals whose expenditure for health insurance exceeds a certain share of income. Assuming a maximin social welfare function and optimal linear income taxation, we find that this proposal is superior to social insurance if the correlation between productivity and health is not too l...

We demonstrate that in the context of statically-typed purely-functional lambda calculi without recursion, unchecked exceptions (e.g., SML exceptions) can be strictly more powerful than call/cc. More precisely, we prove that a natural extension of the simply-typed lambda calculus with unchecked exceptions is strictly more powerful than all known sound extensions of Girard’s Fω (a superset of th...

Abstract Mutually unbiased bases (MUBs) provide a standard tool in the verification of quantum states, especially when harnessing complete set for optimal state tomography. In this work, we investigate detection entanglement via inequivalent sets MUBs, with particular focus on unextendible MUBs. These are which an additional basis cannot be constructed and, consequently, unsuitable verification...

In socially important visual search tasks, such as baggage screening and diagnostic radiology, experts miss more targets than is desirable. Computer-aided detection (CAD) programs have been developed specifically to improve performance in these professional search tasks. For example, in breast cancer screening, many CAD systems are capable of detecting approximately 90% of breast cancer, with a...