Sökning: "simon martin"
Visar resultat 6 - 10 av 12 avhandlingar innehållade orden simon martin.
6. Living biohybrid systems via in vivo polymerization of thiophene oligomers
Sammanfattning : Life is the result of a multitude of electrical signals which drives our nervous system but also accomplishes a cascade of electrochemical reactions. In the 18th century, Lucia Galeazzi and Luigi Galvani got the idea to stimulate frog legs with electrodes. LÄS MER
7. Rates and patterns of genome evolution in Lepidoptera
Sammanfattning : The evolutionary consequences of genome restructuring and chromosomal rearrangements can be significant, but the underlying mechanisms are poorly understood. This thesis explores the relationships between genome restructuring, recombination, and maintenance of genetic diversity in different butterfly species. LÄS MER
8. Structural and biochemical studies of phage P2 DNA-binding proteins and human tetraspanins
Sammanfattning : Biochemical studies of proteins are crucial for a more detailed view of the world around us. The focus of biochemical studies can vary, from a complex mammalian system to a more simple viral entity, but the same methods and principles apply. In biochemistry one rely on both in vitro and in vivo analyses to understand biological processes. LÄS MER
9. Bending the Kuznets Curve - Wrenching and Levelling Forces during Agricultural Transformation in Taiwan and Chile
Sammanfattning : What are the effects of growth on equality in a long-term perspective? What are the effects of different patterns of equality on subsequent growth? And why are these questions relevant for the understanding of economic development? These are the overriding questions posed in the dissertation. They are addressed in the context of long-term change from economic backwardness to modern economic growth by examining the processes of agricultural transformation of two successful growth achievers -- Taiwan and Chile. LÄS MER
10. Cubical Intepretations of Type Theory
Sammanfattning : 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. LÄS MER
