Search for dissertations about: "bas"

Showing result 1 - 5 of 137 swedish dissertations containing the word bas.

  2. 1. Extrathymic T cell receptor gene rearrangement in human alimentary tract

    Author : Anna Bas; Marie-Louise Hammarström; Sten Hammarström; Adrian Hayday; Umeå universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Immunology; T cell maturation; recombination activating gene; preTα; human intestinal mucosa; intraepithelial lymphocytes; lamina propria lymphocytes; nasopharyngeal tonsil; Immunologi; Immunology; Immunologi; immunologi; Immunology;

    Abstract : T lymphocytes regulate the initiation, duration, and magnitude of adaptive immune responses and function as effector cells in cell mediated immunity. To become immunologically competent they must generate functional antigen receptors. This process takes place in the thymus and requires somatic recombination of T cell receptor (TCR) genes. READ MORE

  4. 2. The colour of climate : A study of raised bogs in south-central Sweden

    Author : Anders Borgmark; Stefan Wastegård; Ann-Marie Robertsson; Bas van Geel; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Holocene; south-central Sweden; peat humification; bog hydrology; climate variation; spectral analysis; Quaternary geology; Kvartärgeologi;

    Abstract : This thesis focuses on responses in raised bogs to changes in the effective humidity during the Holocene. Raised bogs are terrestrial deposits that can provide contiguous records of past climate changes. Information on and knowledge about past changes in climate is crucial for our understanding of natural climate variability. READ MORE

  5. 3. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

    Author : Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; matematisk logik; Mathematical Logic;

    Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE

  6. 4. Stable reduction of curves and tame ramification

    Author : Lars Halvard Halle; Carel Faber; Bas Edixhoven; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS; MATEMATIK;

    Abstract : This thesis treats various aspects of stable reduction of curves, and consists of two separate papers. In Paper I of this thesis, we study stable reduction of curves in the case where a tamely ramified base extension is sufficient. READ MORE

  7. 5. Effects of commercial hatchery processing on behaviour and welfare of laying hens

    Author : Louise Hedlund; Per Jensen; Charlotta Berg; Bas Rodenburg; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Around the world, more than 76.7 million tons of eggs are consumed every year. To meet this demand, billions of laying hen chicks are produced under highly industrial circum-stances. These chicks are hatched in commercial hatcheries for laying hens in a presumably stressful environment, which might affect their welfare and production later in life. READ MORE