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.

Previous studies have shown positive results on the use of music as postoperative pain relief. Quantitative studies have examined the effect of music on rated pain and otherparameters such as anxiety, relaxation and blood-pressure. The purpose of this study was to investigate the expectations and experiences of patients and nurses onimplementing music as postoperative pain relief in an orthopedic unitQualitative design and semi-structured interviews were used to examine expectations and experiences. Five patients and five nurses in the unit were interviewed.Four themes developed during the data-analysis. These themes were ?Expectations on music as postoperative pain relief?, ?Experiences of music as postoperative pain relief?,?Effects of music as postoperative pain relief? and ?Continued implementation of musicas postoperative pain relief?.

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.

Uppsatsen syftar till att belysa och diskutera den utveckling som skett inom kyrkokonsten, och då främst altartavlor. Undersökningen grundar sig i två kyrkor i Uppsala stift, Gamla Uppsala kyrka och S:ta Maria kyrka.   Urvalet är begränsat till att beröra konst från 1200-talet fram till modern tid. Metoden som använts är ikonografisk bildanalys av altartavlor och altarskåp i de utvalda kyrkorna likväl som forskning i kyrkokonstens utveckling i modern och gammal litteratur. Genom undersökning av skriftverket Biblia Pauperum dras slutsatser gällande den äldre kyrkokonstens inspirationer.   Undersökningen påvisar att en utveckling har skett inom kyrkokonsten. Konstnärerna har fått en större frihet i val av innehåll och form på konsten som beställs.

This bachelor thesis focuses on the ethics concerning the possession of nuclear weapons seen from a deontological and utilitarian perspective. I have also considered the aspects of International law, the Just-war Theory, and Michael Walzer's Legalist Paradigm. The research question that guides my essay is: Is it possible to ethically justify a country's possession of nuclear arms, which results in direct and indirect threats against other countries?I have chosen to focus my essay on the period of 1945 to 1990, also referred to as the Cold War. I find the bipolar system that existed between the USA and the Soviet Union as a good empirical example, during which the nuclear arms debate constantly took place.The result that my thesis brings is rather ambiguous.

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

No infrastructures today are growing faster then communication network. The requirement of being able to communicate in a fast and qualified environment to a low cost increases in line with the development and competition. Itera Networks is no exception when it comes to rapidly developing new and better network solutions for themselves and for their customers. With these requirements in mind their needs for an analysis of the existing communication solution becomes very obvious. This project contains such an analysis in which various studies of the existing network environment have been made.

I did my degree project together with Universeum AB. The project had the work title: children?s world and the aim were to give children between 3-8 years old a place that was especially made for them. With their interests and needs in mind the area should trigger play but also learning through a well planned pedagogical environment.I did this project because I thought this was an excellent opportunity to really practise my new gained skills I had learned during my two years in CCD (Child Culture Design). It also gave me the opportunity to actually see how well my knowledge was working when it was put to the test, and I did learn a lot from this.Together with a crew of 6 people I developed and designed the area.

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 aim of this study is to point out variations of practices in the relationship between professionals of service occupations and their clients. The material consists of four openly conducted thematic interviews with male professionals who work in the environment of their clients' homes.The main theoretical approach of this analysisis undertaken with ethnicity in mind.The practices identified aim to throw light on the boundaries between the differing cultures of professionals and their clients.The analytical termsboundary reduction and boundary maintenanceare used in this research.The two-stage analysis points out different practicesused, in chronological order, during contact between professionals and their clients. This is followed by a statement of the themes which connect, primarily fromthe professional perspective. The results indicate an intimate connection between intercultural and transcultural aspects through the use of cultural transparancy, which is a strategy connecting different roles, aswell as use of loophole tacticsthat afford the possibility of definingspace, place and relationship.It's illustrated how the professionals operate from "within the structures and worldview" of the client, and this analysis also reveals a glimpse of the potential for cultural changein the meeting between different cultures..

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.

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

The purpose of this essay is to investigate the melancholic, poetic language in Bübins unge (Bübin´s brat) by Mare Kandre (1962 ? 2005). In my opinion the novel, which is about a teenage ritual, also gives an imaginary arena for archaic and unmentionable experiences of the libido. It is therefore a witness to the truth of the subjects complex mind. To my assistance I have Julia Kristeva´s theory on the abjection, the successful melancholia and her concepts of the outsider and the catharsis.

It is important that the language in textbooks for foreign language learners reflects the language that the learners would encounter in real life. For this reason, the presence of the thousand most common nouns in two Swedish textbooks in Spanish for upper secondary school is observed in this study. Furthermore, this study aims to examine how these nouns occur in order to determine if their pattern of occurence favours the learning and consolidation of words. The main materials that have been used are A Frequency Dictionary of Spanish by Davies (2006) and the word search program available in the digital versions of the textbooks. The results show that the presence of the thousand most common Spanish nouns does reflect the frequency information presented in the frequency dictionary but not all thousand nouns are included.