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.

Background: The way in which corporate managers interpret, reason and evaluate uncertainties and constant changes, and how they take advantage of their experiences and wisdom can make a big difference for the long term survival of their companies. The requirements for efficiency and flexibility have increased in many ways, especially concerning the workforce needed and its degree of competency. In Sweden, employee recruiting industry has grown concurrently with the changes in the Swedish economy. Purpose: The purpose is to better understand the recruiting industry by performing a theoretical evaluation from a cognitive perspective. Delimitation: We intended to study the cognitive characteristics of the Swedish recruitment industry.

The purpose of this study was to examine and describe how politicians and directors of care define and experience quality in aged care facilities. Further on we wanted to compare on which fundamental principles the participants base their opinion about quality and how they work with quality. To reach our aim we conducted five interviews with politicians and directors of care. The results show that it is hard to determine quality in an unambiguous and objective way. Quality in aged care appears to be about relations and encounters amongst people.

Fukt i kyrkans krypgrund är ett ?växande? problem som på senare tid uppmärksammats alltmer. I denna studie har flera möjliga lösningar undersökt, vidare har en allmän angreppsmodell formulerats för att underlätta framtida utredningar. Studien visar bland annat att styrning efter mögelrisken är önskvärt för att få ett energioptimerat och garanterat mögelfritt klimat. Åtgärdsförslag såsom sorptionsavfuktare samt värmning genom elradiator direkt i krypgrunden är möjliga lösningar som med ett litet energitillskott förbättrar klimatet i krypgrunden avsevärt..

The aim of this paper is to spread some light over contract treatment from the perspective of the District Courts, Social Services and Probation Services, and understand the reason for local variation of the number of people sentenced to contractual treatment.Essential questions asked in this paper are; What advantages and disadvantages are known by the cooperating parties regarding contract treatment in comparison to prison? What parameters are considered when the cooperating parties decide upon contract treatment? What impact does the shared responsibility of cost have? What do the respondents think is the reason for the local variation?In order to answer the essential questions a qualitative and descriptive method has been used to highlight the main question of our study; What is the reason for the local variation in number of contract treatment sentences in Halmstad and Ystads district courts?The paper shows that the local variation between the Probation Services districts is dependent on the conditions to propose a contract treatment. In Halmstad it is not conditioned for the Probation Services to have a responsibility agreement with the Social Services to the same extent as for the Probation Services in Ystad..

Reaching shared understanding during court hearings is a prerequisite to ensure a fair trial and maintaining legal certainty. Every month between 2,000 and 3,000 court hearings in Sweden make use of interpreters. Interpreter-mediated conversations involve an extra discourse compared to monolingual conversations which increases the risk of misunderstandings.Using methodology of conversation analysis the study explores how bilingualism is expressed during interpreter-mediated court hearings, at which occasions the Spanish-speaking laymen switch to Swedish and what function the codeswitching fulfills. The study identifies patterns in codeswitching and categorizes them into six different types. Furthermore the ideology of monolingualism in court is challenged and the advantages and disadvantages of codeswitching is discussed.The analysis concludes that even though certain types of codeswitching lead to delays in the conversation, the interaction is mostly favored by the Spanish-speaking party understanding some Swedish.

A central question is what view of communication is dominating in a municipality in the southern part of Sweden. The study deals with communication theory from two different perspectives; the view of transmission and the view of creation of meaning. Falkheimer and Heide (2003) claim that the view of transmission is one-way communication where the receivers apprehend passivly. In the view of creation of meaning the goal is to develop and strengthen the common notion that exists in a group. Empirical studies were done, that consisted of qualitative interviews with politicians, directors of the municipality, and principals from three childcare and school areas, and also from one upper secondary school.

Gravitational lenses are unlike ordinary optical lenses, a phenomenon corrupting our optical view of the cosmos. When we look out intospace we see celestial bodies lying with astronomical distance from Earth. There is no guarantee that what we see out there in space is actually there where we are observing it, and it may be that we see multiple images of the same star! Studies have shown that thenumber of distorted images of an n-mass (n > 1) plane lens can not exceed 5(n -1) for lighter lenses or 5n for more massive lens. This mathematical thesis covers gravitational lensing and their properties that distort light rays coming towards us from distant celestial bodies. In addition of gravitational lensing, its properties and the proof of the maximum number of distorted images, a bigger part of this work even cover two very interesting mathematical tools - the so-called Schwarz function and Bezout theorem..

The aim of this Master thesis is to examine the institutionalization of Library- and Information Science in Sweden. I focus on the period 1978-1991, and pay special attention to the development of the discipline at the University College of Borås. My main method of investigation has been analysis of printed sources. After a brief description of the discipline and its history internationally, I describe how research and graduate education in Library- and Information Science developed in Sweden during the 20^th century. A major part of the thesis is an analysis of three reports from the chosen time period which are all, with slightly different prerequisites, trying to find a solution to the problem of how to establish Library- and Information Science as an academic discipline in Sweden.

When a child is hospitalized, it is usually more than one person who needs attention ? i.e. the child as well as its parents. The emergency ward environment and surgery rooms are unfamiliar and the parents feel anxious, insecure and uncertain about how to act. They are expected to participate in the child?s care, cope with their own anxiety and simultaneously convey a sense of security and stability to the child.

Det kommunalägda fastighetsbolaget Videum AB som hyr ut och förvaltar lokaler på campus i Växjö ska uppföra en ny byggnad med totalytan 5000m2. För att underlätta i projekterandet åt Videum AB har en förfrågan av vilken form på byggnaden som är den mest vinstgivande för företaget undersökts i den här rapporten. I byggnaden ska det finnas kontorslokaler som Videum AB kan hyra ut till andra företag. Kravet är att planlösningen ska vara flexibel och kreativ. Uthyrningsprocenten ska vara högsta möjliga vilket undersöks med hjälp av utvalda nyckeltal.

The aim of this study is to examine the legal regulation regarding the psychosocial work environment for temporary agency workers. Furthermore, the aim of the study is to examine how temporary agency workers perceive their psychosocial work environment, and possible consequences of such perception. The methodology of the study consists of practical legal method and qualitative method in the form of interviews.The results show that the psychosocial work environment for temporary agency workers is regulated at both the EU legal level by Directive as well as at national level in Arbetsmiljölagen and regulations issued by Arbetsmiljöverket. The study finds that health and safety responsibility for temporary agency workers is shared between the agency and the client company. The result of the study indicates that there are shortcomings in the introduction and training of temporary agency workers, which can contribute to an unsatisfactory work environment.

The purpose of this master thesis has been to explore how Skanska Installation can be organized and managed from a Feedback of experience perspective, and define how an IT solution for knowledge management can be designed by identifying the company's current needs in communications, structural capital and information management.The study follows a deductive approach with a qualitative starting point. Using the literature  studies  the theoretical references were built, which is of great importance when using  a deductive approach.Furthermore the report is based on a case study on two different projects: Herrgården and Nattsländan. With the collected empirical data from the case  study the analysis was carried out with the theoretical framework as a basis. This finally led to the conclusions of the study.The purpose of a communications plan is to show how the communication between employees must be managed to best move the project forward. Emphasis is placed on the formal and informal communication of the company.

The aim of this study has been to describe and clarify the phenomenon violence from patients within neuropsychiatric institutions, as experienced by staff members. The study has adopted an actor perspective and phenomenology as a philosophic and theoretical framework. The method used for data collection and analysis has also been influenced by phenomenology. Data consisted of five semi-structured interviews of a descriptive nature, and the goal of the analysis has been to articulate the general structure of the phenomenon. The results showed that the violence from patients is characterized by a professional commitment which includes always staying ahead and being able to help, protect and express a high level of emotional self-control.

The Swedish curriculum says that the education will adapt and take notice of every child?s individual condition and needs. Every child has the right to development, to feel the happiness of growing and to experience satisfaction of making progress and overcome difficulties. In every class it is often children who need adapted physical education. The earlier these children can get support and practice, the bigger the chance is that they will catch up.