Sökning: "Hans Svensson"
Visar resultat 1 - 5 av 21 avhandlingar innehållade orden Hans Svensson.
1. Bone and Aluminium
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
2. Membrane glycoproteins of the endoplasmic reticulum : their existence, biosynthesis and incorporation into membranes
Sammanfattning : .... LÄS MER
3. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
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
4. Verification of Erlang Programs using Testing and 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
5. Some properties of measures of disagreement and disorder in paired ordinal data
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