COMPARISON BETWEEN WOOD DRYING DEFECT SCORES: SPECIMEN TESTING X ANALYSIS OF KILN-DRIED BOARDS

It is important to develop drying technologies for Eucalyptus grandis lumber, which is one of the most planted species of this genus in Brazil and plays an important role as raw material for the wood industry. The general aim of this work was to assess the conventional kiln drying of juvenile wood of three clones of Eucalyptus grandis. The specific aims were to compare the behavior between: i) drying defects indicated by tests with wood specimens and conventional kiln-dried boards; and ii) physical properties and the drying quality. Five 11-year-old trees of each clone were felled, and only flatsawn boards of the first log were used. Basic density and total shrinkage were determined, and the drying test with wood specimens at 100 °C was carried out. Kiln drying of boards was performed, and initial and final moisture content, moisture gradient in thickness, drying stresses and drying defects were assessed. The defect scoring method was used to verify the behavior between the defects detected by specimen testing and the defects detected in kiln-dried boards. As main results, the drying schedule was too severe for the wood, resulting in a high level of boards with defects. The behavior between the defects in the drying test with specimens and the defects of kiln-dried boards was different, there was no correspondence, according to the defect scoring method.

Software for calculation of reservoir active capacity with the sequent-peak algorithm

It is presented a software developed with Delphi programming language to compute the reservoir's annual regulated active storage, based on the sequent-peak algorithm. Mathematical models used for that purpose generally require extended hydrological series. Usually, the analysis of those series is performed with spreadsheets or graphical representations. Based on that, it was developed a software for calculation of reservoir active capacity. An example calculation is shown by 30-years (from 1977 to 2009) monthly mean flow historical data, from Corrente River, located at São Francisco River Basin, Brazil. As an additional tool, an interface was developed to manage water resources, helping to manipulate data and to point out information that it would be of interest to the user. Moreover, with that interface irrigation districts where water consumption is higher can be analyzed as a function of specific seasonal water demands situations. From a practical application, it is possible to conclude that the program provides the calculation originally proposed. It was designed to keep information organized and retrievable at any time, and to show simulation on seasonal water demands throughout the year, contributing with the elements of study concerning reservoir projects. This program, with its functionality, is an important tool for decision making in the water resources management.

Influence of distance, geometry and number of control stations on quality of local geodetic networks for the purpose of georeferencing of rural properties

The implementation of local geodetic networks for georeferencing of rural properties has become a requirement after publication of the Georeferencing Technical Standard by INCRA. According to this standard, the maximum distance of baselines to GNSS L1 receivers is of 20 km. Besides the length of the baseline, the geometry and the number of geodetic control stations are other factors to be considered in the implementation of geodetic networks. Thus, this research aimed to examine the influence of baseline lengths higher than the regulated limit of 20 km, the geometry and the number of control stations on quality of local geodetic networks for georeferencing, and also to demonstrate the importance of using specific tests to evaluate the solution of ambiguities and on the quality of the adjustment. The results indicated that the increasing number of control stations has improved the quality of the network, the geometry has not influenced on the quality and the baseline length has influenced on the quality; however, lengths higher than 20 km has not interrupted the implementation, with GPS L1 receiver, of the local geodetic network for the purpose of georeferencing. Also, the use of different statistical tests, both for the evaluation of the resolution of ambiguities and for the adjustment, have enabled greater clearness in analyzing the results, which allow that unsuitable observations may be eliminated.

Monte Carlo Hypothesis Testing with The Sharpe Ratio

The purpose of this master thesis was to perform simulations that involve use of random number while testing hypotheses especially on two samples populations being compared weather by their means, variances or Sharpe ratios. Specifically, we simulated some well known distributions by Matlab and check out the accuracy of an hypothesis testing. Furthermore, we went deeper and check what could happen once the bootstrapping method as described by Effrons is applied on the simulated data. In addition to that, one well known RobustSharpe hypothesis testing stated in the paper of Ledoit and Wolf was applied to measure the statistical significance performance between two investment founds basing on testing weather there is a statistically significant difference between their Sharpe Ratios or not. We collected many literatures about our topic and perform by Matlab many simulated random numbers as possible to put out our purpose; As results we come out with a good understanding that testing are not always accurate; for instance while testing weather two normal distributed random vectors come from the same normal distribution. The Jacque-Berra test for normality showed that for the normal random vector r1 and r2, only 94,7% and 95,7% respectively are coming from normal distribution in contrast 5,3% and 4,3% failed to shown the truth already known; but when we introduce the bootstrapping methods by Effrons while estimating pvalues where the hypothesis decision is based, the accuracy of the test was 100% successful. From the above results the reports showed that bootstrapping methods while testing or estimating some statistics should always considered because at most cases the outcome are accurate and errors are minimized in the computation. Also the RobustSharpe test which is known to use one of the bootstrapping methods, studentised one, were applied first on different simulated data including distribution of many kind and different shape secondly, on real data, Hedge and Mutual funds. The test performed quite well to agree with the existence of statistical significance difference between their Sharpe ratios as described in the paper of Ledoit andWolf.

Strategic outsourcing of R&D: The location-specific advantages of India to the pharmaceutical industry

Companies are increasingly under pressure to be more efficient both in terms of costs and overall performance and thus, they seek new ways to develop their products and innovate. For pharmaceutical industry it can take several decades to launch a new drug to the markets. Since pharmaceutical industry is one of the most research-intensive industries, is outsourcing one way to enhance the R&D processes of such companies. It is said that outsourcing to offshore locations is vastly more challenging and complicated than any other exporting activity or inter-company relationship that has evoked a lot of discussion. By outsourcing strategically, companies must also thoroughly focus on transaction costs and core competences. Today, the suppliers are looked for beyond national boundaries and furthermore, the location of the outsourcing activity must also be thoroughly considered. Consequently, the purpose of this study is to analyze what is known of strategic outsourcing of pharmaceutical R&D to India. In order to meet the purpose of the study, this study tries to answer three sub-questions set to it: first, what is strategic outsourcing, second, why pharmaceutical companies utilize strategic outsourcing of R&D and last, why pharmaceutical companies select India as the location for outsourcing their R&D. The study is a qualitative study. The purpose of the study was approached by a literature review with systematic elements and sub-questions were analyzed through different relevant theories, such as theory of transaction costs, core competences and location advantages. Applicable academic journal articles were comprehensively included in the study. The data was collected from electronic journal article databases using key words and almost only peer-reviewed, as new as possible articles were included. Also both the reference list of the included articles and article recommendations from professionals generated more articles for inclusion. The data was analyzed through thematization that resulted in themes that illuminate the purpose of the study and sub-questions. As an outcome of the analysis, each of the theory chapters in the study represents one sub-question. The literature used in this study revealed that strategic outsourcing of R&D is increasingly used in pharmaceutical industry and the major motives to practice it has to do with lowering costs, accessing skilled labor, resources and knowledge and enhancing their quality while speeding up the introduction of new drugs. Mainly for the above-mentioned motives India is frequently chosen as the target location for pharma outsourcers. Still, the literature is somewhat incomplete in this complex phenomenon and more research is needed.

”Hei, mä opin tän asian enkuks!” Toimintatutkimus ympäristötiedon ainesisältöjen ja vieraan kielen oppimisesta sekä opettamisesta englanninkielissä oppituokioissa

Tämä kvalitatiivinen toimintatutkimus sai lähtökipinän opettajan tarpeesta kehittää englannin kielen opetustaan suuntaan, joka innostaisi oppijoita opiskelemaan ja tuottamaan vierasta kieltä rohkeasti. Tutkimuksen tarkoituksena oli selvittää, mitä muutoksia oppijoissa ilmenee, kun perinteiseen vieraan kielen opetukseen sisällytetään kahden lukuvuoden ajan oppituokioita, joissa ympäristötiedon ainesisältöjä opetetaan vieraalla kielellä. Kiinnostuksen kohteena oli tutkia, ilmeneekö oppijoilla muutoksia ainesisältöjen hallinnassa, englanninkielisen ympäristötiedon sanavaraston karttumisessa, kielitaidon kehittymisessä sekä asenteessa oppituokioita ja englannin kieltä kohtaan yleensä. Tutkimuksen tarkoituksena oli myös luoda toimivaa käytäntöä opettajalle toteuttaa ainesisältöjen opettamista vieraalla kielellä, josta kansainvälisesti käytetään termiä Content and language integrated learning (CLIL). Tutkimus oli kahden vuoden pitkittäistutkimus, joka toteutettiin lukuvuosina 2008–2010. Tutkimusjoukko koostui 18:sta (11 poikaa ja 7 tyttöä) neljättä luokkaa aloittavasta oppijasta. Vertailuryhmään kuului 22 musiikkiluokan oppijaa (6 poikaa ja 16 tyttöä). Tutkija opetti molemmille ryhmille englannin kieltä kaksi viikkotuntia. Englanninkieliset oppituokiot toteutettiin englannin tuntien yhteydessä noin kerran viikossa. Kerrallaan tuokio kesti 15–20 minuuttia. Tutkimusaineistoa, joka koostuu sekä kvalitatiivisesta että kvantitatiivisesta aineistosta, kerättiin eri tavoin: tutkija keräsi havaintomateriaalia päiväkirjaansa koko tutkimuksen ajan, oppijoita testattiin kuusi kertaa tutkimuksen aikana sekä itsearvio- ja asennekyselyjä toteutettiin kahdesti. Tutkimusaineiston pohjalta saatiin selviä tutkimustuloksia, joiden mukaan CLIL-opetus vaikutti oppijoihin positiivisesti: ympäristötiedon ainesisältöjä opittiin, englanninkielinen ympäristötiedon sanavarasto laajeni ja vierasta kieltä käytettiin rohkeammin kuin aiemmin. Kommunikoidessa huomio kiinnitettiin kielen tarkkailun sijasta asiasisältöön. Oppijat suhtautuivat englanninkielisiin oppituokioihin positiivisesti ja englannin osaaminen koettiin tärkeäksi. Tässäkin kokeilussa CLIL osoittautui joustavaksi metodiseksi lähestymistavaksi, joka taipuu käyttökelpoiseksi käytännön teoriaksi soveltuen monenlaisille oppijoille.

The purpose of consumer co-operation: implications for the management and governance of co-operatives

Extant research on consumer co-operation has acknowledged that the corporate purpose of consumer co-operatives deviates significantly from the purpose of investor-owned firms (IOFs – the dominant form in market economies and in theory development in the field of business economics) and also suggested that the management of consumer co-operatives differs from the management of IOFs. Despite this, there is a scarcity of research focusing on the management of consumer co-operatives in general and the ways this different purpose manifests in their management in particular. In other words, research on consumer cooperatives has only started to discover the importance of identifying the premises of these organizations and generating management and organization theories that take them into account. The overall objective of this study is to map out some of the implications that the purpose of consumer co-operation has for the management and governance of consumer co-operatives. To put it more precisely, by combining interview data gathered from Finnish consumer cooperatives (S Group, OP Bank Group and POP Bank) and extant literature, this study aims to generate or elaborate on definitions and outlines of the features that co-operative purpose poses for the strategic management, governance and managerial competence needed for consumer co-operatives. The study consists of two parts. The first part introduces the research topic, methods and publications, as well as discusses the overall outcomes. The second part consists of four publications that address the research questions from different viewpoints. The analyses of this study indicate that due to the purpose of consumer co-operation, the roles of locality and regionality become emphasized in their management. While locality and regionality are potential sources of competitive advantage for consumer co-operatives, geographic boundness sets significant boundary conditions for the strategic management of these organizations. Further, the purpose of consumer co-operation may pose several challenges to governance and set specific competence demands for the managers of these organizations. Associating the observations from various streams of research on management and governance with the purpose of consumer co-operation and examining these issues further, the thesis contributes to elaboration of theory in the field. While the thesis is by no means comprehensive (but instead reflects a co-operative research project in its early stages), it does shed light on some key ideas of management and governance and offers leads to theory and, thereby, will prove useful to elaborators, disseminators and appliers of knowledge on co-operation.

Palveluasumisen markkinapotentiaali Suomessa asuvien venäjänkielisten ikäihmisten keskuudessa - Analyysi markkinoista ja kuluttajakäyttäytymisestä

Tutkimus on toimeksianto Yritykseltä X, joka halusi selvitettävän, millaista markkinapotentiaalia on nähtävissä ikäihmisten palveluasumisessa Suomessa asuville venäjänkielisille. Markkinoiden analysoinnin lisäksi tutkimuksessa on selvitetty kohderyhmän kuluttajakäyttäytymistä ja ostokykyä. Tutkimuksen tavoitteena ei ole antaa toimeksiantajalle valmista investointipäätöstä, vaan tuoda tietoa markkinoista ja kohderyhmästä päätöksenteon tueksi. Käytössä on ollut neljä empiiristä aineistoa. Primääriaineistona ovat asiantuntija¬haastattelut sekä kyselyt Yrityksen X venäjänkielisille työntekijöille ja maksaja-asiakkaille – eli kuntien ja sairaanhoitopiirien edustajille. Sekundääriaineistona on joukko suomalaisten Venäjä-asiantuntijoiden viime vuosien tutkimuksia. Pro gradun teoriaosuus on tiivis. Teorian on auttanut kirjoittajaa tarkastelemaan palveluasumisen markkinoita kansainvälisellä vivahteella sekä suomalaisittain uuden kuluttajaryhmän kuluttajakäyttäytymistä ja ostokykyä. Suomessa asuvia venäjänkielisiä ikäihmisiä ei ole aikaisemmassa tutkimuksessa tarkasteltu omana kohderyhmänään, mutta heistä on tehty paljon yhteiskunnallista tutkimusta. Tätä on hyödynnetty muun muassa tarkasteltaessa kohderyhmän kulttuurisia piirteitä, sosiaalisia tapoja, kieltä ja uskontoa. Suomessa asuvista venäjänkielisistä ikäihmistä ei voi puhua yhtenäisenä ryhmänä. Osa yli 65-vuotiaista on suomen kielen taitoisia ja työssään menestyneitä, mutta monen maahanmuuttajan sosiaalinen asema laski heidän muuttaessaan Suomeen. Neuvostoliitossa asuneet ovat tottuneet niukkoihin olosuhteisiin, siihen että samassa taloudessa asui jopa kolme sukupolvea, ja että perhe piti huolta yhteiskunnan tuen ollessa niukkaa. Vaikka venäläisessä kulttuurissa vanhainkodeilla on huono maine, voidaan Suomessa asuvien ikäihmisten keskuudessa nähdä positiivista suhtautumista palveluasumista ja suomalaisia julkispalveluja kohtaan. Mikäli Yritys X rakentaa yksikön Lappeenrantaan, kannattaa potentiaalisina asiakkaina nähdä myös venäläiset terveysmatkailijat ja suunnitella palvelutarjonta laajemmin kuin vain Suomessa asuville venäjänkielisille. Mikäli yksikkö tulee Helsinkiin, on kilpailijana ortodokseille ja venäjänkielisille vanhuksille tarkoitettu Helenan vanhainkoti.

Sivistyksestä sivilisaatioon. Kulttuurikäsitys J. V. Snellmanin historiallisessa ajattelussa

From Bildung to Civilisation. Conception of Culture in J. V. Snellman’s Historical Thinking The research explores Johan Vilhelm Snellman’s (1806–1881) conception of culture in the context of his historical thinking. Snellman was a Finnish, Swedish-speaking journalist, teacher and thinker, who held a central position in the Finnish national discourse during the nineteenth century. He has been considered as one of the leading theorists of a Finnish nation, writing widely about the themes such as the advancement of the national education, Finnish language and culture. Snellman is already a widely studied person in Finnish intellectual history, often characterised as a follower of G. W. F. Hegel’s philosophical system. My own research introduces a new kind of approach on Snellman’s texts, emphasising the conceptual level of his thought. With this approach, my aim is to broaden the Finnish research tradition on conceptual history. I consider my study as a cultural history of concepts, belonging also to the field of intellectual history. My focus is on one hand on the close reading of Snellman’s texts and on the other hand on contextualising his texts to the European intellectual tradition of the time. A key concept of Snellman’s theoretical thinking is his concept of bildning, which can be considered as a Swedish counterpart of the German concept of Bildung. The Swedish word incorporated all the main elements of the German concept. It could mean education or the so-called high culture, but most fundamentally it was about the self-formation of the individual. This is also the context in which Snellman’s concept of bildning has often been interpreted. In the study, I use the concept of bildning as a starting point of my research but I broaden my focus on the cognate concepts such as culture (kultur), spirit (anda) and civilisation. The purpose of my study is thus to illustrate how Snellman used and modified these concepts and from these observations to draw a conclusion about the nature of his conception of culture. Snellman was an early Finnish philosopher of history but also interested in the practice of the writing of history. He did not write any historical presentations himself but followed the publications in the field of history and introduced European historical writing to the Finnish, Swedish-speaking reading audience in his newspapers. The primary source material consists of different types of Snellman’s texts, including philosophical writings, lecture material, newspaper articles and private letters. I’m reading Snellman’s texts in the context of other texts produced both by his Finnish predecessors and contemporaries and by Swedish, German and French writers. Snellman’s principal philosophical works, Versuch einer spekulativen Entwicklung der Idee der Persönlichkeit (1841) and Läran om staten (1842), were both written abroad. Both of the works were contributions to contemporary debates on the international level, especially in Germany and Sweden. During the 1840s and 1850s Snellman had two newspapers of his own, Saima and Litteraturblad, which were directed towards the Swedish-speaking educated class. Both of the newspapers were very popular and their circulations were among the largest of their day in Finland. The topics of his articles and reviews covered literature, poetry, philosophy and education as well as issues concerning the economic, industrial and technical development in Finland. In his newspapers Snellman not only brought forth his own ideas but also spread the knowledge of European events and ideas to his readers. He followed very carefully the cultural and political situation in Western Europe. He also followed European magazines and newspapers and was well acquainted with German, French and also English literature – and of course Swedish literature to with which he had the closest ties. In his newspapers Snellman wrote countless number of literary reviews and critics, introducing his readers to European literature. The study consists of three main chapters in which I explore my research question in three different, yet overlapping contexts. In the first of these chapters, I analyse Snellman’n theoretical thinking and his concepts of bildning, kultur, anda and civilisation in the context of earlier cultural discourse in Finland as well as the tradition of German idealistic philosophy and neo-humanism. With the Finnish cultural discourse I refer to the early cultural discussion in Finland, which emerged after the year 1809, when Finland became an autonomous entity of its own as a Grand Duchy of Russia. Scholars of the Academy of Turku opened a discussion on the themes such as the state of national consciousness, the need for national education and the development of the Finnish language as a national language of Finland. Many of these academics were also Snellman’s teachers in the early years of his academic career and Snellman clearly formulated his own ideas in the footsteps of these Finnish predecessors. In his theoretical thinking Snellman was a collectivist; according to him an individual should always be understood in connection with the society, its values and manners, as well as to the traditions of a culture where an individual belongs to. In his philosophy of the human spirit Snellman was in many ways a Hegelian but his notion of education or ‘bildning’ includes also elements that connect him with the wider tradition of German intellectual history, namely the neo-humanist tradition and, at least to some extent, to the terminology of J. G. Herder or J. G. Fichte, for example. In this chapter, I also explore Snellman’s theory of history. In his historical thinking Snellman was an idealist, believing in the historical development of the human spirit (Geist in German language). One can characterise his theory of history by stating that it is a mixture of a Hegelian triumph of the spirit and Herderian emphasis on humanity (Humanität) and the relative nature of ‘Bildung’. For Snellman, the process of ‘bildning’ or ‘Bildung’ is being realised in historical development through the actions of human beings. Snellman believed in the historical development of the human civilization. Still Snellman himself considered that he had abandoned Hegel’s idea about the process of world history. Snellman – rightly or wrongly – criticised Hegel of emphasising the universal end of history (the realisation of the freedom of spirit) at the expense of the historical plurality and the freedom of each historical era. Snellman accused Hegel of neglecting the value and independency of different historical cultures and periods by imposing the abstract norm, the fulfilment of the freedom of spirit, as the ultimate goal of history. The historicist in Snellman believed in the individuality of each historical period; each historical era or culture had values, traditions and modes of thought of its own. This historicist in Snellman could not accept the talk about one measure or the end of history. On the other hand Snellman was also a universalist. He believed that mankind had a common task and that task was the development of ‘Bildung’, freedom or humanity. The second main chapter consists of two parts. In the first part, I explore the Finnish nationalistic discourse from the cultural point of view by analysing the notions such as a nation, national spirit or national language and showing how Snellman formulated his own ideas in a dialogic situation, participating in the Finnish discourse but also reacting to international discussions on the themes of the nation and nationality. For Snellman nationality was to a great extent the collective knowledge and customs or practices of the nation. Snellman stated that nationality is to be considered as a form of ‘bildning’. This could be seen not simply as affection for the fatherland but also for the mental identity of the nation, its ways of thinking, its practices, national language, customs and laws, the history of the nation. The simplest definition of nationality that Snellman gives is that nationality is the social life of the people. In the second part of the chapter I exam Snellman’s historical thinking and his understanding about historical development, interaction between different nations and cultures in the course of history, as well as the question of historical change; how do cultures or civilisations develop and who are the creators of culture? Snellman did not believe in one dominating culture but understood the course of history as a dialogue between different cultures. On the other hand, his views are very Eurocentric – here he follows the ideas of Hegel or for example the French historian François Guizot – for Snellman Europe represented the virtue of pluralism; in Europe one could see the diversity of cultures which, on the other hand, were fundamentally based on a common Christian tradition. In the third main chapter, my focus is on the writing of history, more precisely on Snellman’s ideas on the nature of history as a science and on the proper way of writing historical presentations. Snellman wrote critics on the works of history and introduced his readers to the writing of history especially in France, Sweden and German-speaking area – in some extend also in Britain. Snellman’s collectivistic view becomes evident also in his reviews on historical writing. For Snellman history was not about the actions of the states and their heads, nor about the records of ruling families and battles fought. He repeatedly stressed that history is a discipline that seeks to provide a total view of a phenomenon. A historian should not only collect information on historical events, since this information touches only the surface of a certain epoch or civilisation; he has to understand an epoch as totality. This required an understanding about the major contours in history, connections between civilisations and an awareness of significant turning points in historical development. In addition, it required a holistic understanding about a certain culture or historical era, including also the so-called inner life of a specific nation, a common people and their ways of life. Snellman wrote explicitly about ‘cultural history’ in his texts, referring to this kind of broad understanding of a society. In historical writing Snellman found this kind of broader view from the works of the French historians such as François Guizot and Jules Michelet. In all of these chapters, I elaborate the conceptual dimension of Snellman’s historical thinking. In my study I argue that Snellman not only adopted the German concepts of Bildung or Kultur in his own thinking but also developed the Swedish concepts in a way that include personal and innovative aspects. Snellman’s concept of bildning is not only a translation from ‘Bildung’ but he uses the Swedish concept in a versatile way that includes both the moral aspect of human development and social dimension of a human life. Along with ‘bildning’ Snellman used also the terms ‘kultur’ and ‘civilisation’ when referring to the totality of a certain nation or historical era, including both the so-called high culture (arts, science, religion) and the modes of thought as well as ways of life of the people as a whole. Unlike many of his Finnish contemporaries, Snellman did not use civilisation as a negative concept, lacking the moral essence of German term ‘Bildung’ or ‘Kultur’. Instead, for Snellman civilisation was a neutral term and here he comes close to the French tradition of using the term. In the study I argue that Snellman’s conception of culture in fact includes a synthesis of the German tradition of ‘Bildung’ and the French tradition of ‘civilisation’.

Empirical study on the adoption, use and effects of cloud-based testing

Cloud computing is a practically relevant paradigm in computing today. Testing is one of the distinct areas where cloud computing can be applied. This study addressed the applicability of cloud computing for testing within organizational and strategic contexts. The study focused on issues related to the adoption, use and effects of cloudbased testing. The study applied empirical research methods. The data was collected through interviews with practitioners from 30 organizations and was analysed using the grounded theory method. The research process consisted of four phases. The first phase studied the definitions and perceptions related to cloud-based testing. The second phase observed cloud-based testing in real-life practice. The third phase analysed quality in the context of cloud application development. The fourth phase studied the applicability of cloud computing in the gaming industry. The results showed that cloud computing is relevant and applicable for testing and application development, as well as other areas, e.g., game development. The research identified the benefits, challenges, requirements and effects of cloud-based testing; and formulated a roadmap and strategy for adopting cloud-based testing. The study also explored quality issues in cloud application development. As a special case, the research included a study on applicability of cloud computing in game development. The results can be used by companies to enhance the processes for managing cloudbased testing, evaluating practical cloud-based testing work and assessing the appropriateness of cloud-based testing for specific testing needs.

Designing a user interface for game developers to enter game specific information

Designing user interfaces for novel software systems can be challenging since the usability preferences of the users are not well known. This thesis presents a usability study conducted for the development of a user interface for game developers to enter game specific information. By conducting usability testing, the usability preferences of game developers were explored and the design was shaped according to their needs. An assessment of the overall usability of the final design is provided together with the main findings that include the usability preferences and design recommendations. The results showed that the most valuable usability preferences are quickness, error tolerance and the ability to constantly inspect the entered information.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Toimialakohtaisen tietojärjestelmän käytettävyyden kehittäminen

Työssä on tutkittu toimialakohtaisen tietojärjestelmän käyttöliittymän ja käytettävyyden kehittämistä uuteen sovelluskehittimen versioon siirtymisen yhteydessä. Kirjallisuusosassa käsitellään keskeisiä asioita käyttöliittymien suunnitteluun ja käytettävyyteen kehittämiseen liittyen. Työssä esitetään mahdollisia ratkaisumalleja erinäisiin ongelmiin. Työ sisältää käyttäjäkyselyn, johon vapaaehtoiset järjestelmän käyttäjät osallistuivat. Tämän lisäksi työ sisältää analyysia tutkimuksesta saatujen tulosten perusteella. Lopputuloksena työssä ovat testauksen merkityksen korostuminen ja yhtenäisyys käyttöliittymien suunnittelussa. Myös asiakastyytyväisyyden merkitys tietojärjestelmän käytettävyydessä korostuu.

Context-specific independence in graphical models

The theme of this thesis is context-speci c independence in graphical models. Considering a system of stochastic variables it is often the case that the variables are dependent of each other. This can, for instance, be seen by measuring the covariance between a pair of variables. Using graphical models, it is possible to visualize the dependence structure found in a set of stochastic variables. Using ordinary graphical models, such as Markov networks, Bayesian networks, and Gaussian graphical models, the type of dependencies that can be modeled is limited to marginal and conditional (in)dependencies. The models introduced in this thesis enable the graphical representation of context-speci c independencies, i.e. conditional independencies that hold only in a subset of the outcome space of the conditioning variables. In the articles included in this thesis, we introduce several types of graphical models that can represent context-speci c independencies. Models for both discrete variables and continuous variables are considered. A wide range of properties are examined for the introduced models, including identi ability, robustness, scoring, and optimization. In one article, a predictive classi er which utilizes context-speci c independence models is introduced. This classi er clearly demonstrates the potential bene ts of the introduced models. The purpose of the material included in the thesis prior to the articles is to provide the basic theory needed to understand the articles.

New [18F]Tracers for Alzheimer's Disease Imaging. Labeling Synthesis And Biological Testing

Alzheimer’s disease (AD) is the most common form of dementia. Characteristic changes in an AD brain are the formation of β-amyloid protein (Aβ) plaques and neurofibrillary tangles, though other alterations in the brain have also been connected to AD. No cure is available for AD and it is one of the leading causes of death among the elderly in developed countries. Liposomes are biocompatible and biodegradable spherical phospholipid bilayer vesicles that can enclose various compounds. Several functional groups can be attached on the surface of liposomes in order to achieve long-circulating target-specific liposomes. Liposomes can be utilized as drug carriers and vehicles for imaging agents. Positron emission tomography (PET) is a non-invasive imaging method to study biological processes in living organisms. In this study using nucleophilic 18F-labeling synthesis, various synthesis approaches and leaving groups for novel PET imaging tracers have been developed to target AD pathology in the brain. The tracers were the thioflavin derivative [18F]flutemetamol, curcumin derivative [18F]treg-curcumin, and functionalized [18F]nanoliposomes, which all target Aβ in the AD brain. These tracers were evaluated using transgenic AD mouse models. In addition, 18F-labeling synthesis was developed for a tracer targeting the S1P3 receptor. The chosen 18F-fluorination strategy had an effect on the radiochemical yield and specific activity of the tracers. [18F]Treg-curcumin and functionalized [18F]nanoliposomes had low uptake in AD mouse brain, whereas [18F]flutemetamol exhibited the appropriate properties for preclinical Aβ-imaging. All of these tracers can be utilized in studies of the pathology and treatment of AD and related diseases.