Sökning: "Ran"

Visar resultat 1 - 5 av 110 avhandlingar innehållade ordet Ran.

  1. 1. On Shaping Mechanical Properties of Lignocellulosic Materials by Benign Chemical Processing

    Författare :Ran Duan; Magnus Norgren; Håkan Edlund; Mittuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  3. 2. Molecular and therapeutic aspects of breast cancer stem cells

    Författare :Ran Ma; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : Breast cancer stem cells (BCSCs) are defined as a minor cellular component in the solid tumor, displaying mammary stem cell properties by expressing embryonic stem cell genes. They are usually undergoing self-. LÄS MER

  4. 3. On genes involved in common neurological disorders : focus on Parkinson's disease

    Författare :Caroline Ran; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : Parkinson’s disease and migraine are complex neurological disorders and it is likely that a combination of genetic risk factors are involved in the etiology of both these diseases. Papers in this thesis investigate candidate genes in the search of genetic risk factors contributing to disease. LÄS MER

  5. 4. Lignocellulose Degradation by Soil Micro-organisms

    Författare :Ran Bi; Gunnar Henriksson; Jerry Ståhlberg; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Lignocellulosic biomass is a sustainable resource with abundant reserves. Compared to petroleum ‐ based products, the biomass ‐ derived polymers and chemicals give better environmental profiles. A lot of research interest is focused on understanding the lignocellulose structures. LÄS MER

  7. 5. Towards a Deductive Compilation Approach

    Författare :Ran Ji; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Sammanfattning : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. LÄS MER