The goal of an automatic speech recognition system is to enable the computer in understanding human speech and act accordingly. In order to realize this goal, language modeling plays an important role. It works as a knowledge source through mimicking human comprehension mechanism in understanding the language. Among many other approaches, statistical language modeling technique is widely used in automatic speech recognition systems. However, the generation of reliable and robust statistical model is very difficult task, especially for a large vocabulary system. For a large vocabulary system, the performance of such a language model degrades as the vocabulary size increases. Hence, the performance of the speech recognition system also degrades due to the increased complexity and mutual confusion among the candidate words in the language model. In order to solve these problems, reduction of language model size as well as minimization of mutual confusion between words are required. In our work, we have employed clustering techniques, using self-organizing map, to build topical language models. Moreover, in order to capture the inherent semantics of sentences, a lexical dictionary, WordNet has been used in the clustering process. This thesis work focuses on various aspects of clustering, language model generation, extraction of task dependent acoustic parameters, and their implementations under the framework of the CMU Sphinx3 speech engine decoder. The preliminary results, presented in this thesis show the effectiveness of the topical language models.

The goal of an automatic speech recognition system is to enable the computer in understanding human speech and act accordingly. In order to realize this goal, language modeling plays an important role. It works as a knowledge source through mimicking human comprehension mechanism in understanding the language. Among many other approaches, statistical language modeling technique is widely used in automatic speech recognition systems. However, the generation of reliable and robust statistical model is very difficult task, especially for a large vocabulary system. For a large vocabulary system, the performance of such a language model degrades as the vocabulary size increases. Hence, the performance of the speech recognition system also degrades due to the increased complexity and mutual confusion among the candidate words in the language model. In order to solve these problems, reduction of language model size as well as minimization of mutual confusion between words are required. In our work, we have employed clustering techniques, using self-organizing map, to build topical language models. Moreover, in order to capture the inherent semantics of sentences, a lexical dictionary, WordNet has been used in the clustering process. This thesis work focuses on various aspects of clustering, language model generation, extraction of task dependent acoustic parameters, and their implementations under the framework of the CMU Sphinx3 speech engine decoder. The preliminary results, presented in this thesis show the effectiveness of the topical language models.

Model generation and minimal model generation are useful for tasks such as model checking, query answering and for debugging of logical specifications. Due to this variety of applications, several minimality criteria and model generation methods for classical logics have been studied. Minimal model generation for modal logics how ever did not receive the same attention from the research community. This thesis aims to fill this gap by investigating minimality criteria and designing minimal model generation procedures for all the sublogics of the multi-modal logic S5(m) and their extensions with universal modalities. All the procedures are minimal model sound and complete, in the sense that they generate all and only minimal models. The starting point of the investigation is the definition of a Herbrand semantics for modal logics on which a syntactic minimality criterion is devised. The syntactic nature of the minimality criterion allows for an efficient minimal model generation procedure, but, on the other hand, the resulting minimal models can be redundant or semantically non minimal with respect to each other. To overcome the syntactic limitations of the first minimality criterion, the thesis moves from minimal modal Herbrand models to semantic minimality criteria based on subset-simulation. At first, theoretical procedures for the generation of models minimal modulo subset-simulation are presented. These procedures for the generation of models minimal modulo subset-simulation are minimal model sound and complete, but they might not terminate. The minimality criterion and the procedures are then refined in such a way that termination can be ensured while preserving minimal model soundness and completeness.

Att arbeta med miljö och hållbarhet blir allt vanligare inom modesektorn. Samtidigt ställs höga krav på hastighet inom textil- och klädindustrin som pressas till att leverera trendiga, prisvärda plagg i stora volymer så snabbt och effektivt som möjligt på marknaden. Det leder ibland till överproduktion och negativ miljöpåverkan. Hur kan då den så kallade fast fashion-industrin och den mer hållbara modeindustrin samverka så att fast fashion-företag ska kunna nå en mer hållbar affärsmodell? Begreppet kollaborativ konsumtion förekommer allt oftare, vilket innebär en delad ekonomi där konsumenter får tillgång till varor utan att själva äga dem. Det leder till att överkonsumtionen av varor i samhället minskar och istället främjas den hållbara utvecklingen. Uthyrning som ett alternativ till försäljning är förekommande inom modesektorn, både som ett alternativ till den traditionella försäljningen, men även som ett substitut. Dock är det idag inte lika förekommande med uthyrning av fast fashion-kläder, detta anses därför vara ett intressant ämne att undersöka. Studiens syfte är att undersöka möjligheterna att införa uthyrning av kläder i kombination med traditionell försäljning i fast fashion-företaget Gina Tricot och därefter föreslå en möjlig affärsmodell. Studien grundas i affärsmodellen Busines model generation baserat på nio byggstenar, insamlat material i form av intervjuer och webbaserat material från tre företag. Gina Tricot representerar ett fast fashion-företag, Houdini ett livsstilsföretag med uthyrning som ett alternativ till försäljning samt Klädoteket som representerar ett hyrbaserat företag. De tre företagens affärsmodeller har jämförts med varandra samt analyserats med tidigare studier för att slutligen i en analys och diskussion besvara studiens syfte. Sammantaget har studien kunnat visa hur fast fashion-företaget Gina Tricot kan införliva det allt mer aktuella fenomenet, kollaborativ konsumtion i en ny affärsmodell. Vid ett eventuellt införande av Gina Tricot´s nya koncept kläduthyrning, kan företaget behöva förändra framförallt sex av de nio byggstenarna ur affärsmodellen Business model generation. Genom nya värdeerbjudanden, fler marknadsföringskanaler och bättre kundrelationer med utbildad butikspersonal inom hållbar konsumtion, har den nya affärsmodellen stor potential att lyckas då Gina Tricot har de ekonomiska och mänskliga förutsättningarna. Frågan ställs där emot om Gina Tricot´s fast fashion-kläder verkligen håller den kvalitet som krävs för uthyrning i det nya och mer hållbara konceptet, Fast Fashion 2.0.

Att börja växa som företag är svårt, inte minst inom klädindustrin där det granskas stygn för stygn av media. Under de två senaste decennierna har fler klädföretag börjat arbeta med hållbar utveckling. Det som tidigare har genererat tillväxt från den industriella utvecklingen går emot dagens hållbarhetstänk, som har blivit viktigare i klädföretagen. Samtidigt behövs tillväxt hos klädföretag för att konkurrera på den mer globaliserade marknaden. I denna studie undersöks det hur tillväxtstrategier kan tillämpas i ett klädföretag som arbetar med hållbar utveckling. Forskningsmetodiken består av en kvalitativ ansats för att få en djup kunskap kring fenomenet. Studien är en fallstudie som fördjupar sig i ett klädföretags hållbarhetsarbete. Empirin bygger på digital datainsamling av företaget och en intervju med företagets hållbarhetsansvarige. Företagets affärsmodell analyseras och med hjälp av analysen kartläggs vart någonstans hållbarhetsarbetet förekommer i affärsmodellen. Hållbarhetsarbetet förekommer i olika delar av affärsmodellen beroende på företag. Hur företaget påverkas av tillväxtstrategier utgår från affärsmodellen. I studiens resultat visar det sig att vid tillämpning av tillväxtstrategier är det viktigt att se hur olika delar i verksamheten påverkas. Även om företag väljer att använda sig av samma tillväxtstrategi kan strategin tillämpas på olika sätt och påverka olika delar i företaget. / Program: Textil produktutveckling och entreprenörskap

Att börja växa som företag är svårt, inte minst inom klädindustrin där det granskas stygn för stygn av media. Under de två senaste decennierna har fler klädföretag börjat arbeta med hållbar utveckling. Det som tidigare har genererat tillväxt från den industriella utvecklingen går emot dagens hållbarhetstänk, som har blivit viktigare i klädföretagen. Samtidigt behövs tillväxt hos klädföretag för att konkurrera på den mer globaliserade marknaden. I denna studie undersöks det hur tillväxtstrategier kan tillämpas i ett klädföretag som arbetar med hållbar utveckling. Forskningsmetodiken består av en kvalitativ ansats för att få en djup kunskap kring fenomenet. Studien är en fallstudie som fördjupar sig i ett klädföretags hållbarhetsarbete. Empirin bygger på digital datainsamling av företaget och en intervju med företagets hållbarhetsansvarige. Företagets affärsmodell analyseras och med hjälp av analysen kartläggs vart någonstans hållbarhetsarbetet förekommer i affärsmodellen. Hållbarhetsarbetet förekommer i olika delar av affärsmodellen beroende på företag. Hur företaget påverkas av tillväxtstrategier utgår från affärsmodellen. I studiens resultat visar det sig att vid tillämpning av tillväxtstrategier är det viktigt att se hur olika delar i verksamheten påverkas. Även om företag väljer att använda sig av samma tillväxtstrategi kan strategin tillämpas på olika sätt och påverka olika delar i företaget. / Program: Textil produktutveckling och entreprenörskap

Background: There is an increasing amount of arguments made that new business models are the solution when companies and industries face radical changes in the environment. To be able to prosper in the long run, organizations must reinvent themselves over and over again. Many authors (e.g. Abernathy & Utterback, 1978; Christensen, 1997; Kim & Mauborgne, 2005; Ries, 2011) claim that big, radical, reconfigurations are needed in order to prosper in the long-term. Theories, concepts and framework have been developed to answer how this reconfiguration should happen within organizations. However, the concepts derived are just parts of the solution, and none take a holistic approach, trying to cover them in a practical framework that could be used by organizations. Aim: The aim of the thesis is to propose a framework that enables organizations to systemize their innovation processes, making them flexible enough to repetitively seize opportunities through business model innovation where new value can be created and captured. The proposed framework aims to enable organizations to start discussing how they should create and capture new value and give them a more pragmatic view on the innovation process. It also aims to act as a starting point for future research. Methodology: The thesis follows March & Smith’s (1995) design science methodology in order to build and evaluate the framework. This is done in three steps; first by building a model from theory. Second, the emergence of business models in three different case companies are compared and investigated qualitatively. Lastly the model and the factors derived from the data are contrasted and a framework is built and evaluated. Findings & Conclusion: The basis of the derived framework proposes for big steps to change, and create and capture new value; analyze the basis of competition in the macro and micro environment, analyze and experiment with different non-customer tiers, experiment with the creation of value and experiment and analyze the capture of the value created. More tangible tools are proposed for each of these steps. Actually testing the framework and further evaluating and theorizing of the framework is proposed as future research directions.

Today, discrete event simulation is the only reliable tool for detailed analysis of complex behaviors of modern manufacturing systems. However, building high fidelity simulation models is expensive. Hence, it is important to improve the simulation modeling productivity. In this research, we explore two approaches for the improvement of simulation modeling productivity. One approach is the Virtual Factory Approach, using a general-purpose model for a system to achieve various simulation objectives with a single high fidelity model through abstraction. The other approach is the Reference Model Approach, which is to build fundamental building blocks for simulation models of any system in a domain with formal descriptions and domain knowledge. In the Virtual Factory Approach, the challenge is to show the validity of the methodology. We develop a formal framework for the relationships between higher fidelity and lower fidelity models, and provide justification that the models abstracted from a higher fidelity model are interchangeable with various abstract simulation models for a target system. For the Reference Model Approach, we attempt to overcome the weak points inherited from ad-hoc modeling and develop a formal reference model and a model generation procedure for discrete part manufacturing systems, which covers most modern manufacturing systems.

Generation of photo-realistic 3D human face models is a hot topic in the area joining computer graphics and computer vision. Many different techniques are used for this purpose, but most of them are not feasible for home users. These techniques may use advanced hardware such as laser scanners, calibrated stereo cameras, or very sophisticated software that can be as expensive as advanced hardware. Face model generation by morphing an initial 3D model with uncalibrated camera photographs is studied in this thesis. Manually marked feature points on photographs are used to deform initial 3D face model. Initial photographs also are processed to form a single texture image covering deformed 3D face model.

In Model-Based Testing (MBT) the main goal is to test a system by designing models which describe the functionality of the system to test. Subsequently, test cases are obtained from the model, and these test cases can be executed automatically. Experience has shown that the learning curve for learning MBT can be steep - especially for people who do not have previous programming experience. This is because the language used to design models uses programming language concepts. In this thesis we describe a tool which automatically generates models, given an initial set of requirements. The advantage of this tool is that users do not need to learn a model-based testing language to design models, but instead they must learn to use a high-level of abstraction and a Graphical User Interface to specify their test cases. We demonstrate the value of the tool by using it to design models that generate test cases for telecommunications system, but show that this tool can be adapted for use in testing similar systems. The application of this tool can facilitate traditional phase-based software development methods, by saving a considerable amount of time and resources. In addition, when applied to agile software development, the reduced time required for testing because of the use of our tool helps shortening the feedback loops between designing and testing, thus increasing team efficiency within every iteration. / I Model-Based Testing (MBT) är det huvudsakliga målet att testa ett system genom modeller som beskriver systemets unktionalitet för att testa. Därefter erhålls testfall från modellen, och dessa testfall kan utföras automatiskt. Erfarenheten har visat att inlärningskurvan för lärande MBT kan vara branta - särskilt för personer som inte har tidigare erfarenhet av programmering. Detta beror på det språk som används för användning programmeringsspråk begrepp. I denna avhandling beskriver vi ett verktyg som automatiskt genererar modellerna, med tanke på en första uppsättning krav. Fördelen med detta verktyg är att användarna inte behöver lära sig en modellbaserad testning av språket att konstruera modeller, utan de måste lära sig att använda en hög nivåav abstraktion och ett grafiskt användargränssnitt för att ange sina testfall. Vi demonstrerar värdet av verktyget genom att använda den för att konstruera modeller som genererar testfall för telekommunikationssystem, men visar att detta verktyg kan anpassas för användning vid testning av liknande system. Tillämpningen av detta verktyg kan underlätta traditionella fas-baserade metoder mjukvaruutveckling, genom att spara en avsevärd tid och resurser. Dessutom, när det tillämpas på Agile Software utveckling, minskade tid som krävs för att testa på grund av användningen av vårt verktyg hjälper förkorta återkopplingar mellan design och testning, vilket ökar teamet effektiviteten inom varje iteration. / En Model-Based Testing (MBT), el objetivo principal es testear un sistema mediante el diseño de modelos que describan su funcionalidad. En consecuencia, estos modelos generan test cases que pueden ser ejecutados automáticamente en dicho sistema. La experiencia nos muestra que la curva de aprendizaje en el caso de MBT puede ser pronunciada, especialmente para aquellos sin ninguna experiencia previa en programación. Esto se debe a que los lenguajes usados para diseñar modelos usan conceptos intrínsecos a los lenguajes de programación. En este Proyecto Fin de Carrera, describimos una herramienta que genera automáticamente modelos, dado un conjunto de requisitos inicial. La ventaja que ofrece esta herramienta es que los usuarios no requieren el aprendizaje de ninguno lenguaje de modelado a la hora de diseñar modelos, sino que tan solo deben aprender a utilizar una Interfaz de Usuario Gráfica (GUI), a un alto nivel de abstracción, para especificar sus test cases. Demostramos el valor de esta herramienta mediante su aplicación en un nuevo sistema de telecomunicaciones en fase de pruebas de Ericsson, mostrando al mismo tiempo que puede ser utilizada en el testeo de sistemas similares. La aplicación de esta herramienta puede facilitar los métodos de desarrollo de software tradicionales mediante el ahorro de una cantidad considerable de tiempo y recursos. Además, aplicada a métodos de desarrollo ágil de software, el tiempo reducido requerido para el testing a causa del uso de esta herramienta ayuda a acortar los plazos entre diseño y testing, y en consecuencia, incrementando la eficiencia del equipo en cada iteración.