Företag förlitar sig ofta på datalager som aggregerar information från flera källor och över tiden. Dessa datalager är ofta centrala för beslutsfattande inom företagen, både kortsiktiga operativa beslut och långsiktiga strategiska. Eftersom information är en färskvara blir det allt viktigare att de dagliga laddningsrutinerna för datalagren fungerar. Denna rapport avser att analysera möjligheten att applicera principen model checking för en validering. Praktiskt avses att på ett automatiserat sätt använda Promela och Spin som verktyg för att validera att laddningsrutinerna för datalagret är korrekta..

The current standards for design of steel beams are divided into four classes based on the slenderness of cross-sectional parts. Depending on the section class a beams load capacity is either determined by a plastic, elastic or a reduced elastic model. The division between cross-sections calculated by a plastic and an elastic model is today done in a very harsh way with no smooth transition. This leads to a large difference in the calculated resistance for the sections located near the class limits. Elasto-plastic sections are in the current situation calculated as purely elastic and their large plastic reserve is not considered in the current standards.

This report is part of a Bachelor?s degree corresponding to 15 creditsat the Royal Institute of Technology, Stockholm. The work hasbeen carried out by Max Wikander, author of the report, supervisedby Lanie Gutierrez-Farewik and Erik Dijkstra.Gait analysis includes measurement, characterization and assessmentof human movement and is used to assess kinematic or otherabnormalities during gait. Center of rotation and the axis of rotationof a joint are fundamental parameters in motion analysis. However,the ability to create individualized analysis is limited by the lack ofaccuracy when these parameters are calculated.

The EU Services Directive has caused an intense debate across Europe. Its purpose is to remove obstacles to trade and to open up the public sector to increased competition. The Swedish labour movement has been deeply involved in the policy process, and union leaders have proclaimed the compromise reached in the European Parliament in April 2006 as a success.In the paper two major aspects have been considered: the meaning of the Swedish model and the process of Europeanization. The Swedish model previously allowed for a strong labour movement, through a social democratic hegemony, but the EU membership has implied new conditions for union influence. The paper examines how this change has affected the strategic choices of the Swedish labour movement, and how it has been manifested in the union's work with the Services Directive.

Flexicurity is a union of the English words flexibility and security. The union of the two words to one common term, hints that flexibility and security does not have to be each others counterparts in order to achieve good economical development and employment. Flexicurity, as it is found in Denmark, is described as a three part model composed of active labour market politics, generous financial compensation in the case of unemployment and flexible labour law. The existence of strong collective agreements and three part cooperation is of great importance for the good flow of the Danish model. The same goes for education of different kinds.

Tasmania is a state in Australia, and is also the country?s largest island. It is separated from the main land by a 429 kilometer wide strait. Every year, a large amount of people, cars and goods are transported to the island using a government owned ferry line, which generates approximately 300 million Australian dollars to the state?s economy ,every year. This bachelor thesis investigates the possibility of reducing the fuel consumption for the ferry traffic to and from Tasmania, which would also reduce the overall cost.

Background: A large number of companies works as a link between manufacturers and final users. These companies buys and stores goods to be able to deliver when a need comes up later in the chain. The storage could have a negative effect on profitability and therefore places great demands on the management control systems. ABC as a method has been used with some success in manufacturing for over ten years. In wholesale companies the method is not frequently used.

Objective: To investigate the experiences of ambulance nurses when using Boussignac CPAPcompared to their previous model, and their suggestions for possible improvements in the use of CPAP in the care of patients with pulmonary oedema. Method: A qualitative study with a descriptive and exploratory approach. Data was collected through ten semi-structured interviews with ambulance nurses, seven men and three women. The analysis was conducted using Lundman and Graneheim?s content analysis.

Digitization is a concept that has become popular in terms of collections of old heritage-related material such as books, photographs and paper documents. This work is a study of the Swedish composer Allan Pettersson (1911?1980) and his personal archive stored at Section for Manuscripts and Music at Uppsala University Library. My issues are What happens to the archive of the digitized? Will there be a "new" archive of the digitized? What guidelines are Uppsala University Library using for their digitizing and how do they look? What will be the result after digitization? What about copyright and the material? Allan Pettersson's personal papers consist a large collection of sketches of musical notes, newspaper clippings and concert programs.

The purpose of this paper is to study the subject Islam and Democracy and see whatcommonalities exist between the two ideas and traditions of thoughts. The subject is topicaland often highlighted by the media in the West. The Islamic voices that we hear today iscertainly not democratic, given the violence and hatred carried out by Islamic extremistsagainst the West. The investigation of this paper have shown a different direction when thereare other voices such as those investigated reformist thinkers who argue that Islam has manydemocratic elements, and even that Islam is more suitable than democracy. According to thereformists ismodel of an Islamic state is democratic and legitimate.

We have ourselves met misunderstandings about the tasks of librarians. The general opinion is that librarians are positioned behind the charging desk or are putting books on shelves. Other tasks are invisible and unknown to the public. The aim for this study is to explore the tasks that a selection of Swedish librarians does. The questions we have answered are: what do the librarians themselves claim to work with, which competences are necessary for this job, what does our study show regarding the librarian as generalist or specialist and finally; can the tasks that we find in our study help to understand the conceptions profession and status in relation to librarians.

Abstract Thou there are much written about management, are there, according to Mintzberg no simple definitions regarding how managers should operate towards other co-workers or employees. This essay outlines a perspective for study of managers, from an employees point of view. The study was preformed at one private company, and the empirical data was gathered from five employees. The methodological approach contained qualitative methods based on semi-structured interviews. By using this method, a deeper understanding regarding the questions was desired.

ternal communication in an organization by using CSM Communication Situations Model [18[upps-01.gif The topic of this master thesis is internal organizational communication and factors influencing the way people in an organization communicate with each other. The purpose of the study is to, by using a specific model called Communication Systems/Situations Model CSM, identify the social context of a given organization and examine how it relates to the dimensions of communicational behaviour which are presented in CSM. We would also like to see how the different parts of CSM affects the choice of communication channels. The thesis is based on interviews with eight employees in the specific organization, whom we have asked a number of questions regarding how they communicate with each other and through which channels. The results show that the social context is very informal within the organization and the relationships between the employees are very open and personal.

In this study I have examined how narrative techniques can be used to promote the reading value and readability in information. My focus has been on the communication-agency Mandoly?s information-brochure which function is to inform other companies about their own potential for development in collaboration with Mandoly. The purpose with this study is to examine how it is possible to increase the reading value in order to engage the target group. In my study I have used four methods: analysis of Mandoly?s old information-brochure, literature studies, a qualitative interview, and an user test.

This master thesis was initiated with the aim to answer at what level of installed capacity of wind power in the northern parts of Sweden it would be beneficial to improve the transmission capacity from the northern Sweden. During the process of this work the aim has changed to try and create a model that can be used to analyze how well the hydro power installed in the northern Sweden can even out the quick changes in wind power production.To create a good model of all hydro power in northern Sweden is a very large job, unfortunately too large for a master thesis. This report therefore ends with an extensive analysis of the simplifications that have been made and their effects as well as a list of the future work that has to be done.The model that has been created have shown to be effective and produce good results. The conclusions that can be made is that the northern Swedish hydro power have very good possibilities to balance the wind power production. Only a few cases where water have been spilled even though there has been some free capacity has been discovered.