Sökning: "BAS B"
Visar resultat 1 - 5 av 12 avhandlingar innehållade orden BAS B.
1. Extrathymic T cell receptor gene rearrangement in human alimentary tract
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
2. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
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
3. Dynamic Chemistry for Asymmetric Synthesis, Molecular Motion and Constitutional Exchange
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
4. Critical features and impacts of mathematics teacher professional development programs : Comparing and characterizing programs implemented at scale
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
5. Disordered Icosahedral Boron-Rich Solids : A Theoretical Study of Thermodynamic Stability and Properties
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