Search for dissertations about: "Are Olsen"

Showing result 1 - 5 of 60 swedish dissertations containing the words Are Olsen.

  2. 1. Collage induction : proving properties of logic programs by program synthesis

    Author : Hans Olsén; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. READ MORE

  4. 2. STAT5 expression and regulation in mammary epithelial cells

    Author : Hanne Olsen; Karolinska Institutet; Karolinska Institutet; []
    Keywords : STAT5; JAK2; PPAR-gamma; ER; MAPK; mammary epithelial cell differentiation;

    Abstract : The mammary gland of an adult mammal undergoes cycles of proliferation and differentiation influenced by growth factors, peptide, and steroid hormones, e.g. epidermal growth factor (EGF), prolactin (PRL) and estrogen (E). READ MORE

  5. 3. Automatic Verification of Petri Netsin a CLP framework

    Author : Hans Olsén; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis presents an approach to automatic verification of Petri Nets. The method is formulated in a CLP framework and the class of systems we consider is characterized syntactically as a special class of Constraint Logic Programs. The state space of the system in question coincides with the least fixpoint of the program. READ MORE

  6. 4. On cardiovascular responses to hypovolemic circulatory stress. An experimental study in man

    Author : Henrik Olsen; Helsingborg Kliniska Vetenskaper; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; diabetology; secreting systems; Endocrinology; vein.; type 1 diabetes; skeletal muscle; LBNP; compliance; CFC; Ageing; baroreceptor; Endokrinologi; sekretion; diabetologi; Cardiovascular system; Kardiovaskulära systemet;

    Abstract : Aged subjects have a decreased tolerance to hypovolemia, which could contribute to their increased cardiovascular morbidity. One possible etiological factor might be an age-related reduction in the efficiency of the baroreceptor reflex axis. READ MORE

  7. 5. Localized and systemic AL-amyloidosis : Aspects on protein structure, fibril formation and analytical methods

    Author : Karen Ege Olsen; Jakob B. Natvig; Linköpings universitet; []
    Keywords : MEDICINE; MEDICIN;

    Abstract : AL-amyloidosis is a protein storage disease and one of the most common types of amyloidosis. The precursor protein is a monoclonal immunoglobulin light chain which originates from plasma cell dyscrasia in systemic AL-amyloidosis and is probably produced by a local plasma cell clone in localized AL-amyloidosis. READ MORE