This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal representation of a FSM that is built up from the SMV description. A number of rewrite steps are performed on the problem description such as encoding to a Boolean domain and performing the optimisations.

In this report a study is carried out with the aim to identify added values of EPC projects implemented in schools in order to increase the interest of EPC projects on the market. The report examines how the planned maintenance, supervision, maintenance and corrective maintenance is affected, how insurance premiums and terms are affected, the indoor environment and how the tasks of the operating staff is changing. A literature study of energy savings, energy use in schools, maintenance and insurance as well as how energy efficiency improvements are related to the Swedish environmental objectives has been made. Visits were carried out in Ludvika, interviews were also carried out with operation technicians and local strategists in Ludvika as well as employees of insurance companies.Schools often have neglected maintenance and problems with ventilation and indoor environment. Schools also have a large energy saving potential due to their low utilization, mainly because they are empty parts of the year.

AbstractThe indoor environment affects the human performance. Noise pollution, poor lightning and coloring are some of the factors that affect our work performance. The human is also affected by the air change and temperature, these factors are in most buildings possible to adjust and through this make economic savings. To find out about the indoor environment in the O-building a questionnaire was handed out, measurements/surveys and an interview was also made. 108 questionnaires where handed out to employees and students.

In this report a study is carried out with the aim to identify added values of EPC projects implemented in schools in order to increase the interest of EPC projects on the market. The report examines how the planned maintenance, supervision, maintenance and corrective maintenance is affected, how insurance premiums and terms are affected, the indoor environment and how the tasks of the operating staff is changing. A literature study of energy savings, energy use in schools, maintenance and insurance as well as how energy efficiency improvements are related to the Swedish environmental objectives has been made. Visits were carried out in Ludvika, interviews were also carried out with operation technicians and local strategists in Ludvika as well as employees of insurance companies.Schools often have neglected maintenance and problems with ventilation and indoor environment. Schools also have a large energy saving potential due to their low utilization, mainly because they are empty parts of the year.

Central labour market actors have come to an agreement ? Sweden is going to need labour migration. In spite of the agreement the actors disagree upon how the labour migration should be designed. This essay examines how the union organisation, LO presents labour migration in their rapports during the years 2000-2006. This is done through Laclau and Mouffes discourse theory and a merge with postcolonial theory.

Background and problem: In March 15, 2009, the third piece of money laundering directive was introduced which mean a more strict legislation in control against money laundering and terrorist financing. The directive is based on a risk based point of view which means that the resources should be used where the needs are. The responsibility for financial companies and other parts are bigger then before which means that they have to get a more extensive customer knowledge etc. It has however been appeared that the directive in some cases lack of precision and clarity which creates an insecurity among those who are included by the law. Purpose: The purpose of this paper is to examine which consequences the third piece of money laundering will bring on the banks customer relationships and how the employees work assignments at the banks will be affected. The authors also want to examine how the extension of money laundering will be affected and clarify if there is any indistinctness about how the application looks around the banks.Method: The authors choose to use a qualitative method and the empiric material has been collected through personal meetings, telephone interviews and through e-mail answers. Conclusion: The majority sees the third piece of money laundering directive as something positive which will protect both the banks and their customers.

In this report a study is carried out with the aim to identify added values of EPC projects implemented in schools in order to increase the interest of EPC projects on the market. The report examines how the planned maintenance, supervision, maintenance and corrective maintenance is affected, how insurance premiums and terms are affected, the indoor environment and how the tasks of the operating staff is changing. A literature study of energy savings, energy use in schools, maintenance and insurance as well as how energy efficiency improvements are related to the Swedish environmental objectives has been made. Visits were carried out in Ludvika, interviews were also carried out with operation technicians and local strategists in Ludvika as well as employees of insurance companies.Schools often have neglected maintenance and problems with ventilation and indoor environment. Schools also have a large energy saving potential due to their low utilization, mainly because they are empty parts of the year.

Virtual Communities is an increasingly common phenomenon on the Internet. Most of the Virtual Communities are operated and maintained on a non-profit basis with a direction towards entertainment. However, as more state administrated and commercial services become web-based, we believe that the number of Virtual Communities with a community-based or commercial direction will increase in a near future. In this thesis, we describe our participation in, and studies of, a number of Virtual Communities with focus on the IRC-channel ?3dfxsweden?.

The essay's aim is to explain how responsibility distribution between private and public bodies, primarily within three important service areas, can be visualised in light of the fact that they have experienced different forms of readjustment. We have chosen to study this by looking at the restoration work taking place after the hurricane Gudrun swept across southern Sweden on January 8-9, 2005; and we have chosen to concentrate on the service areas of electricity- and telephone supply, and public transport. The responsibility distribution has been depicted by carrying out qualitative interviews with employees within both private and public bodies included in the restoration work. The conclusion produced is that there were obscurities in the formal responsibility distribution between private and public actors taking place in conjunction with the hurricane restoration work.In a deeper analysis, the result can be explained by a ?several hands? problem arising since the number of actors has increased as the public sphere has adopted leadership forms influenced by the private business sector.

The aim of this thesis is to map the current internal information flow at Volvo Uddevalla, to detect obstacles in the flow and to find out how these obstacles can be avoided. The aim is also to describe how a corporation, in this particular case Volvo Uddevalla, creates knowledge and use information. The study is performed in order to create a base for the coming implementation of a new information standard. The method used is conducting an information audit investigating the current management of documentation according to the changes that have to be made to carry out the claims from the standard. The investigation is made by way of interviews with 16 of the employees at Volvo Uddevalla.

This addresses the problems when a film doesn?t easily fit in to one specific genre. Using No Country for Old Men as an example the study analyses the film from a Western perspective. Is it possible to say that it is a western? To determine that, I compare a number of acknowledged westerns, on the basis to list a number of generic conventions.

This report deals with the theory and empirical evidence of how knowledge generated within a project is to be captured and shared with other projects and the surrounding organization, after the end of a project. A number of authors have highlighted knowledge management within a company as a key component in building a unique competitive advantage and knowledge should therefore be considered a very important resource within companies. The difficulties of ensuring that knowledge generated within a project can benefit other projects are many. The nature of the project form has been highlighted as one of the biggest problems, due to the fact that budget and time requirements often restrict the propensity to work with knowledge transfer. Other difficulties that this report highlights are in particular the lack of a knowledge sharing culture within the organizations, as well as human cognitive and psychological limitations and lack of tools design for knowledge transfer.

Problem: How should a company act to sustain a strong identity and thereby a strong brand image when operating in a changeable world?Purpose: The purpose of this thesis is to analyze whether the corporate identity of Academic Work is strong or fragmented. Further more this thesis aims to give recommendations on how the company could continue working to maintain a strong brand image. Methodology: The thesis is a case study of Academic Work. The study is based on data collected from interviews, a poll as well as data from the company website.

The aim of this study was to get a deeper understanding of how employees at NCC Construction Sverige AB experience health promotion activities. The purpose was to identify and uncover the process of meaning constitution concerning health promotion within each subjective individual. To achieve this deeper understanding the participants were asked to answer a carefully formulated phenomenological question in a self-report. The received reports where analysed according to the method of Meaning Constitution Analysis. The result showed that both office workers and construction workers exclusively refer health promotion to bodily functions even though there where some differences in type of activity they focused.

The aim with this thesis is to develop a plugin; Lovefish, for the purpose of allowing non-realistic renderings (NPR) for visualisation in Newtek Lightwave3D. The main purpose with Lovefish is to offer textured tones, something that has not been offered before by any previously existing shader for Lightwav3D. The textured tones are a substantially widening of what is possible to imitate in the field of classical art techniques. Among others has a number of SIGGRAPH papers has been the foundation and a source of inspiration for what has been achieve in this project. Further has this thesis treated a number of questions: what is non-photorealistic rendering is and how it works; an overview of the Lightwave3Ds software development kit (SDK)..