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.

During the last decades major changes has occurred at the financial markets, meaning an increasing supply and a greater variation of financial instruments. The saving habits of the Swedish people have gone from traditional bank deposits to investments in equities, funds and bonds. All this together with the great rise in the stock market at the late 90?s has brought words like risk and return up-to-date, and is the background to the development of a new law concerning financial advising which come into force the 1th of July 2004. The contents of the thesis can be described as three bricks, representing the survey questions.

The aim with this thesis is to make a comparison between forcing tulips in a hydroponic system and the forcing off tulips that have been planted in soil. The results are mostly based on interviews with six Dutch and one Swedish tulip forcer and the managing director at the Horticultural Research Centre, Proeftuin Zwaagdijke, in the Netherlands. There are benefits and disadvantages with both methods. Tulip bulbs planted in soil seem to get a brighter colour after forcing, compared with those forced ?in water?.

The purpose of this study is to contribute knowledge on how pedagogues use play as a way to expose children to the English language. I chose the qualitative method of interviews to conduct my study. The objects of study were four English speaking pedagogues at a preschool with English in their profile. This profile was a major factor when choosing where to carry out the study, as not every preschool in Sweden offers English.The interviews were conducted in English, as all four pedagogues were native English speakers and I did not want a possible language barrier to influence the results. The questions were composed with play as a focal point and a way to expose the children to English.My findings showed that play is an important tool for children to take part of and learn English.

The purpose of this study was to build a database for point-bearing piles in dense noncohesive soil, predominantly moraine. Further, the database was analysed and areas with difficult geotechnical conditions was identified.The database includes for point-bearing piles driven to refusal in moraine. Piles with mainly shaft friction have been excluded. Only concrete piles have been included. Geographically the database covers almost all geotechnical conditions of Sweden.

This report documents the process of designing a laboratory exercise in Fourier analysis at Vetenskapens Hus (House of Science) in Stockholm. The lab is designed for high school students studying science or technical education. It focuses on the physicalunderstanding and mathematical description of sound, in particular music. A model of such a lab is presented in this work; containing a review of the mathematical theory, summary of educational research in the field, descriptions of the design process and of the investigativework that led to the final result. The designed material for the lab includes developed computer programs, visit leader tutorial and description for teachers. .

The aim of this report is to improve the fire safety at Hallsta Paper Mill in Hallstavik, Sweden. In order to do so large parts of a fire-protection management system for the paper mill has been created. The report begins with giving a general description of management structures and fire-protection management systems. An account is given for how management structures are designed, and how they should be implemented, maintained and updated. Thereafter follows a description of what routines and instructions should be included in a fire-protection management system..

Motion är viktigt för vår hälsa, men många som börjar motionera slutar inom en snar framtid (Fallon, Hausenblas, & Nigg, 2005). Det är därför viktigt att utveckla strategier som motiverar människor till träning. Visualisering är en teknik som visats ha en motivationshöjande effekt hos motionärer. Kim och Giacobbi (2009) menar dock att det finns ett behov av att skilja på innehåll, syfte och effekter inom motionsvisualiseringen och att ett nytt mätinstrument därför behövs. Syftena med studien var därför att: (1) utveckla och testa mätinstrumentet the Individual Profile of Imagery Experiences in Exercise (IPIEE; Weibull & Johnsson 2010), samt att (2) studera motionärers frivilliga och spontana visualiseringsupplevelser.

Sweden is currently a country in which a large amount of children?s time has changed to be spent within institutions, for small children these institutions are preschools. These are places where notions are created regarding what children are, what?s good for children, what?s normal and desirable regarding children. The purpose of this study has been to decipher what?s considered desirable and what notions or ideas regarding children are prevalent in preschools with an I Ur och Skur profile.

In a column experiment the effect of three different biochars on nitrous gas emissions, nitrogenretention and water filled pore space (WFPS) were studied in a Swedish sandy soil, classified as aCryopsamment. Ammonium retention was positively correlated, while KCl-extractable ammoniumwas negatively correlated, with the specific area of the biochars. The question was raised whether thenegative correlation between extractable ammonium and biochar specific area reflects the amount ofammonium present in the soil or its extractability from the biochar, and whether methods forextracting soil mineral nitrogen, like KCl-extractions, have to be modified for application on biocharamended soils. There was a tendency of increased nitrate retention and KCl-extractable nitrate withbiochar and KCl-extractable nitrate was positively correlated with the specific area of the biochar. pHwas higher for all biochars compared with control, although the differences were not significant, andWFPS was lowered by biochar addition, significantly in one case.

This study investigated potato growing in beds as an alternative to conventional ridges.It was based on results from field trials on bed-grown potatoes carried out by Halland Rural Economy and Agricultural Society in 2007, studies of literature and interviews with farmers with experience of bed growing of potatoes. Due to their shallow root system, potatoes are one of the most drought-sensitive crops. Potatoes are often grown on sandy soils with poor water-holding capacity. Factors such as total yield, tuber size distribution and quality defects are negatively affected when water becomes insufficient. Wide beds have a more flat top which leads to more uniform water infiltration. Further on, beds have lower soil surface area due to its shape, and therefore, retain water more efficient. In the field trials, which were carried out at the Stjärnarp Estate near Halmstad, potatoes were grown in beds alongside a conventional ridge-grown crop.

Abstract The aim of this study was to explore and describe the pupils' thoughts on seed and its development into seedling. Twenty nine Swedish pupils at the age of 7 and 10 years old were interviewed about their knowledge of seeds.It turned out that pupils often have so-called everyday belief to describe the natural science phenomenon by connecting their explanations to phenomena in everyday life to which they are familiar. To describe the process of seed developing into seedling is something that most of the pupils believe to be difficult and this resulted mostly in the answer ?it is growing.? Children have some knowledge about what seeds need in order to germinate but they do not mention the importance of oxygen as a component of seed to be able to germinate and grow. They mean instead that it is sufficient with soil, water and sun.The older pupils, however, are more often than the younger pupils able to connect their reflections to a more scientifically correct description based on terms belonging to the phenomena, though these terms sometimes are wrongly used.

The underlying purpose of this study is to see whether a library focused solely on providing literature in other languages than Swedish serves as a unifying, integrating force, or as an agent for division and exclusion. The study focuses on the International Library in Stockholm. The authors have created a profile of the visitors of the selected library, concerning their characteristics, their library habits and their perceptions of the International library. This profile has then been compared with the staff?s perception of the visitors as a group.

This thesis aims to present the essential background on how to perform climate changeimpact assessments, and to present the results from a climate impact assessment on waterbalance and nitrate leaching for an arable Swedish soil. The soil is a sandy soil in southwesternSweden, grown with spring cereals. This study is meant to be a benchmark example,and cannot be seen as a regional or national assessment for Sweden, rather as an approachto present and analyze the most important parts of these kinds of assessments.A dynamical simulation model (COUP, Jansson and Karlberg, 2004) was used for thisstudy. The model was parameterized and calibrated against data from an experimental site,located in Mellby in Hallands county, south western Sweden. Measurements were carriedout between 1st of April 1988 and 1st of April 1991.

This study started with my interest in drama pedagogy practices. The aim is to investigate the teacher's conceptions of children's play and learning activities in drama pedagogy practices. Basically drama pedagogy means children and teachers creating play worlds together, usually based on various literary works, where they portray and play. Previous research shows that drama pedagogy as a method can enrich and develop children's play. Also, drama can be important for children's linguistic, social and aesthetic development.In this study, overall three interviews and two observations at different occasions was carried out.