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.

The aim of this master thesis is to create an understanding of what it can be like to grow older as a homosexual man in Sweden today. The study has an intersectional and queer theoretical approach and is based on eight in depth interviews with men who are aged between 68 and 82 years old. In the analysis I deal with the problem of how sexuality can be inter- preted with the experience of aging. Central to the analysis is the criticism of norms connected to age, sexuality, social- and family life and gay culture.The results show that the norm-breaking sexual orientation of the men affects their life path in terms of how to organize social life, where friends often replace the traditional family. New ways of forming relationships and living their lives imply other obligations rather than the traditional for significant others, which was shown to influence the expectations and outcome of old age in terms of care and support.

The purpose of this thesis is to analyze how museums, seen as heterotopic places where time and space act simultaneously, can, with the help of museum educators and guides, integrate the foreign citizens in Sweden. The analysis is done with the help of three institutions: The Vasa Museum, the Royal Armory and The Great Synagogue in Stockholm.The author of the thesis argues that recruiting trained personnel with foreign roots by museums would help significantly in the creation of a sense of collective identity and belonging among those citizens who are just adapting to the country. Through the use of Swedish, in conjunction with their mother tongue, as well as analogies, an important contribution can be attained in their integration.In this work, concepts such as the accent, are treated in a categorical manner, as the author, with the assistance of other researchers, concluded that the accent should not influence the perception of the intellectual and work capability of a professional museum educator/guide.History represents another key element in this thesis, as it discusses the way to find a new narrative form to channel history and refer to it, thus sharing historical roots with these new immigrants in Sweden..

Under det senaste decenniet har den teknologiska utvecklingen omvandlat m?nga aspekter av m?nniskors liv, inklusive hur de handlar och konsumerar olika produkter. Inom sk?nhetsindustrin har anv?ndningen av Augmented Reality (AR) teknologi skapat m?jligheter att testa kosmetika virtuellt online. Flertalet tidigare studier har diskuterat teknologins m?jligheter och framsteg generellt och hur de har p?verkat traditionella k?pm?nster inom olika branscher.

While this summary is written in English, the paper published is written in Swedish.The paper concerns itself with the legal status of electronic transport records in a Swedish context. The main question asked is whether rules for bills of lading should be applied to electronic transport records, or if they should be treated according to general rules. A secondary question is asked; partially to help put the main question into context and partially to see whether the different legal regimes will lead to different solutions to an issue. This second question is if electronic transport records can effect the transfer of property (sv. sakrätt).

To talk about, talk to or with children. A conversation between a child and its teacher should be more than the teacher telling the child what to do, how to act. It should be more like a respectful and reverent meeting between two people where the adult sets the tone. The purpose of this research is to investigate teachers' experiences of conversations with children in need of special assistance. Our issues: What do teachers say about how they meet children in need of support? How do teachers response to students who are in difficulty? What ability have teachers and their school's to meet children in need of support and what appear to be particularly important or problematic issues for them in that work? In order to find some answers to our questions we interviewed ten teachers at two schools.

The aim of this thesis was to examine how a coordinator at a social welfare project in support of job seekers, achieve results in his efforts to reduce the number of clients with social assistance. The method of data collection was a mixture of open thematic interviews and semi- structured interviews with open questions. The coordinator was interviewed four times during the length of the project. In addition, two of his clients were interviewed. The data also includes a report from the relevant social services and other documents such as newspaper articles.

This paper is about finding a set of unwritten rules pertaining to the teaching of history in an exclusively Swedish college. I want to know if truancy among immigrants has anything to do with SO teachers? choice of content or their teaching methods. Unwritten rules are a complex phenomenon but by applying different perspectives and teaching methods a pattern will emerge. It is possible to discover different influences in the way the teacher chooses their material and work plan.

This study deals with integration between core subjects and character subjects on the upper secondary schools Electrical Engineering Programme. The purpose is to investigate how four teachers define subject integration, which the advantages and disadvantages are according to them and what the purpose is whit integrate the core subjects and the character subjects.The finding in this study highlighted that between themselves the teachers had different definitions of subject integration. In order to start up with a integrated working model the teachers had to come up whit a mutual definition of subject integration..

The aim of the study is on basis of Peters and Waterman?s factor of success, to examine the successful companies, Ericsson and Huawei, and to analyze the R&D and positioning strategies of the companies.To accomplish the study we have used a case study using interviews and annual reports to collect data. Three persons have been interviewed, two from Ericsson and one from Huawei. All annual reports from the year 2004 until 2011 have been reviewed.Our finding is that Ericsson and Huawei do not, according to Peters and Waterman?s model, fulfill all factors of success and their R&D strategy varies depending on the situation and which knowledge the company already possesses and needs.

In this study, we examine the presence and consequences of CEO overconfidence in the Swedish market. We identify overconfidence with two insider-trading based measures and find that overconfidence is apparent among one third of CEOs in companies listed on the Swedish stock market. We also find that these CEOs are more prone to carry out acquisitions, as the probability of conducting an acquisition increases by 27 % if the CEO is overconfident. However, we do not find evidence that acquisitions by overconfident CEOs are more value-destroying. This finding contradicts results from previous studies conducted on Anglo-Saxon markets that suggest that overconfidence has a negative impact on the value-creation in acquisitions.

The aim of this Master?s thesis is to investigate if the library can be a real partner for researchers in managing and dealing with their research information. In this study, six researchers have been interviewed about their problems with information management. This study uses the method Critical Incident Technique for the interviews with the researchers. This method focuses mainly on problems and what happens around those problems.

Banks and their products are traditionally characterized as high involvement, informational purchases and as such there is a need to shape the market communication to be logical and catering to the need for information that customers are bound to have. With the advent of social media and web 2.0 a company can no longer opt out of the online discourse regarding their company. As social medias are characterized by being an active media, tailored to personal exchanges and opinions, the match with the high involvement approach that banks usually have to employ is not always ideal. We have examined what happens when banks use different degrees of personal message content and sender profiles on Twitter. Our findings suggest that while some strategies generate higher WOM intentions, others may provide a greater level of sender credibility..

Technical products are becoming more and more complex, this means that the drivers, mechanics and service personnel?s need for assistance such as the service literature is increasing. In this degree project the focus is on the technical manuals of Scania?s Workshop Manual. Today, the information in the Workshop Manual consists of collaboration between text and illustrations.

Summary Title: How to make decisions on software based servicedevelopment in the mobile handset industry.?The Rapid Model for Holistic Application Evaluation Authors: Per-Inge AnderssonPatrik Dreveborn Tutors: Björn Regnell, Department of Computer Science,Lund UniversityRobert Wenglén, School of Economics and Management,Lund University Problem formulation: Academically the questions of finding out what constitutes a sound decision base and finding out how to handle the issue of a holistic approach must be addressed in order to make a well balanced and relevant decision model. The core question is which decision criteria to include and which drivers are important in estimating the status of the criteria? Practically to provide Sony Ericsson with a formalized evaluation process for decisions on software development that is transparent, objective and challengeable. Purpose: Academically to contribute to the field of decision making research by elaborating on how to make a holistic, rapid and rational decision model.