Personligt varumärke med Spotify : En kvantitativ studie om identitetsbyggande genom digital musikanvändning.

I denna studie har det framkommit ett genomgående mönster som visar att de personer som framhäver sin musiklyssning på Spotify gör det för att de vill att någon skall se att de har lyssnat på en specifik musik. Dessutom anser dessa personer att musik är jätteviktigt och döljer aktivt sina musiklistor och gör dem privata på Spotify. Däremot finns det personer som inte aktivt gör sina spellistor osynliga och dessa är sådana som inte anser att bilden av en person ändras om de ser att denne lyssnar på oväntad musik. Det framkom även att personer som aktivt döljer vad de lyssnar på gör det då de anser att musiken de ibland lyssnar på är pinsam. Dessa personer anser att musik säger mycket om en person, varför de aktivt döljer sina lyssningar på Spotify. De personer som även döljer sina spellistor gör det på grund av att de följs av andra Spotify-användare. Någonting som var relativt överraskande i denna studie var att Justin Bieber fortfarande ses som någonting pinsamt att lyssna på, vilket även bevittnas i inledningen till denna studie. Vi hade ändå trott att han hade blivit mer socialt accepterad. Dessutom kom vi fram till att de som nyttjar musikanvändningen i syfte att skapa ett personligt varumärke gör det då de anser att musik säger mycket om en person, vilka även ändrar bilden av en person när man får se vad den personen egentligen lyssnar på. Dessutom anser även de som har ändrat sin bild av en annan person på grund av musikval att det finns musik som är pinsam, vilket även är de personer som värderar musik allra högst. De skapar sig ett personligt varumärke genom att dölja och framhäva vad de lyssnar på på Spotify. Sammanfattningsvis har vi kunnat konstatera att det finns en viss skillnad mellan olika typer av människor; de som värdesätter musik högre bryr sig mer om sitt personliga varumärke och sin digitala identitet utåt när det gäller musik, varför de manipulerar sin Spotify-användning mer än den grupp personer som inte värdesätter musik lika mycket. Med dessa resultat kan vi konstatera att de musikintresserade svenska Spotify-användarna (15-35) döljer och framhäver vad de lyssnar på och på så vis använder musikstreamingtjänsten för att lyfta fram sin image och därmed det personliga varumärket. 

Strategier för presentationav arbetsprover inom grafiskdesign : hur en arbetssökande grafiskdesigner bäst ”säljer sig själv” tillanställning

För att få drömjobbet inom en konkurrenskraftig bransch som grafiskdesign krävs det lilla extra. Syftet med denna undersökning är att ta redapå vad detta extra är och därigenom underlätta för arbetssökandegrafiska designers på vägen till drömjobbet.Genom tre djupgående intervjuer med anställda på medelstora byråer iMellansverige undersöktes vad arbetsgivare uppskattar och förväntar sigav en arbetssökande grafisk designer. Frågeställningen behandladeportfolions framtid med branschens digitalisering som bakgrund, samthur en arbetssökande fångar arbetsgivarens intresse.Resultatet visar att även om portfolion utgör en stor del av underlaget förrekrytering av personal, är personen bakom portfolion och vad den haratt berätta om innehållet det som är viktigast. En portfolio som intebeskriver sammanhang duger inte som marknadsföringsmaterial. Attvårda det personliga varumärket framstår som viktigt för framgång. Dendigitala portfolion dominerar marknaden, men fysiska arbetsproverupplevs som ett möjligt sätt att stå ut från mängden. Digitala nätverkmottas positivt av branschen, men webbplatser anses ha mer substans.

Grafisk profil till ett företag som tillverkar handgjorda textilprodukter av naturmaterial : Hur kan en hemsida kommunicera ett varumärke?

Målet med detta examensarbete var att skapa en grafisk profil till företaget Lyst Form AB som bedriver större delen av sin affärsverksamhet via en hemsida. Företaget säljer handgjorda kläder och accessoarer i lintyg. En teoretisk del i arbetet tar upp hur varumärket kan kommuniceras genom hemsidan. Den grafiska profilen utformades utifrån företagets identitet. Det är viktigt att företaget speglas på ett korrekt sätt. Ett företags identitet kan beskrivas som organisationens själ och den visas utåt i form av bland annat den grafiska profilen. Denna ses därför som en viktig identitetsbärare och den kan kallas för den visuella identiteten. En grafisk profil innehåller bland annat logotyp, profilfärger samt typografi. Företagets målgrupp ansågs vara en viktig del i hela processen eftersom de i slutändan ska tilltalas av den grafiska profilen. Först gjordes en grundlig undersökning och research av företaget för att få en god uppfattning av dess identitet. Även konkurrenterna granskades. En enkätundersökning gjordes för att kunna samla information utifrån målgruppens perspektiv. Denna informationsinsamling gav ett bra underlag och en riktlinje i framtagningen av den grafiska profilen.   Under designprocessens gång diskuterades de logotypförslag som togs fram med hjälp av en sammansatt fokusgrupp. Diskussionen var givande och var till stor nytta i designprocessen. Baserat på den grafiska profilen skapades en layout för hemsidan samt exempel på trycksaker för att visa hur den kan användas. En enklare grafisk manual skapades för att företaget ska kunna synas utåt på ett enhetligt sätt. En sista enkätundersökning gjordes för att se om målet uppnåtts. Resultatet visade att den nya framtagna grafiska profilen var en klar förbättring jämfört mot den nuvarande sett utifrån företagets identitet. I slutändan valde dock företaget en annan logotyp. Detta påvisar svårigheterna i processen att ta fram en grafisk profil. Alla delar i processen är viktiga och undersökningarna är bland annat en av de väsentliga delarna vilka bidrar med en större chans till ett bra slutresultat som tar hänsyn till både företagets och målgruppens åsikter.  

Att marknadsföra med musik : en studie kring musik i reklamfilm och en artistprofils påverkan på ett varumärke

Due to the current digitalization of the music industry it has become more important than ever for musicians to get their music placed in advertising. This process is frequently described as a win-win situation for both sides: the musician gets money and exposure while the brand gets to ride on the musician’s pop-cultural position in society. The following thesis is focused on identifying the different ways brands work with music in their TV-advertising, and what effects the brand of the featured artist might have on the brand itself. Using text analysis, six advertisements all shown on Swedish TV during the first half of 2016 were analyzed, with the result that four major recurring themes were identified: nostalgia, text-related usage, making the advert memorable and making the advert into entertainment. The study also found three ways in which a band profile could serve a brand: (I) to make the advert an artifact of popular culture, (II) to let the brand ride on the bands success, (III) to give credibility to the brand. The study was based on brand theory, sensory branding and semiotics as well as David Hurons theory on the different usages of music in advertising. 

The Sottunga-Jurmo shear zone : structure and deformation history of a crustal-scale ductile shear zone in SW Finland

The aim of this study is to gain a better understanding of the structure and the deformation history of a NW-SE trending regional, crustal-scale shear structure in the Åland archipelago, SW Finland, called the Sottunga-Jurmo shear zone (SJSZ). Approaches involving e.g. structural geology, geochronology, geochemistry and metamorphic petrology were utilised in order to reconstruct the overall deformation history of the study area. The study therefore describes several features of the shear zone including structures, kinematics and lithologies within the study area, the ages of the different deformation phases (ductile to brittle) within the shear zone, as well as some geothermobarometric results. The results indicate that the SJSZ outlines a major crustal discontinuity between the extensively migmatized rocks NE of the shear zone and the unmigmatised, amphibolite facies rocks SW of the zone. The main SJSZ shows overall dextral lateral kinematics with a SW-side up vertical component and deformation partitioning into pure shear and simple shear dominated deformation styles that was intensified toward later stages of the deformation history. The deformation partitioning resulted in complex folding and refolding against the SW margin of the SJSZ, including conical and sheath folds, and in a formation of several minor strike-slip shear zones both parallel and conjugate to the main SJSZ in order to accommodate the regional transpressive stresses. Different deformation phases within the study area were dated by SIMS (zircon U-Pb), ID-TIMS (titanite U-Pb) and 40Ar/39Ar (pseudotachylyte wholerock) methods. The first deformation phase within the ca. 1.88 Ga rocks of the study area is dated at ca. 1.85 Ga, and the shear zone was reactivated twice within the ductile regime (at ca. 1.83 Ga and 1.79 Ga), during which the strain was successively increasingly partitioned into the main SJSZ and the minor shear zones. The age determinations suggest that the orogenic processes within the study area did not occur in a temporal continuum; instead, the metamorphic zircon rims and titanites show distinct, 10-20 Ma long breaks in deformation between phases of active deformation. The results of this study further imply slow cooling of the rocks through 600-700ºC so that at 1.79 Ga, 2 the temperature was still at least 600ºC. The highest recorded metamorphic pressures are 6.4-7.1 kbar. At the late stages or soon after the last ductile phase (ca. 1.79 Ga), relatively high-T mylonites and ultramylonites were formed, witnessing extreme deformation partitioning and high strain rates. After the rocks reached lower amphibolite facies to amphibolite-greenschist facies transitional conditions (ca. 500-550ºC), they cooled rapidly, probably due to crustal uplift and exhumation. The shear zone was reactivated at least once within the semi-brittle to brittle regime between ca. 1.79 Ga and 1.58 Ga, as evidenced by cataclasites and pseudotachylytes. In summary, the results of this study suggest that the Sottunga-Jurmo shear zone (and the South Finland shear zone) defines a major crustal discontinuity, and played a central role in accommodating the regional stresses during and after the Svecofennian orogeny.

Quantitative elemental analysis of dry-ashed bark and wood samples of birch, spruce and pine from south-western Finland using PIXE

A total of over 200 different samples of bark and wood of Silver birch, Norway spruce and Scots pine were analysed. Samples were taken from several areas in western Finland, some with known sources of atmospheric heavy metal emission (Harjavalta, Ykspihlaja). Also analytical data for pine needles from some sites are reported. The chemical analyses were performed by thick-target particle-induced X-ray emission (PIXE) spectrometry after preconcentration by dry ashing of samples at 550oC. The following elements were quantified in most of the samples: P, S, K, Ca, Mn, Fe, Ni, Cu, Zn, Rb, Sr, Cd, Ba and Pb. The ash percentage and the chemical composition of ashes of different wood materials were also obtained, as dry ashing was used in the analytical procedure. The variations in elemental concentrations in wood and bark of an individual tree, expressed as RSDs, were mostly in the range 10 – 20 %. For several trees of the same species sampled from small areas (< 1 ha), the variations in elemental concentrations were surprisingly high (RSDs 20 – 50 %). In the vicinity of metal plants, effects of strong atmospheric heavy metal pollution (pollution factor above 100) were observed in pine bark. The increase of heavy metal content in wood samples from the same sites was quite small. Elemental concentrations in ashes of bark and wood, from areas with no local source of atmospheric pollution, were relatively uniform. Based on this observation an alternative way of demonstrating atmospheric pollution of tree bark is discussed.

A practice perspective on organizational implementation of information technology

Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering är denna, är det fråga om en långsam och komplicerad process, som berör organisationens alla parter. Ny informationsteknologi anses påverka flertalet arbetsprocesser och organiseringen av det dagliga arbetet. Möjligheterna att ta i bruk systemet och utnyttja det är många. I avhandlingen undersöks implementering av ett system för att administrera hemvårdsbesök där hemvårdare använde handdatorer för att registrera information om besökens längd och innehåll. I avhandlingen observeras vilka förändringar som sker i arbetets praxis p.g.a. det nya systemet och hur dessa förändringar påverkar vårdarbetet. Forskningen inleds med att strukturera teorier om arbetspraxis för kommande analys. Arbetspraxis är inarbetade och rutinmässiga arbetssätt i arbetets sociomateriella omgivning. Arbetspraxis i avhandlingen innebär hemvårdarens praxis och upplevd erfarenhet, där verksamheten informeras av gemensamma arbetssätt, projekt, identiteter och intressen. Organisationens auktoritet kommer även fram i den förverkligade arbetspraxisen. Forskningen genomfördes som en etnografisk longitudinell studie under åren 2001-2004. I studien observerades hur nyttjandet av handdatorerna framskred ur ett organisatoriskt perspektiv. Hemvårdares arbete och verksamhet (arbetspraxis) observerades både under vårdsbesök och under pauser. Därtill intervjuades hemvårdarna för att erhålla en bättre förståelse för de rationaliteter som styr arbetet och hur systemet togs i bruk. Dokument relaterade till projektet att införa ett nytt system och administrativa dokument har utnyttjats som källmaterial. Analysen av källmaterialet styrdes av det teoretiska tillvägagångssättet att undersöka arbetspraxis. Problem som identifierades i samband med införandet av systemet och de förändringar som det medförde analyserades i detalj. Parallellt analyserades organisatorisk makt, kontroll och arbetsidentitet. Undersökningen beskriver hur det nya systemet gradvis anpassades till hemvården efter ett initialt motstånd. Under själva implementering av systemet ifrågasattes tidigare arbetspraxis och inställningen till den eftersom arbetspraxisens materiella omgivning förändrades. Det teoretiska tillvägagångssättet i att undersöka arbetspraxis framhäver vårdarens agerande i förändringsprocessen. Resultatet av forskningen visar vikten av realistiska målsättningar, givande av gruppstöd med återkoppling samt förmåga att anpassa sig till det oväntade vid införande av informationssystem.

Catalytic transformations of fatty acid derivatives for food, oleochemicals and fuels over carbon supported platinum group metals

Växtoljor som utgör en förnybar naturresurs används som sådana eller i modifierade former i många industriella processer, som är av stor betydelse för vårt vardagliga liv. Växtoljor används i livsmedel, i kemiska och farmaceutiska produkter, i textilindustrin, för framställning av färgämnen och beläggningsmaterial samt som miljövänliga bränslekomponenter. Fetter och oljor hör till de äldsta kemiska komponenterna som utnyttjas av människan. De består huvudsakligen av glycerolestrar och fettsyror. Fetter och oljor har typiskt en kolkedja med kol-koldubbelbindningar samt karboxyl- och estergrupper, som kan genom hydrering eller dekarboxylering konverteras till nyttiga och miljövänliga produkter med hjälp av ädelmetallkatalysatorer. Aktivt kol (C) används som bärare på katalysatorerna. Väteaddition, d.v.s. hydrering av växtoljor har varit föremål för omfattande forskning i över hundra års tid. Hydreringen är en viktig process, för den tillämpas på produktion av fetter och margarin. Omättade fettsyror hydreras traditionellt på nickelbaserade heterogena katalysatorer. Samtidigt med en partiell hydrering av fettsyrorna och fettsyraestrarna som har två dubbelbindningar pågår också isomeringsreaktioner, vilka ger cis- och transisomerer av reaktantmolekylerna. Den största nackdelen med nickelkatalysatorerna är deras giftighet samt bildning av ohälsosamma transisomerer i reaktionsprodukterna. Dessutom deaktiveras nickelkatalysatorn snabbt p.g.a. att nickeltvålar bildas i reaktionsblandningen. Platinabaserade katalysatorer lider däremot inte av dessa begränsningar. Metaller i platinagruppen i det periodiska systemet studerades i detalj för att avslöja kinetiska effekter i hydreringen av cis-metyloleat. Palladium, rutenium, rhodium, platina och iridium användes som katalytiska metaller. Metallhalten på aktivkolbärare var 1 vikt-%. De olika platinametallerna undersöktes för att kartlägga konkurrerande hydrerings- och isomeringsrutter på metallerna. Det visade sig att metallerna i andra raden av det periodiska systemet (Ru, Rh, Pd) är aktivare i isomeringsprocesserna, medan metallerna i tredje raden (Ir, Pt) har en lägre aktivitet. Pd/C valdes bland platinametallerna, för att den är attraktiv ur ekonomisk synvinkel och den är mycket aktiv och selektiv, speciellt jämfört med nickel. Tyngdpunkten i arbetet var utvecklingen av en alternativ, palladiumbaserad hydreringsteknologi som skulle ersätta den traditionella teknologin som är baserad på användningen av nickelkatalysatorer. Palladiumbaserade katalysatorer kan återcirkuleras, de är aktivare och mera resistenta mot syror och de bildar mindre mängder av skadliga transisomerer. För att denna teknologi skall bli ekonomiskt hållbar och konkurrenskraftig, måste den basera sig på de bästa möjliga katalysatorerna, vilket innebär att en optimal kombination av hög aktivitet och selektivitet samt en lång livstid för katalysatorn krävs. Därför inkluderades teknologiska aspekter kraftigt i forskningen. Mycket arbete satsades på design av palladium på en mesoporös kolbärare och undersökning av korrelationerna mellan katalysatorns egenskaper och dess aktivitet i isomeriseringsreaktionerna och i hydreringen av kol-koldubbelbindningarna i reaktantmolekylen. Katalysatorerna karakteriserades med många fysikaliska och kemiska metoder (transmissionselektronmikroskopi (TEM), röntgendiffraktion (XRD), röntgenfotoelektronspektroskopi (XPS), temperaturprogrammerad reduktion (TPR), temperaturprogrammerad desorption (TPD) av kolmonoxid, kemisorption av kolmonoxid, fysisorption av kväve). Temperaturens, vätetryckets och katalysatorkoncentrationens inverkan på fettsyra- och isomersammansättningen hos de hydrerade oljorna bestämdes under kinetiska betingelser, i frånvaro av massöverföringseffekter. Syreavspjälkning genom fullständig dekarboxylering av karboxylgruppen i fettsyramolekylen är det hittills bästa sättet att framställa miljövänlig dieselolja, eftersom linjära paraffiner fås som reaktionsprodukter och en tillsats av dyr vätgas undviks. Deoxygeneringen undersöktes systematiskt på en Pd/C-katalysator (Sibunit) genom att använda mättade fettsyror C16-C20 och C22 som råvara. Produktmolekylen blev en dieselliknande kolvätemolekyl, med en kolatom färre än i utgångsmolekylen. Lika stora dekarboxyleringshastigheter observerades för rena, mättade fettsyror. En jämförelse av deoxygenereringshastigheterna för stearin-, olein- och linolsyra som råvara vid 300oC i närvaro av 1-volymprocent väte på mesoporös Pd/C (Sibunit) avslöjade att katalysatorns aktivitet och selektivitet ökade med en ökande mättningsgrad av reaktantmolekylen. Då stearinsyra användes som utgångsmolekyl, bestod huvudprodukterna av önskade C17-kolväten, medan mängden av aromatiska C17-komponenter ökade, då olein- och linolsyra användes som utgångsmolekyler. Katalysatordeaktiveringen var relativt påfallande vid deoxygeneringen av linolsyra så att endast 3% av fettsyrorna omsattes till produkter i 330 min. Deaktiveringen orsakades av aromatiska C17-komponenter samt av fettsyradimerer, som bildades via en Diels-Alderreaktion. Hydreringen av omättade fettsyror kan därför rekommenderas som ett primärt kemiskt steg i framställningen av miljövänliga dieselprodukter. Målet var också att öka förståelsen av palladiummetallernas roll i nanoskala, speciellt effekten av metallpartiklarna i katalytisk hydrering och deoxygenering. Pd/C-katalysatorer med lika stora halter av Pd syntetiserades och metallens dispersion på bärarmaterialet varierades systematiskt genom en kontrollerad uppväxt av palladiumnanopartiklar på aktiv kolbärare. Metalldispersionens effekt på hydrerings-hastigheten och cis-transförhållandet undersöktes i detalj. En optimal metalldispersion som gav den högsta dekarboxyleringshastigheten hittades. Massöverföringens inverkan på reaktionens hastighet studerades experimentellt och temperaturprogrammerad desorption av kolmonoxid från katalysatorytan undersöktes ingående. Hydrering av växtoljor genomfördes under satsvisa och kontinuerliga betingelser. Både finfördelat Pd/C och katalysatorgranulat användes i experimenten. Ett av målen med arbetet var uppskalningen av hydreringsprocesserna. Med tanke på stora produktionsvolymer var det logiskt att undersöka kontinuerliga hydrerings- och dekarboxyleringsteknologier. En kontinuerlig packad bäddreaktor studerades i laboratorieskala, vilket gav viktig information om katalysatorns långtidsstabilitet och deaktivering. Effekten av rena fettsyror och triglycerider som råvara samt metallpartikelstorleken och palladiumhalten studerades med hjälp av den kontinuerliga reaktorn. Produktionskapaciteten som erhölls med satsvis och kontinuerlig drift jämfördes. Dekarboxyleringen av stearinsyra undersöktes också i en kontinuerlig packad bädd. Omsättningsgraden blev 15% för en stabil katalysator.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Asymmetriskt påverkat beslutsfattande i IT-projekt

I avhandlingen beskriver Leif Marcusson vad som påverkar beslutsfattare då dessa ska fatta beslut i IT-projekt. Arbetet har mynnat ut i en modell, som beskriver asymmetrisk påverkan på beslutsfattande. Eftersom modellen är både deskriptiv och normativ kan den användas för att beskriva och för att styra beslutsfattande. Ett beslut fattas av en eller flera personer i en viss situation, där det även krävs att det finns ett beslutsunderlag. Beslutet påverkas av en mängd olika faktorer - allt från väder till ekonomi. De olika faktorerna är indelade utifrån om de påverkar beslutsunderlaget, individen eller beslutssituationen. Dessa tre delar innehåller i sig ett antal faktorsgrupper. Den första delen, Underlag, innehåller två faktorsgrupper: den ena beskriver underlagets tydlighet och den andra beskriver effekten och nyttan av det fattade beslutet. Den andra delen, Individ, innehåller fyra faktorsgrupper. Dessa beskriver det som skapat individen, det som påverkar individen, det som påverkar individens framtid och det som påverkar gruppen. Den sista delen, Situation, innehåller två faktorsgrupper, som beskriver det som styr situationen och det som påverkar den. Var och en av dessa faktorsgrupper består av ett antal faktorer, som i sin tur kan delas in i delfaktorer osv. Det finns med andra ord närapå oändligt många faktorer, som kan påverka den som ska fatta ett beslut. Förståelse för och insikt i modellen kan underlätta för beslutsfattare. Modellen är förvisso skapad för IT-projekt, men den går även att använda i andra projekt och i linjeverksamhet.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

On the potential utilisation of sawdust and wood chip screenings

This work is based on the utilisation of sawdust and wood chip screenings for different purposes. A substantial amount of these byproducts are readily available in the Finnish forest industry. A black liquor impregnation study showed that sawdust-like wood material behaves differently from normal chips. Furthermore, the fractionation and removal of the smallest size fractions did not have a significant effect on the impregnation of sawdust-like wood material. Sawdust kraft cooking equipped with an impregnation stage increases the cooking yield and decreases the lignin content of the produced pulp. Impregnation also increases viscosity of the pulp and decreases chlorine dioxide consumption in bleaching. In addition, impregnation increases certain pulp properties after refining. Hydrotropic extraction showed that more lignin can be extracted from hardwood than softwood. However, the particle size had a major influence on the lignin extraction. It was possible to extract more lignin from spruce sawdust than spruce chips. Wood chip screenings are usually combusted to generate energy. They can also be used in the production of kraft pulp, ethanol and chemicals. It is not economical to produce ethanol from wood chip screenings because of the expensive wood material. Instead, they should be used for production of steam and energy, kraft pulp and higher value added chemicals. Bleached sawdust kraft pulp can be used to replace softwood kraft pulp in mechanical pulp based papers because it can improve certain physical properties. It is economically more feasible to use bleached sawdust kraft pulp in stead of softwood kraft pulp, especially when the reinforcement power requirement is moderate.