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 main purpose of this analytic study which has a theoretical focus, Is to find out if the two Swedish parties Socialdemokraterna (s) - The Social Democrats - and Folkpartiet (p) - The Liberal Party - has taken position ideologically or strategically to the new sex-degree grading scale. The theory section describes the concepts of ideology and strategy. Despite the talk of the death of the ideologies, this don't need to be the case, they only adjust över time. The second key-point of this essay is strategy, a model based on Frostbergs reasoning illustrates this. A number of problem areas are presented.

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 study investigated potato growing in beds as an alternative to conventional ridges.It was based on results from field trials on bed-grown potatoes carried out by Halland Rural Economy and Agricultural Society in 2007, studies of literature and interviews with farmers with experience of bed growing of potatoes. Due to their shallow root system, potatoes are one of the most drought-sensitive crops. Potatoes are often grown on sandy soils with poor water-holding capacity. Factors such as total yield, tuber size distribution and quality defects are negatively affected when water becomes insufficient. Wide beds have a more flat top which leads to more uniform water infiltration. Further on, beds have lower soil surface area due to its shape, and therefore, retain water more efficient. In the field trials, which were carried out at the Stjärnarp Estate near Halmstad, potatoes were grown in beds alongside a conventional ridge-grown crop.

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.

This thesis was developed as an assignment from Ludosity Interactive where the goal was to develop a copy of the Xbox Live Indie Games-marketplace from the Xbox 360. Ludosity Interactive had a necessity to easily test a game's attractiveness to potential customers using testing people from outside the company in a simulated Xbox Live Indie Games test environment; excluding this developed system there is no other way to do such an analysis without actually releasing the game on the Xbox Live Indie Games marketplace and then analyze the resulting sales from the product.The finished system had to be similar to the original system to the degree that a user could see past the interface itself and use the system just as he/she would have used the real marketplace. It also had to be easy to change and add games to the system so that Ludosity Interactive easily could show the games and the data that they deemed interesting for their tests. The final product was developed using C#, XNA and XML together with an Agileinspired development method in combination with Pivotal Tracker. This report describes how this product was developed..

Ett beslutsstödjande system är ett verktyg som kan användas av beslutsfattare i syfte att ta fram information som skall utgöra underlag för beslut. Användargränssnittet anses vara den viktigaste aspekten att beakta i samband med utveckling av beslutsstödjande system eftersom det är via detta som användarna interagerar med systemet. Enligt litteraturen finns det svårigheter i denna utveckling, exempelvis genom att systemet skall stödja olika användargrupper samt uppgifter som användarna skall kunna utföra. I denna uppsats studeras de faktorer som är viktiga att beakta vid utveckling av gränssnitt för beslutsstödjande system. Exempel på en faktor som litteraturen nämner som viktig är typ av användare.

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 underlying question addressed in this paper is whether or not it is possible to influence the way a company?s employees behave using monetary incentives. How efficient is money as a means to enhance work motivation? Today, the assumption that employees perform better when bribed with rewards is questioned by scholars. The previous confidence in monetary reward systems is increasingly being replaced with hope for more effective programs, where employees to a greater extent can be motivated by non-monetary incentives.

För att skapa en större konkurrenskraft och hantera det allt hårdare affärsklimatet väljer många företag idag att implementera Enterprise Resource Planning (ERP) system, dessa heltäckande affärssystem integrerar alla verksamhetens delar med en gemensam databas och skapar nya möjligheter. För att kunna utvärdera vilken nytta en organisation får av ett sådant system behövs det lämpliga analytiska ramverk. Trots att det finns ramverk för denna typ av utvärdering, råder brist på lämpliga utvärderingsverktyg. En ny utveckling på marknaden för dessa system är webbaserade ERP-system. Systemet köps istället som en tjänst, där systemet finns på en server hos tjänsteleverantören.

This case study examines the new media presentation system in Alby public library. The aim is to explore if the contemporary Zeitgeist, wich according to the sociologist Zygmunt Bauman, could be described as liquid modernity, has affected how the system was formed. The purpose is to find out how that would affect users and staff of public libaries of the contemporary. Interviews were conducted with the library staff, and plans and documents concerning the media presentation system was examined.The empirical part of this thesis starts with a study of the process that resulted in the new presentation system while the second part examines the system as such. I discovered that both the media presentation system, and the process which preceded it, contained aspects that could be traced to liquid modernity.

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.

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.