Sökning: "Type"

Visar resultat 1 - 5 av 10626 avhandlingar innehållade ordet Type.

  1. 1. Type studies : the Norstedt collection of matrices in the typefoundry of the Royal printing office : a history and catalogue

    Författare :Christian Axel-Nilsson; Stockholms universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Boktrycktyper; Stilprov; Typsnitt-- historia;

    Sammanfattning : .... LÄS MER

  3. 2. Genetic interaction between Type 1 and Type 2 diabetes

    Författare :Haiyan Li; Malmö Institutionen för kliniska vetenskaper; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Endocrinology; IDDM2.; Insulin gene VNTR; HLA; IDDM1; mixed type 1 2; Mixed type 1 type 2 diabetes families; LADA; GADabs; Autoantibodies against GAD65; Type 1 diabetes; Type 2 diabetes; diabetology; secreting systems; sekretion; diabetologi; Endokrinologi;

    Sammanfattning : There are two major types of diabetes, type 1 and type 2 diabetes. Similarly characterized by hyperglycaemia and long term micro- and macrovascular complications, type 1 and type 2 diabetes have different underlying pathophysiologic processes. In Scandinavia, type 1 diabetes is common; type 2 diabetes accounts for 85% of all cases with diabetes. LÄS MER

  4. 3. Type D Personality : Psychometric Properties of the DS14 and Associations with Ill Health and Coronary Heart Disease in General and Clinical Populations

    Författare :Emelie Condén; Cecilia Åslund; Jerzy Leppert; Lisa Ekselius; Aleksander Perski; Uppsala universitet; []
    Nyckelord :MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; adolescence; ill health; mortality; myocardial infarction; sleep; stability; Type D personality; Psychiatry; Psykiatri;

    Sammanfattning : Type D personality, or distressed personality, refers to the joint tendency to experience negative emotions and to inhibit self-expression in social interactions. The overall aims of this thesis were to examine the impact of Type D personality on adolescents’ self-perceived health, to examine the factorial and temporal stability of the Type D personality construct DS14, and to clarify whether type D personality is an independent risk factor for recurrent myocardial infarction and all-cause mortality among patients with myocardial infarction. LÄS MER

  5. 4. Sobolev-Type Spaces : Properties of Newtonian Functions Based on Quasi-Banach Function Lattices in Metric Spaces

    Författare :Lukáš Malý; Anders Björn; Jana Björn; Tomas Sjödin; Andrea Cianchi; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Newtonian space; Sobolev-type space; metric measure space; upper gradient; Sobolev capacity; Banach function lattice; quasi-normed space; rearrangement-invariant space; maximal operator; Lipschitz function; regularization; weak boundedness; density of Lipschitz functions; quasi-continuity; continuity; doubling measure; Poincaré inequality;

    Sammanfattning : This thesis consists of four papers and focuses on function spaces related to first-order analysis in abstract metric measure spaces. The classical (i.e., Sobolev) theory in Euclidean spaces makes use of summability of distributional gradients, whose definition depends on the linear structure of Rn. LÄS MER

  7. 5. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER