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.

Sahlgrenska Academyat University of GothenburgDepartment of Internal Medicine and Clinical NutritionAbstractTitle: Artificial sweeteners in beverage and their effecton hunger and energy intakeAuthor: Sofia Andersson and Sofia JakobssonSupervisor: Heléne Bertéus ForslundExaminer: Anna WinkvistProgramme: Dietician study programme, 180/240 ECTSType of paper: Examination paper, 15 hpDate: April 11, 2012BackgroundIn 2010 the total consumption of soft drinks in Sweden was estimated to 69 litres per person and17 % of the domestic production was estimated to consist of soft drinks sweetened with artificialsweeteners. The effects of artificial sweeteners on hunger is not yet fully understood. It isspeculated that they might increase hunger and hence increase energy intake.ObjectiveThe aim was to compile the evidence regarding the effects of an intake of a beverage sweetenedwith artificial sweeteners compared to sucrose on subsequent hunger and energy intake.Search strategyA systematic search for literature was performed in the databases PubMed and Scopus.Selection criteriaThe inclusion criteria were RCT, human studies, articles published in Swedish or English, studieson healthy adults and studies measuring hunger with a subjective scale or energy intake. Theexclusion criteria were studies who measured energy intake under other forms than standardisedor controlled, studies without a standardised dose of the beverage and articles needed to beordered against payment.Data collection and analysisFour articles were selected and examined according to a template developed by SBU. Theevidence for each outcome was weighed together and graded according to GRADE based on asummarised evidence form developed by the Sahlgrenska Academy.Main resultsAll four articles measured subjectively rated hunger.

Syftet är att undersöka hur sjuksköterskor kan gå tillväga när de bedömer behov av och utför postoperativ smärtbehandling: vilka brister som kan förekomma samt belysa de faktorer som utgör en god postoperativ smärtbehandling. Metoden Litteraturstudie, sökandet av artiklar har gjorts i databaserna: Pubmed, Elin, Cinahl och Academic search.. Resultat Sex teman framkom: Bedömning och utförande, smärtlindring i förebyggande syfte, preoperativ information, avbrott i smärtbehandling, kulturella olikheter och effektiv smärtbehandling. Kommunikationen, multidisciplinärtarbetssätt och fasta rutiner visade sig vara viktiga komponenter i den postoperativa smärtbehandlingen. Mer kunskap kring och om smärtbehandling bör ingå i grundutbildningen av sjuksköterskor.

AbstractTitle: The effect of caffeine on performance during resistance training ?A systematic overviewAuthor: Amanda Jonsson and Erica BenderSupervisor: Mette AxelsenExaminer: Anna WinkvistProgramme: Dietician study programme, 180/240 ECTSType of paper: Examination paper, 15 hpDate: 2015-03-31Background: Products with high content of caffeine has in recent years become popular for optimizing physical performance. Caffeine affects mechanisms in our body which can be beneficial to perform better during exercise, but the theories have not yet been systematically reviewed.Objective: The purpose of this review article, is to examine the acute effect of caffeine intake before strength training on athletic performance with the outcome muscle endurance.Search strategy: A systematic literature search in databases PubMed, Scopus and Cochrane using keywords: ?Caffeine?, ?strength?, ?muscle?, "resistance training", "muscle strength", "strength training", "athletic performance", ?repetitions to failure?, ?muscular endurance? and ?endurance training?.Selection criteria: Healthy subjects, 16-50 years old, with experience in strength training. Studies with a caffeine intake > 5 mg/kg body weight, which participants performed dynamic strength exercises on a weight > 60% of their 1 RM.

A flat organisation makes a horizontal career development possible, which means that it is more important to develop an individual?s knowledge base than to gain a higher title. This leads to a personal development, which motivates expats to stay. Since the responsibility of the career development mostly lies on expats themselves, companies should create conditions that make individual, internal job search possible. Like in IKEA:s case, it can be done through a strong and prestige less company culture, that penetrates the whole company.

 With the increases in fuel costs due to the depletion of the world oil reserves and the increase of greenhouse gasses as a consequence to using oil as a fuel many companies are looking to new and innovative ways to power their aircraft. One of these new ways to power an aircraft is using fuel cells powered using hydrogen and oxygen, thus producing nothing but water vapour and small amounts of nitrogen dioxide as well as trace amounts of other emissions. Both Boeing (1) and Politecnico di Torino (2) have shown that it is possible to build an all-electric aircraft powered by fuel cells. Both flights used small, two-seater aircraft and a constant between them was the loss of the co-pilot seat due to weight and lack of space. As this paper will deal with a commercial aircraft a primary concern is the cargo and passenger capacity and whatever impact switching propulsion system has on these.

Sahlgrenska Academy at University of GothenburgDepartment of Internal Medicine and Clinical NutritionAbstractTitle: Does the number of chews affect satiation and satiety?Author: Madeleine Johansson och Helena AnderssonSupervisor: Heléne Bertéus ForslundExaminer: Frode SlindeProgramme: Dietician study programme, 180/240 ECTSType of paper: Examination paper, 15 hpDate: May 27, 2014Background: Overweight and obesity is a growing problem worldwide. In 2008, 35% of theworld's population were overweight and 11% obese , which is almost doubling since 1980,according to WHO. Recommendations on overweight and obesity is not just about what weeat but how we eat. A generally accepted recommendation is to eat slowly and chew yourfood properly in order to increase fullness and reduce energy intake.

The Anglo-Saxon trust is not a new phenomenon, but existed as early as in the Middle Ages. The concept is customary among common-law countries, such as England the US,but unfamiliar to civil-law countries like Sweden. The person who creates the trust is called a settlor, the one who holds and administer the property is a trustee and the person who benefits from the settlement is called a beneficiary.In Sweden there is no legislation of how the trust ought to be assessed, but the need to understand it has probably increased with the internationalization.The Swedish Supreme Administrative Court has had a few opportunities to elucidate some of the uncertainties regarding trusts, but chose to abstain. With this The Swedish Tax Panel has very limited guidance from the court when they receive an application of an advance notice.A trust is not a legal entity nor a tax subject. This differs the trust from a foundation and they can not be placed on an equality from a Swedish tax perspective.In an advance notice, 2010-03-23 (dnr 103-09/D) om Inkomstskatt: Inkomst av tjänst ? värdepappersförmån, the Swedish Tax Panel equalizes the trust property with shares when determining how to tax the assets.

Volvo Aeros flygmotortillverkning i Trollhättan har infört ett antal nya detaljvarianter i produktionen. Detta har medfört att den robotcell som är avsedd att utföra en avgradningsoperation är i behov av uppdatering av både hårdvara och mjukvara. Denna rapport följer framtagningen av fixturkoncept som möjliggör att robotcellen kan användas även till de nya detaljerna. De förslag som arbetats fram sträcker sig från enklast möjliga till mer avancerade och nytänkande funktioner. Samtliga funktioner och koncept har genomgått gallringar i ett flertal steg.

Business Process Modelling Notation (BPMN) is a way to graphically draw a diagram of a business process. A BPMN diagram consists of several so-called flow objects. These are interconnected in the graph through sequence  flows. BPMN models are merely graphical representations of business process and there is a need to simulate these diagrams for different purposes. The simulation that now is available for BPMN is that the model is evaluated by checking if it is correct.

Scana-Booforge is a Swedish company which specialize in heat treatment of various metal. The treatments take place in quenching ovens, where fans are used to circulate the hot air. The fans used today do not have a satisfactory lifespan. This thesis aims to develop a new design of the fans for the quenching ovens, and the goal is that the new fans will bring cost savings for Scana-Booforge.The design development process started with mapping out the environment in which the fans operate, and with analysis of the existing fan structure and damages, in order to establish the cause of failure and of short durability. The performance of the fan were also established at this stage.

The interest for power and energy measurement has greatly raised with todays increasing electricity prices and enviromental awareness. In the search for energy efficient solutions, the measurements are more complex due to increasing of non linear components. Harmonics and non sinusoidal voltages put high demands on sampling and filtering. Meanwhile, the price must be controlled so the customer still will find it interesting to invest in smaller plants. ITT W&WW asks for a robust, heat resistant power meter with compact dimensions to allow mounting inside the casing of a pump.

The results from 13 interviews and one opinion poll answered by resident physicians were interpreted as stories about identity as primary material for this thesis. The resident physicians stress the importance of considering whether their work primarily concerns curing people from diseases or if the process of working with sick people also includes how to handle the pressure of work, either by adapting to it or changing it, and the search for balance between work and private life. Residents separate themselves from older physicians by saying that younger physicians accentuate empathy to a greater extent while older physicians emphasise a high work load. Identity seems to effect how the residents perceive and relate to their work, themselves as residents and different types of patients..

Sahlgrenska AcademyAt University of GothenburgDepartment of internal medicine and clinical nutritionAbstractTitle: D for depression: Does vitamin D supplementation have apalliative effect on depressive symptoms? ? A systematic reviewAuthor: Emelie Nacksten and Lua Ferreira RangelSupervisor: Fredrik BertzExaminer: Ingrid LarssonProgramme: Dietician study programme, 180/240 ECTSType of paper: Examination paper, 15 hpDate: May 22th, 2013BackgroundDepression is one of the major diseases in the world and is ranked by the WHO as the leading causeof disability. Several studies suggest that there is a correlation between low s-25(OH)D levels and theoccurrence of depression. Current research has found enzymes required for synthesis of the active formof vitamin D and its receptors (VDR) in the brain. The potential role of the vitaminas a neuroactive steroid has resulted in an increased interest in investigating the role of vitamin D in thetreatment of depression.ObjectiveStudy the scientific evidence to determine if vitamin D supplementation can relieve depressive symptomsin adults.Search strategyThe literature search was conducted in the databases Scopus, Pubmed, Cochrane and PsychInfo.

Detta är en kvalitativ intervjustudie som undersöker maskinpersonalens upplevelser av att använda headsetkommunikation i arbetet ombord. Totalt sex stycken maskinbesättningsmedlemmar intervjuades om deras upplevelser av hur headsetkommunikation har påverkat utförandet av arbetet, personlig säkerhet och tidseffektivitet. Resultaten som framkom av intervjuerna visar på att kommunikationen förbättrats med headsetkommunikation genom att talkommunikationen inte begränsas av höga bullernivåer vilket leder till minskad röstbelastning. De intervjuade vittnade om att den förbättrade kommunikationen underlättade i arbetet och ökade den personliga säkerheten genom att risken för missförstånd minskade samt att maskinbesättningens situationsmedvetenhet ökade. Förbättrad ergonomi vid svåra arbetsställningar i trånga utrymmen jämfört med handburna radioapparater upplevdes även det som en fördel med headsetkommunikation.