Distributed Repositories of Medieval Calendars and Crowd-Sourcing of Transcription

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

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

Big Data Processing in the Cloud: a Hydra/Sufia Experience

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

A Distributed Microservices Framework Integrating Taverna

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

Cost-efficient virtual machine management : provisioning, admission control, and consolidation

One of the main challenges in Software Engineering is to cope with the transition from an industry based on software as a product to software as a service. The field of Software Engineering should provide the necessary methods and tools to develop and deploy new cost-efficient and scalable digital services. In this thesis, we focus on deployment platforms to ensure cost-efficient scalability of multi-tier web applications and on-demand video transcoding service for different types of load conditions. Infrastructure as a Service (IaaS) clouds provide Virtual Machines (VMs) under the pay-per-use business model. Dynamically provisioning VMs on demand allows service providers to cope with fluctuations on the number of service users. However, VM provisioning must be done carefully, because over-provisioning results in an increased operational cost, while underprovisioning leads to a subpar service. Therefore, our main focus in this thesis is on cost-efficient VM provisioning for multi-tier web applications and on-demand video transcoding. Moreover, to prevent provisioned VMs from becoming overloaded, we augment VM provisioning with an admission control mechanism. Similarly, to ensure efficient use of provisioned VMs, web applications on the under-utilized VMs are consolidated periodically. Thus, the main problem that we address is cost-efficient VM provisioning augmented with server consolidation and admission control on the provisioned VMs. We seek solutions for two types of applications: multi-tier web applications that follow the request-response paradigm and on-demand video transcoding that is based on video streams with soft realtime constraints. Our first contribution is a cost-efficient VM provisioning approach for multi-tier web applications. The proposed approach comprises two subapproaches: a reactive VM provisioning approach called ARVUE and a hybrid reactive-proactive VM provisioning approach called Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling. Our second contribution is a prediction-based VM provisioning approach for on-demand video transcoding in the cloud. Moreover, to prevent virtualized servers from becoming overloaded, the proposed VM provisioning approaches are augmented with admission control approaches. Therefore, our third contribution is a session-based admission control approach for multi-tier web applications called adaptive Admission Control for Virtualized Application Servers. Similarly, the fourth contribution in this thesis is a stream-based admission control and scheduling approach for on-demand video transcoding called Stream-Based Admission Control and Scheduling. Our fifth contribution is a computation and storage trade-o strategy for cost-efficient video transcoding in cloud computing. Finally, the sixth and the last contribution is a web application consolidation approach, which uses Ant Colony System to minimize the under-utilization of the virtualized application servers.

Exit times for some processes with normally distributed noise

Denna avhandling handlar om metoder för att hitta begränsningar för det asymptotiska beteendet hos en förväntad uthoppstid från ett område omkring en xpunkt för processer som har normalfördelad störning. I huvudsak behandlas olika typer av autoregressiva processer. Fyra olika metoder används. En metod som använder principen för stora avvikelser samt en metod som jämför uthoppstiden med en återkomsttid ger övre begränsningar för den förväntade uthoppstiden. En martingalmetod och en metod för normalfördelade stokastiska variabler ger undre begränsningar. Metoderna har alla både förtjänster och nackdelar. Genom att kombinera de olika metoderna får man de bästa resultaten. Vi får fram gränsvärdet för det asymptotiska beteendet hos en uthoppstid för den multivariata autoregressiva processen, samt motsvarande gränsvärde för den univariata autoregressiva processen av ordning n.

On Distributed Storage Codes

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.

The Role of Video Based Content Marketing as a Part of Modern Marketing Communications

The thesis studies the role of video based content marketing as a part of modern marketing communications.

Fenomenologinen tutkimus video-EEG potilaiden kohtauskokemuksista

Tässä fenomenologisessa tutkimuksessa kuvaillaan Video-EEG –tutkimukseen (VEEG) tulevien potilaiden kokemuksia kohtauksistaan. Tutkimusasetelmana on käytetty fenomenologiseen psykologiaan kuuluvaa Giorgin menetelmää soveltaen sitä hoitotieteen tutkimukseen. Tutkimuksen tarkoituksena oli kuvailla neurologisten kohtausoireiden vuoksi VEEG-tutkimukseen tulleiden potilaiden kokemuksia kohtauksistaan ja tunnistaa sekä kuvailla kokemukseen liittyviä tekijöitä. Tutkimuksen tavoitteena oli lisäta terveydenhoitohenkilökunnan ymmärrystä neurologisia kohtausoireita saavien ihmisten ohjaustarpeista. Materiaali kerättiin kahdeksalta potilaalta avoimilla haastatteluilla ja analysoitiin Giorgin analyysimenetelmällä. Aineistoon yhdistettiin kliinisen neurofysiologin lausunto ja muodostettiin kokemuskertomukset. Aineistosta tunnistettiin fenomenologista reduktiota käyttäen keskeiset kohtauksiin ja sairauteen liittyvät kokemukset. Käsitteiden suhdetta toisiinsa ja merkitystä sopeutumiselle analysoitiin käyttäen apuna Uncertainty in illness -mallia. Keskeisten kokemusten pohjalta toteutettiin kirjallisuushaku, jonka tuloksia reflektoitiin tämän tutkimuksen tuloksiin. Aineistosta muodostui kolme erillistä kokemuskertomusta: kertomus konkreettisista tapahtumista, kokemus hallinnan menettämisestä ja kokemus sairauden kanssa elämisesta. Keskeisiksi kokemussisällöiksi tunnistettiin kokemus terveysongelman hallinnasta, kokemus hallinnan menettämisestä, kokemus ympäristön negatiivisesta suhtautumisesta ja huoli läheisistä. Aikaisempaa tutkimusta löytyi kokemuksista terveysongelman hallinnasta ja hallinnan menetyksestä sekä ympäristön suhtautumisesta.

Fenomenologinen tutkimus video-EEG potilaiden kohtauskokemuksista

Tässä fenomenologisessa tutkimuksessa kuvaillaan Video-EEG –tutkimukseen (VEEG) tulevien potilaiden kokemuksia kohtauksistaan. Tutkimusasetelmana on käytetty fenomenologiseen psykologiaan kuuluvaa Giorgin menetelmää soveltaen sitä hoitotieteen tutkimukseen. Tutkimuksen tarkoituksena oli kuvailla neurologisten kohtausoireiden vuoksi VEEGtutkimukseen tulleiden potilaiden kokemuksia kohtauksistaan ja tunnistaa sekä kuvailla kokemukseen liittyviä tekijöitä. Tutkimuksen tavoitteena oli lisätä terveydenhoitohenkilökunnan ymmärrystä neurologisia kohtausoireita saavien ihmisten ohjaustarpeista. Materiaali kerättiin kahdeksalta potilaalta avoimilla haastatteluilla ja analysoitiin Giorgin analyysimenetelmällä. Aineistoon yhdistettiin kliinisen neurofysiologin lausunto ja muodostettiin kokemuskertomukset. Aineistosta tunnistettiin fenomenologista reduktiota käyttäen keskeiset kohtauksiin ja sairauteen liittyvät kokemukset. Käsitteiden suhdetta toisiinsa ja merkitystä sopeutumiselle analysoitiin käyttäen apuna Uncertainty in illness -mallia. Keskeisten kokemusten pohjalta toteutettiin kirjallisuushaku, jonka tuloksia reflektoitiin tämän tutkimuksen tuloksiin. Aineistosta muodostui kolme erillistä kokemuskertomusta: kertomus konkreettisista tapahtumista, kokemus hallinnan menettämisestä ja kokemus sairauden kanssa elämisestä. Keskeisiksi kokemussisällöiksi tunnistettiin kokemus terveysongelman hallinnasta, kokemus hallinnan menettämisestä, kokemus ympäristön negatiivisesta suhtautumisesta ja huoli läheisistä. Aikaisempaa tutkimusta löytyi kokemuksista terveysongelman hallinnasta ja hallinnan menetyksestä sekä ympäristön suhtautumisesta.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Automatic recognition of fish from video sequences

The problem of automatic recognition of the fish from the video sequences is discussed in this Master’s Thesis. This is a very urgent issue for many organizations engaged in fish farming in Finland and Russia because the process of automation control and counting of individual species is turning point in the industry. The difficulties and the specific features of the problem have been identified in order to find a solution and propose some recommendations for the components of the automated fish recognition system. Methods such as background subtraction, Kalman filtering and Viola-Jones method were implemented during this work for detection, tracking and estimation of fish parameters. Both the results of the experiments and the choice of the appropriate methods strongly depend on the quality and the type of a video which is used as an input data. Practical experiments have demonstrated that not all methods can produce good results for real data, whereas on synthetic data they operate satisfactorily.

Load balancing in P2P smartphone based distributed IoT systems

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.