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.

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

This addresses the problems when a film doesn?t easily fit in to one specific genre. Using No Country for Old Men as an example the study analyses the film from a Western perspective. Is it possible to say that it is a western? To determine that, I compare a number of acknowledged westerns, on the basis to list a number of generic conventions.

In offshore oil production FMC Subsea systems use a product called cap. The cap´s mainly task is to protect hubface and seal areas on inboard hub against dirt, corrosion and mechanical damage under installation of a subsea system. A new model of a cap has been designed and analysed using finite element method. The model is called KC3-12 and has a new function, emergency release, which is a backup method for the ROV (remote operated vehicle) to release the cap from the hubface when it is placed under water. The cap KC3-12 was found to fulfil the criteria under the test load pressure, according to ASME VIII, div2.

The aim with this thesis is to develop a plugin; Lovefish, for the purpose of allowing non-realistic renderings (NPR) for visualisation in Newtek Lightwave3D. The main purpose with Lovefish is to offer textured tones, something that has not been offered before by any previously existing shader for Lightwav3D. The textured tones are a substantially widening of what is possible to imitate in the field of classical art techniques. Among others has a number of SIGGRAPH papers has been the foundation and a source of inspiration for what has been achieve in this project. Further has this thesis treated a number of questions: what is non-photorealistic rendering is and how it works; an overview of the Lightwave3Ds software development kit (SDK)..

Att nästan varje dag konfronteras genom sitt yrke med t ex tragedier, allvarligt skadade eller dödfall upplevs olika av oss alla. Syftet med föreliggande studie var att beskriva krisreaktioner samt möjligheten till krishantering hos vårdpersonalen efter traumavård vid en akutmottagning. En enkät användes för datainsamling. Resultatet visar att personalen upplever krisreaktioner i samband med omhändertagandet av skadade barn samt yngre patienter och vid omhändertagandet av deras anhöriga. Möjlighet till krishantering finns på arbetsplatsen men alla är inte nöjda.

 The aim of the study was auditing medical records examine postoperative blood glucose levels after undergoing CABG surgery. Furthermore the aim was to determine if the ward staff abides the local guidelines frame of reference concerning each ward, regarding blood glucose measurements and blood glucose levels. The study included 70 patients undergoing CABG surgery at the cardiothoracic surgery, Uppsala University Hospital. The study was conducted by retrospective medical record auditing. Studied factors were postoperative blood glucose levels, number of registered blood glucose measurements, a current diagnosis of DM and preoperative HbA1c.

Previous research has shown that children with multiple disabilities have been able to learn to make choices. Practising choice making is a good way to introduce an intervention using Alternative and Augmentative Communication (AAC). Choice making with objects should then be trainded before choice making with pictures. The present study is a single subject experimental design and was accomplished at a center for children with disabilities in Tanzania during 12 weeks. The primary purpose was to examine if the number of choices made by two boys with cerebral palsy increased after communicationintervention with objects and pictures.

In this report a model was constructed in order to determine how a number of covariates influence the gross domestic product, GDP. The covariates were chosen depending on their expected influence on GDP, for example education and life expectancy. The data used in this report are collected from the World Bank. The model to describe GDP has been calculated using multiple line arregression. In order to reach a reliable final model the number of covariates has been gradually decreased to eliminate insignificant covariates.

Asthma is the most common chronic illness in children. Re-admissions to hospital are common and asthma has a significant impact on children and their families. The purpose of this study was to describe the outcome of the nurses? information and education handed to the family. The result of this literature study was based on 14 scientific articles which evaluated the families? knowledge and the illness? impact on daily life after different ways of asthma information and education.

The aim of this study was to examine what impact restored and constructed pounds and wetlands have on waterfowls in the area of Linköping. The birdlife in five constructed wetlands werechosen to investigate if specific factors like age, size and vegetation affected the avian diversity in wetlands. Also, extra focus has been given to the threatened Horned Grebe (Podiceps Auritus), breeding in the studied area. The results showed that the number of species as well as individuals of waterfowl and Horned Grebe changed over time in what might be a result of succession in the wetlands. Comparing the number of birds to the size of the wetlands showed a clear correlation. Larger areas inhabited greater numbers of species and individuals.

Very often the interesting variables are explained by several underlying variables and in statistical analyses it is common to study the relationship between variables and groups of variables. Because of this multivariate analysis is commonly used in both science and industry. There are two problem with both univariate and multivariate analyses. One is when the variables are correlated. The other is when the number variables of exceeds the number of observations which makes the matrices algebra used in the analysis impossible to execute.

In today?s Sweden there is great belief in entrepreneurship and the benefits it can bring to the country. The Swedish government has taken note of this growing enthusiasm and realized the contribution it can make to facilitate national growth. Successful efforts have been made in Sweden to support entrepreneurship and innovation, which has resulted in a relative ease for individuals to start their own businesses.The number of companies started today is higher than ever and there are signs of a common faith in growth among new entrepreneurs. Unfortunately only a small fraction of these new businesses succeed in growing big.

In cooperate with Asko Cylinda we have developed a new heat system too short the processtime and reduce the energy consume in a dishwasher and still have it too be a class AAA.The environment and quality is important for the company too still be the number one onthe market, If they want too keep that position the product developed of new innovations willbe very important. The systems we have developed are more effective and reduce energy uptoo 25 %. The process time is reduced too less than two hours, from the today two andhalf-hour. The solutions are too heat up the rinse water and the dishwater at the same time,with a new heating system and it make are solutions unique and effective. Its good for thedish and the environment.

IntroduktionMellan 1994-2001, inträffade 833 hjärtstillestånd på Sahlgrenska Universitetssjukhus varav 523 dog påsjukhuset. Anhöriga är alltid fullständigt oförberedda för det som händer vid plötslig och oväntad dödSyfteAtt beskriva anhörigas erfarenhet av att befinna sig på akutavdelningen när en närstående genomgåråterupplivning efter ett hjärtstopp samt deras erfarenhet av sjukvårdspersonalens bemötande isituationen.MetodEn pilotstudie med två kvinnliga informanter, 46 år respektive 76 år. En kvalitativinnehållsanalys användes där de meningsbärande enheterna kodades och tolkades vilketbildade teman.ResultatI analysen av de två intervjuerna bildades fem teman som vart och ett karakteriserades av en känsla hosde anhöriga: mottagandet ? känsla av kaos; väntan ? känsla av ovetskap; bemötande ? känsla avförtroende; beskedet ? känsla av bekräftelse..