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 Swedish road transport sector relies almost completely on fossil fuels. In 2007, as much as 96 percent of the total sales of fuels was made up of petrol and diesel, while at the same time the share of total emissions of greenhouse gases in Sweden that came from road transports amounted to close to 30 per cent. Sweden is by no means worse off than any other European country in these respects. In order to address the questions of high oil dependence and CO2 emissions the European Commission has proposed a reinforcement of the legislative framework, with a 10 percent minimum for the market share of biofuels in 2020. Furthermore, the proposed target is binding for the member states, unlike the current voluntary target of 5.75 percent by 2010. More than doubling the usage of biofuels in only a bit more than a decade will most likely not be possible without policy interventions.

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.

The survey Distanshandeln idag 2005, made by the Swedish postal service, tells us that web shops started to pop up in the 1990´s and began competing with the catalogue sells in the end of the decade. Ten years ago, it was said that the web shops would take over the distance trade market. Today we know that did not happen. Internet shopping accounted for 4, 2 % of all distance shopping in Sweden last year. Our inquiry is guided by the observation that the catalogue is still in use and moreover, it seems to have changed very little from when we were kids.

Increased trade and eased policy restrictions have brought markets closer together. Prices at different locations are much likely to affect each other to a certain extent. Since the adaption of Common Agricultural Policy in 1995 the Swedish wheat market has been exposed to the world market and Swedish farmers are facing new challenges. A broader knowledge about market integration and price transmission will facilitate Swedish farmers, banks and politicians in making rational decisions. Therefore the aim of this research is to explain how global wheat prices are transmitted on Swedish wheat prices.

The southern part of Sweden, Skåne, is frequently exposed to storms causing great damage to Norway spruce (Picea abies L. Karst.) stands. A storm during the winter 1999/2000 raised the attention of the problem. A lot of forest owners got large areas of spruce stands wind thrown during this storm. Can naturally regenerated birch (Betula sp.) be an alternative on these wind-exposed sites? This was the main question I was facing when discussilig the problems with Esben Möller Madsen, Söderåsens forest district. The aim of this master thesis was to present an economic analysis of Norway spruce versus birch.

Background: Since the early 60?s, the CAPM or Capital Asset Pricing Model, has been an invaluable tool for assessing an asset's expected return, assuming that the asset is added to an already well-diversified portfolio of assets. CAPM theory assume that the unsystematic risk can be diversified and that the systematic, market-specific, risk is determined by the Beta value, from the Greek ?. An investor who takes big risks expect higher returns.One of the CAPM?s basic assumptions is that disruption in the market is not taken into account.

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 essay is an effort to examine and define three examples of liminal dance performances through an aesthetic, hermeneutic and semiotic analysis. The examples are three dance or liminal performances, made by three different choreographers and performed at ?Moderna Dansteatern? and ?Dansens Hus? in Stockholm during September and October 2005. In the effort to determine the liminal and cross-over in the performances, the analysis focus on aspects such as: the character of the work, choreography, the use of scenery, stage light, requisites, conception of place and interior room, the use of costume and mask, the use of different media as text, pictures, film, and music or not using any these, and the interaction with the audience. The analysis depends on a historical background and the use of literature in the subject.

Leber´s hereditary optic neuropathy (LHON), a disease affecting vision, is caused by several point mutations in mitochondrial DNA. Mutations leading to a defect NADH ubiquinone oxidoreductase protein will affect the respiratory chain and cause a disturbed ATP production. It is still unknown why this defect leads to the degeneration of retinal ganglion cells and cells in the opticus nerve as well as demyelination of axons in these areas. Analysis of mitochondrial DNA is an important tool in the diagnosis of the disease. At the present time analysis is based on cleavage by restriction enzymes, which only detects two of the most frequent mutations: m.3460G>A and m.11778G>A.

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.

Wildlife fences are today commonly used along highways to reduce the risk of vehicle collisions with wildlife. Since traffic and roads have expanded over the years, wildlife behaviour has become more interesting not only for the prevention of vehicle collisions but also to understand how human activities impact their natural habitats. Moose is one of those animals that have increased in interest in such studies. In this study, I tested if the probability to cross wildlife fences of moose would increase with increasing home range sizes, and also at what time of the year they cross. The study area is situated in Nordmaling municipality, located in Northern Sweden in the County of Västerbotten.

The purpose of this paper is to explore how masculinity and femininity are constructed in the magazine Veckorevyn, through a critical discourse analysis of 18 articles from six issues in 2011. This is done by using a variety of theories and previous research results, which is gender theory, the theory of late-modern society and media theory. The analysis shows that Veckorevyn depicts virility and feminine differently. Furthermore, pointing the results from the analysis that a change of manhood and womanhood takes place in the social practice. The selection of articles from the magazine also shows that Veckorevyn seems to promote gender equality. .

This report presents a method for modelling a computer system from a security perspective. The questions that are going to be treated are:? What defines a secure system and how does the company relate to these factors?? What are the threats today based on hardware/software, human factors and company routines/policies?? What measures should be taken for the organisation to reach a higher level of security for their systems?? How do we develop a method for classification of security and what components should it contain?? What changes are reasonable and necessary with the respect to the company?s resources?The report has been done through interviews and analysis of existing systems on Fla?kt Woods AB. From analysis of material, the aspects judged relevant to the subject and to the company?s needs, have been compiled to a document.

 This bachelor?s thesis purpose is to examine how library staff experiences the meeting with non-Swedish speaking users of public libraries, and how they solve different situations. Today there is not much research on this subject but we find these questions important to study because we think it is good to be aware of the situations that can arise and discuss how to solve any problems. To have a basis for this qualitative study we conducted group interviews with library staff, where they are asked about their experiences with non-Swedish speaking users. In the analysis the results of the interviews are compared to previous research and related to communication theory, which is the theoretical framework for this study.