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.

Bark-stripping by red deer (Cervus elaphus) cause extensive damage to economically valuable spruce trees (Picea abies) in Swedish forests. The underlying causes for bark-stripping are not fully understood, and the frequency and severity of damage unpredictably differ between regions. In this study, I investigated if landscape structure (e.g. agricultural dominated landscape opposed to forest dominated landscape), forage availability, population density and disturbance (e.g. roads and settlements) affect bark-stripping frequency.

This thesis aspires to construct a routing optimization method customized for Volvo Powerstrain?s manufacturing plant in Skövde, Sweden. In order to enforce Volvo?s own understanding and control of there own organization, as well as optimize the utilization of the in-house tow trains, the BRO methodology where created. The methodology where created from observations of the currents working environment, analysis of order data as well as a comparison with two similar producing factories.

During the last years commercial Wind Power Turbines (WPT) has become larger regardingto the generator sizes and hub heights. Available hub heights around 100 meters is nowcommon, which has led to profitability for WPT located in forests where there normally are tolow wind speeds. The current knowledgement regarding turbulence and the variation in thewind profile for the outcome of the power production for the WPT in forests is limited.In this Master of Science thesis an investigation concerning forest located wind power plantshas been made. The purpose has been to investigate if plants located in forest perform lesscompared to wind power turbines located at more common locations.The analyses are based on statically material for determining the availability,production/generator size, production/hub height, production/swept area and how thetopography affect the production results.The analyses show that the variation in production result for WPT located in forest comparedto turbines located at other locations is small. The availability is high and the productionresults are good..

Aligning parallell terms in a parallell corpus can be done by aligning all words and phrases in the corpus and then performing term extraction on the aligned set of word pairs. Alternatively, term extraction in the source and target text can be made separately and then the resulting term candidates can be aligned, forming aligned parallell terms. This thesis describes an implementation of a word aligner that is applied on extracted term candidates in both the source and the target texts. The term aligner uses statistical measures, the tool Giza++ and heuristics in the search for alignments. The evaluation reveals that the best results are obtained when the term alignment relies heavily on the Giza++ tool and Levenshtein heuristic..

Aligning parallell terms in a parallell corpus can be done by aligning all words and phrases in the corpus and then performing term extraction on the aligned set of word pairs. Alternatively, term extraction in the source and target text can be made separately and then the resulting term candidates can be aligned, forming aligned parallell terms. This thesis describes an implementation of a word aligner that is applied on extracted term candidates in both the source and the target texts. The term aligner uses statistical measures, the tool Giza++ and heuristics in the search for alignments. The evaluation reveals that the best results are obtained when the term alignment relies heavily on the Giza++ tool and Levenshtein heuristic..

The purpose of this study is to examine in what extent primary school teachers, teaching children in the age of 6 to 9, choose to use digital tools in their teaching of mathematics. I also want to examine what these teachers think, in terms of advantages and disadvantages, about using digital tools on their mathematics lessons. Finally I want to examine what skills they possess about digital tools.I am using a quantitative method to collect my data. The quantitative survey consisted of a questionnaire survey of ten questions that 38 primary school teachers have answered.The results of my study show that the teachers to some extent use digital tools when they teach mathematics and that the availability of various digital tools are generally good. But it turns out that the availability of tools is not a guarantee that they are used in teaching of mathematics.

There are experiential products that through a digital transformation wholly or partially have taken new place in our everyday lives. Just a few years ago, we had music on CDs, movies on tape and books in bookshelves. In Sweden, we are now facing a transformation when the e-book begins to take place alongside the printed book.This paper focuses on what values play a role in the attitude towards ebooks among a selected group of Swedish book bloggers. A qualitative content analysis was performed on blog posts concerning the ebook from twelve different Swedish book blogs. The posts were then coded into categories and values.

To be able to secure a safe and reliable power supply is becoming increasingly important since society depends on services and functions that need continuous power supply. The delivery rate in Swedish power supply is 99.98 % which insists on a high availability. During the past decade several storms has passed Sweden which resulted in large amount of tree felling leading to extended power outages. During these storms many socially critical activities, such as electric utility company Fortum, experienced disruption in mobile communication which affected the crisis management. This paper has investigated Swedish mobile operators? crisis management at Hi3G, Tele2 and TeliaSonera with a case study of the storm Dagmar that hit Sweden during December in 2011.

Many companies do not register all the stops that occur in a production plant, it often takes longer to report than to fix the problem. If no problems are registered, you cannot trace where the problems arise.This master thesis was performed at AcobiaFLUX and they have noticed an increased demand from their customers to trace problems raised in their processes. The aim of the thesis was to find out how a tool to monitor a process best could be developed. Then the most essential from the theoretical base was developed into a useful tool for operators. For the operators to know if the process utilizes the full capacity of a process, the tool presents a measure of the Overall Equipment Efficiency, OEE.

Background: The increasing globalization of business and research has led to an increased demand for international meetings. This is a market that a number of countries wish to access and the competition is fierce to get the chance to host major conferences. Stockholm has a pronounced good position in the international meeting market and this essay will examine what it takes to be a successful meeting destination for international congresses.Purpose: The purpose of this thesis is to examine the fundamental factors that must be met for a meeting destination to be successful in the international market for conventions.Question at issue: How can a city develop into a more attractive meeting destination for international congresses?Method: Persons with key positions in the Stockholm meeting industry have been approached by qualitative interviews by the authors.Theory: As a theoretical framework the authors used the value of the physical meeting, generally on the congresses, the planning process for site selection for the meeting, the meeting platform and image.Conclusion: The authors' findings are based on the empirical material gathered during the study interviews. The results from these interviews show the importance of facilities and hotels, availability, and the image..

Emissions of insufficiently treated wastewater, mainly blackwater (i.e. wastewater from toilets), contributes to the eutrophication of lakes and seas. At the same time, blackwater is a fraction with a low content of heavy metals and, after sanitization, it can recirculate plant nutrients to arable land using the liquid composting treatment method. Liquid composting means that organic material is degraded under aerobic conditions. For sanitization, the blackwater needs to be treated together with energy-rich complementary material.

This Master's Thesis studies the attitude that library employees have regarding a sex and gender-neutral treatmentof their clients. The analysis is based upon replies to a questionnaire which was submitted though channels directedat library employees, like BIBLIST and BiblFeed. The respondent?s replies contained a number of welldevelopedcomments making the resultant analysis both quantitative and qualitative in nature.In performing the analysis a theoretical framework combining Hirdman?s gender system with symbolic interactionismhas been used together with literature about gender roles.The questionnaire showed that gender neutrality is a complex concept that can be interpreted in many differentways and is therefore easily misunderstood. It is obvious that sex is an important category when respondents aredealing with their clients, but also that sex and gender are problematic concepts which respondents find difficultto know exactly how to relate to.

Research Question: Does the pharmacy market seem to change in accordance with the goals stipulated by the government due to the reregulation?This leads to the following sub-questions:Does it seem like the availability of medical drugs for consumers increase?Does it seem like service for consumers get enhanced?Does it seem like the supply of services for consumers increase?Does it seem like the costs of medical drugs are maintained?Purpose: The purpose of this study is to evaluate if the trends resulting from the reregulation of the pharmacy monopoly correspond to the goals stipulated by the government.The purpose is furthermore to compare the reregulation of other Swedish markets and the reregulation of the pharmacy market in other Nordic countries in order to heed their lessons.Method: This study uses method triangulation, with a questionnaire directed to pharmacy customers forming the quantitative basis and interviews with specialists regarding the pharmacy market, forming the qualitative. The study also draws heavily on historic data regarding reregulation of Swedish markets and reregulation of the pharmacy market in other Nordic countries.Conclusions:Availability of medical drugs has increased and will presumably continue to do so. Service quality has increased somewhat and will presumably continue to do so.Supply of services has increased and it will presumably continue to do so.The cost of medical drugs will only increase if it is required in order to satisfy the other goals.  .

BarnOPAC is a Swedish library interface for children. It was launched in public libraries in Sweden in 2001 and has now become a part of library software equipment in several public libraries. The purpose of the thesis is to investigate the interface BarnOPAC on the basis of the childrens perspective. The questions raised consider: how children experience and handle this interface, how library staff experience it and what viewpoints librarians have on childrens use of it. For this purpose we implemented a user study including eight children using the interface in a school library.