Sökning: "Svensson Hans"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden Svensson Hans.

  1. 1. Bone and Aluminium

    Författare :Hans-Olov Hellström; Karl Michaëlsson; Hans Mallmin; Olle Svensson; Uppsala universitet; []
    Nyckelord :Surgery; Aluminium; Osteoporosis; Hip fracture; Osteoporotic fracture; Alzheimer´s dementia; Bone mineral density; Bone mineral content; Mortality risk; Biomechanics; Inductively coupled mass spectrometry; Kirurgi;

    Sammanfattning : Osteoporosis is a major health care problem, by reason of its devastating consequences, in particular hip fractures. Worldwide it has been estimated that the incidence of hip fracture will increase to more than 6 million per year by 2050 compared to 1.7 million per year in 1990. LÄS MER

  3. 2. Membrane glycoproteins of the endoplasmic reticulum : their existence, biosynthesis and incorporation into membranes

    Författare :Hans Svensson; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  4. 3. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving

    Författare :Hans Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

    Sammanfattning : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. LÄS MER

  5. 4. Verification of Erlang Programs using Testing and Tracing

    Författare :Hans Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Erlang; Verification; Testing; Tracing;

    Sammanfattning : Producing reliable computer programs is a difficult and expensivetask, and the constant demand for more and more complex systems doesnot make the task easier. In this thesis we present some programverification tools and techniques which can improve the situation. LÄS MER

  7. 5. Some properties of measures of disagreement and disorder in paired ordinal data

    Författare :Hans Högberg; Elisabeth Svensson; Sture Holm; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; agreement; augmented ranks; categorical data; disorder; jackknife; paired ordinal data; rating scales; sample size; sampling distribution; simulation; U-statistics; variance; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Statistics; Statistik; Statistics; Statistik;

    Sammanfattning : The measures studied in this thesis were a measure of disorder, D, and a measure of the individual part of the disagreement, the measure of relative rank variance, RV, proposed by Svensson in 1993. The measure of disorder is a useful measure of order consistency in paired assessments of scales with a different number of possible values. LÄS MER