Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

A Technique for Digital Color Image Watermarking Using ICA

With the increase of use of digital media the need for the methods of multimedia protection becomes extremely important. The number of the solutions to the problem from encryption to watermarking is large and is growing every year. In this work digital image watermarking is considered, specifically a novel method of digital watermarking of color and spectral images. An overview of existing methods watermarking of color and grayscale images is given in the paper. Methods using independent component analysis (ICA) for detection and the ones using discrete wavelet transform (DWT) and discrete cosine transform (DCT) are considered in more detail. A novel method of watermarking proposed in this paper allows embedding of a color or spectral watermark image into color or spectral image consequently and successful extraction of the watermark out of the resultant watermarked image. A number of experiments have been performed on the quality of extraction depending on the parameters of the embedding procedure. Another set of experiments included the test of the robustness of the algorithm proposed. Three techniques have been chosen for that purpose: median filter, low-pass filter (LPF) and discrete cosine transform (DCT), which are a part of a widely known StirMark - Image Watermarking Robustness Test. The study shows that the proposed watermarking technique is fragile, i.e. watermark is altered by simple image processing operations. Moreover, we have found that the contents of the image to be watermarked do not affect the quality of the extraction. Mixing coefficients, that determine the amount of the key and watermark image in the result, should not exceed 1% of the original. The algorithm proposed has proven to be successful in the task of watermark embedding and extraction.

Functional, Social and Emotional Values as Determinants of Environmentally Responsible Media Consumption

The primary purpose of this research is to develop an enhanced understanding of how consumption values influence environmentally responsible consumption of print and digital media. Theoretical elaboration considers the associations of functional, social and emotional consumption values, green consumer segmentation and media consumption. Additionally, the purpose is to identify consumer perceptions of print and digital media’s environmental responsibility. Empirical analysis was based on qualitative interviews with a sample of 20 Finnish consumers categorized in two segments: young adults and middle aged consumers. Primary data collection was conducted through individual, semi-structured interviews. To analyze the respondents’ approach on the topic, the interviews disclosed themes of media consumption, perceived environmental friendliness of media, norms of behavior and consumers’ general consumption patterns. The results implicate functional value dominated the consumption decision-making process both in a general level and in media consumption. In addition to functional value, environmental responsibility does provide consumers with both emotional and social values. Analysis on perceived environmental responsibility of media demonstrated consumers generally perceive digital media as an environmentally responsible alternative because it does not create physical paper waste. Nevertheless, the perceptions of environmental responsibility and media consumption patterns lacked a consistent connection. Though, both theory and empirical results indicated an average consumer lacks a comprehensive understanding of digital and print media’s life-cycle and hence their environmental advantages and disadvantages.

The relationship between b2b branding and industrial buying in the digital era: evidence from Finnish gas industry

The aim of this study is to understand the importance of b2b brands in different phases of the industrial buying process in the digital era. The research problem is approached by examining a b2b supplier brand in the context of gas supplier selection. The data was collected by interviewing individuals from ten different companies. The findings contribute to previous theory by showing that as industrial buying behaviour is eventually individual behaviour, brands can influence decision making. The relevance of a brand depends on individual’s personality and preferences. Digital media cannot be ignored in managing brand image as buyers are present in the online environment. The results reveal that traditional personal selling is, nevertheless, in a key role in brand image building and is a source of added value. The salesperson influences buyers’ perceived associations of a brand and gives the brand a face.

Pinning Down Identity in Social Media: Food Cultural Transfer on Pinterest

This research has been conducted within the realm of where today’s digital media society and the timeless concept of cultural identity overlap. The aim of this thesis is to explore the nature of online cultural identity management. By focusing on the social media platform, Pinterest, this study considers the food-pinning behavior of a group of Americans living in Finland and connects their online actions with their cultural identity. Through an examination of Pinterest as a social space, and even a third place, the relative theoretical literature provides and interesting background for a contemporary discussion on the matter. Literature on food as a cultural marker is also brought into consideration. Using the methods of introspection and an adapted version of virtual ethnography, a study was conducted, and ultimately, the analysis of data obtained from the Pinterest boards of ten individuals shows that the vast majority of food-related information in this setting is US-sourced. A questionnaire provides further insight into the individuals’ Pinterest usage. I argue that pinning is an act of online identity management, whether it is a conscious act or a situational effect, and that using Pinterest maintains and even strengthens these individuals’ cultural identity as Americans. This study adds to current discussions pertaining to transnationalism, globalization, and online cultural identity, as well as opens channels for further research on this dynamic topic, which is needed to understand ourselves as cultural beings in the digital age.

Pinning Down Identity in Social Media: Food Cultural Transfer on Pinterest

This research has been conducted within the realm of where today’s digital media society and the timeless concept of cultural identity overlap. The aim of this thesis is to explore the nature of online cultural identity management. By focusing on the social media platform, Pinterest, this study considers the food-pinning behavior of a group of Americans living in Finland and connects their online actions with their cultural identity. Through an examination of Pinterest as a social space, and even a third place, the relative theoretical literature provides and interesting background for a contemporary discussion on the matter. Literature on food as a cultural marker is also brought into consideration. Using the methods of introspection and an adapted version of virtual ethnography, a study was conducted, and ultimately, the analysis of data obtained from the Pinterest boards of ten individuals shows that the vast majority of food-related information in this setting is US-sourced. A questionnaire provides further insight into the individuals’ Pinterest usage. I argue that pinning is an act of online identity management, whether it is a conscious act or a situational effect, and that using Pinterest maintains and even strengthens these individuals’ cultural identity as Americans. This study adds to current discussions pertaining to transnationalism, globalization, and online cultural identity, as well as opens channels for further research on this dynamic topic, which is needed to understand ourselves as cultural beings in the digital age.

Color ad spectral image assessment using novel quality and fidelity techniques

The ongoing development of the digital media has brought a new set of challenges with it. As images containing more than three wavelength bands, often called spectral images, are becoming a more integral part of everyday life, problems in the quality of the RGB reproduction from the spectral images have turned into an important area of research. The notion of image quality is often thought to comprise two distinctive areas – image quality itself and image fidelity, both dealing with similar questions, image quality being the degree of excellence of the image, and image fidelity the measure of the match of the image under study to the original. In this thesis, both image fidelity and image quality are considered, with an emphasis on the influence of color and spectral image features on both. There are very few works dedicated to the quality and fidelity of spectral images. Several novel image fidelity measures were developed in this study, which include kernel similarity measures and 3D-SSIM (structural similarity index). The kernel measures incorporate the polynomial, Gaussian radial basis function (RBF) and sigmoid kernels. The 3D-SSIM is an extension of a traditional gray-scale SSIM measure developed to incorporate spectral data. The novel image quality model presented in this study is based on the assumption that the statistical parameters of the spectra of an image influence the overall appearance. The spectral image quality model comprises three parameters of quality: colorfulness, vividness and naturalness. The quality prediction is done by modeling the preference function expressed in JNDs (just noticeable difference). Both image fidelity measures and the image quality model have proven to be effective in the respective experiments.

Construction Plan Image Service for Mobile Devices

The forthcoming media revolution of exchanging paper documents to digital media in construction engineering requires new tools to be developed. The basis of this bachelor’s thesis was to explore the preliminary possibilities of exporting imagery from a Building Information Modelling –software to a mobile phone on a construction yard. This was done by producing a Web Service which uses the design software’s Application Programming Interface to interact with a structures model in order to produce the requested imagery. While mobile phones were found lacking as client devices, because of limited processing power and small displays, the implementation showed that the Tekla Structures API can be used to automatically produce various types of imagery. Web Services can be used to transfer this data to the client. Before further development the needs of the contractor, benefits for the building master and inspector and the full potential of the BIM-software need to be mapped out with surveys.

Konstruktiivisen mallin ja suunnittelumallin käyttö aikakauslehtialalla tapahtuvassa murroksessa

Aikakauslehtialalla on vallalla ollut jo useamman vuoden ajan median digitaalinen murros, jonka vuoksi lehtitalot ovat joutuneet muuttamaan käytössä olleita toimintatapojaan ja kehittämään uusiin jakelukanaviin sisältöä pysyäkseen kovassa kilpailussa mukana. Tässä pro gradussa esitetään innovatiivisen konstruktiivisen mallin ja perinteisemmän liiketoimintasuunnitelmaa korostavan suunnittelumallin yhtäläisyyksiä ja eroavuuksia. Tutkielman empiirisessä osassa vertaillaan mallien käytettävyyttä aikakauslehtialalla keskittymällä malleille ominaisiin neljään eri dimensioon ja dimensioista muodostettuihin teemoihin aikakauslehtialalle sovellettuina. Tutkielmassa esitellään mallien toimintalogiikoita sekä prosessikaaviot, jotka kuvaavat uuden idean kehitysprosessia yrityksessä. Tutkimusote on kvalitatiivinen ja haastatteluaineisto on toteutettu puolistrukturoidulla haastattelumenetelmällä. Tuloksien avulla voidaan todeta, että aikakauslehtialalla tapahtuva murros on jo muuttanut toimittajien arkipäiväistä työnkuvaa. Toimittajien oman ammattitaidon ja osaamisen jatkuva kehittäminen sekä uusiin jakelukanaviin tutustuminen ja sinne sisällön tuottaminen ovat haasteita, johon he joutuvat sopeutumaan jatkossa. Ammattitaidon ylläpitoa sekä oikeanlaisen asiakastutkimuksen hyödyntämistä voidaankin pitää malleja yhdistävinä tekijöinä. Malleja erottavia tekijöitä ovat vuorostaan innovatiivisten ideoiden läpivienti sekä riskinottokyky.

Target audience analysis in cyber domain

This thesis aims to find an effective way of conducting a target audience analysis (TAA) in cyber domain. There are two main focal points that are addressed; the nature of the cyber domain and the method of the TAA. Of the cyber domain the object is to find the opportunities, restrictions and caveats that result from its digital and temporal nature. This is the environment in which the TAA method is examined in this study. As the TAA is an important step of any psychological operation and critical to its success, the method used must cover all the main aspects affecting the choice of a proper target audience. The first part of the research was done by sending an open-ended questionnaire to operators in the field of information warfare both in Finland and abroad. As the results were inconclusive, the research was completed by assessing the applicability of United States Army Joint Publication FM 3-05.301 in the cyber domain via a theory-based content analysis. FM 3- 05.301 was chosen because it presents a complete method of the TAA process. The findings were tested against the results of the questionnaire and new scientific research in the field of psychology. The cyber domain was found to be “fast and vast”, volatile and uncontrollable. Although governed by laws to some extent, the cyber domain is unpredictable by nature and not controllable to reasonable amount. The anonymity and lack of verification often present in the digital channels mean that anyone can have an opinion, and any message sent may change or even be counterproductive to the original purpose. The TAA method of the FM 3-05.301 is applicable in the cyber domain, although some parts of the method are outdated and thus suggested to be updated if used in that environment. The target audience categories of step two of the process were replaced by new groups that exist in the digital environment. The accessibility assessment (step eight) was also redefined, as in the digital media the mere existence of a written text is typically not enough to convey the intended message to the target audience. The scientific studies made in computer sciences and both in psychology and sociology about the behavior of people in social media (and overall in cyber domain) call for a more extensive remake of the TAA process. This falls, however, out of the scope of this work. It is thus suggested that further research should be carried out in search of computer-assisted methods and a more thorough TAA process, utilizing the latest discoveries of human behavior. ---------------------------------------------------------------------------------------------------------------------------------- Tämän opinnäytetyön tavoitteena on löytää tehokas tapa kohdeyleisöanalyysin tekemiseksi kybertoimintaympäristössä. Työssä keskitytään kahteen ilmiöön: kybertoimintaympäristön luonteeseen ja kohdeyleisöanalyysin metodiin. Kybertoimintaympäristön osalta tavoitteena on löytää sen digitaalisesta ja ajallisesta luonteesta juontuvat mahdollisuudet, rajoitteet ja sudenkuopat. Tämä on se ympäristö jossa kohdeyleisöanalyysiä tarkastellaan tässä työssä. Koska kohdeyleisöanalyysi kuuluu olennaisena osana jokaiseen psykologiseen operaatioon ja on onnistumisen kannalta kriittinen tekijä, käytettävän metodin tulee pitää sisällään kaikki oikean kohdeyleisön valinnan kannalta merkittävät osa-alueet. Tutkimuksen ensimmäisessä vaiheessa lähetettiin avoin kysely informaatiosodankäynnin ammattilaisille Suomessa ja ulkomailla. Koska kyselyn tulokset eivät olleet riittäviä johtopäätösten tekemiseksi, tutkimusta jatkettiin tarkastelemalla Yhdysvaltojen armeijan kenttäohjesäännön FM 3-05.301 soveltuvuutta kybertoimintaympäristössä käytettäväksi teorialähtöisen sisällönanalyysin avulla. FM 3-05.301 valittiin koska se sisältää kokonaisvaltaisen kohdeyleisöanalyysiprosessin. Havaintoja verrattiin kyselytutkimuksen tuloksiin ja psykologian uusiin tutkimuksiin. Kybertoimintaympäristö on tulosten perusteella nopea ja valtava, jatkuvasti muuttuva ja kontrolloimaton. Vaikkakin lait hallitsevat kybertoimintaympäristöä jossakin määrin, on se silti luonteeltaan ennakoimaton eikä sitä voida luotettavasti hallita. Digitaalisilla kanavilla usein läsnäoleva nimettömyys ja tiedon tarkastamisen mahdottomuus tarkoittavat että kenellä tahansa voi olla mielipide asioista, ja mikä tahansa viesti voi muuttua, jopa alkuperäiseen tarkoitukseen nähden vastakkaiseksi. FM 3-05.301:n metodi toimii kybertoimintaympäristössä, vaikkakin jotkin osa-alueet ovat vanhentuneita ja siksi ne esitetään päivitettäväksi mikäli metodia käytetään kyseisessä ympäristössä. Kohdan kaksi kohdeyleisökategoriat korvattiin uusilla, digitaalisessa ympäristössä esiintyvillä ryhmillä. Lähestyttävyyden arviointi (kohta 8) muotoiltiin myös uudestaan, koska digitaalisessa mediassa pelkkä tekstin läsnäolo ei sellaisenaan tyypillisesti vielä riitä halutun viestin välittämiseen kohdeyleisölle. Tietotekniikan edistyminen ja psykologian sekä sosiologian aloilla tehty tieteellinen tutkimus ihmisten käyttäytymisestä sosiaalisessa mediassa (ja yleensä kybertoimintaympäristössä) mahdollistavat koko kohdeyleisöanalyysiprosessin uudelleenrakentamisen. Tässä työssä sitä kuitenkaan ei voida tehdä. Siksi esitetäänkin että lisätutkimusta tulisi tehdä sekä tietokoneavusteisten prosessien että vielä syvällisempien kohdeyleisöanalyysien osalta, käyttäen hyväksi viimeisimpiä ihmisen käyttäytymiseen liittyviä tutkimustuloksia.

Marketing a Mobile Application in a Highly Competitive Global Marketplace

The purpose of this research was to study the marketing of mobile applications. The main objective was to find out what are the most efficient ways of marketing to increase the sales for a mobile application within a highly competitive marketplace. The marketplaces, app stores, are studied from the perspective of size, ease of entry, competition and customers and their purchasing process. The study also includes research on what are some of the main marketing methods used in mobile app marketing in general. The study consists of two parts, theoretical and empirical research. Theoretical research was done by studying past scientific research on the chosen subjects. As the subject is very new, the research was also extended to other publications from the field of mobile technology. The empirical part was done through interviews and empirical experiments with a case-company, which were used to answer the main objective of this study. These experiments showed that the chosen methods of mobile app marketing, app store optimization, localization and selected social media marketing activities, created the most sales when used together. Positive results were seen also when the activities were conducted by themselves, but together they were able to push the case company to their all time best results. However the key to succeeding and hitting high positions in the app store rankings would most likely require creating a solid marketing strategy, trying out other marketing activities alongside the ones used here, without forgetting to stay on top of mobile technology trends.

Avalon Media System project update: a Hydra solution for digital audio and video access

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Audio and Video Repositories at Scale: Indiana University’s Media Digitization and Preservation Initiative

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Digital Humanities For Everyone’s Benefit?: interplay in social media with the great audience, high-esteemed researcher and self-conscious library

The National Library of Finland realizes the Digitization Project of Kindred Languages in 2012–15. The project is financially supported by the Kone Foundation. During this project the National Library of Finland has digitized and made available approximately 1200 monograph and more than 100 newspaper titles in several Uralic languages. The materials are available to both researchers and citizens in the National Library’s Fenno-Ugrica collection. The project will produce digitized materials in the Uralic languages as well as their development tools to support linguistic research and citizen science. The resulting materials will constitute the largest resource for the Uralic languages in the world. Through this project, researchers will gain access to corpora which they have not been able to study before and to which all users will have open access regardless of their place of residence. In my presentation, I will discuss 1) how we utilized the social media (Facebook, Twitter, VKontakte etc) to gain audience for our collection and 2) how the needs of researchers and laymen were met in crowdsourcing.