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..

AbstractMany opinions are divided on what religious freedom should protect and the area is unexploredin preschool. Is it the parents, the child or preschool teacher right? The aim of the studywas to investigate Maria klasson Sundin´s concept and theoretical models of religious freedomfor children through three Swedish preschool settings and also how three teachers interpretsand expresses children's freedom of religion. Through a qualitative interview study theaim was to investigate how the concepts of religion, autonomy and freedom is interpreted andexpressed by the teachers so a picture through this three concepts can categorise the teachersin a model; freedom of thought, tradition and life interpretation model so a broader picturecan be made to understand how the children's freedom of religion is expressed in the preschoolsetting and how the teachers work. The Result showed through the analysis that themodels fail to categorise the teachers in any theoretical model but on the other hand the understandingof preschool teacher?s expression and interpretation of the concept of religion,autonomy and freedom showed both diversity and lack of knowledge on the subject mattersreligious freedom which fall within the child rights issues.

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.

Purpose: The purpose of the study is to in a comparative and causal way explore whether there is a relationship between risk and return and also how it is perceived on the Nordic financial markets.Theory: The theoretical frame of reference applied in the thesis is considered relevant inthe perspective of the study?s purpose and research questions. We have among other theories used The Capital Asset Pricing Model, The Efficient Market Hypothesis and various Behavioural finance theories.Method: The study has its starting point in a quantitative approach with a quantitative data analysis supported by secondary data extracted from Thomson Reuters.Empirics: The empirics contains regression analyses made from calculated secondary data of 240 randomly chosen companies from Nasdaq OMX Stockholm, NasdaqOMX Copenhagen, Nasdaq OMX Helsinki and Oslo Bors.Conclusion: The study conclusions show that there are both a negative and positive relationship between volatility and actual return on the investigated markets. Considering this prior statement we can conclude that the Capital Asset Pricing Model can?t correctly describe the actual relationship between the parameters investigated on the current sample.

The thesis work has been carried out at Volvo Aero Corporation (VAC) in Trollhättan. VAC has entered a partnership as developing and producing partner with engine manufacturer Pratt & Whitney and is currently at the starting phase of producing the turbine rear frame (TEC) to the engine PW1000.The purpose of this study was to create a report on process level that describes the conditions and the potential with PW1000 TEC to reach the product cost calculation taking into account lead times and describe alternative method solutions.The report describes a comparison between the present flow (2012), a flow based on product cost calculation (2016) and a potential flow (2016). The work has mainly been based on acquiring the knowledge and information available to inspect the present flow; this has been done by workshop observations, meetings and gathering of the information that is available on the work site for the PW1000 TEC.The information obtained has been merged into an Excel document, called Roadmap. It serves as a roadmap with current situation as the start and the potential flow for 2016 as the goal. With the roadmap as a tool, assumptions have been taken considering the flow and how it will change, where processes have been eliminated, reduced or marked as a problem..

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.

This essay takes its point of departure in the need for modern day public libraries to legitimize their place in today?s society. Societal changes call for constant reinvention of libraries and as part of this reinvention, new light is being shed on the public library?s role as a meeting place. By investigating contemporary debate articles published in Bibliotek i samhälle and Biblioteksbladet, two major Swedish library magazines, this essay aims to categorize and compare different conceptions of the library?s function as a meeting place.

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.

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.

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.

During the early 1990´s, the Swedish commercial air traffic was de-regulated and the new market-condition made it possible for low-budget airlines to enter the Swedish market. The former monopolistic airline company, Scandinavian Airline Systems (SAS), was facing a new type of competition which had the advantage of offering much cheaper air trips than SAS. Adding the decrease of profitability that struck SAS as well as other airline companies after the terrorist attacks on the 11th of September, forced them to carry out a mayor reorganization programme. The programme, called ?Turn Around 2005?, was a direct economical measure that begun in 2002 and lasted until 2005 and resulted in a cost saving of 14,5 billion SEK as well as a notice or a transfer of 6000 employees.The purpose of this essay is to investigate if the opinion of the consumer, the image, corresponds with the profile that SAS wishes to mediate today.

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.

The purpose of this essay is to examine whether the descriptions of Stalin's terror in history textbooks for high school changed from the 1950s until the 2010s. Since previous research shows that textbook content is influenced from different directions and that it dominates in teaching, therefore I want to find out what similarities and differences that exist in the textbooks. The survey is based on a qualitative approach because I want to have a profound picture of the descriptions of Stalin's terror. The results of the survey show that the number of casualties and the descriptions on the famine has changed over time. Furthermore, textbooks also found it difficult to distinguish between terror, politics and ideology.