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.

The population growth in Europe and with that in Sweden was enormous under 18th century. The results became housing shortage in large part of Europe. Tight residency/ inhabited, poverty and emigration were series of social questions in Sweden. Private house (egnahem) as in the beginning was an idea from England and Germany became a political measure and the answer at those miserable social circumstances in Sweden. The purpose with the private house (egnahem) was to help those new people moved in to towns with place to live and counteract movers to towns and emigration. With the governmental loan and land availability that some municipalities and wealthy people contributed with, could people get a place to live with the small garden. The city garden (trädgårdstaden) with their future idealistic idea/utopia, English gardens, ideas with roots in the old-fashioned gardens (allmogeträdgårdar) and lots of books and periodicals were the source of inspirations. From these the private house gardens (egnahemsträdgårdar) were born. Object for my study is my and my family?s own house in Limhamn, south west of Malmö which was built in 1912 under private house gardens era. The garden and the building have still trace and element from the time of private house. My suggestion is inspired by the private home style with a new thinking design that answers to daily need and the busy life style; a rather easy to maintain for green environment. A more relaxing and peaceful garden with simple design, a garden despite that it is surrounded by neighbours and streets invites in harmony and dreams..

This essey discuss competence development for the employees in a unit of the Swedish police authorities. The purpose with this survey has been to show an understanding for how this unit within the Swedish police authorities works with competence development and what kind of competence investments they carry out and also why competence development is important in their organisation. To answer the purpose of the survey and the questions a qualitative method has been used remaining interviews with five involved respondents working in the investigated unit. The result shows that needs for competence development are made clear during meeting for personal development and during the local educational council inventories. Competence development for the employees is prioritated for the policemen comparing to the civil employees on account of that the policemen have a demanding work and they have to develop their work all the time because of the resisting circumstances.

The purpose of this paper was to investigate what young behavioral science students, born in the 1980s, think is important in their future work life. The purpose has also been to investigate what attitudes the behavioral science students have towards their future work life, and what place work has in the young behavioral science students lives. After clarification of above, the aim has also been to compare the results with former research. Thereafter the purpose has been to investigate whether traditional work motivation and job satisfaction theories are applicable for young people today. The empirical material is based on interviews with six women who study behavioral science at various levels.

This essay addresses the subject social interaction in the social network named Facebook. The studied interaction took place between the Swedish clothing company H&M and the active visitors on the company page in the social network. The subject of social interaction in social media is an interesting field to study due to its vast range, the largely amount of people involved and it is of interest to see how the company and customers interact. The purpose of the essay was to study the interaction between the company and visitors. The statement of the problem is divided into four questions which is processing a deeper analysis of how the company page is used.

Syfte: Syftet med denna uppsats är att utröna hur events kan påverka boendeattraktionen till en stad och åskådliggöra andra påverkande faktorer. Metod: I vår uppsats har vi valt att använda oss av en kombination av kvalitativa intervjuer och en kvantitativ enkätundersökning. Vi utförde personliga semistrukturerade intervjuer med representanter från studieobjektet Trelleborgs kommun, medan enkätundersökningen genomfördes under två dagar i de centrala delarna av Trelleborg stad. Teoretiska perspektiv: Det huvudsakliga teoretiska perspektivet i vår uppsats utgörs av teorier kring Place marketing, Event marketing och Boendeattraktion. Dessa sammankopplas i en teoretisk referensram som ligger till grund för analysen.

This study investigates how social interaction affects newly arrived pupils? views on their study situation in the Swedish educational system. The aim is to give a contribution to the discussion on the notion of including ?the Other? in educational practice in multicultural schools. Semi-structured group interviews were conducted to explore how the intercultural perspective and the theory of inclusion can be used to explain the dynamics of social interaction.

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..

Syfte: Syftet med uppsatsen är att analysera och jämföra hur kommuner arbetar med sitt varumärke. Metod: En kvalitativ undersökning har utförts med en cross-sectional design (tvärsnittsdesign). Personliga intervjuer med representanter för båda kommunerna har genomförts och kompletterats med sekundärdata. Analysen har därefter grundats på insamlad empiri och utvald teori. Teoretiska perspektiv: Uppsatsen bygger dels på klassisk varumärkesteori i form av Melins strategiska varumärkesplattform men också på teorier inom place marketing.

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..

Abstract This study aims with a pragmatic approach to investigate the learning about how to solve simple equations, and what the teacher can do to help the student. Four questions asked are: (i) How and why will learning take place? (ii) What will complicate learning? (iii) How to support and facilitate learning? (iv) Is it possible to identify an influence between identity and learning? To answer these questions a qualitative study in elementary school is done. The results of the investigation are compared with previous research, and an interview with the teacher is presented. The recorded lessons are analyzed with PEA (practical epistemology analysis), and letters from the students with the Ecological Systems Theory of Bronfenbrenner.

This report analyzes disposable packaging and returnable packaging with the methods life cycle analysis and life cycle costs analysis. These two different packaging are analyzed through the company Clas Ohlson?s packaging-flow. To get a picture of how the flow works, a visit at the company and email contact have been done with Clas Ohlson to get relevant informationToday Clas Ohlson has a big flow of articles to the stores without larger variations in the demand, with the exception of autumn, which is when customers start shopping for Christmas. Clas Ohlson?s articles are placed on a pallet and are wrapped into plastic-film for protection and to make sure that nothing will be stolen.

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.

It is a common-held belief that the social worker for the most part uses oneself as a ?tool? in working with clients. This study seeks to examine that ?tool? in the context of treatment of teenage boys with psychosocial problems such as criminal behavior, drug-abuse and/or abusive home environment. The main purpose is to identify the conceptions of masculinity, and more specific hegemonic and subordinated masculinity, of the professionals working with the boys.

I have through a case study looked on a milkingfarm in Dalarna and been counting on what it would cost to increase the silagestorage. Today they have to little capacity on the existing towersilo because they built a bigger farm with more cows. The reason is that two families decided to start having the production on one farm together and moved all animals from one of the farms to the other farm. So for that reason I have looked on the costs to build a new towersilo or levelsilo. The goal has been not only to look at the buildingcost but also which operatingcost that is included with the different alternatives. I have taken tenders from two different towersilocompany, Bjurenwall and Svenska Neuero and taken tenders from Abetong for a levelsilo with roof and one without roof. The overall feed requirements on the farm is on 240 tonnes dry extract and the old towersilo hold 110 tonnes dry extract so the need for a new foundation is on 130 tonnes dry extract. I have through cost estimate been counting on the specific buildingcost for each buildingaltenative.