Sökning: "Bengt Pettersson"

Visar resultat 6 - 10 av 14 avhandlingar innehållade orden Bengt Pettersson.

1. 6. Chemical exposure in the work place : mental models of workers and experts

   Författare :Anita Pettersson-Strömbäck; Bengt Järvholm; Steven Nordin; Bo Strangert; Marianne Törner; Umeå universitet; []
   Nyckelord :self-assessment of exposure; predictions; expert judgment; risk; interpretation; time series analysis; MAPE; benzene; monoterpenes; styrene; Occupational and Environmental Medicine; arbets- och miljömedicin;

   Sammanfattning : Many workers are daily exposed to chemical risks in their work place that has to be assessed and controlled. Due to exposure variability, repeated and random measurements should be conducted for valid estimates of the average exposure. LÄS MER

3. 7. Det röda Dalarna : Socialdemokrater, anarkosyndikalister och kommunister inom Dalarnas Arbetarrörelse 1906-1937

   Författare :Börje Henningsson; Jan Lindegren; Lars Pettersson; Bengt Nilsson; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; History; labour movement; politics; organisation; socialism; social democracy; anarcho-syndicalism; communism; election; Swedish history 1906-1937; Historia; History subjects; Historieämnen;

   Sammanfattning : This dissertation investigates the internal struggles within the labour movement in Dalarna at the beginning of the twentieth century. I investigate Social Democracy, Anarcho-Syndicalism and Communism, the three major factions of the working class. LÄS MER

4. 8. Model-Based Test Case Generation for Real-Time Systems

   Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
   Nyckelord :Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

   Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER

5. 9. Model-based test case selection and generation for real-time systems

   Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Testing is the dominating verification technique used in industry today, and many man-hours and resources are invested in the testing of software products. To cut down the cost of testing, automated test execution becomes more and more popular. LÄS MER

7. 10. Energy consumption transition : final household energy consumption in the case of Sweden 1920-2010

   Författare :Mikael Levin; Lars-Fredrik Andersson; Ann-Kristin Bergquist; Thomas Pettersson; Bengt Kriström; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; economic history; households; energy transition; energy consumption; residential; electrical appliances; Carbon dioxide; emission; ekonomisk historia; Economic History;

   Sammanfattning : This licentiate thesis examines households’ final energy consumption over the long run by measuring their final energy use and examining how structural, institutional and economic factors affected the demand for energy in the residential sector during the period 1920-2010, a period covering the transition from traditional to fossil to renewable energy carriers. I believe that wider understanding of the historical energy transition and energy consumption within the residential sector might help us gain important insights into the long-run development and the factors affecting energy consumption among the households. LÄS MER