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.

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 study has been performed at a smaller high school and with its industry students, the high school is located in a small industrial community. The purpose of my study has been to find out what students think about their work with the project work, what they think has been positive and negative, how their motivation is influenced by the work on the project and if the work has been affected by factors outside the school world.The interviews have been carried out like normal conversation with open questions. The students who participated in the study comes from the school where I did my internship. The selection was done by asking all students from a specific course, those who were positive to participate are also the ones I have chosen to interview. My main study results, in summary, described as the students, once they were inside their work were positive to the project work and felt motivated in their work. Negative experiences, for the students which attend a practical program, has mainly been economic, as the school does not provide any financial support.

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.

The purpose of this study was to investigate registered nurses experiences about the current model for triage at the emergency department at Uppsala University Hospital. The study is descriptive with qualitative approach. The data collection was made in the form of semi structured interviews. The interviews took place at the emergency department. The sample consisted of eight registered nurses with varying work experience of emergency care.

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.

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.

The purpose of this paper is to study how Swedish CFOs perceive that the requirement for companies to issue quarterly reports affect business operations in the company. The fact that it is regulations on the Stockholm Stock Exchange, and not the law, that requires companies to issue quarterly reports makes Sweden unique in Europe. The paper is based on interviews with CFOs from 32 companies quoted on the Stockholm Stock Exchange. The major finding in the study is that a majority of the CFOs perceive that the pressure for short term results, created by quarterly reports, affect their work and the investment decisions made in the company. Also CFOs feel that the market over interprets the information given in quarterly reports.

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.

AbstractAuthor: Ellinor Carlsson and Renate HöjdTitle: "When you can make a difference and when you can´t" the power relation between psychiatricdisability social worker and client [translated title]Supervisor: Eva SkogmanAssessor: Norma MontesinoOne branch of the social works field of research is the relation between social worker andclient. Research has shown that the power and inequality in the relation between helper andperson being helped is needed for the helper to provide help. Power is often mentioned undernegative circumstances such as social workers abuse of their power position, violating theperson being helped. However, Michel Foucault suggests that power is something neutral thatexists in every social interaction. The negative aspects of power are effects of the parties notreaching agreement.

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.