Avancerad sökning

Visar resultat 6 - 10 av 79 avhandlingar som matchar ovanstående sökkriterier.

  1. 6. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. LÄS MER

  3. 7. Cardiovascular aspects on chronic obstructive pulmonary disease : with focus on ischemic ECG abnormalities, QT prolongation and arterial stiffness

    Författare :Ulf Nilsson; Anne Lindberg; Anders Blomberg; Bengt Johansson; Christine Brulin; Per Bakke; Umeå universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Epidemiology; COPD; ischemic heart disease; cardiovascular disease; ECG; spirometry; kardiologi; Cardiology;

    Sammanfattning : Background: Chronic Obstructive Pulmonary disease (COPD) is an under-diagnosed disease with a prevalence of approximately 10%, highly dependent on age and smoking habits. Comorbidities are common in COPD and of these, cardiovascular diseases (CVD) are the most common. LÄS MER

  4. 8. Dynamical systems in cosmology and astrophysics

    Författare :Ulf Nilsson; Alan Coley; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Physics; Fysik; Physics; fysik;

    Sammanfattning : General relativity is today an important branch of physics. It has, since its publication at the beginning of this century, changed from being of more mathematical than physical interest to one of the most active experimental fields in physics. LÄS MER

  5. 9. New Methods for Metering Quality Assurance in Natural Gas Grids

    Författare :Ulf R.C. Nilsson; Jerker Delsing; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industriell elektronik; Industrial Electronics;

    Sammanfattning : .... LÄS MER

  7. 10. Structural behaviour of fibre reinforced sprayed concrete anchored in rock

    Författare :Ulf Nilsson; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER