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.

An analysis of a specific application of anaerobic wastewater treatment at a pulp and board mill, Stora Enso Skoghall, was carried out. A literature study was done and effluent wastewater from CTMP pulp production was analyzed. The analysis consisted of a broad constituent analysis and an anaerobic treatment trial. Results from these test where used to calculate the treatment effectiveness and resulting energy potential at the mill.The literature study and constituent analysis showed that toxicity of the water to be treated, due to wood extractives and sulphur content, was of concern. Detoxification chemicals targeting these constituents where used in the anaerobic treatment trial.

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.

Lean is a production philosophy which is about increased resource use while meeting customer requirements. The foundation of lean comes from Toyota and their production philosophy The Toyota Way. Professor Jeffrey k. Liker has worked with Toyota's production philosophy and Lean for a long time and has created a 4 P model and 14 principles that characterize the Toyota production system (TPS), which many sources refer to.The aim of my work is to study the working procedure of asphalt projects from sales to the laid asphalt with a focus on planning and production management. The goal is to examine how the lean philosophy can be applied in planning and production to simplify the flow of asphalt projects based on Likers model and principles.

The aim of this Master?s thesis is to investigate if the reading habits of teacher students are influenced by merit and descent. The empiric material consists of six questionnaires answered by students at the teacher training with Swedish at the upper secondary school as their first topic. The questionnaire comprised questions about reading habits in the childhood and today and information concerning merits and descent.Pierre Bourdieu?s sociological ideas about cultural capital transmitted from parent to child and the concept of habitus are used as a theoretical framework regarding descent.

The reason why this essay is written can be parted in two, whereas one would be the global trend of urbanization that occurs to this moment and forward, whereas the other would be the debate of how motorism has come to be an issue of sustainable management of our cities and our environment. In purpose to deliver a thorough understanding of how the car and its capacity has come to shape the society of today, and to emphasize the problems it´s brought, a historical survey has been made, followed by the report of problems to the society formed by the needs of the car, discussed in several environmental issues, such as jamming, noise and air pollution. This is followed by the discussion of potential solutions for how city planning could return to the focus of the human scale and perspective, in purpose to correspond with the issue of ways to decrease the car use in towns. In conclusion, the given solutions are discussed, where examples like shared space, investment in public transport, mobility management and the theory of the assembled city are included, with aid from literature, to finally conclude the essay with personal thoughts of how the planning of today, or the given solutions, really are the result of sustainability for city planning from a human perspective.

The aim of this thesis is to accomplish a user study on how e-book users experience the electronic book, the e-book, as an instrument for reading fiction. The study is based upon qualitative interviews with twelve e-book users and a small survey carried out at the Stockholm City Library. The purpose is to identify the users' incentive for choosing the e-book as a medium for reading fiction, elucidate if and how the interface of the e-book affects the reading experience, and distinguish if there are any factors common to the users in their choice of reading e-books. How the users look upon the future of the e-book is also discussed. Among the people asked in the survey we note little if any demand for the e-book as an instrument for reading fiction.

Cumulative effects are seldom treated in Swedish Environmental Impact Assessments (EIA). This report treats these questions and which procedures and methods that can be used when assessing cumulative effects in EIA. This report is a literature study where also a case study is a part. The case study shows how existing methods for cumulative effects can be used in practice. The report is concentrated on biology and treats cumulative effects on premises of biodiversity and roads. Cumulative effects include both direct and indirect effects.

Vår utgångspunkt för uppsatsen var att erbjuda en fördjupning i bankens, enligt vår mening, intressanta affärsmodell. Utifrån vår fallstudie presenterar vi hur bankföretaget integrerar externt producerade finansiella produkter och vi studerar modularitetstänkandets eventuella tillämpbarhet på externt producerade finansiella produkter. Vidare ska vi identifiera möjliggörare, interna resurser som möjliggör strategisk flexibilitet och dynamisk förmåga.I det förändrade konkurrenslandskapets spår följer ett behov av att komplettera den resursbaserade ansatsen med begrepp som strategisk flexibilitet, dynamisk förmåga. Strategisk flexibilitet och dynamisk förmåga ställer ytterligare frågor om hur dessa skall hanteras varvid begrepp som absorption capacity och modularitet ytterligare definierar hur detta uppnås. Vi skall i denna studie analysera vilka interna resurser, möjliggörare, som är centrala för att integrera externa leverantörers resurser som sina egna..

The fast growing economy of India has experienced fundamental structural changes in recentyears. The share of the service sectors output has more than doubled since 1950 and is todayestimated to make up almost 60 percent of India?s total output. In terms of total employmentwe have not yet seen a similar transformation. The observed discrepancy between sectorialshares of employment and output in the service sector raises questions about sustainability.This report aims to investigate the capacity of the Indian service sector in terms ofemployment creation in order to answer the question whether the recent GDP growth withinthe service sector can be considered as ?jobless? or not.

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

Syftet med studien var att kartlägga sjundeklassares fysiska kapacitet och livsstil. Försökspersonerna rekryterades på Sandenskolan i Boden kommun. Sammanlagt 24 elever, varav 8 flickor och 16 pojkar, deltog i studien. Fysisk kapacitet bedömdes med ett steptest där försökspersonerna fick kliva upp och ner på en 30 cm hög låda under 6 minuter. Puls och skattad ansträngning enligt Borgs RPE-skala registrerades.

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