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 purpose of this master thesis is to examine if booktalk is a good method for stimulating reading based on interviews and observations with two classes of pupils in the intermediate level of the Swedish nine-year compulsory school. Our aim is also to study the reading environment regarding of Aidan Chambers' factors about what is indispensable for a good environment for the children. The factors are: Time for reading, time for reading aloud, the stock of books and conversations about books. The study is based on interviews with 38 pupils, two booktalkers and two teachers in two different cities. It also contains two observations of booktalk.

Fält Elektronik AB i Kalix utvecklar och tillverkar bland annat larmsändare för fast uppkopplade larmnät. Fast uppkopplade larmnät används för att åstadkomma övervakad och säker överföring av larm och annan information mellan tekniska system för skydd och säkerhet. Larmöverföringen är ständigt övervakad från larmanläggningen ända fram till larmcentralen. Ett problem som idag finns i larmnät är att om man tappar kontakten med en larmsändare så vet man bara att man tappat kontakten, men inte varför. Därför vill man nu utveckla ett instrument som kan mäta och kontrollera vad som orsakar att uppkopplingen bryts t.ex.

Quadrotor UAVs are self-stabilizing, autonomous flying machines that has recently become more popular than ever. Unmanned Aerial Vehicles have their roots in the military, where they were developed for use in reconnaissance and combat. During the last few years, advances in the fields of electronic sensors, electric motors and microcontrollers have enabled smaller designs and autonomic flight control even for private use. The quadrotor, which is the particular kind of UAV we are looking closer at in this paper, has 4 rotors in an X-like formation. This configuration has many advantages such as good lift capacity, non-complex mechanical structure and serviceability.In this project we aquired a current overview of the domain and determine whether it is possible to construct a quadrotor UAV designed for use in a WISENET sensor network on a low budget and short time schedule.Based on existing community project AeroQuad, a quadrotor is constructed with a budget of about 500 euro.

In this report hardware based alternatives to password authentication in a Windows domain are evaluated for the needs of a certain company. In order to investigate the demands on such alternatives interviews with people concerned have been carried out. The demands which resulted from the interviews have been used to select types of hardware tokens for evaluation. Two products which offer authentication with smart cards and USB tokens have been selected and closer evaluated. These are RSA Passage which offers both hardware options and Rainbow iKey which uses USB tokens.

The objective of the study is to map the cognitive structure of Library and Information Science, using a quantitative, bibliometric method. This empirical study shows how co-citation analysis combined with word-frequency analysis can be used to describe the subject content of the field. The research questions to be answered are: -Which clusters of authors can be identified? -How can these clusters be described in respect of their subject content, if the descriptors associated with the authors in the clusters are counted? The results show that the cognitive structure of Library and Information Science can be described by 13 clusters of authors, where each cluster is representing a specific aspect of the subject- domain. For the description of the subject content of the clusters, descriptors DE of the LISA database have been used..

During the past decade Information Technology (IT) and Information and Communication Technology (ICT) have become the main tools in teaching. Authors and early educators who are treated in the study talks about how technology has come to change the school's approach to teaching and didactic tools. The technology has also affected students´ and teachers´ ways to work because the technology's versatility makes demands on the user's expertise and competence. The technical skills have long been associated as a male domain, where men are expected to master the technology´s versatility. These expectations are not the same for women.

This work aims to evaluate the possibility of using a graphical programming language to develop software for a digital signal processor. A fixed-point digital signal processor called Blackfin BF-537 is used for this. Instead of using conventional programming languages, like C or assembler, for software development the possibilities to use a graphical environment to fill the same purpose are examined. The development environment primarily used is NI LabVIEW, but also the use of Mathworks Matlab Simulink is investigated. A variety of programs consisting of various signal processing operations and utilities are developed using these development environments.

New high strength steels require improved cold rolling techniques. The aim of this degree project was to develop a new and money saving cold rolling technique to manufacture steel strip for saw blades. The work is based on earlier rolling experiments made with a high carbon steel grade at LuCoil Steel AB. The work also focused on the mill requirements to cold roll high strength steels. The results show that LuCoil?s existing cold rolling mill was actually designed for rolling low carbon steel.

This degree project includes both a theoretic component and a practical component within the graphicprofiling domain. Literature on graphic design has been studied for the theoretical part and the achievedknowledge has been used for the practical part. The project has been to produce graphic materialfor ?Rookiefestivalen? in Hultsfred.In modern society it is important for a corporation to distinguish itself from others by using a graphicprofile. Through using a graphic profile the company can have an affect on how it is perceived byothers.

The aim of this bachelor?s thesis is to develop knowledge about how librarians experience their professional identity, argue for their competence and describe their profession based on their professional skills, tasks, and status. The method that is used to answer the questions of the study is semi-structured interviews with five public librarians. The theory used in this essay is Ørom?s six librarian identities plus Schreiber?s experience intermediate identity.

The Division of Language and Communication at Chalmers uses a web-based language tool, named EngOnline, to teach English grammar. The language tool suffers from some shortcomings. These include stability problems and an outdated interface but, above all, there is no documentation. Because of the lack of documentation and EngOnline?s need of maintenance, the Division of Language and Communication has decided to replace the language tool with a new and well documented one.The new language tool was developed using an agile work process; detailed documentation was replaced with more efficient communication.

Abstract:According to the curriculum of the Swedish school the pupils should develop their historical consciousness. The aim of this study was to find out which pupils develop this consciousness by listing to an historical novel, talking about that book and writing stories. The study went on for four weeks and the subject of the teaching was the Middle Ages. 28 pupils took part and a variety of methods were used: 1: questionnaire about the lives of the pupils, 2: Making observations of their attitude to the teaching and 3: story writing. The results show that the social background does not influence the development of an historical consciousness.

Quadrotor UAVs are self-stabilizing, autonomous flying machines that has recently become more popular than ever. Unmanned Aerial Vehicles have their roots in the military, where they were developed for use in reconnaissance and combat. During the last few years, advances in the fields of electronic sensors, electric motors and microcontrollers have enabled smaller designs and autonomic flight control even for private use. The quadrotor, which is the particular kind of UAV we are looking closer at in this paper, has 4 rotors in an X-like formation. This configuration has many advantages such as good lift capacity, non-complex mechanical structure and serviceability.In this project we aquired a current overview of the domain and determine whether it is possible to construct a quadrotor UAV designed for use in a WISENET sensor network on a low budget and short time schedule.Based on existing community project AeroQuad, a quadrotor is constructed with a budget of about 500 euro.

The physical map that has been used until now can in the modern days be replaced with digital maps available in smart phones and tablets. One disadvantage of both is that the digital maps require the user to have a fully functional sight. The problem with the research done so far is that it provides little explanation as to why developers have decided to design the maps in a specific way. This thesis has been designed to address this problem.In order to provide the knowledge needed, a literature study was done to construct interview questions to an employee from SG Access AB. These answers and the literature study were used to construct interview questions to members and employees from Synskadades Riksförbund  (SRF).