Sverige förändras allt mer mot ett kontantlöst samhälle och det kontanta betalningsalternativet har försvunnit på bussar, parkeringsautomater och offentliga toaletter. Anmärkningsvärt är att förändringen även nått banksektorn, en sektor starkt förknippad med kontanter. Kunderna hos dessa banker blir därmed tvungna att använda Self Service Technologies (SST:s) i form av automater för att uträtta sina kontantärenden. Samtidigt som bankkundernas valmöjlighet minskar så går Handelsbanken  mot strömmen och fortsätter erbjuda manuell kontanthantering på sina kontor.   En undersökning gjord av Svenskt Kvalitetsindex visade att bankernas kundnöjdhet (tjänstekvalité) har försämrats på grund av förändringen. För att mäta tjänstekvalitén hos de olika tjänsterna kan man dela upp dessa i mindre beståndsdelar, dimensioner, vilka är olika för SST:s och traditionella tjänster. Vår promblematisering ledde därmed till följande frågeställning:   Vilka dimensioner i tjänstekvalitén, sett utifrån SST- och traditionella tjänster, ger förklaringar till bankernas försämrade tjänstekvalité?   Huvudsyftet med studien var främst att kartlägga vilka dimensioner som förklarar bankernas försämrade tjänstekvalité. Utifrån detta ville vi även bidra med praktiska råd till bankerna för att förbättra tjänsterna och således förbättra kundernas upplevda tjänstekvalité. Dessutom ville vi studera om det finns skillnader mellan äldre och yngre kunder angående deras åskter kring de två olika kontanthanteringstjänsterna. Vi ville även kartlägga skillnader mellan kundernas ålder, teknologiska mognadsgrad och behov av mänsklig interaktion.   Studien genomfördes genom en enkätundersökning på bankkunder i ålder 18-85 år bosatta i  Umeå kommun. Studien använde sig av ett kvoturval bestående av tre kvoter:  åldersgrupp 18-35, åldersgrupp 36-59 och åldersgrupp 60-85. Insamlat material sammanställdes i en importance-performance analys och användes vid hypotesprövningar.   Vår studie visade att dimensionerna säkerhet och användarvänlighet för SST:s kan förklara bankernas försämrade tjänstekvalité. Främst uppfattar de äldre kunderna att uttagsautomaternas säkerhet är bristfällig. Samtidigt kan detta även förklaras av att kundernas valmöjligheter minskat och att vissa kunder blivit så nöjda med tjänsten manuell kontanthantering att de blir missnöjda i och med förändringen.   Vår förhoppning är att bankerna skall använda de praktiska råden och där igenom förbättra tjänstekvalitén. Vårt teoretiska bidrag är främst att ge en ökad kunskap rörande SST:s dimensioner och skillnader i åldergrupperna.

<p>Det finns övrigt digitalt material (t.ex. film-, bild- eller ljudfiler) eller modeller/artefakter tillhörande examensarbetet som ska skickas till arkivet.</p><p>There are other digital material (eg film, image or audio files) or models/artifacts that belongs to the thesis and need to be archived.</p>

With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. This paper tackles one aspect of the work needed to develop model-checking methods as we try to improve the efficiency and the reliability of model-checking techniques using the Time Petri Net model. Formal methods based on Time Petri Nets are not exempt from the state-explosion problem, and we study here different approaches to circumvent this problem. In particular, we show that limiting the exploration of such a model to runs with integer dates maintains the integrity of the model-checking result. We also show that it is possible to set a limit on the number of runs that can be explored while maintaining the probability that the observation is correct above a certain threshold. / Med tanke på hur vanligt det är med teknik och datorsystem i dagens samhälle är det viktigt att se till att de system vi använder är säkra. De områden som studerar dessa frågor, cybersäkerhet och cybersafety, använder den formella verifieringstekniken modellkontroll. Denna artikel tar upp en aspekt av det arbete som krävs för att utveckla metoder för modellkontroll, eftersom vi försöker förbättra effektiviteten och tillförlitligheten hos metoder för modellkontroll med hjälp av Time Petri Netmodellen. Formella metoder baserade på Time Petri Nets är inte undantagna från problemet med tillståndsexplosion, och vi studerar här olika tillvägagångssätt för att kringgå detta problem. I synnerhet visar vi att om man begränsar utforskningen av en sådan modell till körningar med heltalsdatum bibehålls integriteten hos resultatet av modellkontrollen. Vi visar också att det är möjligt att sätta en gräns för antalet körningar som kan utforskas samtidigt som sannolikheten för att observationen är korrekt hålls över ett visst tröskelvärde.

In recent years, texture synthesis has been a heated topic in computer graphics, and the development of advanced algorithms for generating high-quality 3D textures is an area of active research. A recently proposed model, Neural Cellular Automata, can synthesize realistic 2D texture images or videos. However, due to the complexity and non-differentiable nature of 3D rendering and the lack of definition of the neighborhood on 3D mesh objects, no one has extended the 2D Neural Cellular Automata to the 3D scenario. In this master’s thesis, we propose a novel method for modeling the neighborhood relationship on 3D mesh objects, drawing inspiration from a graph variant of the Neural Cellular Automata. We also design an end-to-end 3D texture synthesis pipeline, leveraging a differentiable renderer to enable the Graph Neural Cellular Automata to learn to synthesize desired 3D textures. Our method allows users to either give the text description of the target textures or present the target texture images as the objectives. We evaluate the effectiveness of our proposed method both qualitatively and quantitatively, comparing it with the state-of-the-art method to demonstrate that it achieves comparable or better results. Furthermore, we explore the homology between the graph variant of Neural Cellular Automata and the 2D model, examining whether our proposed model preserves critical properties of the 2D model such as zero-shot generalization and self-regeneration. Finally, we analyze the limitations and potential drawbacks of our proposed method and suggest directions for future research. In summary, this thesis proposes a novel approach to synthesizing high-quality 3D textures using the Graph Neural Cellular Automata model and a differentiable renderer. Our work provides a foundation for future research in this area, and we believe that our findings will contribute to the development of advanced algorithms for 3D texture synthesis. / Under de senaste åren har textursyntes varit ett hett ämne inom datorgrafik, och utvecklingen av avancerade algoritmer för att generera högkvalitativa 3D-texturer är ett aktivt forskningsområde. En nyligen föreslagen modell, Neural Cellular Automata, kan syntetisera realistiska 2D-texturbilder eller videor. Dock, på grund av komplexiteten och den icke-differentierbara naturen av 3D-rendering och bristen på definition av grannskapet på 3D-meshobjekt, har ingen utvidgat 2D Neural Cellular Automata till 3D-scenariot. I den här masteruppsatsen föreslår vi en ny metod för att modellera grannskapsrelationen på 3D-meshobjekt, inspirerade av en grafvariant av Neural Cellular Automata. Vi utformar också en ände-till-ände 3D-textursyntes pipeline, genom att utnyttja en differentierbar renderer för att möjliggöra för Graph Neural Cellular Automata att lära sig syntetisera önskade 3D-texturer. Vår metod tillåter användare att antingen ge textbeskrivningen av måltexturerna eller presentera måltexturbilderna som målen. Vi utvärderar effektiviteten av vår föreslagna metod både kvalitativt och kvantitativt, jämför den med den mest avancerade metoden för att visa att den uppnår jämförbara eller bättre resultat. Dessutom utforskar vi homologin mellan grafvarianten av Neural Cellular Automata och 2D-modellen, undersöker om vår föreslagna modell bevarar kritiska egenskaper hos 2D-modellen som zero-shot generalisering och självregenerering. Slutligen analyserar vi begränsningarna och eventuella nackdelar med vår föreslagna metod och föreslår riktningar för framtida forskning. Sammanfattningsvis föreslår denna avhandling en ny metod för att syntetisera högkvalitativa 3D-texturer med hjälp av Graph Neural Cellular Automata-modellen och en differentierbar renderer. Vårt arbete ger en grund för framtida forskning inom detta område, och vi tror att våra fynd kommer att bidra till utvecklingen av avancerade algoritmer för 3D-textursyntes.