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.

Under de senaste tio åren så har svensk polis blivit utsatt för ett en rad svårare händelser. En av dessa är t.ex. polismorden i Malexander där två poliser blev skjutna till döds. Dessa händelser har gjort att polisen utvecklat en gemensam nationell bastaktik för att underlätta arbetet i den egna myndigheten och vid gemensamma insatser. År 2004 togs beslutet om att införa en nationell bastaktik för Sveriges poliser.

Around the 1950s an explosive population growth started in the Third World. Parallel with the population growth a global network grew up advocating population control and limited population growth. Sweden had a unique place in that network through a pioneering role promoting the issue in the UN organization. During the 20th century Sweden was a pioneer country in terms of initiatives for population control. Ceylon family planing pilot project was something new in a time when other donors considered family planning be too controversial area for bilateral aid projects.

Aiming to contribute to the discourse on the sustainability of consociational democracy in plural societies, this case study provides an examination of Lebanon?s power sharing model. The study begins with an evaluation of the Taif Agreement. After acknowledging its effect on Lebanon?s consociational system the function and operation of Lijphart?s four consociational elements are analyzed.

The purpose of this MSc thesis is to examine the retrieval effectiveness of two Web search engines with queries from the academic discipline of Classical Studies. The two search engines are chosen to represent two different types Google as a broad general search engine and Argos as a specialised search engine for the subject of Classical Studies. The search engines are compared for precision among the first twenty results returned for thirty queries. In order to avoid bias in the study, the queries are based on real users' information needs. Due to the subjective character of the concept of relevance, the study is performed with five different experiments with five different definitions of relevance.

The purpose of this qualitative thesis is to describe and analyse the implementation of an education system in the newly independent state, Timor Leste. One question to be discussed is whether an emergency phase is still going on in the development of a functioning school system, or if Timor Leste already reached a capacity building phase? Via the participant's answers in field observations and interviews, the study analyses the clashes between generations, social classes and different levels in relation to the choice of Portuguese as an official language and the international environment in the country. The thesis concludes that a lot of work remains in creating a fully functioning education system. We enjoyed the writing - and hope you will enjoy the reading!.

Mitt syfte med uppsatsen är att, diskutera träskulpturens roll i en medeltida kyrka respektive i en kyrka byggd på 1990-talet. Fokus ligger på skulpturernas nutida roll inom Svenska kyrkan. Frågeställningarna som jag arbetar efter handlar om vilken relevans/roll som de medeltida skulpturerna har i Hyssna gamla kyrka idag. Arbetet tar också upp frågan om hur skulpturerna i de båda kyrkorna kan tolkas ur en religiös och konstnärlig synvinkel. Avslutningsvis behandlar jag frågan hur skulpturerna i Lundby nya kyrka har utformats för att passa dagens besökare.Mina metoder för uppsatsen har varit litteraturstudier och enkätfrågor som skickats ut till personal till de respektive kyrkorna och till konstnären, Lars ?Huck? Hultgren.

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

Den övergripande frågeställningen för uppsatsen är: Vad innebär det ur ett demokratiperspektiv när en abonnerad morgontidning väljer att ge ut en gratistidning för att nå lågresursgrupperna i samhället??. Bakgrunden till frågan är att Helsingborgs dagblad valt att ge ut gratistidningen Xtra Helsingborg för att nå ut i de områden där tidningen har få läsare. Gemensamt för dessa stadsdelar är att de tillhör de fattigaste i Helsingborg och att en större andel av invånarna har utländsk bakgrund än i övriga Helsingborg.Genom att göra en innehållsanalys av Helsingborgs Dagblad och gratistidningen Xtra har jag undersökt vilka innehållsmässiga skillnader det finns mellan tidningarna. Jag har också intervjuat Helsingborgs Dagblads VD Lars Svensson, Xtras chefredaktör Kersti Forsberg och nyhetschefen på HD City Anders Håkansson för att ta reda på vilka tankar man har om skillnader i målgrupp och konkurrensen mellan tidningarna.Innehållsmässigt har Xtra ett större fokus på Nöje, Sport och Opinionsmaterial än HD och bristen på lokal samhällsinformation i Xtra kan skapa stora kunskapsklyftor mellan dem som läser HD och dem som läser Xtra.

The aim with this Masters thesis is to examine the professional knowledge of the librarian. The method used is text analysis of a state public investigation, SOU 1969:37, that concerns librarian education. The theoretical starting point is a theory of knowledge thats descended from Aristotle. Three different forms of knowledge are central concepts in the theory: the theoretical, the practical and the ethical. The main issue in this thesis is: In what ways did the investigators look at the librarians knowledge? Was it in a changeable period of time? In that case, what reasons could there be? The conclusion shows that educational political changes were affecting the whole educational sphere at the late 1960:s, and in the beginning of the 1970:s, including library education.

Psykologi är ett ämnesområde som hittar nya tillämpningsområden, och under inledningen av 2000-talet har coaching blivit en trend. Uppsatsens syfte är att förstå hur teoretisk och empirisk bakgrund verkar in på hur professionella, heltidsarbetande coacher arbetar, samt hur psykologer kan hitta en vetenskaplig ingång i att arbeta med friska människors behov av växt och utveckling. Intervjuer utfördes med åtta coacher med varierande teoretisk bakgrund, samt psykologförbundets ordförande Lars Ahlin. Rapporten visar att coaching är ett mångfacetterat område, där utbildningar och branschstandard fortfarande är fragmenterat och svårt att få en överblick över. Coacher som inte är psykologer eller beteendevetare använder sig av sk erfarenhetsbaserat empiri med ett belief-based teoretisk ramverk.

This essay will examine the social organization in the archipelago of Tonga. To accomplish this purpose, archaic societies and structures such as ancient Egypt and Hawaii will be examined to obtain a closer understanding of the building blocks which constitute a chiefdom or kingdom. Since Patrick V. Kirch (2010) recently redefined the Hawaiian archipelago as a kingdom this essay will examine if the same can be done with the chiefdom of Tonga since it have similarities to the Hawaiian social organization.To do this the essay will examine and describe both the geographical organization of the states and the social organization. Social organization in this essay will be defined as an archaic state organization that requires several levels of administration to rule the society..

Around the 1950s an explosive population growth started in the Third World. Parallel with the population growth a global network grew up advocating population control and limited population growth. Sweden had a unique place in that network through a pioneering role promoting the issue in the UN organization. During the 20th century Sweden was a pioneer country in terms of initiatives for population control. Ceylon family planing pilot project was something new in a time when other donors considered family planning be too controversial area for bilateral aid projects.

The concept of sustainable development has been pervasive in recent years and many organizations choose to implement sustainability and adapt their activities accordingly. The purpose of this study have been to explore how a collaboration on the use of waste materials may look to analyze what influences cooperation. A case study has been carried out examining a Swedish state regional project aimed at creating partnerships between actors and utilizing textile waste with the help of design. The study was conducted using qualitative methods and the collection of data has been done through interviews and by examining documents. The results show that there are seven key factors that affect cooperation: expectations, commitment, internal communication, a strong non-profit actor, individual treatment, personal networks and the diversity of actors.

The aim of this thesis is to get an idea of how service companies set their prices. The method used was a case study approach, which was conducted at three real estate companies. The study showed that when setting their prices, the main aspect is their own costs. However, we have found that several other aspects play a big role when setting prices on services in real estate business such as individual customer behaviour and market competition. We have also found that the real estate companies charge very similar prices.