Uncomputability in Information Theory

We present a powerful approach for learning about uncomputability and undecidability in informationtheory. Our approach is to use automata from automata theory that have undecidable properties toconstruct channels for which an information-theoretic quantity is uncomputable or undecidable. Wedemonstrate this approach by showing that, for channels...

Analysis of the quantity of CPTs in relation to the inner slope stability

The introduction of the new 'Waterwet' led to the retesting of a lot of primary flood defences within the Netherlands, sequentially certifying a lot of levees as unsafe regarding inner slope stability. To test or design a levee an adequate amount of soil investigation is required to indicate the presence of different soil types, stratification...