Search for dissertations about: "serial peripheral"

Showing result 1 - 5 of 15 swedish dissertations containing the words serial peripheral.

  2. 1. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

    Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

    Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

  4. 2. New Aspects of Alveolar Adaptive Immune Responses in COPD

    Author : Michiko Mori; Luftvägsinflammation; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

    Abstract : Chronic obstructive pulmonary disease (COPD) is characterised by a chronic inflammation in conducting airways and the alveolar parenchyma. The inflammation, which is a consequence of inhalation of noxious gases like tobacco smoke, has traditionally been thought to be driven by innate immune responses. READ MORE

  5. 3. Aspects on long-term treatment with tyrosine kinase inhibitors in Chronic myeloid leukemia

    Author : Sofia Jönsson; Göteborgs universitet; []
    Keywords : Chronic myeloid leukemia; tyrosine kinase inhibitor; imatinib; molecular response; adherence; mesechymal stem cells; osteoblast differentiation; dasatinib;

    Abstract : Chronic myeloid leukemia (CML) is caused by the tyrosine kinase activity of the oncoprotein BCR-ABL. The introduction of tyrosine kinase inhibitors (TKIs) targeting BCR-ABL has profoundly changed the prognosis of CML. Currently, there are three TKIs approved for treatment of CML, imatinib, nilotinib and dasatinib. READ MORE

  6. 4. Spontaneous correction of fracture deformity : a study in the rat

    Author : Jian Li; Karolinska Institutet; Karolinska Institutet; []
    Keywords : Fracture healing; bone modeling; bone turnover; GAP-43; PGP 9.5; CGRP;

    Abstract : The aim of the present study was to elaborate a model in the rat permitting analysis of bone modeling to correct fracture deformity. Among conceivable regulators of this process, the study focused on the peripheral nervous system by analyzing markers of regenerating (GAP-43), mature (PGP 9.5) and sensory (CGRP) nerve fibers at the fracture site. READ MORE

  7. 5. Translational and clinical aspects of pancreatic cancer

    Author : Caroline Vilhav; Göteborgs universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; pancreatic cancer; circulating tumor cells; extracellular vesicles; immunotherapy; PDX model; pancreaticoduodenectomy; postoperative complications; postpancreatectomy hemorrhage;

    Abstract : Pancreatic cancer is a disease with dismal prognosis due to late detection and ineffective treatments. The majority of the patients already have disseminated disease at the time of diagnosis. The only potential curative treatment, surgery, is extensive with high morbidity and non-ignorable mortality. READ MORE