Avancerad sökning

Visar resultat 1 - 5 av 12 avhandlingar som matchar ovanstående sökkriterier.

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

   Författare :Anna Bas; Marie-Louise Hammarström; Sten Hammarström; Adrian Hayday; Umeå universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

4. 3. Dynamic Chemistry for Asymmetric Synthesis, Molecular Motion and Constitutional Exchange

   Författare :Yansong REN; Licheng Sun; Olof Ramström; Anna Hirsch; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic chemistry; constitutional dynamic chemistry; motional dynamics; dynamic kinetic resolution; enzyme; subtilisin Carlsberg; Candida antarctica lipase B; anti-HIV; 1; 3-oxathiolane; dynamic exchange; enamines; E Z-isomerization; molecular switches; aggregation; gelation; fluorescence.; dynamisk kemi; konstitutionell dynamisk kemi; molekylär rörelsedynamik; dynamisk kinetisk resolvering; enzym; subtilisin Carlsberg; Candida antarctica lipase B; anti-HIV; 1; 3-oxatiolan; dynamisk utbyte; enaminer; E Z-isomerisering; molekylära omkopplare; aggregering; gelbildning; fluorescens.; Kemi; Chemistry;

   Sammanfattning : Living matter is built on complex dynamic systems consisting of numerus biotransformations. By exploiting the adaptive and evolutive behaviors ofmolecular matter, dynamic chemistry has developed as an important tool tounderstand the organization of nonliving matter into complex living systems. LÄS MER

5. 4. Critical features and impacts of mathematics teacher professional development programs : Comparing and characterizing programs implemented at scale

   Författare :Jannika Lindvall; Andreas Ryve; Marie Wiberg; Torulf Palm; Mälardalens högskola; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; critical features; mathematics; teacher professional development; Didactics; didaktik;

   Sammanfattning : The aim of this thesis is to contribute to the knowledge base on conceptualizations and impacts of teacher professional development (PD) programs. This is done by studying the case of two large-scale teacher PD programs. LÄS MER

7. 5. Disordered Icosahedral Boron-Rich Solids : A Theoretical Study of Thermodynamic Stability and Properties

   Författare :Annop Ektarawong; Björn Alling; Michael Widom; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Icosahedral boron-rich solids; Boron carbide; Configurational disorder; First-principles calculations; Thermodynamic stability; Superatom-special quasirandom structure;

   Sammanfattning : This thesis is a theoretical study of configurational disorder in icosahedral boron-rich solids, in particular boron carbide, including also the development of a methodological framework for treating configurational disorder in such materials, namely superatom-special quasirandom structure (SA-SQS). In terms of its practical implementations, the SA-SQS method is demonstrated to be capable of efficiently modeling configurational disorder in icosahedral boron-rich solids, whiles the thermodynamic stability as well as the properties of the configurationally disordered icosahedral boron-rich solids, modeled from the SA-SQS method, can be directly investigated, using the density functional theory (DFT). LÄS MER