Search for dissertations about: "Martin Huber"
Found 2 swedish dissertations containing the words Martin Huber.
-
1. Methods for improving covariate balance in observational studies
Abstract : This thesis contributes to the field of causal inference, where the main interest is to estimate the effect of a treatment on some outcome. At its core, causal inference is an exercise in controlling for imbalance (differences) in covariate distributions between the treated and the controls, as such imbalances otherwise can bias estimates of causal effects. READ MORE
-
2. Cubical Intepretations of Type Theory
Abstract : The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, this view also is compatible with Voevodsky's univalence axiom which explains equality for type-theoretic universes as homotopy equivalences, and formally allows to identify isomorphic structures, a principle often informally used despite its incompatibility with set theory. While this interpretation in homotopy theory as well as the univalence axiom can be justified using a model of type theory in Kan simplicial sets, this model can, however, not be used to explain univalence computationally due to its inherent use of classical logic. READ MORE
