Marketers’ perception of the implementation of social media marketing: Evidence from large Finnish companies’ marketing campaigns

Social media is a multidimensional marketing and communications channel which can support and enhance a business’ reputation, sales and even longevity. Social media as a business tool encourages an interaction between customers and companies which gives opportunities for a company to better understand their customers, to target them more effectively and to collaborate and create dialogues with them which is not possible through traditional media channels. The aim of a social media strategy is to increase brand awareness, image, loyalty and recognition. The peer networks that social media creates allows a company to disseminate information through loyal customers to new and prospective customers to ultimately increase reach. The purpose of the study is to understand the marketer’s perspective of social media marketing use and how it is currently utilized in marketing and communications activities in Finland. Three companies were interviewed covering fourteen different implementations of social media marketing campaigns. These were then analysed to ascertain the utilization methods and experience gained on recent campaigns in the Finnish market The utilization of social media marketing was analysed using the methods of thematic analysis and inductive and abductive reasoning. Elements and themes were drawn out of the separate interviews to create a framework with which to explore, evaluate and match theories that define social media usage by companies. It became clear from all of the interviews that social media as a tool is most effective when it captures the viewer’s interest through rich and entertaining content. This directed the theoretical research towards Engagement Theory and Content Marketing which look to emphasize the importance of communities, collaboration, interaction, and peer-sharing as the key drivers of a social media marketing campaign.

Yrityssaneeraukseen liittyvän erityistarkastuksen funktio ja sisältö

Suomalaisessa oikeusjärjestelmässä yrityssaneerauksen organisaatio koostuu pääosin kohdeyrityksestä, selvittäjästä ja velkojista. Selvittäjällä on lain mukaan mahdollisuus teettää tilintarkastajalla kohdeyrityksen toimintaan ja hallintoon liittyvä erityistarkastus saneerausmenettelyä edeltävältä ajalta. Saneeraukseen liittyvää erityistarkastusta kutsutaan myös nimellä saneeraustarkastus. Tutkielma käsittelee yrityssaneerausmenettelyn yhteydessä tehtävän saneeraustarkastuksen funktiota ja tarkastuksen lopputuloksena syntyvän tarkastuskertomuksen sisältöä. Tutkielman tarkoitus on selvittää mitä tehtävää saneeraustarkastus palvelee, mitä lisäarvoa saneeraustarkastus tuottaa selvittäjälle ja velkojille, sekä minkälainen tulisi olla tarkastuskertomuksen sisältö. Tutkielma pohjautuu kvalitatiiviseen kyselytutkimukseen, jossa vastaajina ovat toimineet 21 selvittäjää ja 28 velkojaa. Tutkimuksen perusteella velkojilla ja selvittäjillä on pitkälti samanlainen näkemys yrityssaneeraukseen liittyvän erityistarkastuksen funktiosta ja sisällöstä. Molemmat intressiryhmät katsoivat, että kohdeyhtiön vastuuhenkilöiden toimien selvittäminen, etenkin jos kohdeyhtiö ei nauti intressitahojen täyttä luottamusta, tuottaa paljon lisäarvoa. Luottamus kohdeyhtiöön on ratkaisevassa asemassa myös saneeraustarkastuksen tarvetta harkittaessa. Selkeimmäksi eroksi selvittäjien ja velkojien vastausten välil-lä muodostui ainoastaan syy jättää saneeraustarkastus teettämättä. Selvittäjien mielestä todennäköisin syy jättää saneeraustarkastus teettämättä on velallisen varojen puute, kun taas velkojien mielestä todennäköisin syy jättää saneeraustarkastus teettämättä on luottamus velalliseen. Tutkimuksen mukaan saneeraustarkastuskertomukset ovat sisältönsä puolesta korkealaatuisia. Kertomuksia tulisi kuitenkin kehittää tiiviimpään muotoon ilman kattavaa raporttiosuutta, sekä vain merkittäväksi arvioidut havainnot tulisi dokumentoida liiteaineistoon. Vastanneiden mielestä kolme tärkeintä saneeraustarkastuksen laadun mittaria ovat tärkeysjärjestyksessä hinta-laatu-suhde, laadukas raportointi ja nopea toimitusvarmuus. Kaksi tärkeintä laadun kriteeriä vaikuttavat myös eniten saneeraustarkastuksen tekijän valintaan.

Designing a Demand Forecasting Process in the Fast Moving Consumer Goods Context

The purpose of this thesis was to study the design of demand forecasting processes. A literature review in the field of forecasting was conducted, including general forecasting process design, forecasting methods and techniques, the role of human judgment in forecasting and forecasting performance measurement. The purpose of the literature review was to identify the important design choices that an organization aiming to design or re-design their demand forecasting process would have to make. In the empirical part of the study, these choices and the existing knowledge behind them was assessed in a case study where a demand forecasting process was re-designed for a company in the fast moving consumer goods business. The new target process is described, as well as the reasoning behind the design choices made during the re-design process. As a result, the most important design choices are highlighted, as well as their immediate effect on other processes directly tied to the demand forecasting process. Additionally, some new insights on the organizational aspects of demand forecasting processes are explored. The preliminary results indicate that in this case the new process did improve forecasting accuracy, although organizational issues related to the process proved to be more challenging than anticipated.

Developing Service-based Solutions for Water Treatment in Finnish Mining Industry

The aim of this master’s thesis is to analyze the mining industry customers' current and future needs for the water treatment services and discover new business development opportunities in the context of mine water treatment. In addition, the study focuses on specifying service offerings needed and evaluate suitable revenue generation models for them. The main research question of the study is: What kind of service needs related to water treatment can be identified in the Finnish mining industry? The literature examined in the study focused on industrial service classification and new service development process as well as the revenue generation of services. A qualitative research approach employing a case study method was chosen for the study. The present study uses customer and expert interviews as primary data source, complemented by archival data. The primary data was gathered by organizing total of 13 interviews, and the interviews were analyzed by using qualitative content analysis. The abductive-logic was chosen as the way of conducting scientific reasoning in this study. As a result, new service proposals were developed for Finnish mine industry suppliers. The main areas of development were on asset efficiency services and process support services. The service needs were strongly associated with suppliers’ know-how of water treatment process optimization, cost-effectiveness as well as on alternative technologies. The study provides an insight for managers that wish to pursue a water treatment services as a part of their business offering.

Ecosystem architecture design: endogenous and exogenous structural properties

The aim of this dissertation is to bridge and synthesize the different streams of literature addressing ecosystem architecture through a multiple‐lens perspective. In addition, the structural properties of and processes to design and manage the architecture will be examined. With this approach, the oft‐neglected actor‐structure duality is addressed and both the position and structure, and action and process are under scrutiny. Further, the developed framework and empirical evidence offer valuable insights on how firms collectively create value and individually appropriate value. The dissertation is divided into two parts. The first part comprises a literature review, as well as the conclusions of the whole study, and the second part includes six research publications. The dissertation is based on three different reasoning logics: abduction, induction and deduction; related qualitative and quantitative methodologies are utilized in the empirical examination of the phenomenon in the information and communication technology industry. The results suggest firstly that there are endogenous and exogenous structural properties of the ecosystem architecture. Out of these, the former ones can be more easily influenced by a particular actor whereas the latter ones are taken more or less for granted. Secondly, the exogenous ecosystem design properties influence the value creation potential of the ecosystem whereas the endogenous ecosystem design properties influence the value appropriation potential of a particular actor in the ecosystem. Thirdly, the study suggests that there is a relationship between endogenous and exogenous structural properties in that the endogenous properties can be leveraged to create and reconfigure the exogenous properties whereas the exogenous properties prose opportunities and restrictions on the use of endogenous properties. In addition, the study suggests that there are different emergent and engineered processes to design and manage ecosystem architecture and to influence both the endogenous and exogenous structural properties of ecosystem architecture. This study makes three main contributions. First, on the conceptual level, it brings coherence and direction to the fast growing body of literature on novel inter‐organizational arrangements, such as ecosystems. It does this by bridging and synthetizing three different streams of literature, namely the boundary, design and orchestration conception. Secondly, it sets out a framework that enhances our understanding of the structural properties of ecosystem architecture; of the processes to design and manage ecosystem architecture; and of their influence on the value creation potential of the ecosystem and the value capture potential of a particular firm. Thirdly, it offers empirical evidence of the structural properties and processes.

Det planlagda och det som visar sig : klasslärarstuderandes syn på undervisning i teknisk slöjd

Sloyd as an activity concretizes man’s ability to, with the help of mind and body, reshape materials into objects and change her conditions for survival. The sloyd actor outside school works when the spirit moves her, while the pupil in school is expected to sloyd regardless of motivation. Subject teachers become experts on sloyd in educational settings, while the qualification requirements may set the class teachers’ voluntariness within parenthesis. All class teachers qualify to teach all core subjects of the national curriculum in Finland from preschool to grade six. The aim of the current thesis is to deepen the knowledge on how the science of sloyd education can support class teacher students’ future teaching in sloyd. In the empirical part of the study, Swedish-speaking Finnish class teacher students’ views on technical sloyd as one of their future subjects for teaching are examined. The class teacher’s qualifying skills in teaching technical sloyd are expected to take shape during only a few ECTS study points. The teacher students’ experience of the subject from the pupil’s perspective is supposed to move into a budding teacher subject. In a research-based teacher education, self-reflection and reflection as a dialogue are extended aided by research results. Intuitive thinking interplays with rational thinking during this time. The teacher student’s approach to make use of the autonomous free space in teaching is, in the current thesis, as considerations where the individual weighs the pros and cons in relation to various phenomena in sloyd and the school overall. The basis for an individual autonomy is shaped and is expected to interplay on the common arena of autonomy. In the exercise of their profession, the class teacher teaching sloyd is expected to oscillate between the sloyd educational practice and theory. The first step in this movement within the teacher education is the coverage of a selection of theories during the studies. The empirical part of the study is carried out at two separate occasions with directed open-ended interviews with fifteen class teacher students in the beginning and end of their first year of study. The data was analysed with a hermeneutic approach and a qualitatively oriented approach to content analysis. The results are mirrored against theory within the science of sloyd education. The results show that class teacher students have a versatile view of educational sloyd. The overall results overthrow parts of the researcher’s pre-understanding. The viewpoint of the students seems to broaden from a merely manual activity to seeing sloyd as an educational activity. In order for the results to gain significance in the teacher education of the future, a line of reasoning is conducted in order to recommend an extended dialogue and thirteen possible themes for enriching discussions are put forth as a result of the present study. The extended dialogue focuses on that teacher education should make conscious ventures to create opportunities for the students to take part in effective discussions on the subject of sloyd, complementing the existing dialogue between the teacher educator and the students. This thesis lends support to reflections on the following aspects of educational sloyd in these dialogues: the reasons for why the sloyd subject exists, the ambitions of the subject, the content and organization of the subject for students as well as for the teacher educators.

Spontaneous Focusing on Quantitative Relations and the Development of Rational Number Conceptual Knowledge

The aim of the present set of studies was to explore primary school children’s Spontaneous Focusing On quantitative Relations (SFOR) and its role in the development of rational number conceptual knowledge. The specific goals were to determine if it was possible to identify a spontaneous quantitative focusing tendency that indexes children’s tendency to recognize and utilize quantitative relations in non-explicitly mathematical situations and to determine if this tendency has an impact on the development of rational number conceptual knowledge in late primary school. To this end, we report on six original empirical studies that measure SFOR in children ages five to thirteen years and the development of rational number conceptual knowledge in ten- to thirteen-year-olds. SFOR measures were developed to determine if there are substantial differences in SFOR that are not explained by the ability to use quantitative relations. A measure of children’s conceptual knowledge of the magnitude representations of rational numbers and the density of rational numbers is utilized to capture the process of conceptual change with rational numbers in late primary school students. Finally, SFOR tendency was examined in relation to the development of rational number conceptual knowledge in these students. Study I concerned the first attempts to measure individual differences in children’s spontaneous recognition and use of quantitative relations in 86 Finnish children from the ages of five to seven years. Results revealed that there were substantial inter-individual differences in the spontaneous recognition and use of quantitative relations in these tasks. This was particularly true for the oldest group of participants, who were in grade one (roughly seven years old). However, the study did not control for ability to solve the tasks using quantitative relations, so it was not clear if these differences were due to ability or SFOR. Study II more deeply investigated the nature of the two tasks reported in Study I, through the use of a stimulated-recall procedure examining children’s verbalizations of how they interpreted the tasks. Results reveal that participants were able to verbalize reasoning about their quantitative relational responses, but not their responses based on exact number. Furthermore, participants’ non-mathematical responses revealed a variety of other aspects, beyond quantitative relations and exact number, which participants focused on in completing the tasks. These results suggest that exact number may be more easily perceived than quantitative relations. As well, these tasks were revealed to contain both mathematical and non-mathematical aspects which were interpreted by the participants as relevant. Study III investigated individual differences in SFOR 84 children, ages five to nine, from the US and is the first to report on the connection between SFOR and other mathematical abilities. The cross-sectional data revealed that there were individual differences in SFOR. Importantly, these differences were not entirely explained by the ability to solve the tasks using quantitative relations, suggesting that SFOR is partially independent from the ability to use quantitative relations. In other words, the lack of use of quantitative relations on the SFOR tasks was not solely due to participants being unable to solve the tasks using quantitative relations, but due to a lack of the spontaneous attention to the quantitative relations in the tasks. Furthermore, SFOR tendency was found to be related to arithmetic fluency among these participants. This is the first evidence to suggest that SFOR may be a partially distinct aspect of children’s existing mathematical competences. Study IV presented a follow-up study of the first graders who participated in Studies I and II, examining SFOR tendency as a predictor of their conceptual knowledge of fraction magnitudes in fourth grade. Results revealed that first graders’ SFOR tendency was a unique predictor of fraction conceptual knowledge in fourth grade, even after controlling for general mathematical skills. These results are the first to suggest that SFOR tendency may play a role in the development of rational number conceptual knowledge. Study V presents a longitudinal study of the development of 263 Finnish students’ rational number conceptual knowledge over a one year period. During this time participants completed a measure of conceptual knowledge of the magnitude representations and the density of rational numbers at three time points. First, a Latent Profile Analysis indicated that a four-class model, differentiating between those participants with high magnitude comparison and density knowledge, was the most appropriate. A Latent Transition Analysis reveal that few students display sustained conceptual change with density concepts, though conceptual change with magnitude representations is present in this group. Overall, this study indicated that there were severe deficiencies in conceptual knowledge of rational numbers, especially concepts of density. The longitudinal Study VI presented a synthesis of the previous studies in order to specifically detail the role of SFOR tendency in the development of rational number conceptual knowledge. Thus, the same participants from Study V completed a measure of SFOR, along with the rational number test, including a fourth time point. Results reveal that SFOR tendency was a predictor of rational number conceptual knowledge after two school years, even after taking into consideration prior rational number knowledge (through the use of residualized SFOR scores), arithmetic fluency, and non-verbal intelligence. Furthermore, those participants with higher-than-expected SFOR scores improved significantly more on magnitude representation and density concepts over the four time points. These results indicate that SFOR tendency is a strong predictor of rational number conceptual development in late primary school children. The results of the six studies reveal that within children’s existing mathematical competences there can be identified a spontaneous quantitative focusing tendency named spontaneous focusing on quantitative relations. Furthermore, this tendency is found to play a role in the development of rational number conceptual knowledge in primary school children. Results suggest that conceptual change with the magnitude representations and density of rational numbers is rare among this group of students. However, those children who are more likely to notice and use quantitative relations in situations that are not explicitly mathematical seem to have an advantage in the development of rational number conceptual knowledge. It may be that these students gain quantitative more and qualitatively better self-initiated deliberate practice with quantitative relations in everyday situations due to an increased SFOR tendency. This suggests that it may be important to promote this type of mathematical activity in teaching rational numbers. Furthermore, these results suggest that there may be a series of spontaneous quantitative focusing tendencies that have an impact on mathematical development throughout the learning trajectory.

Kirjallisuutta

Kirjallisuusarvostelu

Before internationalisation : reflections of lateral rigidity on managerial decision making

The purpose of the study is to analyse lateral rigidity in the framework of pre-internationalisation to find out its reflections on managerial decision making. The interest of the study lies in the intersection of the meaningful but relatively stagnant concept of lateral rigidity, and the pre-internationalisation phase of companies that has received only a limited amount of research attention. The theoretical basis for the study is drawn from managerial decision making and internationalisation literatures. Firstly, the study aims to define the concept of lateral rigidity in order to secondly find out how it influences managers’ pre-internationalisation decision making. The study is theoretical in nature, and is based solely on literature examination. Concept analysis method is used to determine the attributes of lateral rigidity for the purpose of recognising the concept in the pre-internationalisation framework. The attributes that are found to comprise lateral rigidity are culture, know-how, uncertainty and attitude. Furthermore, these attributes are more specifically found to consist of environmental, personal and operational matters. Through the analysis of the pre-internationalisation literature it is discovered that all the attributes appear there, and present a variety of influences on pre-internationalisation decision making that can be characterised as being negative. The study finds that culture influences managers’ decision making via subjective reasoning and behaviour that stem from a domestic inclination, and via unfamiliarity with foreign markets. Against assumption, home cultural factors, e.g. values and customs, do not appear to have an influence. Know-how is found to influence decision making via managers’ previous experiences, subjective abiding perceptions, and the usage of previous operation patterns. Uncertainty, then again, influences managers’ risk perception, unfamiliarity avoidance, and the scope of potential international operations. Attitude is found to have a robust influence on managerial decision making via the usage of familiar processes and decision regimes, subjective preference of convention, and plausible results of operations. Ergo, the effects of lateral rigidity on managers show to represent an encumbrance in the pre-internationalisation phase; even though internationalisation would take place, the related decisions and actions are highly constrained. Especially the subjectivity of managers is seen to have a meaningful role in the decision making process.

Kallet til livets embete : mødre i helse og lidelse

Mothers represent the natural caring. Natural caring is the object of caring science and of research interest because it establishes the central core of professional caring. In this study, we encounter patients who are mothers in need of care in a psychiatric context. Motherhood involves taking responsibility that extends beyond one's own life, because the child represents possibilities in a yet unknown future. Understanding and knowledge about the mothers' struggle in health and suffering are of crucial importance to enable clinical practice to make provisions for and adapt to the individual patient. The overall purpose of this dissertation is to illuminate how the innermost essence of caring emerges in health and suffering in patients who are mothers in psychiatric care. The purpose of the study in a clinical sense is to seek to understand and illuminate the patient's inner world in health and suffering in terms of contextual, existential, ontological and ethical dimensions. The dissertation is exploratory and descriptive in nature and encompasses induction, deduction and abduction as logics tools of reasoning. A theoretical model of natural caring and a universal theoretical model of the innermost essence of caring is developed as seen from the patient's world in a psychiatric context. The dissertation is anchored in human science's view of the human being and the world and in caring science's perspective. Caring science's view of the human being as a unity comprising body, soul and spirit is central in the study's concept of the patient. This multi-dimensional conception of the human being encompasses the dissertation's basic values and is decisive for choice of methodology. Hermeneutic epistemology guided the interpretation of the empirical data, the paradigmatic theses and assumptions. The dialectical movement in interpretation moves back and forth between empirical data, caring science theory and philosophical theory and reveals deeper insight into meaningful content in the clinical context. The interpretation process comprises four levels of abstraction: rational, contextual, existential and ontological. Hermeneutic philosophy guides the inductive and deductive approach to interpretation, as well as the movement between the clinical context and the caring science paradigm. In this encounter between the visible and invisible reality, the image of natural caring – motherliness emerged. The dissertation consists of four studies. The first study is a systematic review of nineteen research articles. The three other studies are hermeneutical interpretations based on text materials from open interviews. Fifteen participants were interviewed, all of whom are mothers of children between 0 and 18 years of age. All were outpatients in the psychiatric specialist health service. In the interpretation process, the mothers' struggle in health and suffering emerges as a struggle between the inner and outer world. Being a mother and patient in health and suffering in a psychiatric context means to struggle to be oneself, to create oneself, to live and realize one's good deeds as a mother and human being. To be oneself, to possess oneself as a mother is not only a question of tending, playing and learning in order to master a practical situation or to survive. It involves constituting a deep, inner desire to courageously create oneself so that the child is able to realize his or her potential in health and suffering. Motherliness manifests itself in caring as a call to ministering humanity and life. The voice of motherliness is understood as the voice of life—the eternal, inner call of love and freedom. The inner call craves fulfilment. Motherliness in natural caring does not retreat. Motherliness defines the Other as freedom and proceeds without regard for all other exterior requirements to realizing wellbeing. The inner essence of caring is attentive, aware and heeds the call of the heart. The innermost essence of caring is to be and to make oneself responsible for the Other. Responsibility cannot be relinquished; free choice consists in whether or not to follow the call. To renounce the inner call to responsibility is to deny oneself and one's dignity as a human being. The theoretical models provide clinical and systematic caring science with knowledge and understanding based on the natural caring spirit inherent in the human being. The study elucidates and strengthens the ontological basic assumptions about the human being as a unity of body, soul and spirit, the sanctity of the human being and the core of caring, ethos. The results of the dissertation will provide clinical practice with knowledge about the inner movements of the mothers' souls in relation to their responsibility as mothers and human beings. Being able to understand the basic conditions for responsibility is crucial for developing care that encompasses mother and child and the mutual relationship between them. This is basic knowledge for developing attitudes and actions that meet and provide for the needs of the patient as mother and as a whole, suffering human being.

Understanding organizational wrongdoing

The topic is white collar crime in its organizational form. The research question is why otherwise law-abiding people engage in wrongful behavior within legitimate organizations and what kinds of dynamics are involved in wrongful organizational processes. This is a theoretical inquiry the method of which is to bring together relevant literature on organizational behavior regardless of the branch of science. In addition to criminological and sociolegal writings, I mostly refer to works of social psychology and organization theory. At first, I discuss the terminological multiplicity related to organizational white collar crime. In conclusion from a critical analysis of the dominant terms and definitions, I argue for the concept of organizational wrongdoing. The approach of organizational wrongdoing captures unethical, illegal and criminal organizational behavior. Thus, it is not retricted by legislative categories but ethical reasoning. The approach aims at grasping a behavioral entity, and state law crimes do not constitute an ontology of behavior. In order to understand organizational wrongdoing, the dominant criminological theories applied to white collar crime are discussed. To a surprisingly large extent, they lack a sophisticated organizational perspective and do not offer viable frameworks for building a plausible theory of organizational white collar crime. In order to fill the gap, I incorporate the social psychological dynamics of organizational behavior and present several findings on collective behavior that criminological theorization must come to terms with. ------ This publication has been first presented and accepted as a master's thesis at the Faculty of Law, University of Turku. It has been published on the series: Criminal Law and Judicial Procedure, Series B: 15, in print format. The publication was digitized in 2015 and published online.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Fuzzy real option analysis in patent related decision making and patent valuation

The shift towards a knowledge-based economy has inevitably prompted the evolution of patent exploitation. Nowadays, patent is more than just a prevention tool for a company to block its competitors from developing rival technologies, but lies at the very heart of its strategy for value creation and is therefore strategically exploited for economic pro t and competitive advantage. Along with the evolution of patent exploitation, the demand for reliable and systematic patent valuation has also reached an unprecedented level. However, most of the quantitative approaches in use to assess patent could arguably fall into four categories and they are based solely on the conventional discounted cash flow analysis, whose usability and reliability in the context of patent valuation are greatly limited by five practical issues: the market illiquidity, the poor data availability, discriminatory cash-flow estimations, and its incapability to account for changing risk and managerial flexibility. This dissertation attempts to overcome these impeding barriers by rationalizing the use of two techniques, namely fuzzy set theory (aiming at the first three issues) and real option analysis (aiming at the last two). It commences with an investigation into the nature of the uncertainties inherent in patent cash flow estimation and claims that two levels of uncertainties must be properly accounted for. Further investigation reveals that both levels of uncertainties fall under the categorization of subjective uncertainty, which differs from objective uncertainty originating from inherent randomness in that uncertainties labelled as subjective are highly related to the behavioural aspects of decision making and are usually witnessed whenever human judgement, evaluation or reasoning is crucial to the system under consideration and there exists a lack of complete knowledge on its variables. Having clarified their nature, the application of fuzzy set theory in modelling patent-related uncertain quantities is effortlessly justified. The application of real option analysis to patent valuation is prompted by the fact that both patent application process and the subsequent patent exploitation (or commercialization) are subject to a wide range of decisions at multiple successive stages. In other words, both patent applicants and patentees are faced with a large variety of courses of action as to how their patent applications and granted patents can be managed. Since they have the right to run their projects actively, this flexibility has value and thus must be properly accounted for. Accordingly, an explicit identification of the types of managerial flexibility inherent in patent-related decision making problems and in patent valuation, and a discussion on how they could be interpreted in terms of real options are provided in this dissertation. Additionally, the use of the proposed techniques in practical applications is demonstrated by three fuzzy real option analysis based models. In particular, the pay-of method and the extended fuzzy Black-Scholes model are employed to investigate the profitability of a patent application project for a new process for the preparation of a gypsum-fibre composite and to justify the subsequent patent commercialization decision, respectively; a fuzzy binomial model is designed to reveal the economic potential of a patent licensing opportunity.

Non-Markovian dynamics in quantum optical dephasing channels

Quantum computation and quantum communication are two of the most promising future applications of quantum mechanics. Since the information carriers used in both of them are essentially open quantum systems it is necessary to understand both quantum information theory and the theory of open quantum systems in order to investigate realistic implementations of such quantum technologies. In this thesis we consider the theory of open quantum systems from a quantum information theory perspective. The thesis is divided into two parts: review of the literature and original research. In the review of literature we present some important definitions and known results of open quantum systems and quantum information theory. We present the definitions of trace distance, two channel capacities and superdense coding capacity and give a reasoning why they can be used to represent the transmission efficiency of a communication channel. We also show derivations of some properties useful to link completely positive and trace preserving maps to trace distance and channel capacities. With the help of these properties we construct three measures of non-Markovianity and explain why they detect non-Markovianity. In the original research part of the thesis we study the non-Markovian dynamics in an experimentally realized quantum optical set-up. For general one-qubit dephasing channels we calculate the explicit forms of the two channel capacities and the superdense coding capacity. For the general two-qubit dephasing channel with uncorrelated local noises we calculate the explicit forms of the quantum capacity and the mutual information of a four-letter encoding. By using the dynamics in the experimental implementation as a set of specific dephasing channels we also calculate and compare the measures in one- and two-qubit dephasing channels and study the options of manipulating the environment to achieve revivals and higher transmission rates in superdense coding protocol with dephasing noise. Kvanttilaskenta ja kvanttikommunikaatio ovat kaksi puhutuimmista tulevaisuuden kvanttimekaniikan käytännön sovelluksista. Koska molemmissa näistä informaatio koodataan systeemeihin, jotka ovat oleellisesti avoimia kvanttisysteemejä, sekä kvantti-informaatioteorian, että avointen kvanttisysteemien tuntemus on välttämätöntä. Tässä tutkielmassa käsittelemme avointen kvanttisysteemien teoriaa kvantti-informaatioteorian näkökulmasta. Tutkielma on jaettu kahteen osioon: kirjallisuuskatsaukseen ja omaan tutkimukseen. Kirjallisuuskatsauksessa esitämme joitakin avointen kvanttisysteemien ja kvantti-informaatioteorian tärkeitä määritelmiä ja tunnettuja tuloksia. Esitämme jälkietäisyyden, kahden kanavakapasiteetin ja superdense coding -kapasiteetin määritelmät ja esitämme perustelun sille, miksi niitä voidaan käyttää kuvaamaan kommunikointikanavan lähetystehokkuutta. Näytämme myös todistukset kahdelle ominaisuudelle, jotka liittävät täyspositiiviset ja jäljensäilyttävät kuvaukset jälkietäisyyteen ja kanavakapasiteetteihin. Näiden ominaisuuksien avulla konstruoimme kolme epä-Markovisuusmittaa ja perustelemme, miksi ne havaitsevat dynamiikan epä-Markovisuutta. Oman tutkimuksen osiossa tutkimme epä-Markovista dynamiikkaa kokeellisesti toteutetussa kvanttioptisessa mittausjärjestelyssä. Yleisen yhden qubitin dephasing-kanavan tapauksessa laskemme molempien kanavakapasiteettien ja superdense coding -kapasiteetin eksplisiittiset muodot. Yleisen kahden qubitin korreloimattomien ympäristöjen dephasing-kanavan tapauksessa laskemme yhteisen informaation lausekkeen nelikirjaimisessa koodauksessa ja kvanttikanavakapasiteetin. Käyttämällä kokeellisen mittajärjestelyn dynamiikkoja esimerkki dephasing-kanavina me myös laskemme konstruoitujen epä-Markovisuusmittojen arvot ja vertailemme niitä yksi- ja kaksi-qubitti-dephasing-kanavissa. Lisäksi käyttäen kokeellisia esimerkkikanavia tutkimme, kuinka ympäristöä manipuloimalla superdense coding –skeemassa voidaan saada yhteinen informaatio ajoittain kasvamaan tai saavuttaa kaikenkaikkiaan korkeampi lähetystehokkuus.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.